Kakarot zkEVM: Máquina Virtual Ethereum construída com a linguagem Cairo

Kakarot zkEVM é uma Máquina Virtual Ethereum escrita na linguagem Cairo (EVM). Cairo é uma linguagem Turing completa, associada à CairoVM. A CairoVM utiliza polinómios e o sistema de provas ZK-STARK para implementar cálculos comprováveis.

As características do zkEVM são a capacidade de gerar transações e blocos que podem ser provados. Como o Kakarot é construído sobre a CairoVM, cada transação executada sobre ele é provável.

No geral, o Kakarot zkEVM utiliza a linguagem Cairo e o sistema de provas ZK-STARK para fornecer capacidade de computação comprovável. Isso permite que os desenvolvedores implementem aplicações EVM e que os usuários interajam com essas aplicações usando ferramentas comuns.

Além disso, o Kakarot também fornecerá interoperabilidade com o protocolo Starknet, oferecendo composabilidade para protocolos em diferentes áreas, como DeFi e GameFi.

Roteiro de Desenvolvimento

O projeto foi lançado em outubro de 2022, com o objetivo de criar um zkEVM com menos de 10.000 linhas de código. Esse objetivo foi alcançado em apenas seis meses. A rede de testes está prevista para ser lançada no final do verão de 2023.

O roteiro do Kakarot zkEVM é dividido em três fases:

1. Kakarot zkEVM no Starknet: Introduzindo EVM no Starknet

   Kakarot zkEVM será inicialmente integrado como uma Máquina Virtual Ethereum no L2 do Starknet. Os desenvolvedores podem implantar contratos inteligentes Solidity diretamente no Starknet e usar ferramentas familiares. A experiência do usuário será a mesma que na Polygon, Scroll ou Ethereum L1.

2. Kakarot x Madara:L3 zkEVMs

Kakarot e Madara serão integrados para habilitar zkEVMs L3, e até L4, L5, etc. As equipes podem implantar cadeias de aplicativos zkEVM e utilizar provas de validade para liquidar transações na Starknet. Essa abordagem pode desacoplar segurança e descentralização, ao mesmo tempo que reduz custos e melhora o desempenho.

3. Kakarot x Madara:type 1 zkEVM

   Se for possível escrever as regras de consenso do Ethereum com Cairo e mudar de Pedersen MPT para Keccak MPT, Kakarot pode se tornar um cliente zkEVM tipo 1, capaz de provar blocos L1. Isso depende da trajetória de desenvolvimento do Ethereum, especialmente da atualização Verge.

Equipa

A equipe central do Kakarot nasceu de um hackathon em Lisboa. Atualmente, conta com mais de 40 colaboradores.

Principais membros incluem:

• Elias Tazartes: cofundador e CEO, focado em engenharia de blockchain e desenvolvimento full stack
• Clément Walter: cofundador e CTO, cientista, engenheiro e empresário

Financiamento

Kakarot completou a ronda de financiamento pré-seed, o valor específico não foi divulgado. Os investidores incluem Starkware, LambDa, bem como os investidores-anjo Vitalik Buterin, o cofundador da Ledger Nicolas Bacca e o cofundador da ZAMA Rand Hindi.

Resumo

Kakarot, como implementação EVM no Starknet, pode conectar bem o Starknet e o ecossistema Ethereum. Ele reduz a barreira de entrada para os desenvolvedores, permitindo que projetos do ecossistema Ethereum sejam construídos no Starknet, mantendo ao mesmo tempo a segurança e o baixo custo do Ethereum.

O desenvolvimento do Kakarot está intimamente ligado ao ecossistema Starknet. Ele conta com o apoio de Vitalik Buterin e StarkWare, o que é uma vantagem. Mas em comparação com outros projetos zkEVM, a equipe do Kakarot é menor, e seu orçamento e notoriedade de marca também são mais baixos, o que é uma das razões pelas quais ainda não foi implantado como um zkEVM L2 genérico.

Kakarot ainda está em estágio inicial, com a rede de testes prestes a ser lançada. O desenvolvimento futuro vale a pena acompanhar.