Kakarot zkEVM: Implementação da Máquina Virtual Ethereum em linguagem Cairo

Kakarot zkEVM é uma implementação da Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem de programação Turing completa, associada ao CairoVM. O CairoVM utiliza polinómios e o sistema de provas ZK-STARK para realizar cálculos comprováveis.

Como zkEVM, Kakarot é capaz de gerar transações e blocos verificáveis. Como é construído sobre a CairoVM, cada transação executada no Kakarot é verificável. Isso permite que os desenvolvedores implantem aplicações EVM no Kakarot, ao mesmo tempo que permite que os usuários interajam com essas aplicações usando ferramentas familiares.

Além disso, Kakarot também planeia oferecer interoperabilidade com o protocolo Starknet, proporcionando combinabilidade para protocolos em diferentes áreas, como DeFi e GameFi.

Roteiro de Desenvolvimento

O projeto Kakarot começou em outubro de 2022, com o ambicioso objetivo de criar um zkEVM com menos de 10.000 linhas de código. Este objetivo foi alcançado em apenas seis meses. O projeto planeja lançar a rede de testes no final do verão de 2023.

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

1. Kakarot zkEVM no Starknet: Introduzindo EVM no ecossistema Starknet.

2. Kakarot x Madara: implementar L3 zkEVMs, permitindo que a equipe implemente sua própria cadeia de aplicativos zkEVM.

3. Kakarot x Madara: implementar zkEVM tipo 1, capaz de provar blocos Ethereum L1.

Background da equipe

A equipe central do Kakarot nasceu de um hackathon em Lisboa, onde cerca de dez pessoas construíram um protótipo de zkEVM em uma semana. Hoje, com o apoio da Starknet Foundation e Onlydust, o Kakarot conta com mais de 40 colaboradores únicos.

Os membros principais incluem:

• Elias Tazartes: cofundador e CEO, focado em engenharia de blockchain e desenvolvimento full stack.
• Clément Walter: co-fundador e CTO, com múltiplas experiências como cientista, engenheiro e empresário.

Situação de financiamento

Kakarot completou a rodada de financiamento pré-seed, com o valor específico não revelado. Os investidores incluem Starkware e LambDa. Os investidores-anjo incluem o fundador do Ethereum, Vitalik Buterin, o cofundador da Ledger, Nicolas Bacca, e o cofundador e CEO da ZAMA, Rand Hindi.

Perspectivas do Projeto

Kakarot, como uma implementação EVM no Starknet, tem o potencial de se tornar uma ponte importante entre o Starknet e o ecossistema Ethereum. Ele pode reduzir a barreira de entrada para os desenvolvedores, mantendo a segurança do Ethereum e reduzindo custos.

No entanto, o desenvolvimento do Kakarot está intimamente ligado ao destino do Starknet. O desenvolvimento contínuo do Starknet é vital para o Kakarot. Embora tenha o apoio de Vitalik e StarkWare, a equipe do Kakarot é menor em comparação com outros projetos zkEVM, com um orçamento e notoriedade de marca inferiores, o que também é uma das razões pelas quais ainda não foi implantado como um zkEVM L2 genérico.

O projeto Kakarot ainda está em fase inicial, com a sua rede de testes prestes a ser lançada. À medida que o projeto avança, ele tem o potencial de trazer valor significativo para o ecossistema Starknet, mas o seu sucesso ainda depende da interação de vários fatores.