Kakarot zkEVM: Implementación de la Máquina virtual de Ethereum con 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 completo de Turing, asociado con CairoVM. CairoVM 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 está construido sobre CairoVM, cada transacción ejecutada en Kakarot es verificable. Esto permite a los desarrolladores desplegar aplicaciones EVM en Kakarot, mientras que permite a los usuarios interactuar con estas aplicaciones utilizando herramientas familiares.

Además, Kakarot también planea ofrecer interoperabilidad con el protocolo Starknet, proporcionando composibilidad para protocolos en diferentes áreas como DeFi y GameFi.

Ruta de desarrollo

El proyecto Kakarot comenzó en octubre de 2022, y su ambicioso objetivo es crear un zkEVM con menos de 10,000 líneas de código. Este objetivo se logró en solo seis meses. El proyecto 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: Introducir EVM en el ecosistema de Starknet.

2. Kakarot x Madara: implementar L3 zkEVMs para permitir al equipo desplegar su propia cadena de aplicaciones zkEVM.

3. Kakarot x Madara: implementar zkEVM tipo 1, capaz de probar bloques L1 de Ethereum.

Antecedentes del equipo

El equipo central de Kakarot nació en un hackathon en Lisboa, donde alrededor de diez personas construyeron un prototipo de zkEVM en una semana. Hoy en día, 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 blockchain y desarrollo full stack.
• Clément Walter: cofundador y CTO, con un trasfondo múltiple de científico, ingeniero y empresario.

Situación de financiamiento

Kakarot ha completado una ronda de financiación pre-seed, el monto específico no ha sido divulgado. 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 implementación EVM en Starknet, tiene el potencial de convertirse en un puente importante que conecta Starknet y el ecosistema de Ethereum. Puede reducir la barrera de entrada para los desarrolladores, al mismo tiempo que mantiene la seguridad de Ethereum y reduce costos.

Sin embargo, el desarrollo de Kakarot también está estrechamente ligado al destino de Starknet. El desarrollo continuo de Starknet es crucial para Kakarot. Aunque cuenta con el apoyo de Vitalik y StarkWare, en comparación con otros proyectos de zkEVM, el equipo de Kakarot es más pequeño, tiene un presupuesto y un reconocimiento de marca más bajos, lo que también es una de las razones por las que aún no se ha implementado como un zkEVM L2 general.

El proyecto Kakarot todavía se encuentra en una etapa temprana, y su red de pruebas se lanzará pronto. A medida que el proyecto avance, tiene el potencial de aportar un valor importante al ecosistema de Starknet, pero su éxito también depende de la interacción de múltiples factores.