Kakarot: Solução zkEVM inovadora

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

As características do Kakarot zkEVM residem na capacidade de gerar transações e blocos verificáveis. Por ser construído sobre o CairoVM, cada transação executada no Kakarot possui verificabilidade. Isso permite que os desenvolvedores implantem aplicações EVM sobre ele, ao mesmo tempo que permite que os usuários interajam com essas aplicações usando ferramentas familiares.

Além disso, o Kakarot planeia 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 ser open-source e criar um zkEVM com menos de 10.000 linhas de código. Esse objetivo foi alcançado em seis meses, com um lançamento da rede de testes planejado para o final do verão de 2023.

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

1. Kakarot zkEVM na Starknet: Introduz EVM na Starknet, permitindo que os desenvolvedores implantem contratos inteligentes Solidity diretamente na Starknet.

2. Kakarot x Madara: implementar L3 zkEVMs, a equipa pode implantar a sua própria cadeia de aplicação zkEVM, utilizando provas de validade para liquidar transações na Starknet.

3. Kakarot x Madara: implementar o zkEVM tipo 1, escrevendo as regras de consenso do Ethereum em Cairo dentro do nó completo Madara x Kakarot, e mudando de Pedersen MPT para Keccak MPT.

Background da Equipa

A equipe central do Kakarot nasceu em um hackathon realizado em Lisboa. Atualmente, com o apoio da Starknet Foundation e da Onlydust, o Kakarot conta com mais de 40 colaboradores.

Os membros principais incluem:

• Elias Tazartes: co-fundador e CEO, focado 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 concluiu a rodada de financiamento pre-seed, com o valor específico não divulgado. 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.

Avaliação do projeto

Kakarot, como uma implementação EVM na Starknet, tem potencial para conectar a Starknet e o ecossistema Ethereum. Pode reduzir a barreira de entrada para desenvolvedores, facilitando a construção de projetos do ecossistema Ethereum na Starknet. Fases futuras prometem alcançar mais combinabilidade, como com módulos como Celestia ou EigenDA.

O desenvolvimento do Kakarot está intimamente ligado ao ecossistema do Starknet. As atualizações contínuas do Starknet beneficiam o Kakarot, mas o desenvolvimento problemático do Starknet também pode ter um impacto negativo no Kakarot.

Ter o apoio de Vitalik Buterin e StarkWare é uma das vantagens do Kakarot. No entanto, em comparação com outros projetos ZK-EVM, a equipe do Kakarot é menor, e seu orçamento e notoriedade também são relativamente baixos, o que representa um desafio.

Kakarot ainda está em fase inicial, com a rede de testes prestes a ser lançada. O futuro desenvolvimento do projeto merece atenção contínua.