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

Kakarot zkEVM é uma implementação da Máquina Virtual Ethereum escrita na linguagem Cairo (EVM). Cairo é uma linguagem Turing completa associada à CairoVM, que utiliza polinômios e um sistema de provas ZK-STARK para realizar computação verificável.

Como um zkEVM, Kakarot é capaz de gerar transações e blocos que podem ser provados. Como é construído sobre o CairoVM, cada transação executada no Kakarot é provável. Isso permite que os desenvolvedores implantem aplicações EVM no Kakarot, enquanto os usuários podem interagir com essas aplicações usando ferramentas familiares.

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

Roteiro de desenvolvimento

O projeto Kakarot começou em outubro de 2022, com o objetivo de criar um zkEVM com menos de 10.000 linhas de código. Em apenas seis meses, esse objetivo foi alcançado, e está previsto o lançamento da rede de testes no final do verão de 2023.

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

1. Kakarot zkEVM na Starknet: Introduzindo EVM na Starknet

   Nesta fase, o Kakarot zkEVM existirá como uma EVM embutida no L2 do Starknet. Os desenvolvedores poderão implantar contratos inteligentes Solidity diretamente no Starknet e usar ferramentas familiares como Foundry, Hardhat, entre outras. A experiência do usuário será a mesma que na Polygon ou no Ethereum L1.

2. Kakarot x Madara: L3 zkEVMs

   Kakarot irá integrar-se com Madara, implementando L3 zkEVMs. As equipas podem implantar as suas próprias cadeias de aplicações zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esta solução L3 pode reduzir significativamente os custos de gas e melhorar o desempenho, mantendo a segurança do Ethereum L1, ao mesmo tempo que reduz os requisitos de descentralização.

3. Kakarot x Madara: tipo 1 zkEVM

   Ao escrever regras de consenso Ethereum com Cairo em um nó completo Madara x Kakarot, e mudando de Pedersen MPT para Keccak MPT, Kakarot espera tornar-se um cliente zkEVM tipo 1, capaz de provar blocos L1. A implementação deste caso de uso avançado depende da trajetória de desenvolvimento do Ethereum.

Composição da equipe

A equipe central do Kakarot originou-se de um evento de hackathon, onde cerca de 10 pessoas construíram um protótipo zkEVM em uma semana. Atualmente, com o apoio da Fundação Starknet e da Onlydust, mais de 40 colaboradores estão envolvidos no desenvolvimento do projeto.

Os membros principais incluem:

• Elias Tazartes: cofundador e CEO, especializado em engenharia de blockchain e desenvolvimento full stack
• Clément Walter: Co-fundador e CTO, com formação em ciência, engenharia e empreendedorismo

Situação de financiamento

Kakarot completou a rodada de financiamento pre-seed, com o valor específico não divulgado. Os investidores incluem instituições como Starkware, LambDa, além de investidores anjo como Vitalik Buterin, o cofundador da Ledger Nicolas Bacca e o CEO da ZAMA Rand Hindi.

Análise de Perspectivas do Projeto

Kakarot, como implementação da EVM no Starknet, tem a esperança de se tornar uma ponte importante entre o Starknet e o ecossistema Ethereum. Ele pode reduzir a barreira de entrada para os desenvolvedores no Starknet, ao mesmo tempo que oferece aos usuários uma experiência familiar do Ethereum.

As vantagens do projeto incluem:

1. Estreitamente integrado com o ecossistema Starknet, vivendo em simbiose.
2. Obter o apoio de figuras importantes da indústria, como Vitalik Buterin e StarkWare
3. Design modular, pode ser combinado com outras soluções Layer 2

Desafios enfrentados:

1. A equipe é pequena, com recursos limitados
2. O projeto ainda está em fase inicial, precisa de tempo para ser validado.
3. Dependendo do desenvolvimento do Starknet, existe um certo risco

No geral, Kakarot representa uma direção inovadora da tecnologia zkEVM, com potencial para trazer mais possibilidades para o ecossistema Starknet. Com o lançamento iminente da rede de testes, o desempenho real do projeto merece atenção.