Kakarot: uma solução zkEVM inovadora baseada em Cairo

Kakarot zkEVM é uma implementação da máquina virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem de programação Turing completa, intimamente relacionada ao CairoVM. O CairoVM utiliza polinômios e o sistema de provas ZK-STARK para realizar computação verificável.

Como uma forma de zkEVM, o Kakarot pode gerar transações e blocos verificáveis. Como é construído sobre o CairoVM, cada transação executada no Kakarot é verificável. O Kakarot zkEVM permite que os desenvolvedores implementem aplicações EVM, enquanto os usuários podem interagir com essas aplicações usando ferramentas comuns. Além disso, o Kakarot também oferecerá interoperabilidade com o protocolo Starknet, proporcionando combinabilidade para protocolos em áreas como DeFi e GameFi.

Roteiro de Desenvolvimento

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

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

1. Kakarot zkEVM no Starknet: Introduzindo EVM no Starknet

   Como EVM embutido no Starknet L2, os desenvolvedores podem implantar diretamente contratos inteligentes em Solidity( ou outras linguagens compatíveis com EVM) no Starknet, usando ferramentas familiares como Foundry, Hardhat, etc. A experiência do usuário será exatamente a mesma que a do Polygon, Scroll ou Ethereum L1.

2. Kakarot x Madara:L3 zkEVMs

Kakarot e Madara irão se integrar, suportando L3 zkEVMs e níveis superiores. A equipe pode implantar cadeias de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. Essa arquitetura L3 pode separar segurança e descentralização, permitindo que os usuários desfrutem da segurança do Ethereum L1 enquanto reduzem os custos de gas.

3. Kakarot x Madara: tipo 1 zkEVM

Se for possível escrever as regras de consenso do Ethereum em Cairo e mudar do Pedersen MPT para o Keccak MPT, o Kakarot se tornará um cliente zkEVM do tipo 1 para blocos L1 comprováveis. Isso depende do desenvolvimento futuro do Ethereum, especialmente da implementação da fase Verge.

Equipa Principal

A equipe central do Kakarot originou-se de um hackathon em Lisboa, onde cerca de 10 pessoas construíram um protótipo de zkEVM em uma semana. Atualmente, com o apoio da Starknet Foundation e da Onlydust, já há mais de 40 colaboradores.

Os membros principais incluem:

• Elias Tazartes: cofundador e CEO, focado em engenharia de blockchain e desenvolvimento full stack
• Clément Walter: cofundador 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 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 implementação EVM na Starknet, pode conectar bem a Starknet e o ecossistema Ethereum, reduzindo a barreira para o desenvolvimento. No futuro, mais composições serão implementadas, como com Celestia e outras combinações modulares.

Como uma parte importante do ecossistema Starknet, o desenvolvimento do Kakarot está intimamente relacionado ao Starknet. Ter o apoio de Vitalik Buterin e da StarkWare é uma vantagem, mas o tamanho reduzido da equipe e os recursos limitados também são desvantagens.

Comparado a outros zkEVM, o Kakarot opta por focar no ecossistema Starknet em vez de implantar um L2 independente. O projeto ainda está em fase inicial, com a testnet prestes a ser lançada, e merece ser acompanhado em seu desenvolvimento.