Il gigante del venture capital della Silicon Valley, Andreessen Horowitz (a16z), ha fatto notizia l'anno scorso quando ha annunciato che si stava lanciando nella ricerca tecnologica approfondita , abbandonando il limite degli investitori per diventare un ricercatore e costruttore part-time di informatica. Martedì, l'azienda ha svelato alcuni dei primi frutti di questa incursione con il rilascio di un'implementazione di codice open source per "Jolt", la sua macchina virtuale a conoscenza zero (zkVM).

Oltre a posizionare a16z come una società di ricerca e sviluppo in buona fede, il nuovo codice potrebbe aiutare le blockchain – e alcune delle società in portafoglio di a16z – ad ampliare le loro operazioni.

Le macchine virtuali, colloquialmente note come VM, sono ambienti informatici basati su software che fungono da base per blockchain e altri programmi. Il BIT "a conoscenza zero" (ZK) di Jolt si riferisce a una forma di inganno crittografico che alimenta la VM di a16z sotto il cofano, consentendo al computer virtuale di elaborare e verificare i dati aderendo a vincoli speciali in materia di Privacy e sicurezza.

Jolt attualmente supporta l'architettura del set di istruzioni (ISA) RISC-V – uno standard open source per la progettazione di processori per computer – e applicazioni scritte nel linguaggio di programmazione Rust. I programmatori possono eseguire un'applicazione tramite Jolt per "verificarne l'esecuzione", ha spiegato Eddy Lazzarin, CTO di a16z Cripto. Il programma "produrrà una 'prova' che dimostra che il risultato di quel programma deriva effettivamente dalla corretta esecuzione di quel programma." La grande pretesa di A16z con Jolt è che è "10 volte" più veloce di RISC Zero, il suo concorrente più vicino.

La crittografia ZK ha applicazioni al di fuori della blockchain, ma la ricerca ZK è cresciuta parallelamente alla crescita del settore. Le cosiddette "prove ZK" - le prove matematiche prodotte dai programmi ZK - sono diventate il metodo dominante per aiutare le blockchain a ridurre le commissioni, aumentare la velocità e preservare la Privacy delle transazioni.

Continua a leggere:Cosa sono le prove a conoscenza zero?

La tecnologia alimenta molti dei cosiddetti zkEVM – zkVM specifici per l'ambiente runtime di Ethereum, noti come Ethereum Virtual Machine, o EVM – che sono emersi negli ultimi anni per rendere quella blockchain più veloce e sicura. (A16z è un investitore in Matter Labs, ONE dei principali produttori di zkEVM).

Le prove ZK "ridimensionano le blockchain svolgendo il duro lavoro off-chain e facendo in modo che la blockchain verifichi solo le prove", ha spiegato Justin Thaler, ricercatore a16z e professore associato alla Georgetown University e coautore della ricerca Lasso e Jolt. un'intervista l'anno scorso . Con le prove ZK, “puoi avere la garanzia che questo lavoro è stato svolto correttamente, ma non avere tutti i nodi blockchain del mondo che fanno tutto il lavoro”.

Sebbene Jolt non sia stato messo a punto per Ethereum o qualsiasi altra blockchain, a16z insiste che la sua tecnologia possa essere stratificata in zkEVM e altre applicazioni ZK basate su blockchain. "La messa a punto di circuiti specifici li rende molto fragili. È molto difficile e opaco farlo correttamente", ha detto Lazzarin. "Le nostre tecniche non sono solo più semplici, ma più veloci."

A16z ha intrapreso per la prima volta il suo viaggio nella tecnologia profonda nell'agosto dello scorso anno quando ha annunciato un paio di progetti: Jolt, ONE lanciato oggi, e Lasso, un metodo speciale per alimentare i sistemi ZK che è alla base di parte della programmazione di Jolt.

Continua a leggere: Andreessen Horowitz si lancia nella ricerca sulla tecnologia Cripto con i progetti ZK "Jolt" e "Lasso"

Secondo Lazzarin, a16z ha intrapreso il suo viaggio di ricerca nel campo della tecnologia profonda in parte come un modo per migliorare la sua liquidità come investitore: "Voglio dire, perché prendere soldi da qualcuno che è solo denaro quando puoi prendere soldi da qualcuno che è proprio lì?" con te all'avanguardia, a fare le cose più difficili possibili nel Cripto?"

Ma questo non è l'unico modo in cui Lazzarin ritiene che le iniziative di ricerca di a16z possano contribuire a far avanzare i profitti dell'azienda. Il codice per Jolt è open source, il che significa che chiunque può teoricamente utilizzarlo o riproporlo senza pagare a16z. "Poiché siamo investitori a lungo termine, T operiamo giorno per giorno, settimana per settimana e nemmeno mese per mese", ha affermato Lazzarin. “Traiamo maggiori benefici se lo spazio avanza più velocemente nei prossimi cinque o dieci anni, e quindi il nostro incentivo è semplicemente quello di far avanzare tutti attraverso beni pubblici che non monetizzeremo mai”.