Kakarot: solución zkEVM basada en Cairo e innovadora

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, estrechamente relacionado con CairoVM. CairoVM utiliza polinomios y el sistema de prueba ZK-STARK para lograr cálculos verificables.

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 permite a los desarrolladores desplegar aplicaciones EVM, mientras que los usuarios pueden interactuar con estas aplicaciones utilizando herramientas comunes. Además, Kakarot proporcionará interoperabilidad con el protocolo Starknet, ofreciendo combinabilidad para protocolos en áreas como DeFi y GameFi.

Ruta de desarrollo

El proyecto comenzó en octubre de 2022, con el objetivo de crear un zkEVM de código abierto con menos de 10,000 líneas de código. Este ambicioso objetivo se logró en solo seis meses. Se planea lanzar la red de pruebas a finales del verano de 2023.

El desarrollo de Kakarot zkEVM se divide en tres etapas:

1. Kakarot zkEVM en Starknet: Introduciendo EVM en Starknet

   Como EVM incorporado en Starknet L2, los desarrolladores pueden implementar directamente contratos inteligentes en Solidity( u otros lenguajes compatibles con EVM) en Starknet, utilizando herramientas familiares como Foundry, Hardhat, etc. La experiencia del usuario será exactamente la misma que en Polygon, Scroll o Ethereum L1.

2. Kakarot x Madara:L3 zkEVMs

Kakarot y Madara se integrarán, apoyando L3 zkEVMs y niveles superiores. El equipo podrá desplegar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Esta arquitectura L3 puede separar la seguridad y la descentralización, permitiendo a los usuarios disfrutar de la seguridad de Ethereum L1 mientras reducen los costos de gas.

3. Kakarot x Madara:type 1 zkEVM

   Si se pueden escribir las reglas de consenso de Ethereum en Cairo y cambiar de Pedersen MPT a Keccak MPT, Kakarot se convertirá en un cliente zkEVM tipo 1 para bloques L1 verificables. Esto depende del desarrollo futuro de Ethereum, especialmente de la implementación de la fase Verge.

Equipo central

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

Los miembros clave incluyen:

• Elias Tazartes: cofundador y CEO, enfocado en ingeniería blockchain y desarrollo full stack
• Clément Walter: cofundador y CTO, con un trasfondo de científico, ingeniero y empresario.

Situación de financiamiento

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

Perspectivas del proyecto

Kakarot, como implementación de EVM en Starknet, puede conectar bien Starknet y el ecosistema de Ethereum, reduciendo la barrera de entrada para los desarrolladores. En el futuro, también se implementarán más combinaciones, como con módulos como Celestia.

Como una parte importante del ecosistema de Starknet, el desarrollo de Kakarot está estrechamente relacionado con Starknet. Contar con el apoyo de V God y StarkWare es una ventaja, pero el tamaño reducido del equipo y los recursos limitados también son desventajas.

En comparación con otros zkEVM, Kakarot elige centrarse en el ecosistema de Starknet en lugar de desplegar un L2 independiente. El proyecto aún se encuentra en una etapa temprana, la red de pruebas se lanzará pronto, y vale la pena seguir su desarrollo.