A16z Crypto aggiorna Jolt zkVM e mette in discussione l'uso improprio dell'etichetta 'ZK'

A16z Crypto, il ramo web3 della principale società di venture capital Andreessen Horowitz, ha criticato l’uso colloquiale di “ZK” in alcuni ambienti di sviluppo in un recente post sul blog riguardante il suo Jolt zkVM. 

“La maggior parte degli zkVM in realtà non sono zero knowledge, a meno che non venga applicata una costosa procedura di ‘wrapping’,” si legge nel blog. “Questo wrapping normalmente comporta la dimostrazione ricorsiva della verifica della prova zkVM all’interno di un altro sistema di prova che

Gli autori hanno anche notato che spesso “zk” è diventato una sorta di abbreviazione per “la proprietà di sintesi”, ovvero prove che sono “brevi e veloci da verificare”, piuttosto che il vero concetto di privacy zero-knowledge. 

“Man mano che l’attenzione della community sulla privacy cresce — e richiede il vero zero-knowledge, cioè la tutela della privacy dei dati sensibili del prover — questo uso improprio della terminologia sta diventando un problema reale”, ha aggiunto a16z. 

Cosa sono le prove ZK?

Le prove ZK sono una tecnica crittografica che consente a una parte (il prover) di convincere un’altra parte (il verifier) che un’affermazione è vera senza rivelare alcuna informazione sottostante oltre al fatto che l’affermazione sia vera.

Sviluppate inizialmente in ambito accademico, la prima applicazione commerciale su larga scala delle prove ZK ha forse avuto origine nell’industria crypto, in particolare con il lancio di Zcash, che ha implementato un tipo di prova sintetica chiamata zk-SNARKs per offrire privacy onchain schermando i dati delle transazioni.  

Tuttavia, la crittografia zero-knowledge è stata poi applicata in diversi casi d’uso innovativi su blockchain, soprattutto come soluzione di scaling per blockchain Layer 2 di Ethereum e altri zk-Rollup. 

La privacy stessa è tornata a essere una preoccupazione importante tra gli sviluppatori e gli investitori crypto, i quali sostengono che la natura trasparente della maggior parte delle blockchain oggi ne limiterà l’adozione, in particolare tra le istituzioni.

Il CEO di Digital Currency Group, Barry Silbert, ad esempio, ha recentemente dichiarato di aspettarsi significativi flussi finanziari verso le privacy chain. 

La soluzione di Jolt

Per quanto riguarda Jolt, il zkVM open source di a16z, martedì ha lanciato un nuovo importante upgrade per supportare nativamente le prove zero-knowledge.

Le cosiddette Zero-Knowledge Virtual Machine vengono utilizzate per eseguire programmi e generare una prova che una determinata funzione di codice sia stata eseguita, senza rivelare i relativi input.

Come per le applicazioni messe in evidenza dal blog, Jolt inizialmente utilizzava le prove ZK per la loro sintesi, piuttosto che per la piena privacy, un problema che gli sviluppatori hanno risolto adottando un folding scheme che “risale agli anni ‘90”.

In particolare, Jolt ha utilizzato il folding scheme NovaBlindFold per creare prove offuscate che impediscano la fuoriuscita di informazioni, “rendendolo adatto ad applicazioni incentrate sulla privacy.”

“Il risultato finale è una prova ZK che è solo circa 3 KB più grande della prova Jolt non-ZK originale”, osserva il blog.