Kakarot: um projeto inovador de zkEVM que está a receber muita atenção

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.

Como zkEVM, Kakarot se destaca por ser capaz de gerar transações e blocos verificáveis. Sendo construído sobre o CairoVM, cada transação executada no Kakarot possui verificabilidade. Isso permite que os desenvolvedores implantem aplicações EVM sobre ele, enquanto os usuários podem interagir com essas aplicações usando ferramentas familiares.

Além disso, Kakarot planeia oferecer interoperabilidade com o protocolo Starknet, trazendo maior composibilidade 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 de forma aberta. Esse objetivo foi alcançado em apenas seis meses. O projeto planeja lançar a testnet no final do verão de 2023.

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

1. Kakarot zkEVM no Starknet: Introduzindo o EVM no Starknet, permitindo que os desenvolvedores implementem contratos Solidity diretamente no Starknet e utilizem ferramentas familiares para desenvolvimento e interação.

2. Kakarot x Madara - L3 zkEVMs: Integração do Kakarot e Madara para realizar L3 zkEVMs, e até mesmo níveis superiores de escalabilidade. Isso permitirá que as equipes implementem suas próprias cadeias de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet.

3. Kakarot x Madara - Tipo 1 zkEVM: Através da integração adicional do Kakarot e Madara, é implementado o Tipo 1 zkEVM. Isso requer a escrita das regras de consenso do Ethereum em Cairo no nó completo Madara x Kakarot, e a mudança de Pedersen Merkle Patricia Trie para Keccak MPT.

Background da Equipa

A equipe principal do Kakarot nasceu de um intenso evento de desenvolvimento em Lisboa, onde cerca de dez pessoas construíram um protótipo de zkEVM em uma semana. Atualmente, com o apoio da Starknet Foundation e da Onlydust, o Kakarot tem 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: cofundador e CTO, com um histórico múltiplo de cientista, engenheiro e empresário.

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 anjos como Vitalik Buterin, Nicolas Bacca, cofundador da Ledger, e Rand Hindi, cofundador e CEO da ZAMA.

Vantagens e Desafios do Projeto

Kakarot como implementação zkEVM na Starknet tem as seguintes vantagens:

1. Conectar Starknet e o ecossistema Ethereum, reduzindo a barreira de entrada para desenvolvedores.
2. Combinar a segurança do Ethereum com a vantagem de baixos custos.
3. Obter o apoio de Vitalik Buterin e StarkWare.
4. No futuro, será possível alcançar um nível mais elevado de composibilidade.

No entanto, Kakarot também enfrenta alguns desafios:

1. A equipe é pequena e os recursos são limitados.
2. Em comparação com outros projetos zkEVM maduros, a notoriedade da marca é menor.
3. O desenvolvimento está intimamente relacionado com o ecossistema Starknet, existindo uma certa dependência.

O projeto Kakarot está atualmente em fase inicial, com a rede de teste prestes a ser lançada. Como uma solução zkEVM inovadora, o Kakarot tem o potencial de desempenhar um papel importante no ecossistema Starknet, mas seu sucesso final ainda precisa ser validado pelo tempo.