Kakarot zkEVM es una máquina virtual Ethereum (EVM) escrita en El Cairo. Cairo es un lenguaje completo de Turing asociado con CairoVM. CairoVM utiliza sistemas de prueba polinómicos y ZK-STARK para lograr un cálculo comprobable.
La característica de zkEVM es que puede generar transacciones comprobables, por lo que también puede generar bloques comprobables. Kakarot está construido sobre CairoVM, por lo que cada transacción ejecutada en Kakarot es comprobable.
En general, Kakarot zkEVM está escrito en lenguaje Cairo y utiliza el sistema de prueba ZK-STARK para proporcionar potencia informática demostrable. Permite a los desarrolladores implementar aplicaciones EVM encima y permite a los usuarios finales interactuar con estas aplicaciones utilizando su cadena de herramientas habitual.
Finalmente, Kakarot también proporcionará interoperabilidad con el protocolo Starknet, brindando componibilidad para protocolos en diferentes campos como DeFi y GameFi.
mapa de ruta
El proyecto comenzó en octubre de 2022 con varios objetivos: código abierto desde el primer día y, de manera más ambiciosa, crear un zkEVM en menos de 10 000 líneas de código. Esto se logró en sólo seis meses. Y la red de prueba se lanzará a fines del verano de 2023.
La hoja de ruta de Kakarot zkEVM se divide en tres fases:
Fase 1: Kakarot zkEVM en Starknet: llevar EVM a Starknet
Kakarot zkEVM existirá primero en la L2 de Starknet como un EVM incorporado, lo que permitirá a los desarrolladores implementar directamente sus contratos inteligentes de Solidity (o cualquier lenguaje compatible con EVM) en Starknet y usar sus herramientas familiares (como Foundry, Hardhat, Wagmi, etc.) . Sus usuarios finales podrán interactuar con sus dApps utilizando sus cadenas de herramientas familiares, como Metamask, Wallet connect, etc. En general, la experiencia del desarrollador y del usuario en Kakarot será exactamente la misma que en Polygon, Scroll o Ethereum L1.
Fase 2: Kakarot x Madara — L3 zkEVMs
Kakarot y Madara se combinarán en una pila unificada para habilitar L3 zkEVM y donde tenga sentido habilitar L4, L5, etc. Los equipos podrán implementar su cadena de aplicaciones zkEVM y utilizar la prueba de validez para liquidar transacciones en Starknet. Los cálculos se realizan fuera de la cadena o en una capa superior y se verifican en la cadena. Estos L3 de prueba de validez (como Kakarot) tienen una propiedad interesante y subestimada: la capacidad de desacoplar la seguridad y la descentralización. Los usuarios pueden beneficiarse de la seguridad de Ethereum L1 sin requerir el mismo nivel de descentralización (es decir, miles de validadores). Sin embargo, para los rollups, la descentralización es beneficiosa porque brinda vivacidad y resistencia a la censura, dos propiedades muy importantes. Esto se puede lograr configurando el secuenciador en cientos en lugar de miles. L2 tiene un costo de gas mucho más bajo y un mayor rendimiento (TPS) que L2 debido a que el cálculo se realiza en otra capa. Tenga en cuenta que L2 ya es mucho más barato que L1. Los paquetes acumulativos se apilan y multiplican para escalabilidad. Para reducir aún más los costos de gas, la verificación de pruebas y la disponibilidad de datos (DA) se pueden separar. Starknet L2 se puede usar solo como una capa de verificación de pruebas, mientras que las nuevas soluciones de disponibilidad de datos, como Celestia o EigenDA, se pueden usar para publicar datos de transacciones. Los usuarios tendrán la opción de optar por cualquiera, según sus necesidades de seguridad. La publicación de pruebas y datos de transacciones en Starknet es una opción más segura, mientras que el uso de soluciones DA para publicar datos de transacciones es una opción más económica.
Fase 3: Kakarotto x Madara — tipo 1 zkEVM
Kakarot y Madara también se pueden combinar para implementar zkEVM tipo 1. Si puedes:
Escriba las reglas de consenso de Ethereum con Cairo en el nodo completo Madara x Kakarot, para que se pueda probar el consenso L1.
Cambiar de Pedersen Merkle Patricia Trie (MPT) a Keccak MPT. Luego, Kakarot se convertirá en un cliente zkEVM de tipo 1 capaz de certificar bloques L1. Este es un caso de uso más avanzado que depende de la hoja de ruta de Ethereum, especialmente Verge. Después de Verge, keccak puede ser reemplazado por poseidón como la función hash de elección para Ethereum. Esto ayudará al equipo de zkEVM a ser tipo 1, ya que el principal obstáculo de compatibilidad para zkEVM es el diseño de almacenamiento, es decir, implementar Keccak MPT a un costo demostrable y razonable.
Equipo:
En la casa de un hacker en Lisboa, alrededor de una semana de trabajo dedicado, unas diez personas construyeron un zkEVM, hasta ahora, nació el equipo central de Kakarot.
Con la ayuda de la Fundación Starknet y Onlydust, hoy Kakarot tiene más de 40 colaboradores únicos.
**Elias Tazartes: **Cofundador y CEO de Kakarot, desarrollador freelance especializado en ingeniería blockchain (Dapp, Ethereum, Algorand) y desarrollo full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter:**Científica, ingeniera, emprendedora, manitas, curiosa por todo, esta es la presentación de Clément. Al mismo tiempo, es cofundador y director de tecnología de Kakarot.
Financiamiento:
Actualmente, Kakarot ha llevado a cabo una ronda de financiamiento previa a la semilla. El monto específico del financiamiento no ha sido anunciado. Los equipos y el personal involucrado en la inversión son: **Starkware, LambDa. **Los inversores ángeles incluyen a Vitalik, Nicolas Bacca, cofundador de Ledger, y Rand Hindi, cofundador y director ejecutivo de ZAMA.
Resumir:
En la actualidad, el desarrollo ecológico de las cadenas públicas que no son compatibles con EVM se encuentra en una etapa lenta. En la actualidad, la mayor parte de la ecología de la cadena pública se desarrolla en torno al ecosistema Ethereum. Kakarot, como Ethereum Virtual Machine (EVM) escrito en El Cairo en Starknet, puede rápidamente Un buen vínculo entre la ecología de Starknet y la ecología de Ethereum, en la Starknet que no es compatible con EVM, permite que la ecología de Ethereum se construya bien en Starknet y reduce el umbral de entrada para que los desarrolladores desarrollen, accediendo a la seguridad de Ethereum y reducción de costos. En la segunda y tercera etapa de Kakarot, se puede lograr más componibilidad y módulos como Celestia o EigenDA se pueden combinar de forma modular.
Como escribió ZK-EVM en Starknet, la conexión con la ecología de Starknet es como una relación entre labios y dientes, y ambos son prósperos. En la actualidad, Starknet también se actualiza constantemente para mejorar la experiencia del usuario y confía en ZK- EVM construido por Kakarot, puede ser muy bueno para contribuir a la prosperidad ecológica del proyecto, por el contrario, si el desarrollo de Starknet no es satisfactorio, Kakarot también se verá afectado.
Otra ventaja de Kakarot es que cuenta con el apoyo de V God y StarkWare, no solo espiritualmente sino también económicamente.
En comparación con otros ZK-EVM, Kakarot está en desventaja: un equipo de menos de 10 personas, con un presupuesto y una marca mucho más pequeños. Esta es una de las razones por las que Kakarot no se implementa como un zkEVM L2 de uso general.
En la actualidad, Kakarot todavía se encuentra en la etapa inicial, y la red de prueba se lanzará en un futuro cercano, por favor permanezca atento.
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.
Kakarotto: un Zk-EVM que Vitalik Buterin pensó que era genial y en el que invirtió
Escrito por: Yinan
Introducción
Kakarot zkEVM es una máquina virtual Ethereum (EVM) escrita en El Cairo. Cairo es un lenguaje completo de Turing asociado con CairoVM. CairoVM utiliza sistemas de prueba polinómicos y ZK-STARK para lograr un cálculo comprobable.
La característica de zkEVM es que puede generar transacciones comprobables, por lo que también puede generar bloques comprobables. Kakarot está construido sobre CairoVM, por lo que cada transacción ejecutada en Kakarot es comprobable.
En general, Kakarot zkEVM está escrito en lenguaje Cairo y utiliza el sistema de prueba ZK-STARK para proporcionar potencia informática demostrable. Permite a los desarrolladores implementar aplicaciones EVM encima y permite a los usuarios finales interactuar con estas aplicaciones utilizando su cadena de herramientas habitual.
Finalmente, Kakarot también proporcionará interoperabilidad con el protocolo Starknet, brindando componibilidad para protocolos en diferentes campos como DeFi y GameFi.
mapa de ruta
El proyecto comenzó en octubre de 2022 con varios objetivos: código abierto desde el primer día y, de manera más ambiciosa, crear un zkEVM en menos de 10 000 líneas de código. Esto se logró en sólo seis meses. Y la red de prueba se lanzará a fines del verano de 2023.
La hoja de ruta de Kakarot zkEVM se divide en tres fases:
Kakarot zkEVM existirá primero en la L2 de Starknet como un EVM incorporado, lo que permitirá a los desarrolladores implementar directamente sus contratos inteligentes de Solidity (o cualquier lenguaje compatible con EVM) en Starknet y usar sus herramientas familiares (como Foundry, Hardhat, Wagmi, etc.) . Sus usuarios finales podrán interactuar con sus dApps utilizando sus cadenas de herramientas familiares, como Metamask, Wallet connect, etc. En general, la experiencia del desarrollador y del usuario en Kakarot será exactamente la misma que en Polygon, Scroll o Ethereum L1.
Kakarot y Madara se combinarán en una pila unificada para habilitar L3 zkEVM y donde tenga sentido habilitar L4, L5, etc. Los equipos podrán implementar su cadena de aplicaciones zkEVM y utilizar la prueba de validez para liquidar transacciones en Starknet. Los cálculos se realizan fuera de la cadena o en una capa superior y se verifican en la cadena. Estos L3 de prueba de validez (como Kakarot) tienen una propiedad interesante y subestimada: la capacidad de desacoplar la seguridad y la descentralización. Los usuarios pueden beneficiarse de la seguridad de Ethereum L1 sin requerir el mismo nivel de descentralización (es decir, miles de validadores). Sin embargo, para los rollups, la descentralización es beneficiosa porque brinda vivacidad y resistencia a la censura, dos propiedades muy importantes. Esto se puede lograr configurando el secuenciador en cientos en lugar de miles. L2 tiene un costo de gas mucho más bajo y un mayor rendimiento (TPS) que L2 debido a que el cálculo se realiza en otra capa. Tenga en cuenta que L2 ya es mucho más barato que L1. Los paquetes acumulativos se apilan y multiplican para escalabilidad. Para reducir aún más los costos de gas, la verificación de pruebas y la disponibilidad de datos (DA) se pueden separar. Starknet L2 se puede usar solo como una capa de verificación de pruebas, mientras que las nuevas soluciones de disponibilidad de datos, como Celestia o EigenDA, se pueden usar para publicar datos de transacciones. Los usuarios tendrán la opción de optar por cualquiera, según sus necesidades de seguridad. La publicación de pruebas y datos de transacciones en Starknet es una opción más segura, mientras que el uso de soluciones DA para publicar datos de transacciones es una opción más económica.
Kakarot y Madara también se pueden combinar para implementar zkEVM tipo 1. Si puedes:
Equipo:
En la casa de un hacker en Lisboa, alrededor de una semana de trabajo dedicado, unas diez personas construyeron un zkEVM, hasta ahora, nació el equipo central de Kakarot.
Con la ayuda de la Fundación Starknet y Onlydust, hoy Kakarot tiene más de 40 colaboradores únicos.
**Elias Tazartes: **Cofundador y CEO de Kakarot, desarrollador freelance especializado en ingeniería blockchain (Dapp, Ethereum, Algorand) y desarrollo full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter:**Científica, ingeniera, emprendedora, manitas, curiosa por todo, esta es la presentación de Clément. Al mismo tiempo, es cofundador y director de tecnología de Kakarot.
Financiamiento:
Actualmente, Kakarot ha llevado a cabo una ronda de financiamiento previa a la semilla. El monto específico del financiamiento no ha sido anunciado. Los equipos y el personal involucrado en la inversión son: **Starkware, LambDa. **Los inversores ángeles incluyen a Vitalik, Nicolas Bacca, cofundador de Ledger, y Rand Hindi, cofundador y director ejecutivo de ZAMA.
Resumir:
En la actualidad, el desarrollo ecológico de las cadenas públicas que no son compatibles con EVM se encuentra en una etapa lenta. En la actualidad, la mayor parte de la ecología de la cadena pública se desarrolla en torno al ecosistema Ethereum. Kakarot, como Ethereum Virtual Machine (EVM) escrito en El Cairo en Starknet, puede rápidamente Un buen vínculo entre la ecología de Starknet y la ecología de Ethereum, en la Starknet que no es compatible con EVM, permite que la ecología de Ethereum se construya bien en Starknet y reduce el umbral de entrada para que los desarrolladores desarrollen, accediendo a la seguridad de Ethereum y reducción de costos. En la segunda y tercera etapa de Kakarot, se puede lograr más componibilidad y módulos como Celestia o EigenDA se pueden combinar de forma modular.
Como escribió ZK-EVM en Starknet, la conexión con la ecología de Starknet es como una relación entre labios y dientes, y ambos son prósperos. En la actualidad, Starknet también se actualiza constantemente para mejorar la experiencia del usuario y confía en ZK- EVM construido por Kakarot, puede ser muy bueno para contribuir a la prosperidad ecológica del proyecto, por el contrario, si el desarrollo de Starknet no es satisfactorio, Kakarot también se verá afectado.
Otra ventaja de Kakarot es que cuenta con el apoyo de V God y StarkWare, no solo espiritualmente sino también económicamente.
En comparación con otros ZK-EVM, Kakarot está en desventaja: un equipo de menos de 10 personas, con un presupuesto y una marca mucho más pequeños. Esta es una de las razones por las que Kakarot no se implementa como un zkEVM L2 de uso general.
En la actualidad, Kakarot todavía se encuentra en la etapa inicial, y la red de prueba se lanzará en un futuro cercano, por favor permanezca atento.