A16z Crypto actualiza Jolt zkVM y cuestiona el uso indiscriminado de la etiqueta ‘ZK’

A16z Crypto, el brazo enfocado en web3 de la reconocida firma de capital de riesgo Andreessen Horowitz, apuntó contra el uso coloquial de “ZK” en ciertos entornos de desarrollo en una reciente entrada de blog sobre su Jolt zkVM. 

“La mayoría de los zkVMs en realidad no son de ‘zero knowledge’, a menos que se aplique un proceso costoso de ‘envoltura’,” dice el blog. “Esta envoltura generalmente consiste en demostrar recursivamente la verificación de la prueba del zkVM dentro de otro sistema de pruebas que

Los autores también señalaron que a menudo “zk” se ha convertido en una especie de abreviatura para referirse a “la propiedad de concisión,” es decir, pruebas que son “cortas y rápidas de verificar,” en vez de verdadera privacidad de zero-knowledge. 

“A medida que la comunidad enfoca más en la privacidad —lo que requiere verdadero zero knowledge, que se trata de la privacidad de los datos sensibles del probador— este mal uso de la terminología se convierte en un problema real,” agregó a16z. 

¿Qué son las pruebas ZK?

Las pruebas ZK son una técnica criptográfica que permite a una parte (el probador) convencer a otra (el verificador) de que una afirmación es verdadera sin revelar ninguna información subyacente más allá del hecho de que la afirmación es cierta.

Desarrolladas primero en el ámbito académico, la primera aplicación comercial a gran escala de las pruebas ZK probablemente surgió en la industria cripto, en particular con el lanzamiento de Zcash, que implementó un tipo de prueba concisa llamada zk-SNARKs para brindar privacidad on-chain al ocultar los datos de las transacciones.  

Sin embargo, la criptografía de zero knowledge se ha aplicado desde entonces en diversos casos de uso innovadores en blockchain, especialmente como solución de escalabilidad para blockchains de Ethereum Layer 2 y otros zk-Rollups. 

La privacidad en sí volvió a posicionarse como una preocupación importante entre desarrolladores e inversores cripto, quienes argumentan que la naturaleza transparente de la mayoría de los blockchains actuales limitará la adopción, sobre todo entre instituciones.

Por ejemplo, el CEO de Digital Currency Group, Barry Silbert, dijo recientemente que espera flujos financieros significativos hacia las cadenas de privacidad. 

La solución de Jolt

Por su parte, la Jolt zkVM de código abierto de a16z lanzó una actualización importante para soportar nativamente pruebas de zero-knowledge el martes.

Las llamadas Zero-Knowledge Virtual Machines se utilizan para ejecutar programas y generar una prueba de que cierta función de código fue ejecutada sin revelar sus entradas.

Como las aplicaciones mencionadas en el blog, Jolt utilizaba inicialmente pruebas ZK para la concisión en lugar de privacidad total, un asunto que los desarrolladores corrigieron recurriendo a un esquema de plegado que “existe desde la década de los 90”.

En particular, Jolt usó el esquema de plegado NovaBlindFold para crear pruebas cegadas y evitar la filtración de información, “haciéndolo adecuado para aplicaciones de privacidad.”

“El resultado final es una prueba ZK que es solo unos 3 KB más grande que la prueba Jolt original sin ZK”, señala el blog.