Kakarot: Máquina Virtual Ethereum escrita por Cairo

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

Como zkEVM, Kakarot pode gerar transações e blocos verificáveis. Sendo construído sobre a CairoVM, cada transação executada em Kakarot é verificável. Isso permite que os desenvolvedores implantem aplicações EVM sobre ele, enquanto os usuários finais podem interagir com as aplicações usando ferramentas comuns.

Além disso, 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 criar um zkEVM de código aberto com menos de 10.000 linhas de código. Este objetivo foi alcançado em seis meses, e está previsto o lançamento da rede de teste no final do verão de 2023.

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

1. Kakarot zkEVM no Starknet: Introduzir EVM no Starknet

   Como EVM embutido no Starknet L2, os desenvolvedores podem implantar contratos inteligentes Solidity diretamente, usando ferramentas familiares como Foundry, Hardhat, etc. A experiência do usuário será a mesma que a do Polygon, Ethereum L1, entre outros.

2. Kakarot x Madara：L3 zkEVMs

   Integre Kakarot e Madara, implementando L3 zkEVMs, podendo ser expandido para L4, L5, etc., se necessário. A equipe pode implantar uma cadeia de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esta arquitetura L3 pode desacoplar segurança e descentralização, permitindo que os usuários desfrutem da segurança do Ethereum L1 sem necessitar do mesmo nível de descentralização.

3. Kakarot x Madara: tipo 1 zkEVM

   Se for possível escrever as regras de consenso do Ethereum em Cairo e mudar de Pedersen Merkle Patricia Trie para Keccak MPT, Kakarot se tornará um cliente zkEVM do tipo 1 capaz de provar blocos L1. Isso depende do roteiro do Ethereum, especialmente do desenvolvimento da fase Verge.

Visão geral da equipe

A equipe central do Kakarot nasceu de um hackathon em Lisboa. Atualmente, mais de 40 colaboradores estão envolvidos no desenvolvimento do projeto.

Os principais membros incluem:

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

Situação de financiamento

Kakarot completou a rodada de financiamento pre-seed, o valor específico não foi divulgado. Os investidores incluem Starkware, LambDa, entre outros. Os investidores-anjo incluem Vitalik Buterin, o cofundador da Ledger Nicolas Bacca e o cofundador da ZAMA Rand Hindi.

Avaliação do projeto

Kakarot, como implementação EVM no Starknet, pode conectar efetivamente o Starknet e o ecossistema Ethereum, reduzindo a barreira de entrada para desenvolvedores. Nas fases futuras, mais combinabilidade será alcançada, como com módulos como Celestia ou EigenDA.

O projeto está intimamente ligado ao ecossistema Starknet e se promove mutuamente. Ter o apoio de Vitalik Buterin e da StarkWare é uma grande vantagem. No entanto, em comparação com outros projetos zkEVM, a equipe Kakarot é pequena, com um orçamento e notoriedade mais baixos, o que é uma das razões pelas quais ainda não foi implementado como um zkEVM L2 geral.

Kakarot ainda está em estágios iniciais, a testnet será lançada em breve, e vale a pena acompanhar seu desenvolvimento.