Kakarot zkEVM: Máquina virtual de Ethereum basada en 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 utiliza polinomios y el sistema de pruebas ZK-STARK para lograr cálculos verificables.

Como zkEVM, Kakarot puede generar transacciones y bloques verificables. Dado que se basa en CairoVM, cada transacción ejecutada en Kakarot es verificable. Esto permite a los desarrolladores desplegar aplicaciones EVM en Kakarot, mientras que los usuarios pueden interactuar con estas aplicaciones utilizando herramientas familiares.

Kakarot también proporcionará interoperabilidad con el protocolo Starknet, aportando composabilidad a los protocolos en diferentes áreas como DeFi y GameFi.

Ruta de desarrollo

El proyecto Kakarot se lanzó 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. En solo seis meses se logró este objetivo, y se planea lanzar la red de prueba a finales del verano de 2023.

El mapa de ruta de Kakarot zkEVM se divide en tres etapas:

1. Kakarot zkEVM en Starknet: Introducir EVM en Starknet

   Como EVM incorporada en Starknet L2, los desarrolladores pueden implementar contratos inteligentes en Solidity (o cualquier lenguaje compatible con EVM) directamente y utilizar herramientas familiares. La experiencia del usuario será la misma que en Polygon, Scroll o Ethereum L1.

2. Kakarot x Madara：L3 zkEVMs

   Integrar Kakarot y Madara para implementar L3 zkEVMs, e incluso niveles más altos. El equipo puede desplegar cadenas de aplicaciones zkEVM y utilizar pruebas de validez para liquidar transacciones en Starknet. Este enfoque puede desacoplar la seguridad y la descentralización, al mismo tiempo que reduce costos y mejora el rendimiento.

3. Kakarot x Madara：tipo 1 zkEVM

   A través de la escritura de las reglas de consenso de Ethereum en el nodo completo de Madara x Kakarot usando Cairo, y cambiando de Pedersen MPT a Keccak MPT, Kakarot aspira a convertirse en un cliente zkEVM de tipo 1, capaz de probar bloques de L1.

Antecedentes del equipo

El equipo central de Kakarot nació durante un hackathon en Lisboa. Actualmente, con el apoyo de la Fundación Starknet y Onlydust, Kakarot cuenta con más de 40 contribuyentes únicos.

Los miembros clave incluyen:

• Elias Tazartes: cofundador y CEO, enfocado en ingeniería de blockchain y desarrollo de pila completa.
• Clément Walter: cofundador y CTO, científico, ingeniero y empresario.

Situación de financiamiento

Kakarot ha completado la ronda de financiamiento pre-semilla, el monto específico no se ha divulgado. Los inversores incluyen a Starkware y LambDa. Los inversores ángeles incluyen a Vitalik Buterin, el cofundador de Ledger Nicolas Bacca y el cofundador y CEO de ZAMA Rand Hindi.

Ventajas y desafíos del proyecto

Kakarot, como un EVM escrito en Cairo sobre Starknet, puede conectar bien el ecosistema de Starknet y Ethereum. Reduce la barrera de entrada para el desarrollo, permitiendo que los proyectos del ecosistema de Ethereum se construyan sobre Starknet, manteniendo al mismo tiempo la seguridad de Ethereum y reduciendo costos.

Sin embargo, el desarrollo de Kakarot está estrechamente vinculado al ecosistema de Starknet. Si el desarrollo de Starknet no va bien, Kakarot también se verá afectado. En comparación con otros proyectos de zkEVM, el equipo de Kakarot es más pequeño, su presupuesto y reconocimiento de marca son también más bajos, lo que es una de las razones por las que actualmente no se ha desplegado como un zkEVM L2 general.

A pesar de ello, Kakarot cuenta con el apoyo de Vitalik Buterin y StarkWare, lo cual es un impulso importante tanto en términos financieros como en apoyo moral. El proyecto aún se encuentra en una etapa temprana, y la red de pruebas se lanzará pronto, lo que merece una atención continua a su desarrollo.