Autor: s, analista de capital de riesgo; traducción: Jinse Finance xiaozou
¿Qué es Kakarotto zkEVM? ¿Por qué es compatible con Vitalik y StarkWare? Kakarot trae EVM a Starknet, lo que facilita la expansión de EVM dApps. ¡Echemos un vistazo más profundo!
Arrancamos y entramos en modo Super Saiyan. Kakarot Labs se estableció formalmente y completó el financiamiento temprano previo a la semilla con los principales inversores.
Esperemos la visión de desarrollo, aclaremos la posición actual y esperemos un futuro brillante.
Este artículo presentará principalmente lo siguiente: 1. ¿Qué es CairoVM? 2. ¿Qué es El Cairo? 3. Arquitectura EVM, 4. Arquitectura Kakarot, 5. Tipo de clasificación de zkEVM, 6. Hoja de ruta de Kakarot, 7. Pensamientos personales.
Kakarot zkEVM es un EVM implementado con el lenguaje Cario, que amplía la confiabilidad del ecosistema Starknet al mejorar la compatibilidad con EVM. Entendamos paso a paso.
**1. ****¿Qué es CairoVM? **
Kakarot se ejecuta en la máquina virtual CairoVM, que es la infraestructura de Starknet. Las principales características de CairoVM son las siguientes:
· Representar la ejecución como una ecuación polinomial para una ejecución demostrable demostrable.
· Permita que todas las transacciones de Starknet utilicen la verificación de STARK.
**2.¿Qué es Cario? **
Cario es una arquitectura de CPU compatible con STARK completa de Turing.
· Turing Completo: El sistema es capaz de realizar cualquier cómputo/programa posible.
· Stark Friendly: sistema de autenticación de StarkWare. La integridad computacional fuera de la cadena es probada por probadores y verificada por verificadores en la cadena.
Entonces, ¿cómo funciona Cario? Los desarrolladores pueden usar Cairo para escribir programas en CaroVM y describir declaraciones en un lenguaje de alto nivel (por probar). Esto mejora la experiencia de desarrollo, ya que los desarrolladores pueden aprovechar la escalabilidad de las pruebas ZK (ZKP) sin tener que aprender a escribir circuitos complejos.
3. EVM****arquitectura
La arquitectura EVM es una arquitectura VM (máquina virtual) madura y bien definida con:
142 opcodes: instrucciones utilizadas por el EVM para ejecutar transacciones y contratos inteligentes (SC). Se requiere una tarifa de gas para ejecutar.
9 precompilaciones: contratos inteligentes integrados en Ethereum para manejar operaciones comunes. Se puede invocar con una tarifa de gas estándar.
4. Kakarotto****Estructura
Kakarot está desarrollado en base a CairoVM, que es:
· Intérprete de código de bytes EVM
·Contratos inteligentes desplegados en Starknet
· Usa lenguaje cario
Kakarotto admite:
· Implementar el contrato inteligente EVM tal como está
Kakarotto no es:
·Cadena de bloques
Compilador: no convierte el código de Solidity a Cairo
A partir de mayo de 2023:
Se ha realizado una arquitectura de bytecode al 100 % (Tipo 3 zkEVM)
9 EVM precompilado para lograr 8
Después de implementar las 9 precompilaciones de EVM, Kakarot se convertirá en Type 2.5 zkEVM.
5, zkEVM****Tipo****tipo
(1) Tipo 1 zkEVM | Totalmente equivalente a Ethereum
No hay cambios en el sistema Ethereum para facilitar la generación de pruebas.
ventaja:
La solución definitiva para la expansión de Ethereum
defecto:
· Informática intensiva
El tiempo de prueba es largo (lleva horas)
Ejemplo:
·Desplazarse
·Taiko
(2) Tipo 2 zkEVM | totalmente equivalente a EVM
Las modificaciones menores al sistema Ethereum (diferentes funciones hash) facilitan el desarrollo y aceleran la generación de pruebas.
ventaja:
· Admite la mayoría de las dApps de Ethereum
defecto:
La ineficacia y antipatía de la EVM sigue existiendo
Ejemplo:
·Desplazarse
(3) Tipo 2.5 zkEVM | Equivalente a EVM (excepto tarifa de gas)
Se agregaron costos de gas para operaciones específicas en el EVM que son difíciles de probar usando ZK.
ventaja:
Menos riesgoso que los cambios más amplios de EVM
defecto:
Compatibilidad reducida de las herramientas de desarrollo.
· Algunas dApps no son compatibles
(4) Tipo 3 zkEVM | casi equivalente a EVM
Se eliminaron características que eran particularmente difíciles de implementar (como la precompilación).
ventaja:
· Tiempos de prueba más rápidos
· Desarrollo EVM más fácil
defecto:
· Algunas dApps necesitan ser reescritas
Ejemplo:
·Desplazarse
·Polígono
**(5)Tpye4zkEVM|**equivalente a lenguaje de alto nivel
El código fuente del contrato inteligente (lenguaje de alto nivel) se compila en un lenguaje compatible con ZK-SNARK.
ventaja:
· Evitar muchos gastos generales
defecto:
La dirección del contrato puede ser diferente de la dirección en el EVM
Es posible que no admita el código de bytes EVM escrito a mano
· La infraestructura de depuración no se puede heredar porque se ejecutan en el código de bytes EVM.
Ejemplo:
·zkSync
·Mente Inferior
6**、Mapa de ruta de Kakarotto**
(1) Fase 1 | Llevando EVM a Starknet
Kakarotto existirá inicialmente en Starknet como un EVM consagrado. La experiencia de desarrollo y la experiencia del usuario (UX) serán las mismas que Polygon, Scroll o Ethereum.
(2) Etapa 2 | L3 zkEVM
La implementación de cadenas de aplicaciones zkEVM a través de Kakarot les permite liquidar transacciones en Starknet utilizando una prueba de validez.
Al fusionar el secuenciador Kakarot y Madara Starknet (secuenciador Starknet basado en sustrato) en una pila unificada.
(3) Fase 2 | zkEVM-Rollup-as-a-Service
Con solo un clic, el resumen recibe:
·ZkEVM específico de la aplicación implementado en Starknet
· Acceso al entorno EVM
· Rápida ejecución
Tarifas de gas bajas: use soluciones de disponibilidad de datos (Celestia, EigenLayer)
·Seguridad de cifrado
Ventajas de zkEVM-Rollup-as-a-Service:
Ejecute contratos inteligentes de Solidity en CairoVM usando Kakarot
Cualquier contrato inteligente de Solidity implementado en EVM puede ejecutarse en Starknet sin cambios de código
Lo mejor de ambos mundos:
Eficiencia con EVM
·Los contratos inteligentes se vuelven demostrables
(4) Fase 3 | Tipo 1 zkEVM
Para entrar en esta etapa, Kakarotto debe:
·Utilice Cairo para escribir reglas de consenso de Ethereum dentro de los nodos completos de Madara y Kakarot para probar el consenso L1.
· Se cambió de Pedersen Merkle Patricia Trie (MPT) a Keccak MPT.
Sin embargo, la Fase 3 es incierta. Depende de la hoja de ruta de Ethereum: Verge. Actualmente, implementar Keccak MPT de manera comprobable y de bajo costo es el principal impedimento para la compatibilidad con zkEVM. Después de Verge, Keccak puede ser reemplazado por Poseidón como la función hash de elección para Ethereum.
7**、Pensamientos personales**
Llevar la compatibilidad con EVM a Starknet es sin duda un gran paso adelante, pero aún existen algunas preocupaciones sobre el éxito de Kakarot.
(1) Campo ZK altamente competitivo
Los competidores son:
· ZK-rollup con diferentes sistemas de prueba (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
·Resumen optimista：Optimismo、Decisión、Base
Diferentes zkVM: RISC Zero, Hyper Oracle
(2) Ajuste del mercado de productos (PMF)
En general, el resumen como servicio es un tema abierto, con dos aspectos clave a considerar:
· ¿Cuántos rollups necesitan este servicio?
¿El resumen prefiere construir soberanía y personalización internamente?
(3) Iteración continua del producto
Kakarot está desarrollando y construyendo un producto que es técnicamente muy complejo y probablemente requerirá iteraciones constantes para tener éxito.
También se basa en varios componentes dinámicos, que incluyen:
·Leche
·Solución de disponibilidad de datos
Hoja de ruta de Ethereum: Verge
Ver originales
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
¿Qué es Kakarotto zkEVM? Por qué Vitalik participó en la votación
Autor: s, analista de capital de riesgo; traducción: Jinse Finance xiaozou
¿Qué es Kakarotto zkEVM? ¿Por qué es compatible con Vitalik y StarkWare? Kakarot trae EVM a Starknet, lo que facilita la expansión de EVM dApps. ¡Echemos un vistazo más profundo!
Arrancamos y entramos en modo Super Saiyan. Kakarot Labs se estableció formalmente y completó el financiamiento temprano previo a la semilla con los principales inversores.
Esperemos la visión de desarrollo, aclaremos la posición actual y esperemos un futuro brillante.
Este artículo presentará principalmente lo siguiente: 1. ¿Qué es CairoVM? 2. ¿Qué es El Cairo? 3. Arquitectura EVM, 4. Arquitectura Kakarot, 5. Tipo de clasificación de zkEVM, 6. Hoja de ruta de Kakarot, 7. Pensamientos personales.
Kakarot zkEVM es un EVM implementado con el lenguaje Cario, que amplía la confiabilidad del ecosistema Starknet al mejorar la compatibilidad con EVM. Entendamos paso a paso.
**1. ****¿Qué es CairoVM? **
Kakarot se ejecuta en la máquina virtual CairoVM, que es la infraestructura de Starknet. Las principales características de CairoVM son las siguientes:
· Representar la ejecución como una ecuación polinomial para una ejecución demostrable demostrable.
· Permita que todas las transacciones de Starknet utilicen la verificación de STARK.
**2.¿Qué es Cario? **
Cario es una arquitectura de CPU compatible con STARK completa de Turing.
· Turing Completo: El sistema es capaz de realizar cualquier cómputo/programa posible.
· Stark Friendly: sistema de autenticación de StarkWare. La integridad computacional fuera de la cadena es probada por probadores y verificada por verificadores en la cadena.
Entonces, ¿cómo funciona Cario? Los desarrolladores pueden usar Cairo para escribir programas en CaroVM y describir declaraciones en un lenguaje de alto nivel (por probar). Esto mejora la experiencia de desarrollo, ya que los desarrolladores pueden aprovechar la escalabilidad de las pruebas ZK (ZKP) sin tener que aprender a escribir circuitos complejos.
3. EVM****arquitectura
La arquitectura EVM es una arquitectura VM (máquina virtual) madura y bien definida con:
142 opcodes: instrucciones utilizadas por el EVM para ejecutar transacciones y contratos inteligentes (SC). Se requiere una tarifa de gas para ejecutar.
9 precompilaciones: contratos inteligentes integrados en Ethereum para manejar operaciones comunes. Se puede invocar con una tarifa de gas estándar.
4. Kakarotto****Estructura
Kakarot está desarrollado en base a CairoVM, que es:
· Intérprete de código de bytes EVM
·Contratos inteligentes desplegados en Starknet
· Usa lenguaje cario
Kakarotto admite:
· Implementar el contrato inteligente EVM tal como está
Kakarotto no es:
·Cadena de bloques
Compilador: no convierte el código de Solidity a Cairo
A partir de mayo de 2023:
Se ha realizado una arquitectura de bytecode al 100 % (Tipo 3 zkEVM)
9 EVM precompilado para lograr 8
Después de implementar las 9 precompilaciones de EVM, Kakarot se convertirá en Type 2.5 zkEVM.
5, zkEVM****Tipo****tipo
(1) Tipo 1 zkEVM | Totalmente equivalente a Ethereum
No hay cambios en el sistema Ethereum para facilitar la generación de pruebas.
ventaja:
La solución definitiva para la expansión de Ethereum
defecto:
· Informática intensiva
El tiempo de prueba es largo (lleva horas)
Ejemplo:
·Desplazarse
·Taiko
(2) Tipo 2 zkEVM | totalmente equivalente a EVM
Las modificaciones menores al sistema Ethereum (diferentes funciones hash) facilitan el desarrollo y aceleran la generación de pruebas.
ventaja:
· Admite la mayoría de las dApps de Ethereum
defecto:
La ineficacia y antipatía de la EVM sigue existiendo
Ejemplo:
·Desplazarse
(3) Tipo 2.5 zkEVM | Equivalente a EVM (excepto tarifa de gas)
Se agregaron costos de gas para operaciones específicas en el EVM que son difíciles de probar usando ZK.
ventaja:
Menos riesgoso que los cambios más amplios de EVM
defecto:
Compatibilidad reducida de las herramientas de desarrollo.
· Algunas dApps no son compatibles
(4) Tipo 3 zkEVM | casi equivalente a EVM
Se eliminaron características que eran particularmente difíciles de implementar (como la precompilación).
ventaja:
· Tiempos de prueba más rápidos
· Desarrollo EVM más fácil
defecto:
· Algunas dApps necesitan ser reescritas
Ejemplo:
·Desplazarse
·Polígono
**(5)Tpye4zkEVM|**equivalente a lenguaje de alto nivel
El código fuente del contrato inteligente (lenguaje de alto nivel) se compila en un lenguaje compatible con ZK-SNARK.
ventaja:
· Evitar muchos gastos generales
defecto:
La dirección del contrato puede ser diferente de la dirección en el EVM
Es posible que no admita el código de bytes EVM escrito a mano
· La infraestructura de depuración no se puede heredar porque se ejecutan en el código de bytes EVM.
Ejemplo:
·zkSync
·Mente Inferior
6**、Mapa de ruta de Kakarotto**
(1) Fase 1 | Llevando EVM a Starknet
Kakarotto existirá inicialmente en Starknet como un EVM consagrado. La experiencia de desarrollo y la experiencia del usuario (UX) serán las mismas que Polygon, Scroll o Ethereum.
(2) Etapa 2 | L3 zkEVM
La implementación de cadenas de aplicaciones zkEVM a través de Kakarot les permite liquidar transacciones en Starknet utilizando una prueba de validez.
Al fusionar el secuenciador Kakarot y Madara Starknet (secuenciador Starknet basado en sustrato) en una pila unificada.
(3) Fase 2 | zkEVM-Rollup-as-a-Service
Con solo un clic, el resumen recibe:
·ZkEVM específico de la aplicación implementado en Starknet
· Acceso al entorno EVM
· Rápida ejecución
Tarifas de gas bajas: use soluciones de disponibilidad de datos (Celestia, EigenLayer)
·Seguridad de cifrado
Ventajas de zkEVM-Rollup-as-a-Service:
Ejecute contratos inteligentes de Solidity en CairoVM usando Kakarot
Cualquier contrato inteligente de Solidity implementado en EVM puede ejecutarse en Starknet sin cambios de código
Lo mejor de ambos mundos:
Eficiencia con EVM
·Los contratos inteligentes se vuelven demostrables
(4) Fase 3 | Tipo 1 zkEVM
Para entrar en esta etapa, Kakarotto debe:
·Utilice Cairo para escribir reglas de consenso de Ethereum dentro de los nodos completos de Madara y Kakarot para probar el consenso L1.
· Se cambió de Pedersen Merkle Patricia Trie (MPT) a Keccak MPT.
Sin embargo, la Fase 3 es incierta. Depende de la hoja de ruta de Ethereum: Verge. Actualmente, implementar Keccak MPT de manera comprobable y de bajo costo es el principal impedimento para la compatibilidad con zkEVM. Después de Verge, Keccak puede ser reemplazado por Poseidón como la función hash de elección para Ethereum.
7**、Pensamientos personales**
Llevar la compatibilidad con EVM a Starknet es sin duda un gran paso adelante, pero aún existen algunas preocupaciones sobre el éxito de Kakarot.
(1) Campo ZK altamente competitivo
Los competidores son:
· ZK-rollup con diferentes sistemas de prueba (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
·Resumen optimista：Optimismo、Decisión、Base
Diferentes zkVM: RISC Zero, Hyper Oracle
(2) Ajuste del mercado de productos (PMF)
En general, el resumen como servicio es un tema abierto, con dos aspectos clave a considerar:
· ¿Cuántos rollups necesitan este servicio?
¿El resumen prefiere construir soberanía y personalización internamente?
(3) Iteración continua del producto
Kakarot está desarrollando y construyendo un producto que es técnicamente muy complejo y probablemente requerirá iteraciones constantes para tener éxito.
También se basa en varios componentes dinámicos, que incluyen:
·Leche
·Solución de disponibilidad de datos
Hoja de ruta de Ethereum: Verge