A16z Crypto atualiza Jolt zkVM e questiona o uso indiscriminado do termo 'ZK'

A16z Crypto, o braço web3 da importante firma de capital de risco Andreessen Horowitz, criticou o uso coloquial de “ZK” em algumas configurações de desenvolvedores em uma recente postagem no blog sobre seu Jolt zkVM. 

“A maioria dos zkVMs na verdade não são zero knowledge — a menos que seja aplicado um procedimento de ‘envolvimento’ caro,” afirma o blog. “Esse envolvimento normalmente envolve provar recursivamente a verificação da prova do zkVM dentro de outro sistema de prova que

Os autores também observaram que, muitas vezes, “zk” se tornou uma espécie de abreviação para “a propriedade de concisão”, significando provas que são “curtas e rápidas de verificar”, em vez de privacidade verdadeira zero knowledge. 

“À medida que o foco da comunidade em privacidade cresce — exigindo verdadeiro zero knowledge, que trata da privacidade dos dados sensíveis do provador — esse uso incorreto da terminologia está se tornando um problema real,” acrescentou a16z. 

O que são provas ZK?

Provas ZK são uma técnica criptográfica que permite que uma parte (o provador) convença outra parte (o verificador) de que uma afirmação é verdadeira sem revelar nenhuma informação subjacente além do fato de que a afirmação é verdadeira.

Primeiramente desenvolvidas dentro do meio acadêmico, a primeira aplicação comercial em larga escala das provas ZK, pode-se argumentar, surgiu na indústria de cripto, especialmente com o lançamento da Zcash, que implementou um tipo de prova concisa chamada zk-SNARKs para oferecer privacidade onchain ao ocultar dados das transações.  

No entanto, a criptografia zero knowledge passou a ser aplicada em vários casos inovadores de uso de blockchain, particularmente como solução de escalonamento para blockchains Ethereum Layer 2 e outros zk-Rollups. 

A própria privacidade ressurgiu como uma preocupação importante entre desenvolvedores e investidores de cripto, que argumentam que a natureza transparente da maioria dos blockchains hoje limita a adoção, especialmente entre instituições.

O CEO do Digital Currency Group, Barry Silbert, por exemplo, afirmou recentemente que espera fluxos financeiros significativos para as chains de privacidade. 

Solução da Jolt

Por sua parte, o Jolt zkVM open source da a16z lançou uma atualização significativa para suportar nativamente provas zero knowledge nesta terça-feira.

As chamadas Zero-Knowledge Virtual Machines são usadas para rodar programas e gerar uma prova de que uma função de código foi executada sem revelar seus inputs.

Como as aplicações apontadas no blog, o Jolt inicialmente usava provas ZK para concisão em vez de privacidade total, um problema que os desenvolvedores resolveram ao recorrer a um esquema de folding que “remonta aos anos 1990.”

Em particular, o Jolt utilizou o esquema de folding NovaBlindFold para criar provas cegas, evitando vazamento de informações, “tornando-o adequado para aplicações voltadas à privacidade.”

“O resultado final é uma prova ZK que é apenas cerca de 3 KB maior do que a prova Jolt original sem ZK,” observa o blog.