Kakarot: Máquina virtual de Ethereum escrita por Cairo
Kakarot zkEVM es una Máquina virtual de Ethereum (EVM) escrita en el lenguaje Cairo. Cairo es un lenguaje completo de Turing 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 sobre él, mientras que los usuarios finales pueden interactuar con las aplicaciones utilizando las herramientas comunes.
Además, Kakarot también ofrecerá interoperabilidad con el protocolo Starknet, proporcionando composabilidad 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 objetivo se logró en seis meses 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:
Kakarot zkEVM en Starknet: Introduciendo EVM en Starknet
Como EVM incorporada en Starknet L2, los desarrolladores pueden desplegar contratos inteligentes en Solidity directamente, utilizando herramientas familiares como Foundry, Hardhat, etc. La experiencia del usuario será la misma que en Polygon, Ethereum L1, etc.
Kakarot x Madara：L3 zkEVMs
Integrar Kakarot y Madara para implementar L3 zkEVMs, que se pueden escalar a L4, L5, etc., si es necesario. El equipo puede desplegar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Esta arquitectura L3 puede desacoplar la seguridad y la descentralización, permitiendo a los usuarios disfrutar de la seguridad de Ethereum L1 sin requerir el mismo nivel de descentralización.
Kakarot x Madara: tipo 1 zkEVM
Si se pueden escribir las reglas de consenso de Ethereum con Cairo y cambiar de Pedersen Merkle Patricia Trie a Keccak MPT, Kakarot se convertirá en un cliente zkEVM tipo 1 capaz de probar bloques L1. Esto depende de la hoja de ruta de Ethereum, especialmente del desarrollo de la fase Verge.
Resumen del equipo
El equipo central de Kakarot nació en un hackathon en Lisboa. Actualmente, más de 40 contribuyentes están participando en el desarrollo del proyecto.
Los miembros principales incluyen:
Elias Tazartes: cofundador y CEO, enfocado en ingeniería de blockchain y desarrollo full stack.
Clément Walter: cofundador y CTO, con antecedentes de científico, ingeniero y empresario.
Situación de financiamiento
Kakarot ha completado una ronda de financiamiento pre-semilla, el monto específico no se ha hecho público. Los inversores incluyen a Starkware, LambDa, entre otros. Los inversores ángeles son Vitalik Buterin, Nicolas Bacca, cofundador de Ledger, y Rand Hindi, cofundador de ZAMA.
Evaluación del proyecto
Kakarot, como implementación de EVM en Starknet, puede conectar efectivamente Starknet y el ecosistema de Ethereum, reduciendo la barrera de entrada para el desarrollo. En fases futuras, se implementará más combinabilidad, como con módulos como Celestia o EigenDA.
El proyecto está estrechamente ligado al ecosistema de Starknet, promoviendo mutuamente su desarrollo. Contar con el apoyo de V神 y StarkWare es una gran ventaja. Sin embargo, en comparación con otros proyectos de zkEVM, el equipo de Kakarot es pequeño, tiene un presupuesto y un reconocimiento más bajos, lo que también es una de las razones por las cuales aún no se ha implementado como un zkEVM L2 general.
Kakarot todavía se encuentra en una etapa temprana, la red de pruebas se lanzará pronto, vale la pena seguir su desarrollo.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
15 me gusta
Recompensa
15
3
Compartir
Comentar
0/400
HackerWhoCares
· 07-25 13:18
El futuro es brillante para este proyecto.
Ver originalesResponder0
NftMetaversePainter
· 07-25 13:18
omg finalmente una implementación zkvm digna... la elegancia algorítmica es *chef's kiss*
Kakarot: el primer zkEVM basado en Cairo traerá compatibilidad EVM a Starknet
Kakarot: Máquina virtual de Ethereum escrita por Cairo
Kakarot zkEVM es una Máquina virtual de Ethereum (EVM) escrita en el lenguaje Cairo. Cairo es un lenguaje completo de Turing 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 sobre él, mientras que los usuarios finales pueden interactuar con las aplicaciones utilizando las herramientas comunes.
Además, Kakarot también ofrecerá interoperabilidad con el protocolo Starknet, proporcionando composabilidad 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 objetivo se logró en seis meses 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:
Kakarot zkEVM en Starknet: Introduciendo EVM en Starknet
Como EVM incorporada en Starknet L2, los desarrolladores pueden desplegar contratos inteligentes en Solidity directamente, utilizando herramientas familiares como Foundry, Hardhat, etc. La experiencia del usuario será la misma que en Polygon, Ethereum L1, etc.
Kakarot x Madara：L3 zkEVMs
Integrar Kakarot y Madara para implementar L3 zkEVMs, que se pueden escalar a L4, L5, etc., si es necesario. El equipo puede desplegar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Esta arquitectura L3 puede desacoplar la seguridad y la descentralización, permitiendo a los usuarios disfrutar de la seguridad de Ethereum L1 sin requerir el mismo nivel de descentralización.
Kakarot x Madara: tipo 1 zkEVM
Si se pueden escribir las reglas de consenso de Ethereum con Cairo y cambiar de Pedersen Merkle Patricia Trie a Keccak MPT, Kakarot se convertirá en un cliente zkEVM tipo 1 capaz de probar bloques L1. Esto depende de la hoja de ruta de Ethereum, especialmente del desarrollo de la fase Verge.
Resumen del equipo
El equipo central de Kakarot nació en un hackathon en Lisboa. Actualmente, más de 40 contribuyentes están participando en el desarrollo del proyecto.
Los miembros principales incluyen:
Situación de financiamiento
Kakarot ha completado una ronda de financiamiento pre-semilla, el monto específico no se ha hecho público. Los inversores incluyen a Starkware, LambDa, entre otros. Los inversores ángeles son Vitalik Buterin, Nicolas Bacca, cofundador de Ledger, y Rand Hindi, cofundador de ZAMA.
Evaluación del proyecto
Kakarot, como implementación de EVM en Starknet, puede conectar efectivamente Starknet y el ecosistema de Ethereum, reduciendo la barrera de entrada para el desarrollo. En fases futuras, se implementará más combinabilidad, como con módulos como Celestia o EigenDA.
El proyecto está estrechamente ligado al ecosistema de Starknet, promoviendo mutuamente su desarrollo. Contar con el apoyo de V神 y StarkWare es una gran ventaja. Sin embargo, en comparación con otros proyectos de zkEVM, el equipo de Kakarot es pequeño, tiene un presupuesto y un reconocimiento más bajos, lo que también es una de las razones por las cuales aún no se ha implementado como un zkEVM L2 general.
Kakarot todavía se encuentra en una etapa temprana, la red de pruebas se lanzará pronto, vale la pena seguir su desarrollo.