La máquina virtual Ethereum (EVM) es la única deficiencia de ZK-Rollup, lo que hace imposible ejecutar aplicaciones descentralizadas (dApps) como el protocolo DeFi. Esto cambiará pronto, ya que ZK-Rollup brinda compatibilidad con EVM para varios de los grandes proyectos que se encuentran actualmente en desarrollo, como Scroll, Taiko, Polygon y ConsenSys. Un posible candidato para abordar este problema es Kakarot zkEVM.
Kakarot zkEVM, una máquina virtual Ethereum (EVM) con sede en El Cairo, anunció el 2 de junio que había completado su ronda de inversión previa a la semilla. Entre otros que han contribuido se encuentran el cofundador de Ethereum, Vitalik Buterin, el cofundador y vicepresidente de innovación de Ledger, Nicolas Bacca, y la empresa de escalamiento de blockchain Starkware.
¿Qué es Kakarotto?
Kakarot es una máquina virtual Ethereum con sede en El Cairo. Eso implica que puede ejecutar una aplicación de código de bytes EVM en StarkNet, una solución de escalado de capa 2 de Ethereum.
EVM es una arquitectura de máquina virtual madura y bien definida. Hay 142 códigos de operación, 9 precompilaciones y un método democrático para actualizar estos códigos de operación y precompilaciones. ¿Sugeriría que en El Cairo resulte en un zkEVM “gratuito”, es decir, la propiedad de escala del conocimiento cero como resultado directo?
La noción rápidamente ganó popularidad en la comunidad de Starknet. En octubre de 2022, Abdel, líder del equipo de exploración de Starkware y miembro del equipo central de desarrollo de Ethereum, comenzó a desarrollarlo. Aproximadamente al mismo tiempo, la comunidad de construcción de código abierto de Starknet, con la ayuda de Onlydust, lanzó un esfuerzo competitivo. Mientras que StarknetCC en Lisboa, el primero absorbió al segundo. Desde entonces, el proyecto se ha incubado para tomar forma.
Cairo es un lenguaje completo que está conectado a CairoVM: Kakarot zkEVM se desarrolla sobre CairoVM. Los equipos pueden usar Kakarot zkEVM para diseñar e implementar aplicaciones compatibles con EVM.
Las aplicaciones Kakarot pueden desarrollarse de la misma manera que los programas Ethereum o Polygon, utilizando el lenguaje de programación Solidity o cualquier otro lenguaje compatible con EVM. Los usuarios pueden comunicarse con las aplicaciones implementadas utilizando tecnologías tradicionales como Metamask o WalletConnect.
CairoVM utiliza polinomios y el sistema de prueba ZK-STARK para proporcionar computación verificable. La capacidad del zkEVM para crear transacciones verificables, que conducen a bloques demostrables, es lo que lo hace útil. Kakarot se basa en CairoVM y cada transacción realizada en él es verificable.
Los equipos pueden usar Kakarot zkEVM para crear e implementar aplicaciones EVM. Los desarrolladores pueden usar Kakarot para implementar cualquier Solidity (u otros lenguajes compatibles con EVM) exactamente como pueden hacerlo con Ethereum o Polygon. Posteriormente, sus usuarios finales pueden interactuar con la DApp utilizando sus herramientas habituales (little fox wallet, wallet connection, etc.). El equipo añadió a las ventajas de la integración:
“Como resultado de la computación en otra capa, los costos de gas son (asintóticamente) exponencialmente más bajos que en L2 y el rendimiento (TPS) es mayor. La escalabilidad de los rollups se acumula y se multiplica”.
Kakarot permitirá la compatibilidad con los protocolos nativos de Starknet, así como la componibilidad del protocolo, como la fusión de TVL en DeFi con una base de usuarios en GameFi.
Escalamiento fractal
Kakarot zkEVM puede existir en muchas formas. Para empezar, se puede implementar como un contrato inteligente sobre Starknet L2, apareciendo como un EVM (expuesto) en Starknet (Ethereum RPC, transacción de Ethereum, etc.). El proyecto, por otro lado, puede incorporarse a la pila para instalar L3 zkEVM. Aquí es donde el clasificador Madara entra en escena.
Se puede desarrollar un zkEVM de capa 3 fusionando Madara (nodo completo de Starknet) con Kakarot (tiempo de ejecución de EVM). La pila consiste en un nodo completo Substrate que usa CairoVM como su motor de ejecución y Kakarot como el tiempo de ejecución del contrato inteligente.
Las transacciones de Kakarot pueden probarse y validarse en la capa de liquidación, lo que permite una escalabilidad fractal compatible con EVM. Kakarot será un EVM en Starknet Layer 2 en la fase inicial, según el plan del proyecto. Llevar Kakarot zkEVM a Starknet, según los investigadores, ofrecería una gran cantidad de nuevas opciones y ampliaría el ecosistema de Starknet.
El proyecto espera vincularse a los protocolos nativos de Starknet en el futuro y permitir que otros protocolos colaboren.
Mapa vial
Fase 1: Kakarot zkEVM en Starknet: presentación de EVM en Starknet
Kakarot aparecerá inicialmente en Starknet L2 como un EVM incorporado, lo que permitirá a los desarrolladores implementar la inteligencia de Solidity (o cualquier lenguaje compatible con EVM) directamente en Starknet utilizando sus conjuntos de herramientas familiares (Foundry, Hardhat, Wagmi, etc.).
Posteriormente, sus clientes podrán comunicarse con sus DApps utilizando su cadena de herramientas estándar (Metamask, Wallet Connect, etc.). Kakarot proporcionará la misma experiencia de desarrollador y usuario que Polygon, Scroll o Ethereum L1.
Fase 2: Kakarotto x Madara – L3 zkEVM
Kakarot y Madara se combinarán en una sola pila que manejará L3 zkEVM, así como L4, L5, etc. Los equipos podrán instalar su cadena de aplicaciones zkEVM en Starknet y utilizar la prueba de validez para liquidar las transacciones.
La demostrabilidad puede realizar las siguientes funciones: cálculo debajo de la cadena, cálculo en la capa y verificación de la cadena.
Los L3 que usan prueba de validez contienen una característica intrigante pero subestimada: la capacidad de desvincular la seguridad de la descentralización. Los usuarios pueden beneficiarse de la seguridad de Ethereum L1 sin la misma cantidad de descentralización.
La tarifa de gas es sustancialmente más barata que la de L2 debido al cómputo en otra capa, y el rendimiento (TPS) es mayor. L2 ya es mucho menos costoso que L1. La escalabilidad acumulada se acumula y se multiplica.
La verificación de pruebas y la disponibilidad de datos (DA) pueden separarse para reducir aún más los gastos de gas. Starknet L2 solo se puede utilizar como una capa de verificación de pruebas, pero las nuevas soluciones de disponibilidad de datos, como Celestia o EigenDA, pueden publicar datos de transacciones.
Los usuarios pueden elegir cualquier opción en función de sus necesidades de seguridad. La publicación de pruebas y datos de transacciones en Starknet es una opción más segura, pero la publicación de datos de transacciones utilizando soluciones DA es más rentable.
Fase 3: Kakarot x Madara – zkEVM tipo 1
El zkEVM tipo 1 también se puede habilitar combinando Kakarot y Madara.
Cairo está acostumbrado a construir las reglas de consenso de Ethereum dentro del nodo completo Madara x Kakarot para que se pueda probar el consenso L1. Keccak MPT ha reemplazado a Pedersen Merkle Patricia Trie (MPT).
Kakarotto será entonces un zkEVM tipo 1 con la capacidad de testificar sobre bloqueos L1. Este es un caso de uso más complejo que depende del desarrollo de Ethereum (sobre todo Verge). Poseidón puede reemplazar a Keccak como el algoritmo hash preferido de Ethereum después de Verge. Esto ayudará al equipo de zkEVM a convertirse en un tipo 1, ya que la barrera de compatibilidad clave para zkEVM es el diseño de almacenamiento, es decir, implementar Keccak MPT de una manera demostrable y bastante asequible.
DESCARGO DE RESPONSABILIDAD: La información en este sitio web se proporciona como un comentario general del mercado y no constituye un consejo de inversión. Le animamos a que haga su propia investigación antes de invertir.