El gigante de riesgo de Silicon Valley, Andreessen Horowitz (a16z), fue noticia el año pasado cuando anunció que se estaba adentrando en la investigación tecnológica profunda : cambiando su límite de inversión para convertirse en un investigador y constructor de ciencias informáticas a tiempo parcial. El martes, la empresa dio a conocer algunos de los primeros frutos de esa incursión con el lanzamiento de una implementación de código abierto para "Jolt", su máquina virtual de conocimiento cero (zkVM).
Además de posicionar a a16z como una empresa genuina de investigación y desarrollo, el nuevo código podría ayudar a las cadenas de bloques (y a algunas de las empresas de la cartera de a16z) a escalar sus operaciones.
Las máquinas virtuales, conocidas coloquialmente como VM, son entornos informáticos basados en software que sirven como base para blockchains y otros programas. El BIT de "conocimiento cero" (ZK) de Jolt se refiere a una forma de engaño criptográfico que alimenta la VM de a16z bajo el capó, permitiendo que la computadora virtual procese y verifique datos mientras cumple con restricciones especiales en torno a la Privacidad y la seguridad.
Jolt actualmente admite la arquitectura de conjunto de instrucciones (ISA) RISC-V, un estándar de código abierto para diseñar procesadores de computadora, y aplicaciones escritas en el lenguaje de programación Rust. Los programadores pueden ejecutar una aplicación a través de Jolt para "verificar su ejecución", explicó Eddy Lazzarin, CTO de a16z Cripto. El programa "generará una 'prueba' que demuestra que el resultado de ese programa en realidad provino de la ejecución correcta de ese programa". El gran reclamo del A16z con Jolt es que es "10 veces" más rápido que RISC Zero, su competidor más cercano.
La criptografía ZK tiene aplicaciones fuera de blockchain, pero la investigación de ZK ha experimentado un auge en paralelo con el ascenso de la industria. Las llamadas "pruebas ZK", las pruebas matemáticas generadas por los programas ZK, se han convertido en el método dominante para ayudar a las cadenas de bloques a reducir las tarifas, aumentar las velocidades y preservar la Privacidad de las transacciones.
Sigue leyendo:¿Qué son las pruebas de conocimiento cero?
La tecnología impulsa muchos de los llamados zkEVM (zkVM específicos del entorno de ejecución de Ethereum, conocidos como Ethereum Virtual Machine o EVM) que han surgido en los últimos años para hacer que esa cadena de bloques sea más rápida y segura. (A16z es inversor en Matter Labs, ONE de los principales fabricantes de zkEVM).
Las pruebas de ZK "escalan las cadenas de bloques haciendo el trabajo duro fuera de la cadena, y solo haciendo que la cadena de bloques verifique las pruebas", explicó en Justin Thaler, investigador de a16z y profesor asociado de la Universidad de Georgetown, coautor de la investigación de Lasso y Jolt. una entrevista el año pasado . Con las pruebas de ZK, "se puede obtener una garantía de que este trabajo se realizó correctamente, pero no que todos los nodos de blockchain del mundo hagan todo el trabajo".
Si bien Jolt no ha sido ajustado para Ethereum o cualquier otra cadena de bloques, a16z insiste en que su tecnología se puede superponer en zkEVM y otras aplicaciones ZK basadas en cadenas de bloques. "Ajustar circuitos específicos los vuelve muy frágiles. Es muy difícil y opaco hacerlo correctamente", dijo Lazzarin. "Nuestras técnicas no sólo son más simples, sino también más rápidas".
A16z se embarcó por primera vez en su viaje de tecnología profunda en agosto del año pasado cuando anunció un par de proyectos: Jolt, el que se lanza hoy, y Lasso, un método especial para alimentar sistemas ZK que sustenta parte de la programación de Jolt.
Según Lazzarin, a16z se embarcó en su viaje de investigación de tecnología profunda en parte como una forma de mejorar su caché como inversor: "Quiero decir, ¿por qué quitarle dinero a alguien que es solo dinero cuando puedes quitarle dinero a alguien que está ahí?" contigo a la vanguardia, haciendo las cosas más difíciles posibles en Cripto?"
Pero esa no es la única forma en que Lazzarin cree que las iniciativas de investigación de a16z pueden ayudar a mejorar los resultados de la empresa. El código de Jolt ha sido de código abierto, lo que significa que, en teoría, cualquiera puede usarlo o reutilizarlo sin pagar a16z. "Como somos inversores a largo plazo, no operamos día a día, semana a semana o incluso mes a mes", dijo Lazzarin. "Nos beneficiaremos más si el espacio avanza más rápido en los próximos cinco a diez años, por lo que nuestro incentivo es simplemente hacer avanzar a todos a través de bienes públicos que nunca monetizaremos".