La società di venture capital A16z lancia Jolt, una "macchina virtuale a conoscenza zero"

Il gigante di venture capital della Silicon Valley Andreessen Horowitz (a16z) ha fatto notizia l'anno scorso quando ha annunciato che eraaddentrarsi nella ricerca tecnologica più profonda– abbandonando il suo limite di investitore per diventare un ricercatore e costruttore di informatica part-time. Martedì, l'azienda ha svelato alcuni dei primi frutti di quella 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 vera e propria azienda di ricerca e sviluppo, il nuovo codice potrebbe aiutare le blockchain (e alcune delle società del portafoglio di a16z) ad ampliare le proprie operazioni.

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

Jolt supporta attualmente l'architettura del set di istruzioni RISC-V (ISA), 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 presso a16z Cripto. Il programma "emetterà una 'prova' che dimostra che il risultato di quel programma deriva effettivamente dalla corretta esecuzione di quel programma". La grande affermazione di a16z con Jolt è che è "10 volte" più veloce di RISC Zero, il suo concorrente più vicino.

Crittografia ZK ha applicazioni al di fuori della blockchain, ma la ricerca ZK è esplosa parallelamente all'ascesa 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 dimostrazioni a conoscenza zero?

La tecnologia alimenta molti deii cosiddetti zkEVM – zkVM specifiche per l'ambiente di runtime di Ethereum, note come Ethereum Virtual Machine o EVM – emerse negli ultimi anni per rendere la blockchain più rapida e sicura. (A16z è un investitore in Matter Labs, ONE dei principali produttori di zkEVM).

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

Sebbene Jolt non sia stato messo a punto per Ethereum o altre blockchain, a16z insiste sul fatto che la sua tecnologia può 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 affermato Lazzarin. "Le nostre tecniche non sono solo più semplici, ma anche più veloci".

A16z ha intrapreso per la prima volta il suo viaggio nella tecnologia profonda inAgosto dell'anno scorso quando ha annunciato due progetti: Jolt, ONE lanciato oggi, e Lasso, uno speciale metodo per alimentare i sistemi ZK che supporta 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 percorso di ricerca deep-tech anche per migliorare la sua reputazione di investitore: "Voglio dire, perché prendere soldi da qualcuno che è solo denaro quando puoi prendere soldi da qualcuno che è lì con te, all'avanguardia, che fa le cose più difficili possibili nel Cripto?"

Ma non è l'unico modo in cui Lazzarin pensa che le iniziative di ricerca di a16z possano contribuire a far progredire i profitti dell'azienda. Il codice per Jolt è stato reso open source, il che significa che chiunque può teoricamente utilizzarlo o riutilizzarlo senza pagare a16z. "Poiché siamo investitori a lungo termine, T facciamo trading giorno per giorno, settimana per settimana o persino mese per mese", ha affermato Lazzarin. "Ne trarremo i maggiori benefici se lo spazio avanzerà più rapidamente nei prossimi cinque o dieci anni, quindi il nostro incentivo è puramente quello di far progredire tutti attraverso beni pubblici che non monetizzeremo mai".