A16z Crypto critica o abuso de ZK, a atualização do Jolt traz verdadeira privacidade

Numa publicação recente no blogue, a A16z Crypto, a divisão web3 da conceituada empresa de capital de risco Andreessen Horowitz, levantou uma questão que faz pensar na indústria: a maioria das máquinas virtuais (zkVMs) chamadas “ZK” não tem realmente uma verdadeira proteção de privacidade de conhecimento zero. A Jolt zkVM criticou simultaneamente o abuso sistemático do termo “ZK” no ecossistema cripto.

Uso indevido das etiquetas ZK: Porque é que a maioria das zkVMs não é verdadeiramente zero-knowledge

No seu blogue, a A16z Crypto revela um problema generalizado na indústria que raramente é abordado publicamente: “A maioria das provas de conhecimento zero é que as máquinas virtuais não são realmente de conhecimento zero – a menos que seja aplicado um processo dispendioso de ‘embalagem’.” Explicaram que este wrapping, que envolve a verificação recursiva de zkVMs noutro sistema de prova ZK, não é apenas computacionalmente dispendioso, como muitas vezes exige abdicar da transparência (ou seja, introduzir uma configuração confiável).

O problema mais fundamental reside na variação terminológica: o termo “zk” tem sido amplamente usado como abreviatura de “brevidade”, referindo-se a provas “curtas e facilmente verificáveis” em vez de uma verdadeira proteção de privacidade de conhecimento zero. A A16z Crypto alertou: “Com a crescente preocupação na comunidade com a privacidade – a necessidade de um verdadeiro conhecimento zero, ou seja, a privacidade dos dados sensíveis do provador – este termo abuso está a tornar-se um problema real.”

Três confusões comuns sobre a terminologia ZK

True ZK: Provar que uma afirmação é verdadeira sem divulgar a informação subjacente, protegendo a privacidade do provador

“ZK” como abreviatura concisa: A maioria das utilizações reais dos zkVMs enfatiza apenas provas “curtas e facilmente verificáveis” e não protege a privacidade

Embrulho: Adicionar verdadeiro conhecimento zero através de provas recursivas, mas é computacionalmente dispendioso e frequentemente requer a introdução de definições confiáveis, sacrificando a transparência

Solução do Jolt zkVM: solução de dobramento NovaBlindFold

Em resposta às questões acima, a A16z Crypto lançou na terça-feira uma atualização importante para o projeto open source Jolt zkVM, introduzindo o esquema de dobra NovaBlindFold para permitir que suporte nativamente funcionalidades de conhecimento zero.

O Folding Scheme é uma tecnologia criptográfica que “remonta aos anos 90 do século XX” e a A16z optou por substituir o caro esquema de empacotamento recursivo. O NovaBlindFold é extremamente eficiente a prevenir fugas de informação ao criar “provas cegas” – a prova final ZK é apenas cerca de 3KB maior do que a prova original não-ZK Jolt, “tornando-a adequada para aplicações de privacidade.”

O contexto desta atualização é o ressurgimento das preocupações com a privacidade no ecossistema cripto. Barry Silbert, CEO do Digital Currency Group (DCG), também afirmou recentemente que espera que uma grande quantia de dinheiro flua para a cadeia de privacidade. Os investidores institucionais estão preocupados com a total transparência da maioria das blockchains, o que está a pressionar a indústria a procurar soluções de privacidade mais fiáveis.

Perguntas Frequentes

Porque é que a A16z Crypto está a criticar as etiquetas ZK?

A A16z Crypto salientou que “ZK (zero-knowledge)” se tornou uma abreviatura de “simplicidade” na indústria, e a maioria das zkVMs não oferece verdadeira proteção de privacidade zero-knowledge, a menos que utilizem soluções “wrapped” que sejam computacionalmente dispendiosas e exijam definições confiáveis. Com a crescente procura por privacidade, este uso indevido do termo está a tornar-se um problema real que trava o crescimento da indústria.

Como é que a solução de dobragem NovaBlindFold resolve este problema?

O Jolt zkVM da A16z permite privacidade nativa de conhecimento zero sem necessidade de embalagens recursivas dispendiosas, ao introduzir o esquema de dobragem NovaBlindFold. Esta solução previne fugas de informação criando “provas cegas” e acrescenta apenas cerca de 3KB de sobrecarga de espaço, equilibrando eficiência com verdadeira proteção de privacidade.

Qual é a diferença fundamental entre verdadeiro conhecimento zero e “ZK como acrónimo conciso”?

Conhecimento verdadeiro zero significa que o verificador não pode inferir qualquer informação privada de entrada do provador a partir da prova; “ZK, como abreviatura concisa” apenas enfatiza que as provas são curtas e fáceis de verificar, e não envolvem proteção da privacidade dos dados subjacentes, sendo que as duas são fundamentalmente diferentes no sentido criptográfico.