Kakarot zkEVM: Máquina virtual de Ethereum creada con Cairo
Kakarot zkEVM es una Máquina virtual de Ethereum (EVM) escrita en el lenguaje Cairo. Cairo es un lenguaje Turing completo, asociado con CairoVM. CairoVM utiliza polinomios y un sistema de pruebas ZK-STARK para lograr cálculos verificables.
Las características de zkEVM son la capacidad de generar transacciones y bloques verificables. Kakarot se construye sobre CairoVM, por lo que cada transacción ejecutada en él es verificable.
En general, Kakarot zkEVM utiliza el lenguaje Cairo y el sistema de prueba ZK-STARK para ofrecer capacidad de cómputo verificable. Permite a los desarrolladores desplegar aplicaciones EVM y a los usuarios interactuar con estas aplicaciones utilizando herramientas familiares.
Además, Kakarot también proporcionará interoperabilidad con el protocolo Starknet, aportando composibilidad a los 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 solo seis meses. Se planea lanzar la red de pruebas a finales del verano de 2023.
El desarrollo de Kakarot zkEVM se divide en tres etapas:
Fase uno: Implementar Kakarot zkEVM en Starknet
Kakarot zkEVM existirá primero como una EVM integrada en Starknet L2, permitiendo a los desarrolladores desplegar contratos inteligentes en Solidity (o en otros lenguajes compatibles con EVM) directamente en Starknet, utilizando herramientas familiares. Los usuarios podrán interactuar con dApps utilizando herramientas comunes. En general, la experiencia de desarrollo y uso en Kakarot será completamente consistente con Polygon, Scroll o Ethereum L1.
Fase dos: combinación de Kakarot y Madara --- L3 zkEVMs
Kakarot y Madara se integrarán en una pila unificada, habilitando L3 zkEVMs y, si es necesario, soportando L4, L5, etc. Los equipos pueden desplegar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. El cómputo se realiza fuera de la cadena o en capas superiores, con verificación en cadena. Estas L3 tienen una característica interesante: la capacidad de desacoplar seguridad y descentralización. Los usuarios pueden disfrutar de la seguridad de Ethereum L1 sin requerir el mismo nivel de descentralización. Sin embargo, la descentralización sigue siendo importante para los rollups, ya que aporta vitalidad y resistencia a la censura. Esto se puede lograr configurando el ordenante en cientos en lugar de miles. Dado que el cómputo se realiza en otra capa, el costo de gas de L3 es más bajo que el de L2 y su rendimiento es superior. Para reducir aún más los costos, se pueden separar la verificación de pruebas y la disponibilidad de datos (DA). Los usuarios pueden elegir diferentes opciones según sus necesidades de seguridad.
Fase tres: combinación de Kakarot y Madara --- tipo 1 zkEVM
Kakarot y Madara también pueden combinarse para lograr un zkEVM de tipo 1. Si es posible:
Escribir las reglas de consenso de Ethereum en un nodo completo de Madara x Kakarot usando Cairo, para demostrar el consenso L1.
Cambiar de Pedersen Merkle Patricia Trie (MPT) a Keccak MPT.
Entonces Kakarot podrá convertirse en un cliente zkEVM de tipo 1, que puede probar bloques L1. Este es un caso de uso más avanzado, que depende de la hoja de ruta de Ethereum, especialmente de la fase Verge. Después de Verge, keccak podría ser reemplazado por poseidon como la función hash preferida de Ethereum. Esto ayudará al equipo de zkEVM a lograr el tipo 1, ya que el principal obstáculo de compatibilidad de zkEVM es la disposición del almacenamiento, es decir, implementar Keccak MPT de manera demostrable y a un costo razonable.
Antecedentes del equipo
El equipo central de Kakarot nació de un hackathon en Lisboa, donde alrededor de 10 personas construyeron un zkEVM en una semana.
Con el apoyo de la Fundación Starknet y Onlydust, Kakarot cuenta con más de 40 contribuyentes independientes.
Elias Tazartes: Co-fundador y CEO de Kakarot, enfocado en la ingeniería de blockchain y el desarrollo full stack.
Clément Walter: Co-fundador y CTO de Kakarot, se autodenomina científico, ingeniero, empresario y todoterreno.
Situación de financiamiento
Kakarot ha completado la financiación previa a la ronda de semillas, el monto específico no ha sido divulgado. Los inversores incluyen a Starkware y LambDa. Los inversores ángeles son Vitalik Buterin, Nicolas Bacca, cofundador de Ledger, y Rand Hindi, cofundador y CEO de ZAMA.
Perspectivas del proyecto
Actualmente, el desarrollo del ecosistema de cadenas de bloques no EVM compatibles avanza lentamente, la mayoría de los ecosistemas de cadenas de bloques giran en torno a Ethereum. Kakarot, como una EVM escrita en Cairo sobre Starknet, puede conectar bien el ecosistema de Starknet y Ethereum, permitiendo que los proyectos de Ethereum se construyan en Starknet, reduciendo la barrera de entrada para el desarrollo y disfrutando de la seguridad y bajo costo de Ethereum. En fases posteriores, se implementarán más posibilidades de composición, como la combinación modular con Celestia o EigenDA.
Como ZK-EVM en Starknet, Kakarot está estrechamente relacionado con el ecosistema de Starknet. Starknet continúa iterando y mejorando, mejorando la experiencia del usuario, mientras que el ZK-EVM construido por Kakarot contribuirá a la prosperidad del ecosistema. Pero si Starknet no se desarrolla bien, Kakarot también se verá afectado.
Kakarot recibió el apoyo de Vitalik Buterin y StarkWare, tanto en sentido espiritual como financiero, lo que representa una gran ventaja.
Sin embargo, en comparación con otros ZK-EVM, Kakarot también enfrenta desafíos: el equipo es pequeño, el presupuesto y el reconocimiento de marca son bajos. Esta también es una de las razones por las que Kakarot no se ha implementado como un zkEVM L2 general.
Kakarot todavía se encuentra en una fase temprana, la red de pruebas se lanzará pronto, y vale la pena seguir su desarrollo.
Ver originales
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
5
Compartir
Comentar
0/400
EthMaximalist
· hace14h
Hay algo bueno, no está mal.
Ver originalesResponder0
NFTArchaeologis
· hace14h
El antiguo rollo de pergamino del mundo digital añade un nuevo capítulo.
Ver originalesResponder0
MrDecoder
· hace14h
Ganamos mucho, Vitalik Buterin intervino.
Ver originalesResponder0
RugPullAlarm
· hace15h
¿Es realmente atractivo solo con el respaldo de vb? Lo que se llama un pequeño equipo es, en su mayoría, un esquema de financiamiento.
Ver originalesResponder0
GateUser-2fce706c
· hace15h
Ya se ha dicho que la pista de zkEVM es el verdadero código de la riqueza, ¡tres años no son tarde!
Kakarot zkEVM: Aplicación EVM demostrable construida con Cairo
Kakarot zkEVM: Máquina virtual de Ethereum creada con Cairo
Kakarot zkEVM es una Máquina virtual de Ethereum (EVM) escrita en el lenguaje Cairo. Cairo es un lenguaje Turing completo, asociado con CairoVM. CairoVM utiliza polinomios y un sistema de pruebas ZK-STARK para lograr cálculos verificables.
Las características de zkEVM son la capacidad de generar transacciones y bloques verificables. Kakarot se construye sobre CairoVM, por lo que cada transacción ejecutada en él es verificable.
En general, Kakarot zkEVM utiliza el lenguaje Cairo y el sistema de prueba ZK-STARK para ofrecer capacidad de cómputo verificable. Permite a los desarrolladores desplegar aplicaciones EVM y a los usuarios interactuar con estas aplicaciones utilizando herramientas familiares.
Además, Kakarot también proporcionará interoperabilidad con el protocolo Starknet, aportando composibilidad a los 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 solo seis meses. Se planea lanzar la red de pruebas a finales del verano de 2023.
El desarrollo de Kakarot zkEVM se divide en tres etapas:
Kakarot zkEVM existirá primero como una EVM integrada en Starknet L2, permitiendo a los desarrolladores desplegar contratos inteligentes en Solidity (o en otros lenguajes compatibles con EVM) directamente en Starknet, utilizando herramientas familiares. Los usuarios podrán interactuar con dApps utilizando herramientas comunes. En general, la experiencia de desarrollo y uso en Kakarot será completamente consistente con Polygon, Scroll o Ethereum L1.
Kakarot y Madara se integrarán en una pila unificada, habilitando L3 zkEVMs y, si es necesario, soportando L4, L5, etc. Los equipos pueden desplegar cadenas de aplicaciones zkEVM, utilizando pruebas de validez para liquidar transacciones en Starknet. El cómputo se realiza fuera de la cadena o en capas superiores, con verificación en cadena. Estas L3 tienen una característica interesante: la capacidad de desacoplar seguridad y descentralización. Los usuarios pueden disfrutar de la seguridad de Ethereum L1 sin requerir el mismo nivel de descentralización. Sin embargo, la descentralización sigue siendo importante para los rollups, ya que aporta vitalidad y resistencia a la censura. Esto se puede lograr configurando el ordenante en cientos en lugar de miles. Dado que el cómputo se realiza en otra capa, el costo de gas de L3 es más bajo que el de L2 y su rendimiento es superior. Para reducir aún más los costos, se pueden separar la verificación de pruebas y la disponibilidad de datos (DA). Los usuarios pueden elegir diferentes opciones según sus necesidades de seguridad.
Kakarot y Madara también pueden combinarse para lograr un zkEVM de tipo 1. Si es posible:
Entonces Kakarot podrá convertirse en un cliente zkEVM de tipo 1, que puede probar bloques L1. Este es un caso de uso más avanzado, que depende de la hoja de ruta de Ethereum, especialmente de la fase Verge. Después de Verge, keccak podría ser reemplazado por poseidon como la función hash preferida de Ethereum. Esto ayudará al equipo de zkEVM a lograr el tipo 1, ya que el principal obstáculo de compatibilidad de zkEVM es la disposición del almacenamiento, es decir, implementar Keccak MPT de manera demostrable y a un costo razonable.
Antecedentes del equipo
El equipo central de Kakarot nació de un hackathon en Lisboa, donde alrededor de 10 personas construyeron un zkEVM en una semana.
Con el apoyo de la Fundación Starknet y Onlydust, Kakarot cuenta con más de 40 contribuyentes independientes.
Elias Tazartes: Co-fundador y CEO de Kakarot, enfocado en la ingeniería de blockchain y el desarrollo full stack.
Clément Walter: Co-fundador y CTO de Kakarot, se autodenomina científico, ingeniero, empresario y todoterreno.
Situación de financiamiento
Kakarot ha completado la financiación previa a la ronda de semillas, el monto específico no ha sido divulgado. Los inversores incluyen a Starkware y LambDa. Los inversores ángeles son Vitalik Buterin, Nicolas Bacca, cofundador de Ledger, y Rand Hindi, cofundador y CEO de ZAMA.
Perspectivas del proyecto
Actualmente, el desarrollo del ecosistema de cadenas de bloques no EVM compatibles avanza lentamente, la mayoría de los ecosistemas de cadenas de bloques giran en torno a Ethereum. Kakarot, como una EVM escrita en Cairo sobre Starknet, puede conectar bien el ecosistema de Starknet y Ethereum, permitiendo que los proyectos de Ethereum se construyan en Starknet, reduciendo la barrera de entrada para el desarrollo y disfrutando de la seguridad y bajo costo de Ethereum. En fases posteriores, se implementarán más posibilidades de composición, como la combinación modular con Celestia o EigenDA.
Como ZK-EVM en Starknet, Kakarot está estrechamente relacionado con el ecosistema de Starknet. Starknet continúa iterando y mejorando, mejorando la experiencia del usuario, mientras que el ZK-EVM construido por Kakarot contribuirá a la prosperidad del ecosistema. Pero si Starknet no se desarrolla bien, Kakarot también se verá afectado.
Kakarot recibió el apoyo de Vitalik Buterin y StarkWare, tanto en sentido espiritual como financiero, lo que representa una gran ventaja.
Sin embargo, en comparación con otros ZK-EVM, Kakarot también enfrenta desafíos: el equipo es pequeño, el presupuesto y el reconocimiento de marca son bajos. Esta también es una de las razones por las que Kakarot no se ha implementado como un zkEVM L2 general.
Kakarot todavía se encuentra en una fase temprana, la red de pruebas se lanzará pronto, y vale la pena seguir su desarrollo.