A16z Crypto critica el uso indebido del término ZK, actualización de Jolt zkVM orientada a ZK real

A16z Crypto – la rama de inversión en web3 del fondo de capital riesgo líder Andreessen Horowitz – ha criticado el uso popular pero inexacto del término “ZK” en la comunidad de desarrolladores, en un blog reciente que presenta Jolt zkVM.

Según el artículo, “la mayoría de las zkVM en realidad no son zero-knowledge en el sentido estricto, a menos que se aplique un proceso de ‘envoltura’ costoso.” Este proceso suele requerir demostrar recursivamente la verificación de la prueba zkVM dentro de otro sistema de pruebas que realmente logra el zero-knowledge. Este método no solo consume recursos computacionales significativos, sino que también suele comprometer la transparencia, debido a la necesidad de un mecanismo de configuración confiable (trusted setup).

El equipo de autores también señala que, en muchos casos, “zk” se ha convertido en una abreviatura de “concisión” (succinctness), es decir, pruebas de tamaño pequeño y verificación rápida, en lugar de garantizar la privacidad zero-knowledge real.

A16z Crypto enfatiza que, a medida que la comunidad presta más atención a la privacidad – que requiere zero-knowledge genuino para proteger datos sensibles del proponente – el uso incorrecto del término se está convirtiendo en un problema grave.

¿Qué es la prueba ZK?

La prueba de conocimiento cero (ZK proof) es una técnica criptográfica que permite a una parte (el proponente) convencer a otra (el verificador) de que una afirmación es verdadera sin revelar ninguna información adicional, más allá de la veracidad de la afirmación.

Desarrollada inicialmente en el ámbito académico, la primera aplicación comercial a gran escala de ZK proof se considera que apareció en el sector cripto, especialmente con la creación de Zcash. Este proyecto implementó zk-SNARKs, una forma de prueba concisa, para ofrecer privacidad en la cadena mediante el ocultamiento de datos de transacciones.

Desde entonces, la criptografía de conocimiento cero se ha aplicado ampliamente en muchos modelos de blockchain nuevos, especialmente en soluciones de escalabilidad para Ethereum Layer 2 y zk-Rollups.

La privacidad también está volviendo a ser una preocupación clave para desarrolladores e inversores en cripto, ya que muchas opiniones sugieren que la transparencia absoluta de la mayoría de las blockchains actuales puede obstaculizar su adopción masiva, especialmente por parte de instituciones financieras.

Por ejemplo, el CEO de Digital Currency Group, Barry Silbert, expresó recientemente que espera que grandes flujos de capital se dirijan hacia blockchains centradas en la privacidad.

La solución de Jolt

Por su parte, Jolt zkVM de código abierto de A16z implementó una actualización importante el martes, que permite soportar verdaderamente la prueba de conocimiento cero nativa.

Zero-Knowledge Virtual Machine (zkVM) es un entorno de ejecución de programas capaz de generar pruebas que confirman que un código ha sido ejecutado, sin revelar los datos de entrada.

Anteriormente, como muchas otras aplicaciones, Jolt utilizaba principalmente ZK proof para lograr concisión en lugar de privacidad total. Para superar esta limitación, el equipo de desarrollo aplicó un mecanismo de “folding scheme” originado en los años 90.

Específicamente, Jolt integra el mecanismo NovaBlindFold para crear pruebas cegadas (blinded proofs), que evitan la filtración de información y hacen que el sistema sea adecuado para aplicaciones que requieren privacidad.

Según el blog, el resultado final es una prueba de conocimiento cero que tiene un tamaño aproximadamente 3 KB mayor que la prueba Jolt anterior sin atributos ZK, lo que indica que el costo adicional en tamaño es relativamente pequeño en comparación con los beneficios de privacidad logrados.