Kakarot: Proyecto innovador zkEVM desarrollado en el lenguaje Cairo

Kakarot zkEVM es una implementación de la máquina virtual de Ethereum (EVM) escrita en el lenguaje Cairo. Cairo es un lenguaje de programación Turing completo relacionado con CairoVM, que logra computación verificable a través de un sistema de pruebas polinómicas y ZK-STARK.

Como una forma de zkEVM, Kakarot puede generar transacciones y bloques verificables. Dado que se construye sobre CairoVM, cada transacción ejecutada en Kakarot es verificable. Kakarot zkEVM utiliza el lenguaje Cairo y el sistema de pruebas ZK-STARK para proporcionar capacidad de cálculo verificable, permitiendo a los desarrolladores desplegar aplicaciones EVM sobre él y permitiendo a los usuarios interactuar con estas aplicaciones utilizando herramientas familiares.

Además, el plan Kakarot proporciona interoperabilidad con el protocolo Starknet, lo que aporta composabilidad a los protocolos en diferentes campos como DeFi y GameFi.

Ruta de desarrollo

El proyecto comenzó en octubre de 2022, y sus objetivos principales incluyen el desarrollo de código abierto y la creación de zkEVM con menos de 10,000 líneas de código. Este objetivo se logró en 6 meses, y se planea lanzar la red de pruebas a finales del verano de 2023.

La hoja de ruta del desarrollo de Kakarot zkEVM se divide en tres etapas:

Etapa uno: Construir un entorno EVM en Starknet

Kakarot zkEVM existirá primero como un EVM integrado en Starknet L2, permitiendo a los desarrolladores desplegar directamente contratos inteligentes en Solidity( u otros lenguajes compatibles con EVM) en Starknet, y utilizar herramientas de desarrollo familiares. Los usuarios podrán interactuar con dApps usando billeteras comunes, y la experiencia será similar a la de Polygon, Scroll o Ethereum L1.

Etapa dos: Integración con Madara para lograr L3 zkEVM

Kakarot y Madara se integrarán en una pila tecnológica unificada para habilitar L3 zkEVM, con la opción de expandirse a niveles L4, L5, etc., si es necesario. El equipo puede implementar su propia cadena de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Esta estructura L3 puede separar la seguridad y la descentralización, permitiendo a los usuarios disfrutar de la seguridad de Ethereum L1, mientras se reduce la necesidad de un gran número de nodos de validación.

Esta arquitectura puede reducir significativamente los costos de gas y mejorar el rendimiento. Para una mayor optimización, se puede separar la verificación de pruebas y la disponibilidad de datos (DA). Starknet L2 puede actuar como una capa de verificación de pruebas, mientras que nuevas soluciones de DA como Celestia o EigenDA pueden usarse para publicar datos de transacciones.

Etapa tres: implementación de zkEVM tipo 1

Al escribir las reglas de consenso de Ethereum en Cairo dentro del nodo completo de Madara x Kakarot, y cambiando de Pedersen Merkle Patricia Trie(MPT) a Keccak MPT, Kakarot espera convertirse en un cliente zkEVM tipo 1, capaz de verificar bloques de L1. La realización de este objetivo depende de la hoja de ruta de desarrollo de Ethereum, especialmente de la actualización de Verge. Después de la actualización de Verge, keccak puede ser reemplazado por poseidon como la función hash preferida de Ethereum, lo que ayudará al equipo de zkEVM a lograr compatibilidad tipo 1.

Composición del equipo

El equipo central de Kakarot nació en un hackathon en Lisboa, donde aproximadamente 10 personas construyeron un prototipo de zkEVM en una semana. Actualmente, con el apoyo de la Fundación Starknet y Onlydust, Kakarot cuenta con más de 40 contribuyentes independientes.

Los miembros clave incluyen:

• Elias Tazartes: cofundador y CEO, experto en ingeniería de blockchain y desarrollo full stack.
• Clément Walter: cofundador y CTO, con múltiples antecedentes como científico, ingeniero y empresario.

Situación de financiamiento

Kakarot ha completado la ronda de financiación pre-semilla, el monto específico no ha sido revelado. Los inversores incluyen a Starkware y LambDa. Los inversores ángeles incluyen al fundador de Ethereum, Vitalik Buterin, al cofundador de Ledger, Nicolas Bacca, y al cofundador y CEO de ZAMA, Rand Hindi.

Perspectivas del proyecto

Kakarot, como EVM escrito en Cairo en Starknet, se espera que se convierta en un puente importante que conecte el ecosistema de Starknet con el de Ethereum. Puede reducir la barrera de entrada para los desarrolladores, facilitando que los proyectos del ecosistema de Ethereum se construyan en Starknet, al tiempo que mantiene la seguridad de Ethereum y reduce costos.

El desarrollo de Kakarot está estrechamente relacionado con el ecosistema de Starknet. A medida que Starknet continúa mejorando la experiencia del usuario, el zkEVM construido por Kakarot también contribuirá a la prosperidad del ecosistema. Sin embargo, el estado de desarrollo de Starknet también influirá directamente en las perspectivas de Kakarot.

Contar con el apoyo de Vitalik Buterin y StarkWare es una gran ventaja para Kakarot, que se refleja no solo en el ámbito espiritual, sino también en el apoyo financiero.

En comparación con otros proyectos de zkEVM, Kakarot enfrenta desafíos como un equipo de tamaño pequeño, un presupuesto y un reconocimiento relativamente bajos, lo que también es una de las razones por las que aún no se ha implementado como zkEVM L2 general.

El proyecto Kakarot aún se encuentra en una etapa temprana, la red de prueba se lanzará pronto, y vale la pena seguir su evolución.