Kakarot zkEVM: Máquina virtual de Ethereum innovadora construida 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 Turing completo asociado con CairoVM, que utiliza polinomios y el sistema de prueba ZK-STARK para lograr cálculos verificables.

Como una zkEVM, Kakarot puede generar transacciones y bloques verificables. Dado que se construye sobre 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 ofrecerá interoperabilidad con el protocolo Starknet, brindando combinabilidad para protocolos en áreas como DeFi y GameFi.

Ruta de desarrollo

El proyecto Kakarot comenzó en octubre de 2022, con el objetivo de crear un zkEVM 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 fases:

1. Kakarot zkEVM en Starknet: Introducir EVM en Starknet

   En esta etapa, Kakarot zkEVM existirá como una EVM incorporada en el L2 de Starknet. Los desarrolladores podrán desplegar contratos inteligentes Solidity directamente en Starknet y utilizar herramientas familiares como Foundry, Hardhat, entre otras. La experiencia del usuario será la misma que en Polygon o Ethereum L1.

2. Kakarot x Madara: L3 zkEVMs

Kakarot se integrará con Madara para implementar L3 zkEVMs. El equipo puede desplegar su propia cadena de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Esta solución L3 puede reducir los requisitos de descentralización al tiempo que mantiene la seguridad de Ethereum L1, lo que disminuye significativamente los costos de gas y mejora el rendimiento.

3. Kakarot x Madara: tipo 1 zkEVM

   Al escribir las reglas de consenso de Ethereum en Cairo en un nodo completo de Madara x Kakarot, y cambiando de Pedersen MPT a Keccak MPT, Kakarot tiene la esperanza de convertirse en un cliente zkEVM de tipo 1, capaz de probar bloques de L1. La implementación de este caso de uso avanzado depende de la hoja de ruta de desarrollo de Ethereum.

Composición del equipo

El equipo central de Kakarot se originó en un evento de hackathon, donde aproximadamente 10 personas construyeron un prototipo de zkEVM en una semana. Actualmente, con el apoyo de la Fundación Starknet y Onlydust, más de 40 colaboradores están participando en el desarrollo del proyecto.

Los miembros clave incluyen:

• Elias Tazartes: Co-fundador y CEO, experto en ingeniería blockchain y desarrollo de pila completa
• Clément Walter: Co-fundador y CTO, con antecedentes de científico, ingeniero y empresario.

Situación de financiamiento

Kakarot completó una ronda de financiación pre-semilla, el monto específico no se ha hecho público. Los inversores incluyen a instituciones como Starkware y LambDa, así como a inversores ángeles como Vitalik Buterin, el cofundador de Ledger Nicolas Bacca y el CEO de ZAMA Rand Hindi.

Análisis de perspectivas del proyecto

Kakarot, como implementación de EVM en Starknet, tiene la esperanza de convertirse en un puente importante que conecte Starknet y el ecosistema de Ethereum. Puede reducir la barrera de entrada para los desarrolladores en Starknet, al mismo tiempo que ofrece a los usuarios una experiencia familiar de Ethereum.

Las ventajas del proyecto incluyen:

1. Estrecha integración con el ecosistema de Starknet, coexistencia beneficiosa.
2. Obtener el apoyo de figuras importantes de la industria como V神 y StarkWare
3. Diseño modular, se puede combinar con otras soluciones de Layer 2

Desafíos enfrentados:

1. El tamaño del equipo es pequeño, los recursos son limitados
2. El proyecto todavía se encuentra en una etapa temprana, necesita tiempo para verificarse.
3. Dependiendo del desarrollo de Starknet, existe un cierto riesgo.

En general, Kakarot representa una dirección innovadora en la tecnología zkEVM, con la esperanza de traer más posibilidades al ecosistema de Starknet. Con el lanzamiento inminente de la red de prueba, es importante prestar atención al rendimiento real del proyecto.