Kakarot es un nuevo proyecto que está captando la atención de desarrolladores y entusiastas del ecosistema Ethereum. Este desarrollo ha marcado un hito histórico con el lanzamiento del primer Execution Client con soporte nativo para pruebas de conocimiento cero (ZK native) en Ethereum, utilizando el lenguaje de programación Cairo para su implementación.
Este avance abre la puerta a una nueva generación de redes compatibles con Ethereum, dotadas de soporte ZK nativo y seguro, lo que promete transformar radicalmente la forma en que se generan y validan las transacciones en la red. En este artículo, analizamos en profundidad cómo Kakarot ha logrado este avance y su relevancia para la evolución del ecosistema Ethereum.
Un enfoque revolucionario desde su origen
Kakarot nació de una idea audaz: ¿qué pasaría si reescribiéramos la Ethereum Virtual Machine (EVM) completamente en Cairo, un lenguaje diseñado específicamente para pruebas de conocimiento cero? Esta pregunta, planteada en julio de 2022, dio origen a un proyecto que se aparta de los enfoques tradicionales.
En lugar de adaptar infraestructuras existentes al entorno ZK, el equipo de Kakarot optó por construir un stack zk-EVM completamente desde cero, con compatibilidad ZK integrada de forma nativa. El resultado es un Execution Client que incorpora directamente las capacidades de Zero Knowledge Proofs, posicionando a Kakarot como una pieza clave en el futuro escalable y seguro de Ethereum.
DINERO EN EFECTIVO, EL HUMILDE HÉROE DEL APAGÓN DE ESPAÑA
Este avance ha sido posible gracias a que Kakarot ha implementado la State Transition Function de Ethereum en Cairo, lo que permite generar pruebas vinculadas a los bloques de Ethereum L1 de forma eficiente y segura. La importancia de esta innovación radica en que ofrece una alternativa técnica sólida, fomentando la diversificación de clientes de ejecución, un factor clave para reducir riesgos sistémicos asociados a la dependencia de una sola arquitectura dominante, como ocurría con el enfoque REVM + RISC-V.
Cairo: la base del soporte ZK-native de Kakarot
El lenguaje Cairo es la piedra angular de la revolución que Kakarot está impulsando. Diseñado específicamente para generar programas que puedan ser demostrados criptográficamente, Cairo permite que la ejecución de estos programas produzca pruebas STARK —seguras, escalables y sin necesidad de confianza externa—, fundamentales en el ecosistema ZK.
A diferencia de los lenguajes tradicionales usados en contratos inteligentes, Cairo no está orientado a la lógica on-chain convencional, sino a la creación de funciones validadas mediante criptografía de conocimiento cero (ZKP). Esto garantiza privacidad, seguridad y eficiencia en la ejecución de operaciones sensibles dentro de blockchain.
Al construir su Execution Client directamente sobre Cairo, Kakarot no adapta la tecnología ZK: la incorpora desde el diseño. Esta arquitectura ZK-native permite una verificación más rápida y menos costosa de las transacciones, reduciendo significativamente la carga computacional. El resultado es un sistema más escalable y preparado para afrontar los retos del futuro de Ethereum.
Este desarrollo fue posible gracias a la implementación de Kakarot del State Transition Function de Ethereum en Cairo, que permite la generación de pruebas vinculadas a los bloques de Ethereum L1 de manera eficiente y segura. La importancia de esta innovación radica en que brinda una alternativa técnica fundamental, generando diversificación en los clientes que prueban la red, un factor esencial para mitigar riesgos sistémicos derivados de dependencias únicas, como ocurría hasta ahora con la predominancia del enfoque REVM+RISC-V.
Uso del lenguaje Cairo para soporte ZK
El lenguaje Cairo es clave para la revolución que Kakarot está impulsando. Cairo fue diseñado específicamente para generar programas demostrables, cuya ejecución produce pruebas STARK independientes de confianza, esenciales para la tecnología ZK. En esencia, Cairo permite a los desarrolladores describir programas que pueden ser validados criptográficamente sin revelar los datos reales de ejecución, garantizando privacidad y seguridad.
Este lenguaje no es un lenguaje tradicional para contratos inteligentes, sino una herramienta para crear funciones con criptografía ZKP, lo que mejora la eficiencia, la seguridad y la privacidad en la ejecución de las operaciones. Al utilizar Cairo, Kakarot se asegura de que su Execution Client sea ZK-native, es decir, construido desde sus cimientos para trabajar con pruebas de conocimiento cero de manera nativa, en lugar de adaptarse a ellas. Así, se optimizan las capacidades de verificación y se reduce la complejidad computacional de las pruebas, lo que es vital para la escalabilidad futura de Ethereum.
COMPRADORES DEMANDAN A NIKE POR PÉRDIDA DE VALOR DE SUS NFTS
Evolución de Kakarot hacia pruebas ZK en tiempo real
Tras más de dos años de desarrollo, Kakarot ha alcanzado un nuevo hito: la capacidad de generar pruebas en tiempo real para bloques de Ethereum mediante su cliente ZK-native. Esto implica no solo ejecutar la Ethereum Virtual Machine (EVM) dentro de su sistema, sino también verificar la validez de los bloques de forma rápida y segura, incluso antes de que se consideren finalizados. Un salto cualitativo que promete reforzar tanto la seguridad como la escalabilidad de Ethereum.
Para lograrlo, el equipo de Kakarot desarrolló herramientas como el ZK Prover Input Generator (ZK-PIG), que permite a cualquier red basada en EVM adaptarse fácilmente para ser ZK-ready, habilitando una mayor interoperabilidad entre blockchains. Además, colabora con expertos en ZK-STARKs para optimizar el rendimiento y reducir los tiempos de verificación, avanzando hacia un escenario donde las pruebas puedan generarse en cuestión de segundos, incluso más rápido que la creación de bloques.
Diversificación de clientes: clave para la seguridad de Ethereum
Una de las principales preocupaciones del ecosistema Ethereum es la excesiva dependencia de un número limitado de clientes de ejecución, lo que genera riesgos sistémicos si alguno de ellos falla. En este contexto, la aparición de Kakarot como un cliente ZK-native independiente, construido con Cairo y sin apoyarse en tecnologías como RISC-V, ofrece una vía alternativa y robusta que fortalece la diversidad y resiliencia de la red.
La existencia de múltiples clientes, con arquitecturas distintas, fomenta la competencia técnica, mitiga el riesgo de puntos únicos de fallo y alienta la innovación en capas críticas de la infraestructura Ethereum. La aproximación de Kakarot, centrada en Zero Knowledge desde su diseño, amplía aún más este ecosistema técnico plural.
Reconocimiento de líderes del sector
El trabajo de Kakarot ha despertado gran interés entre figuras clave del mundo blockchain. Eli Ben-Sasson, cofundador y CEO de StarkWare, ha señalado que Kakarot está bien posicionado para liderar el avance de los zk-Rollups gracias a su arquitectura nativa en Cairo. Destacó, además, la importancia de la diversidad de clientes como garantía de un futuro sostenible para Ethereum.
Por su parte, Justin Drake, investigador de la Ethereum Foundation, elogió el enfoque radicalmente distinto de Kakarot, que evita tecnologías como Plonky3, revm y RISC-V. Considera que esta alternativa fortalece la red ante posibles vulnerabilidades en implementaciones tradicionales y estimula la experimentación técnica dentro del ecosistema ZK-EVM.
Desde el propio proyecto, se destaca que Kakarot no busca adaptar infraestructuras existentes, sino ofrecer una solución de alto rendimiento construida desde cero, enfocada en cumplir los requisitos específicos de Ethereum con pruebas rápidas, confiables y eficientes.
Impacto de Kakarot en el ecosistema Ethereum
El impacto de Kakarot sobre Ethereum es amplio y estratégico. Su cliente ZK-native permitirá la creación de redes compatibles con Ethereum que integren pruebas ZK de forma segura y eficiente, impulsando una adopción más rápida de estas tecnologías que están revolucionando la privacidad y la escalabilidad en blockchain.
Además, su enfoque innovador contribuirá a acelerar la evolución de Ethereum hacia un entorno totalmente zk-enabled, con beneficios concretos como reducción de costes, mayor seguridad y mejora en la capacidad de procesamiento de transacciones.
¿Por qué es relevante para la industria blockchain en general?
Para el mundo blockchain, Kakarot demuestra que se pueden construir herramientas más avanzadas y seguras sin depender de las tecnologías tradicionales. Abre la puerta a redes más eficientes, escalables y privadas, preparadas para un uso masivo. También facilita que otras blockchains que funcionan como Ethereum puedan adoptar esta tecnología, lo que impulsa la interoperabilidad (que diferentes redes trabajen juntas), creando un entorno más competitivo e innovador. Kakarot, además de ayudar a que Ethereum sea más fuerte, rápido y seguro, marca el camino para una nueva generación de blockchains más inteligentes y resistentes.