a16z Crypto Atualiza o Jolt zkVM para Suportar Zero-Knowledge Nativo, Desafiando o Uso Indevido do Rótulo 'ZK' na Indústria

a16z Crypto, o braço web3 da firma de capital de risco Andreessen Horowitz, anunciou a 3 de março de 2026 uma atualização significativa na sua máquina virtual de conhecimento zero de código aberto Jolt, que suporta nativamente privacidade de conhecimento zero verdadeira sem necessidade de encadeamento recursivo dispendioso.

A atualização implementa o esquema de encadeamento NovaBlindFold para ocultar mensagens de prova de soma, tornando o Jolt adequado para aplicações de privacidade, adicionando apenas cerca de 3 kilobytes ao tamanho da prova, com praticamente nenhum aumento no tempo de prova. O anúncio também critica o uso indevido generalizado do rótulo “ZK” na indústria, observando que a maioria dos zkVMs usa o termo para se referir à succinctness (brevidade) em vez de privacidade real dos dados do provador, uma distinção que se torna cada vez mais problemática à medida que o foco dos desenvolvedores na privacidade cresce.

Uso indevido de terminologia na indústria destacado em publicação técnica

O post do blog a16z Crypto chama atenção para o que os autores caracterizam como um desvio terminológico significativo na comunidade de desenvolvimento de blockchain. “A maioria dos zkVMs não são realmente de conhecimento zero — a menos que um procedimento caro de ‘encapsulamento’ seja aplicado”, afirma o post, referindo-se à prática de provar recursivamente a verificação de uma prova zkVM dentro de outro sistema de prova que oferece propriedades de conhecimento zero.

Este procedimento de encapsulamento impõe custos computacionais e muitas vezes exige sacrificar transparência através da introdução de configurações confiáveis. Os autores observam que “zk” tornou-se amplamente usado como abreviação de “a propriedade de succinctness”, ou seja, provas curtas e rápidas de verificar, ao invés de indicar privacidade de conhecimento zero verdadeira.

“À medida que o foco da comunidade na privacidade aumenta — exigindo conhecimento zero verdadeiro, que trata da privacidade dos dados sensíveis do provador — esse uso indevido da terminologia está se tornando um problema real”, acrescenta o post, sinalizando uma demanda crescente por sistemas criptográficos que protejam as informações do provador ao invés de apenas comprimir a verificação.

Provas de conhecimento zero são técnicas criptográficas que permitem a uma parte convencer outra de que uma afirmação é verdadeira sem revelar informações subjacentes além desse fato. Embora tenham sido inicialmente desenvolvidas academicamente, a indústria de criptografia forneceu as primeiras aplicações comerciais em grande escala, notavelmente a implementação de zk-SNARKs pela Zcash para privacidade na cadeia por meio de transações blindadas. A tecnologia expandiu-se posteriormente para soluções de escalabilidade de Camada 2 na Ethereum e outros zk-Rollups, com a privacidade ressurgindo como prioridade para adoção institucional, dada a limitação de transparência do blockchain.

Implementação técnica através do NovaBlindFold

A iteração anterior do Jolt não possuía conhecimento zero especificamente porque as mensagens de prova baseadas em soma vazavam dados sobre a testemunha. A correção implementada com NovaBlindFold envolve o envio de compromissos de ocultação dessas mensagens, ao invés de transmiti-las em claro, criando uma prova “cegada” denotada como π.

Esta prova cegada é na verdade mais curta que a prova original do Jolt porque os compromissos de ocultação comprimem múltiplos elementos de campo em um único elemento de grupo. No entanto, a ocultação cria um desafio de verificação, pois o verificador não pode mais verificar diretamente a validade das mensagens de soma.

A solução estende π para uma prova ligeiramente maior (π, π’), onde π’ demonstra que os valores dentro dos compromissos cegados satisfariam as verificações de soma. A redução de tamanho de π quase compensa os dados adicionais de π’, resultando numa prova de conhecimento zero com apenas cerca de 3 kilobytes a mais do que a versão não-ZK original.

A construção de π’ usa o NovaBlindFold, que expressa as verificações de soma como um sistema de restrições e combina aleatoriamente a testemunha com uma solução aleatória amostrada de forma independente. Essa solução encadeada é segura para revelar porque a solução aleatória mascara qualquer informação que a testemunha real possa ter vazado, similar à perfeição do segredo alcançada por pads de uso único.

Para manter a compacidade da prova, a implementação aplica Spartan para provar que a solução encadeada é uma atribuição satisfatória, garantindo que π’ cresça apenas logaritmicamente, e não linearmente, com o comprimento da solução.

Implicações para privacidade e escalabilidade do blockchain

A atualização posiciona o Jolt para servir a propósitos duais na infraestrutura de blockchain. Os desenvolvedores podem usar o zkVM para aplicações de escalabilidade com provadores baseados em GPU ou para aplicações focadas em privacidade que requerem provas geradas em dispositivos com recursos limitados, como telemóveis.

O CEO do Digital Currency Group, Barry Silbert, recentemente expressou expectativas de fluxos financeiros significativos em direção a redes de blockchain focadas em privacidade, refletindo o reconhecimento mais amplo na indústria de que a transparência das transações em livros públicos pode limitar a adoção institucional. Assim, blockchains de privacidade e criptografia de conhecimento zero têm atraído renovado investimento e atenção de desenvolvimento.

A implementação do Jolt alcança essas capacidades sem necessidade de configurações confiáveis ou sistemas de prova recursivos, potencialmente reduzindo barreiras para desenvolvedores que desejam integrar funcionalidades de preservação de privacidade em aplicações. A natureza de código aberto do projeto permite verificação comunitária e contribuições para o desenvolvimento contínuo.

FAQ: Jolt zkVM e Privacidade de Conhecimento Zero

Qual é a distinção entre “ZK” para succinctness e privacidade de conhecimento zero verdadeira?

Na terminologia criptográfica, conhecimento zero refere-se especificamente à propriedade de que uma prova não revela nenhuma informação além da validade da afirmação provada, protegendo a privacidade do provador. No entanto, muitos projetos de blockchain usam “ZK” coloquialmente para indicar succinctness — provas curtas e rápidas de verificar — sem realmente oferecer privacidade. Essa distinção torna-se crítica para aplicações que lidam com dados sensíveis, onde a confidencialidade verdadeira é necessária.

Como a atualização do Jolt consegue conhecimento zero sem penalidades de desempenho?

Jolt implementa o esquema de encadeamento NovaBlindFold para ocultar mensagens de prova de soma que anteriormente vazavam dados da testemunha. A técnica cria compromissos de ocultação, comprime elementos de prova e usa um sistema de verificação de testemunha encadeada que adiciona apenas cerca de 3 kilobytes ao tamanho da prova, com impacto negligenciável no tempo do provador, evitando o encadeamento recursivo dispendioso normalmente necessário para adicionar privacidade a sistemas não-ZK.

Por que o suporte nativo a conhecimento zero está se tornando importante para o desenvolvimento de blockchain?

O interesse institucional crescente na tecnologia blockchain destacou a transparência como uma barreira potencial à adoção, já que empresas frequentemente exigem confidencialidade nas transações. Sistemas criptográficos focados em privacidade permitem casos de uso compatíveis, mantendo os benefícios do blockchain. Além disso, agentes de IA e sistemas automatizados cada vez mais requerem verificação privada de cálculos, criando demanda por máquinas virtuais de conhecimento zero que possam provar a execução correta sem revelar entradas sensíveis.