Kakarot zkEVM: Máquina virtual de Ethereum innovadora construida con el lenguaje Cairo
Kakarot zkEVM es una implementación de la Máquina virtual de Ethereum (EVM) escrita en el lenguaje Cairo. Cairo es un lenguaje de programación Turing completo asociado con CairoVM, que utiliza polinomios y el sistema de pruebas ZK-STARK para lograr cálculos verificables.
Como un tipo de zkEVM, Kakarot puede generar transacciones y bloques verificables. Al estar construido sobre CairoVM, cada transacción ejecutada en Kakarot tiene verificabilidad. Esta característica permite a los desarrolladores desplegar aplicaciones EVM en Kakarot, al tiempo que permite a los usuarios interactuar con estas aplicaciones utilizando herramientas familiares.
Además, el plan de Kakarot es proporcionar interoperabilidad con el protocolo Starknet, lo que traerá una mayor composabilidad a los protocolos en diferentes campos como DeFi y GameFi.
Ruta de desarrollo
El proyecto Kakarot se lanzó en octubre de 2022, manteniendo la filosofía de código abierto y con el objetivo de crear zkEVM con menos de 10,000 líneas de código. En solo seis meses, se logró este ambicioso objetivo y se planea lanzar la red de prueba a finales del verano de 2023.
El desarrollo de Kakarot zkEVM se divide en tres etapas:
Kakarot zkEVM en Starknet: Introduce EVM en el ecosistema de Starknet, permitiendo a los desarrolladores desplegar contratos inteligentes escritos en Solidity (u otros lenguajes compatibles con EVM) directamente en Starknet. Los usuarios pueden interactuar con estas dApps utilizando herramientas familiares (como Metamask), experimentando lo mismo que en Polygon o Ethereum L1.
Kakarot x Madara - L3 zkEVMs: Integrar Kakarot con Madara para lograr L3 zkEVMs, e incluso podría extenderse a niveles más altos como L4, L5, etc. Esto permitirá al equipo desplegar su propia cadena de aplicaciones zkEVM y utilizar pruebas de validez para liquidar transacciones en Starknet. Este enfoque puede separar la seguridad y la descentralización, manteniendo la seguridad de Ethereum L1 mientras mejora la eficiencia al reducir el número de validadores.
Kakarot x Madara - Tipo 1 zkEVM: A través de la escritura de las reglas de consenso de Ethereum en el nodo completo de Madara x Kakarot con Cairo, y cambiando de Pedersen Merkle Patricia Trie (MPT) a Keccak MPT, Kakarot aspira a convertirse en un cliente Type 1 zkEVM capaz de probar bloques L1. La implementación de esta fase está estrechamente relacionada con la futura ruta de desarrollo de Ethereum, especialmente con los cambios en la función hash que podrían adoptarse después de la actualización Verge.
Antecedentes del equipo
El equipo central de Kakarot se originó en una intensa actividad de desarrollo a corto plazo en Lisboa, donde alrededor de diez personas construyeron un prototipo de zkEVM en una semana. Actualmente, con el apoyo de la Fundación Starknet y Onlydust, Kakarot cuenta con más de 40 colaboradores independientes.
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 un perfil multifacético de científico, ingeniero y empresario.
Situación de financiamiento
Kakarot ha completado la financiación de la ronda pre-semilla, con un monto específico no divulgado. Los inversores incluyen instituciones como Starkware y LambDa, así como a reconocidos inversores individuales como Vitalik Buterin, el cofundador de Ledger, Nicolas Bacca, y Rand Hindi, cofundador y CEO de ZAMA.
Perspectivas del proyecto
Kakarot, como una implementación de EVM escrita en Cairo sobre Starknet, tiene el potencial de convertirse en un puente importante que conecta el ecosistema de Starknet y Ethereum. Reduce la barrera de entrada para los desarrolladores en Starknet, manteniendo al mismo tiempo la compatibilidad con el ecosistema de Ethereum. A medida que el proyecto avanza a etapas posteriores, Kakarot logrará un mayor grado de composibilidad, pudiendo combinarse con componentes modularizados como Celestia o EigenDA.
El desarrollo de Kakarot está estrechamente relacionado con el ecosistema de Starknet. Las actualizaciones continuas de Starknet y la mejora de la experiencia del usuario beneficiarán directamente a Kakarot. Al mismo tiempo, Kakarot también contribuirá a la prosperidad del ecosistema de Starknet.
Contar con el apoyo de Vitalik Buterin y StarkWare es una gran ventaja para Kakarot, no solo por el reconocimiento espiritual, sino también por el apoyo financiero.
Sin embargo, en comparación con otros proyectos de ZK-EVM, Kakarot también enfrenta desafíos como un equipo pequeño, presupuesto limitado y menor reconocimiento de marca. Esta es una de las razones por las que Kakarot actualmente se centra en el ecosistema de Starknet en lugar de desplegarse como un zkEVM L2 genérico.
Como un proyecto en etapas tempranas, la red de pruebas de Kakarot se lanzará pronto, y vale la pena seguir de cerca su desarrollo futuro.
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.
7 me gusta
Recompensa
7
6
Compartir
Comentar
0/400
GasWaster
· hace7h
Vitalik Buterin ve bien, yo también lo veo bien.
Ver originalesResponder0
MeaninglessGwei
· 07-20 18:55
Todo está tratando de ganar dinero fácil.
Ver originalesResponder0
ZeroRushCaptain
· 07-20 18:54
comprar la caída hasta quedar sin pantalones, esta vez finalmente me encontré con el respaldo de Vitalik Buterin.
Ver originalesResponder0
QuorumVoter
· 07-20 18:48
Los proyectos que V神 considera prometedores definitivamente tendrán éxito.
Ver originalesResponder0
GasFeeThunder
· 07-20 18:42
¿No se perdió este gas? ¡Duele mucho!
Ver originalesResponder0
LuckyBlindCat
· 07-20 18:37
La gente está desarrollando, yo estoy holgazaneando.
Kakarot: una innovadora zkEVM de Starknet creada con el lenguaje Cairo
Kakarot zkEVM: Máquina virtual de Ethereum innovadora construida con el lenguaje Cairo
Kakarot zkEVM es una implementación de la Máquina virtual de Ethereum (EVM) escrita en el lenguaje Cairo. Cairo es un lenguaje de programación Turing completo asociado con CairoVM, que utiliza polinomios y el sistema de pruebas ZK-STARK para lograr cálculos verificables.
Como un tipo de zkEVM, Kakarot puede generar transacciones y bloques verificables. Al estar construido sobre CairoVM, cada transacción ejecutada en Kakarot tiene verificabilidad. Esta característica permite a los desarrolladores desplegar aplicaciones EVM en Kakarot, al tiempo que permite a los usuarios interactuar con estas aplicaciones utilizando herramientas familiares.
Además, el plan de Kakarot es proporcionar interoperabilidad con el protocolo Starknet, lo que traerá una mayor composabilidad a los protocolos en diferentes campos como DeFi y GameFi.
Ruta de desarrollo
El proyecto Kakarot se lanzó en octubre de 2022, manteniendo la filosofía de código abierto y con el objetivo de crear zkEVM con menos de 10,000 líneas de código. En solo seis meses, se logró este ambicioso objetivo y se planea lanzar la red de prueba a finales del verano de 2023.
El desarrollo de Kakarot zkEVM se divide en tres etapas:
Kakarot zkEVM en Starknet: Introduce EVM en el ecosistema de Starknet, permitiendo a los desarrolladores desplegar contratos inteligentes escritos en Solidity (u otros lenguajes compatibles con EVM) directamente en Starknet. Los usuarios pueden interactuar con estas dApps utilizando herramientas familiares (como Metamask), experimentando lo mismo que en Polygon o Ethereum L1.
Kakarot x Madara - L3 zkEVMs: Integrar Kakarot con Madara para lograr L3 zkEVMs, e incluso podría extenderse a niveles más altos como L4, L5, etc. Esto permitirá al equipo desplegar su propia cadena de aplicaciones zkEVM y utilizar pruebas de validez para liquidar transacciones en Starknet. Este enfoque puede separar la seguridad y la descentralización, manteniendo la seguridad de Ethereum L1 mientras mejora la eficiencia al reducir el número de validadores.
Kakarot x Madara - Tipo 1 zkEVM: A través de la escritura de las reglas de consenso de Ethereum en el nodo completo de Madara x Kakarot con Cairo, y cambiando de Pedersen Merkle Patricia Trie (MPT) a Keccak MPT, Kakarot aspira a convertirse en un cliente Type 1 zkEVM capaz de probar bloques L1. La implementación de esta fase está estrechamente relacionada con la futura ruta de desarrollo de Ethereum, especialmente con los cambios en la función hash que podrían adoptarse después de la actualización Verge.
Antecedentes del equipo
El equipo central de Kakarot se originó en una intensa actividad de desarrollo a corto plazo en Lisboa, donde alrededor de diez personas construyeron un prototipo de zkEVM en una semana. Actualmente, con el apoyo de la Fundación Starknet y Onlydust, Kakarot cuenta con más de 40 colaboradores independientes.
Los miembros clave incluyen:
Situación de financiamiento
Kakarot ha completado la financiación de la ronda pre-semilla, con un monto específico no divulgado. Los inversores incluyen instituciones como Starkware y LambDa, así como a reconocidos inversores individuales como Vitalik Buterin, el cofundador de Ledger, Nicolas Bacca, y Rand Hindi, cofundador y CEO de ZAMA.
Perspectivas del proyecto
Kakarot, como una implementación de EVM escrita en Cairo sobre Starknet, tiene el potencial de convertirse en un puente importante que conecta el ecosistema de Starknet y Ethereum. Reduce la barrera de entrada para los desarrolladores en Starknet, manteniendo al mismo tiempo la compatibilidad con el ecosistema de Ethereum. A medida que el proyecto avanza a etapas posteriores, Kakarot logrará un mayor grado de composibilidad, pudiendo combinarse con componentes modularizados como Celestia o EigenDA.
El desarrollo de Kakarot está estrechamente relacionado con el ecosistema de Starknet. Las actualizaciones continuas de Starknet y la mejora de la experiencia del usuario beneficiarán directamente a Kakarot. Al mismo tiempo, Kakarot también contribuirá a la prosperidad del ecosistema de Starknet.
Contar con el apoyo de Vitalik Buterin y StarkWare es una gran ventaja para Kakarot, no solo por el reconocimiento espiritual, sino también por el apoyo financiero.
Sin embargo, en comparación con otros proyectos de ZK-EVM, Kakarot también enfrenta desafíos como un equipo pequeño, presupuesto limitado y menor reconocimiento de marca. Esta es una de las razones por las que Kakarot actualmente se centra en el ecosistema de Starknet en lugar de desplegarse como un zkEVM L2 genérico.
Como un proyecto en etapas tempranas, la red de pruebas de Kakarot se lanzará pronto, y vale la pena seguir de cerca su desarrollo futuro.