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

A16z Crypto, el brazo web3 de la destacada firma de capital de riesgo Andreessen Horowitz, criticó el uso coloquial de “ZK” en algunos entornos de desarrolladores en una reciente entrada de blog sobre su Jolt zkVM. 

“La mayoría de las zkVMs no son realmente cero conocimiento — a menos que se aplique un procedimiento costoso de ‘envoltura’,” se lee en el blog. “Esta envoltura suele involucrar la prueba recursiva de la verificación de la prueba 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 “la propiedad de concisión,” es decir, pruebas que son “cortas y rápidas de verificar,” en lugar de una verdadera privacidad de cero conocimiento. 

“A medida que el enfoque de la comunidad hacia la privacidad crece — requiriendo verdadero cero conocimiento, que trata sobre la privacidad de los datos sensibles del probador — este mal uso de la terminología se está convirtiendo en un problema real,” agregó a16z. 

¿Qué son las pruebas ZK?

Las pruebas ZK son una técnica criptográfica que permite que una parte (el probador) convenza a otra parte (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 verdadera.

Desarrolladas primero en el ámbito académico, la primera aplicación comercial a gran escala de las pruebas ZK podría decirse que se arraigó en la industria cripto, particularmente con el lanzamiento de Zcash, que empleó un tipo de prueba concisa llamada zk-SNARKs para proporcionar privacidad en cadena al ocultar los datos de las transacciones.  

Sin embargo, la criptografía de cero conocimiento se ha aplicado desde entonces en varios usos novedosos de blockchain, especialmente como solución de escalado para blockchains de Ethereum Layer 2 y otros zk-Rollups. 

La privacidad misma ha surgido nuevamente como una preocupación importante entre los desarrolladores e inversores criptográficos, quienes argumentan que la naturaleza transparente de la mayoría de las blockchains hoy en día limitará la adopción, especialmente entre instituciones.

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

La solución de Jolt

Por su parte, la Jolt zkVM de código abierto de a16z implementó una nueva mejora significativa para soportar de forma nativa pruebas de cero conocimiento el martes.

Las llamadas Máquinas Virtuales de Cero Conocimiento se utilizan para ejecutar programas y generar una prueba de que alguna función de código fue ejecutada sin revelar sus entradas.

Al igual que las aplicaciones a las que se refiere el blog, Jolt utilizó inicialmente pruebas ZK para la concisión en lugar de la privacidad total, un problema que los desarrolladores resolvieron recurriendo a un esquema de plegado que “se remonta a los años noventa.”

En particular, Jolt utilizó el esquema de plegado NovaBlindFold para crear pruebas a ciegas y evitar fugas 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 no-ZK,” señala el blog.