Kakarot: 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 Turing completo relacionado con CairoVM, que utiliza polinomios y el sistema de pruebas ZK-STARK para lograr computación verificable.
Como una implementación de zkEVM, Kakarot puede generar transacciones y bloques verificables. Al estar construido sobre CairoVM, cada transacción ejecutada en Kakarot es verificable. En general, Kakarot zkEVM utiliza el lenguaje Cairo y el sistema de pruebas ZK-STARK para proporcionar capacidades de cálculo verificables, lo que permite a los desarrolladores implementar aplicaciones EVM sobre él y permite a los usuarios interactuar con estas aplicaciones utilizando herramientas comunes.
Además, Kakarot también ofrecerá interoperabilidad con el protocolo Starknet, proporcionando composibilidad para protocolos en diferentes áreas como DeFi y GameFi.
Ruta de desarrollo
El proyecto comenzó en octubre de 2022, y su objetivo principal es crear un zkEVM de código abierto con menos de 10,000 líneas de código. Este objetivo se logró en solo 6 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 etapas:
Kakarot zkEVM en Starknet: llevar EVM a Starknet
En esta etapa, Kakarot zkEVM existirá como EVM incorporado en el L2 de Starknet. Los desarrolladores podrán desplegar directamente contratos inteligentes de Solidity( o cualquier lenguaje compatible con EVM) en Starknet, utilizando herramientas familiares. La experiencia del usuario será la misma que en Polygon, Scroll o Ethereum L1.
Kakarot x Madara:L3 zkEVMs
Kakarot y Madara se integrarán en una pila unificada para habilitar L3 zkEVMs, y si es necesario, también se podrá escalar a L4, L5, etc. Los equipos pueden implementar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Este enfoque puede reducir los costos de gas, mejorar el rendimiento y, al mismo tiempo, mantener la seguridad.
Kakarot x Madara:type 1 zkEVM
Si se pueden lograr los siguientes dos puntos, Kakarot se convertirá en un cliente zkEVM de tipo 1, capaz de probar bloques L1:
Escribir reglas de consenso de Ethereum con Cairo
Cambiar de MPT de Pedersen a MPT de Keccak
Este es un caso de uso más avanzado, que depende de la hoja de ruta de Ethereum, especialmente de la actualización Verge.
Equipo
El equipo central de Kakarot nació en un hackathon en Lisboa, donde alrededor de 10 personas construyeron un zkEVM en una semana. 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 blockchain y desarrollo full stack
Clément Walter: cofundador y CTO, científico e ingeniero con experiencia en múltiples campos
Situación de financiamiento
Kakarot ha completado la ronda de financiamiento pre-semilla, el monto específico no ha sido publicado. Los inversionistas incluyen a Starkware y LambDa. Los inversionistas ángeles incluyen al fundador de Ethereum, Vitalik Buterin, al cofundador de Ledger, Nicolas Bacca, y al cofundador y CEO de ZAMA, Rand Hindi.
Resumen
Kakarot, como una implementación de EVM escrita en Cairo sobre Starknet, puede conectar de manera efectiva 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 y reduciendo costos. En etapas futuras, se logrará una mayor composibilidad, como con combinaciones modulares con Celestia o EigenDA.
El desarrollo de Kakarot está estrechamente relacionado con el ecosistema de Starknet. Cuenta con el apoyo de Vitalik Buterin y StarkWare, lo cual es una gran ventaja. Sin embargo, en comparación con otros proyectos de zkEVM, el equipo de Kakarot es más pequeño, con 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 desplegado como un L2 de zkEVM general.
Kakarot se encuentra actualmente en una etapa temprana, con el lanzamiento de la red de prueba a punto de realizarse. Aunque enfrenta desafíos, su posicionamiento único y fuerte apoyo le otorgan potencial en el ámbito de zkEVM. A medida que el proyecto avanza, vale la pena seguir de cerca su progreso.
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.
10 me gusta
Recompensa
10
3
Compartir
Comentar
0/400
gas_fee_therapist
· hace7h
Vaya, este starknet ha costado mucho.
Ver originalesResponder0
NFTArchaeologis
· hace7h
Una vez más, la era digital de los tesoros arqueológicos se manifiesta, estudiando con temor y reverencia la inscripción del código fuente de esta Máquina virtual.
Ver originalesResponder0
MemeKingNFT
· hace7h
Estrella y luna caída, caída del oro. ¿ZK sabes algo? To the moon. Turing completo significa vida infinita. Ganamos mucho.
Kakarot: Implementación de Cairo en Starknet que conecta dos grandes ecosistemas EVM
Kakarot: 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 Turing completo relacionado con CairoVM, que utiliza polinomios y el sistema de pruebas ZK-STARK para lograr computación verificable.
Como una implementación de zkEVM, Kakarot puede generar transacciones y bloques verificables. Al estar construido sobre CairoVM, cada transacción ejecutada en Kakarot es verificable. En general, Kakarot zkEVM utiliza el lenguaje Cairo y el sistema de pruebas ZK-STARK para proporcionar capacidades de cálculo verificables, lo que permite a los desarrolladores implementar aplicaciones EVM sobre él y permite a los usuarios interactuar con estas aplicaciones utilizando herramientas comunes.
Además, Kakarot también ofrecerá interoperabilidad con el protocolo Starknet, proporcionando composibilidad para protocolos en diferentes áreas como DeFi y GameFi.
Ruta de desarrollo
El proyecto comenzó en octubre de 2022, y su objetivo principal es crear un zkEVM de código abierto con menos de 10,000 líneas de código. Este objetivo se logró en solo 6 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 etapas:
Kakarot zkEVM en Starknet: llevar EVM a Starknet
En esta etapa, Kakarot zkEVM existirá como EVM incorporado en el L2 de Starknet. Los desarrolladores podrán desplegar directamente contratos inteligentes de Solidity( o cualquier lenguaje compatible con EVM) en Starknet, utilizando herramientas familiares. La experiencia del usuario será la misma que en Polygon, Scroll o Ethereum L1.
Kakarot x Madara:L3 zkEVMs
Kakarot y Madara se integrarán en una pila unificada para habilitar L3 zkEVMs, y si es necesario, también se podrá escalar a L4, L5, etc. Los equipos pueden implementar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. Este enfoque puede reducir los costos de gas, mejorar el rendimiento y, al mismo tiempo, mantener la seguridad.
Kakarot x Madara:type 1 zkEVM
Si se pueden lograr los siguientes dos puntos, Kakarot se convertirá en un cliente zkEVM de tipo 1, capaz de probar bloques L1:
Este es un caso de uso más avanzado, que depende de la hoja de ruta de Ethereum, especialmente de la actualización Verge.
Equipo
El equipo central de Kakarot nació en un hackathon en Lisboa, donde alrededor de 10 personas construyeron un zkEVM en una semana. Actualmente, con el apoyo de la Fundación Starknet y Onlydust, Kakarot cuenta con más de 40 contribuyentes únicos.
Los miembros clave incluyen:
Situación de financiamiento
Kakarot ha completado la ronda de financiamiento pre-semilla, el monto específico no ha sido publicado. Los inversionistas incluyen a Starkware y LambDa. Los inversionistas ángeles incluyen al fundador de Ethereum, Vitalik Buterin, al cofundador de Ledger, Nicolas Bacca, y al cofundador y CEO de ZAMA, Rand Hindi.
Resumen
Kakarot, como una implementación de EVM escrita en Cairo sobre Starknet, puede conectar de manera efectiva 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 y reduciendo costos. En etapas futuras, se logrará una mayor composibilidad, como con combinaciones modulares con Celestia o EigenDA.
El desarrollo de Kakarot está estrechamente relacionado con el ecosistema de Starknet. Cuenta con el apoyo de Vitalik Buterin y StarkWare, lo cual es una gran ventaja. Sin embargo, en comparación con otros proyectos de zkEVM, el equipo de Kakarot es más pequeño, con 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 desplegado como un L2 de zkEVM general.
Kakarot se encuentra actualmente en una etapa temprana, con el lanzamiento de la red de prueba a punto de realizarse. Aunque enfrenta desafíos, su posicionamiento único y fuerte apoyo le otorgan potencial en el ámbito de zkEVM. A medida que el proyecto avanza, vale la pena seguir de cerca su progreso.