Kakarot: un innovador proyecto Zk-EVM

Kakarot zkEVM es una implementación de la máquina virtual de Ethereum escrita en el lenguaje Cairo. Cairo es un lenguaje Turing completo asociado con CairoVM, y CairoVM utiliza polinomios y el sistema de prueba ZK-STARK para lograr computación verificable.

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.

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

Ruta de desarrollo

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

El desarrollo de Kakarot zkEVM se divide en tres etapas:

1. Implementar funcionalidad EVM en Starknet, permitiendo a los desarrolladores desplegar contratos inteligentes Solidity directamente en Starknet, y los usuarios podrán interactuar con herramientas y dApps comunes.

2. Integración con Madara para implementar L3 zkEVMs. El equipo puede desplegar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Esta fase puede lograr la desacoplación de la seguridad y la descentralización, al mismo tiempo que reduce los costos de gas y aumenta el TPS.

3. Implementar un zkEVM de tipo 1 combinando Madara. Si se puede escribir las reglas de consenso de Ethereum en Cairo y cambiar a Keccak MPT, Kakarot se convertirá en un cliente zkEVM de tipo 1 para bloques L1 verificables.

Antecedentes del equipo

El equipo central de Kakarot nació en un hackathon en Lisboa. Actualmente cuenta con más de 40 colaboradores y ha recibido el apoyo de la Fundación Starknet y Onlydust.

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 antecedentes de científico e ingeniero

Situación de financiamiento

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

Ventajas y Desafíos 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 el desarrollo. Está estrechamente vinculado al ecosistema de Starknet, y el desarrollo futuro se influenciará mutuamente.

El proyecto cuenta con el apoyo de Vitalik y StarkWare, lo que es una gran ventaja. Sin embargo, en comparación con otros zkEVM, el equipo de Kakarot es más pequeño, y su financiación y reconocimiento de marca también son más bajos, lo que representa un desafío en este momento.

Kakarot todavía se encuentra en una etapa temprana, y la red de pruebas se lanzará pronto. A medida que el proyecto avance, se espera que traiga más posibilidades para el ecosistema de Starknet y Ethereum.