Kakarot zkEVM: Máquina virtual de Ethereum construida con el lenguaje Cairo
Kakarot zkEVM es una Máquina virtual de Ethereum escrita en el lenguaje Cairo (EVM). Cairo es un lenguaje completo de Turing, asociado con CairoVM. CairoVM utiliza polinomios y un sistema de pruebas ZK-STARK para lograr cálculos verificables.
Las características de zkEVM son que puede generar transacciones y bloques que son verificables. Dado que Kakarot se basa en CairoVM, cada transacción ejecutada en él es verificable.
En general, Kakarot zkEVM utiliza el lenguaje Cairo y el sistema de prueba ZK-STARK para proporcionar capacidades de cálculo verificables. Permite a los desarrolladores implementar aplicaciones EVM y permite a los usuarios interactuar con estas aplicaciones utilizando herramientas comunes.
Además, Kakarot también proporcionará interoperabilidad con el protocolo Starknet, ofreciendo composabilidad a los protocolos en diferentes áreas como DeFi y GameFi.
Ruta de desarrollo
El proyecto 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. La red de prueba está programada para lanzarse a finales del verano de 2023.
El mapa de ruta de Kakarot zkEVM se divide en tres etapas:
Kakarot zkEVM en Starknet: introducir EVM en Starknet
Kakarot zkEVM se presentará inicialmente como una EVM integrada en L2 de Starknet. Los desarrolladores podrán desplegar contratos inteligentes Solidity directamente en Starknet y utilizar 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 para habilitar L3 zkEVMs, e incluso L4, L5, etc. Los equipos pueden desplegar cadenas de aplicaciones zkEVM y utilizar pruebas de validez para liquidar transacciones en Starknet. Este enfoque puede desacoplar la seguridad y la descentralización, al mismo tiempo que reduce costos y mejora el rendimiento.
Kakarot x Madara:type 1 zkEVM
Si se pueden escribir las reglas de consenso de Ethereum con Cairo y se cambia de Pedersen MPT a Keccak MPT, Kakarot podría convertirse en un cliente zkEVM de tipo 1, capaz de probar bloques de L1. Esto depende de la hoja de ruta de desarrollo de Ethereum, especialmente de la actualización Verge.
Equipo
El equipo central de Kakarot nació de un hackathon en Lisboa. Actualmente hay más de 40 contribuyentes.
Los miembros principales incluyen:
Elias Tazartes: cofundador y CEO, enfocado en ingeniería blockchain y desarrollo full-stack
Clément Walter: cofundador y CTO, científico, ingeniero y empresario
Financiamiento
Kakarot ha completado la ronda de financiación pre-seed, el monto específico no se ha divulgado. Los inversores incluyen a Starkware, LambDa, así como a los inversores ángeles Vitalik Buterin, el cofundador de Ledger Nicolas Bacca y el cofundador de ZAMA Rand Hindi.
Resumen
Kakarot, como implementación de EVM en Starknet, puede conectar bien el ecosistema de Starknet y Ethereum. Reduce la barrera de entrada para los desarrolladores, permitiendo que los proyectos del ecosistema de Ethereum se construyan en Starknet, manteniendo al mismo tiempo la seguridad y el bajo costo de Ethereum.
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 ventaja. Sin embargo, en comparación con otros proyectos de zkEVM, el equipo de Kakarot es más pequeño, su presupuesto y reconocimiento de marca son también más bajos, lo que es una de las razones por las que aún no se ha desplegado como un zkEVM L2 general.
Kakarot aún se encuentra en una etapa temprana, la red de pruebas se lanzará pronto. El desarrollo futuro merece atención.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
7 me gusta
Recompensa
7
5
Compartir
Comentar
0/400
NftDeepBreather
· hace23h
Principalmente caja misteriosa Príncipe Violento
Ver originalesResponder0
CommunityWorker
· hace23h
Código abierto alcista, es este sabor
Ver originalesResponder0
LiquidationTherapist
· hace23h
Los "搬砖党" fueron los primeros en olfatear la oportunidad
Kakarot zkEVM: EVM probado creado con el lenguaje Cairo, que pronto estará disponible en Starknet
Kakarot zkEVM: Máquina virtual de Ethereum construida con el lenguaje Cairo
Kakarot zkEVM es una Máquina virtual de Ethereum escrita en el lenguaje Cairo (EVM). Cairo es un lenguaje completo de Turing, asociado con CairoVM. CairoVM utiliza polinomios y un sistema de pruebas ZK-STARK para lograr cálculos verificables.
Las características de zkEVM son que puede generar transacciones y bloques que son verificables. Dado que Kakarot se basa en CairoVM, cada transacción ejecutada en él es verificable.
En general, Kakarot zkEVM utiliza el lenguaje Cairo y el sistema de prueba ZK-STARK para proporcionar capacidades de cálculo verificables. Permite a los desarrolladores implementar aplicaciones EVM y permite a los usuarios interactuar con estas aplicaciones utilizando herramientas comunes.
Además, Kakarot también proporcionará interoperabilidad con el protocolo Starknet, ofreciendo composabilidad a los protocolos en diferentes áreas como DeFi y GameFi.
Ruta de desarrollo
El proyecto 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. La red de prueba está programada para lanzarse a finales del verano de 2023.
El mapa de ruta de Kakarot zkEVM se divide en tres etapas:
Kakarot zkEVM en Starknet: introducir EVM en Starknet
Kakarot zkEVM se presentará inicialmente como una EVM integrada en L2 de Starknet. Los desarrolladores podrán desplegar contratos inteligentes Solidity directamente en Starknet y utilizar 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 para habilitar L3 zkEVMs, e incluso L4, L5, etc. Los equipos pueden desplegar cadenas de aplicaciones zkEVM y utilizar pruebas de validez para liquidar transacciones en Starknet. Este enfoque puede desacoplar la seguridad y la descentralización, al mismo tiempo que reduce costos y mejora el rendimiento.
Kakarot x Madara:type 1 zkEVM
Si se pueden escribir las reglas de consenso de Ethereum con Cairo y se cambia de Pedersen MPT a Keccak MPT, Kakarot podría convertirse en un cliente zkEVM de tipo 1, capaz de probar bloques de L1. Esto depende de la hoja de ruta de desarrollo de Ethereum, especialmente de la actualización Verge.
Equipo
El equipo central de Kakarot nació de un hackathon en Lisboa. Actualmente hay más de 40 contribuyentes.
Los miembros principales incluyen:
Financiamiento
Kakarot ha completado la ronda de financiación pre-seed, el monto específico no se ha divulgado. Los inversores incluyen a Starkware, LambDa, así como a los inversores ángeles Vitalik Buterin, el cofundador de Ledger Nicolas Bacca y el cofundador de ZAMA Rand Hindi.
Resumen
Kakarot, como implementación de EVM en Starknet, puede conectar bien el ecosistema de Starknet y Ethereum. Reduce la barrera de entrada para los desarrolladores, permitiendo que los proyectos del ecosistema de Ethereum se construyan en Starknet, manteniendo al mismo tiempo la seguridad y el bajo costo de Ethereum.
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 ventaja. Sin embargo, en comparación con otros proyectos de zkEVM, el equipo de Kakarot es más pequeño, su presupuesto y reconocimiento de marca son también más bajos, lo que es una de las razones por las que aún no se ha desplegado como un zkEVM L2 general.
Kakarot aún se encuentra en una etapa temprana, la red de pruebas se lanzará pronto. El desarrollo futuro merece atención.