Vitalik participa en la inversión, ¿cómo introduce Kakarot EVM a Starknet?

Analistas En este artículo, exploraremos las diversas fases de Kakarot, sus fortalezas y debilidades, así como los desafíos y oportunidades que enfrenta el proyecto.

Autor: s

Compilación: Deep Tide TechFlow

Kakarot zkEVM es un EVM implementado en El Cairo. Al mejorar la compatibilidad de EVM, expande el ecosistema de Starknet. ¿Qué utilizó para obtener el apoyo de Vitalik y StarkWare? Analistas En este artículo, exploraremos las diversas fases de Kakarot, sus fortalezas y debilidades, así como los desafíos y oportunidades que enfrenta el proyecto.

¿Qué es CairoVM?

Kakarot se basa en la máquina virtual (VM) CairoVM, que es la infraestructura de Starknet.

Características clave de CairoVM:

• Representar la ejecución como un polinomio (ecuación) para la ejecución demostrable;
• Permite el uso de STARK para probar todas las transacciones de Starknet.

¿Qué es El Cairo?

Turing completa arquitectura de CPU compatible con STARK:

• Completitud de Turing: el sistema puede calcular cualquier cálculo/programa posible;
• STARK FRIENDLY: Sistema de prueba proporcionado por StarkWare. La integridad computacional fuera de la cadena es probada por probadores y verificada por verificadores en la cadena.

Cómo funciona El Cairo

Los desarrolladores pueden usar Cairo para escribir programas en CairoVM para describir declaraciones que se probarán en un lenguaje de alto nivel. Esto mejora la experiencia de los desarrolladores, ya que pueden aprovechar la escalabilidad de las pruebas de conocimiento cero (ZKP) sin tener que aprender a escribir circuitos complejos.

Arquitectura Kakarotto

Kakarot está construido sobre CairoVM y es:

• Intérprete de código de bytes EVM;
• SC implementado en Starknet;
• Escrito en El Cairo.

Kakarotto permite:

• Implementar un EVM SC existente.

Kakarotto no es:

• cadena de bloques;
• Compilador: No convierte el código de Solidity a Cairo.

A partir de mayo de 2023:

• Arquitectura 100% bytecode (Tipo 3 zkEVM);
• Implementado precompilación 8/9 EVM.

Después de implementar las precompilaciones 9/9 EVM, Kakarot se convertirá en Type 2.5 zkEVM.

El tipo 1 zkEVM es completamente equivalente a Ethereum, sin cambiar el sistema Ethereum para generar pruebas más fácilmente,

Pros: La solución definitiva para escalar Ethereum.

Desventajas: Computacionalmente intensivo, prueba larga (requiere horas).

Por ejemplo: Pergamino, Taiko.

El zkEVM de tipo 2 es completamente equivalente al EVM, con ligeras modificaciones en el sistema Ethereum (usando una función hash diferente) para:

• Desarrollo más fácil;
• Generación de prueba más rápida.

Pros: Disponible para la mayoría de las dApps de Ethereum.

Desventajas: La eficiencia de EVM y ZK no es amigable.

Por ejemplo Desplazarse.

El tipo 2.5 zkEVM es equivalente a EVM excepto por el costo del gas. Incrementa el costo del gas de operaciones específicas en el EVM que son difíciles de probar con ZK.

Pros: menos riesgo que EVM más amplio

Desventajas: Compatibilidad reducida con herramientas de desarrollo, algunas dApps no serán compatibles.

El zkEVM de tipo 3 es casi idéntico al EVM, solo se eliminan las características que son particularmente difíciles de implementar (como la precompilación).

Pros: tiempos de prueba aún más rápidos, desarrollo de EVM más fácil.

Contras: algunas dApps necesitan ser reescritas.

Por ejemplo:

• Desplazarse;
• Polígono

Escriba 4 equivalente de lenguaje de alto nivel zkEVM, que compila el código fuente SC (lenguaje de alto nivel) en un lenguaje compatible con ZK-SNARK.

Pros: evita muchos gastos generales.

Contras: Es posible que los contratos no tengan la misma dirección que EVM, es posible que no se admita el código de bytes de EVM escrito a mano, la infraestructura no se puede transferir porque se ejecutan en el código de bytes de EVM.

Por ejemplo:

• zksync;
• Mente abisal.

Hoja de ruta de Kakarotto | Fase 1 | Llevando EVM a Starknet

Kakarotto existirá inicialmente en Starknet como un EVM consagrado. La experiencia del desarrollador y del usuario (UX) será exactamente la misma que Polygon, Scroll o Ethereum.

Fase 2 | L3 zkEVM

La implementación de cadenas de aplicaciones zkEVM a través de Kakarot les permite resolver txns en Starknet utilizando una prueba de validez. Esto se logra combinando Kakarot y MadaraStarknet en una pila unificada.

Con solo 1 clic, Rollups te ofrece:

• ZkEVM específico de la aplicación implementado en Starknet;
• Acceso al entorno EVM;
• Ejecución rápida;
• Low Gas: utilice soluciones de disponibilidad de datos.
• Seguridad.

Ejecute Solidity SC en CairoVM usando Kakarot: cualquier Solidity SC implementado en EVM podrá ejecutarse en Starknet sin cambios de código.

Las ventajas de poder tener ambos:

• Eficiencia EVM;
• Los contratos inteligentes se vuelven comprobables.

Fase 3 | Tipo 1 zkEVM

Para lograr esto, Kakarotto debe:

• Use Cairo para escribir reglas de consenso de Ethereum en el nodo completo de Madara x Kakarot para probar el consenso L1;
• Se cambió de Pedersen Merkle Patricia Trie (MPT) a Keccak MPT.

Depende de la hoja de ruta de Ethereum: Verge. Actualmente, implementar Keccak MPT de una manera comprobablemente económica es el principal impedimento de compatibilidad para zkEVM. Después de Verge, Keccak puede ser reemplazado por Poseidón como la función hash preferida de Ethereum.

mis pensamientos

Este es definitivamente un gran paso para llevar la compatibilidad con EVM a Starknet, pero existen algunas preocupaciones en torno al éxito de Kakarot.

Enfrentando la competencia de los siguientes competidores:

• ZK-rollup con diferentes sistemas de prueba (SNARK): Scroll, zksync, Polygon, Taiko, Linea;
• Optimistic-rollups: Optimismo、Decisión、Base;
• Diferentes zkVM: RISC Zero, Hyper Oracle.

Ajuste del mercado de productos (PMF)

En general, Rollup-as-a-service es un argumento no probado que requiere la consideración de dos aspectos clave:

• ¿Cuántos Rollups necesitarán este servicio?
• ¿Prefiere Rollup compilaciones internas para la soberanía y la personalización?

Iterar continuamente productos

Kakarot está construyendo un producto técnicamente muy complejo que probablemente requerirá iteraciones constantes para tener éxito. También depende de varios componentes, entre ellos:

• Leche;
• solución DA;
• Hoja de ruta de Ethereum: The Verge.