A A16z Crypto, uma subsidiária da empresa de capital de risco Andreessen Horowitz, lançou recentemente um artigo no blogue para fornecer atualizações técnicas ao seu Jolt zkVM open-source, salientando que existe um uso generalizado do conceito de "ZK (zero conhecimento)" na indústria atual.
A A16z afirmou que muitas das chamadas zkVMs não possuem realmente propriedades de conhecimento zero, a menos que exista um processo adicional de "envolvimento" dispendioso. Este processo normalmente requer provas recursivas para verificar novamente as provas do zkVM noutro sistema verdadeiramente de conhecimento zero, o que não só é computacionalmente dispendioso como frequentemente requer a introdução de uma "configuração confiável" à custa da transparência do sistema.
O artigo salienta que, em muitos contextos de programadores, "zk" tem sido gradualmente usado como sinónimo de "sucinção", ou seja, o tamanho reduzido das provas e a rápida velocidade de verificação, em vez do verdadeiro significado da proteção da privacidade sem conhecimento.
A A16z acredita que esta mistura de conceitos está a tornar-se um problema à medida que a procura da indústria por proteção da privacidade aumenta. As verdadeiras provas de conhecimento zero devem focar-se em garantir a privacidade dos dados sensíveis do fornecedor, em vez de apenas fornecer mecanismos de verificação eficientes.
Ao mesmo tempo, a A16z anunciou também a introdução do esquema de dobra NovaBlindFold para o Jolt zkVM, de modo a melhorar as suas capacidades de privacidade, tornando a máquina virtual mais adequada para cenários de aplicações de privacidade.