Kakarot: um projeto inovador de Zk-EVM

Kakarot zkEVM é uma implementação da máquina virtual Ethereum 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 é capaz de gerar transações e blocos que podem ser provados. Uma vez que está construído sobre o CairoVM, cada transação executada no Kakarot é comprovável. Isso permite que os desenvolvedores implementem aplicações EVM no Kakarot, enquanto os usuários podem interagir com essas aplicações usando ferramentas familiares.

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

Roteiro de Desenvolvimento

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

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

1. Implementar funcionalidades EVM na Starknet, permitindo que os desenvolvedores implantem contratos inteligentes Solidity diretamente na Starknet, e os usuários possam interagir com ferramentas comuns e dApps.

2. Integração com Madara para implementar L3 zkEVMs. A equipe pode implantar cadeias de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esta fase permite o desacoplamento de segurança e descentralização, ao mesmo tempo que reduz os custos de gas e aumenta o TPS.

3. Combinar Madara para implementar o zkEVM tipo 1. Se for possível escrever as regras de consenso do Ethereum em Cairo e mudar para Keccak MPT, Kakarot se tornará um cliente zkEVM tipo 1 de blocos L1 prováveis.

Antecedentes da equipe

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

Os membros principais incluem:

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

Situação de financiamento

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

Vantagens e Desafios do Projeto

Kakarot, como uma implementação EVM no Starknet, consegue conectar bem o Starknet e o ecossistema Ethereum, reduzindo a barreira de entrada para desenvolvedores. Ele está intimamente ligado ao ecossistema Starknet, e o desenvolvimento futuro influenciará mutuamente.

O projeto conta com o apoio de Vitalik e StarkWare, o que é uma grande vantagem. No entanto, em comparação com outras zkEVM, a equipe Kakarot é menor, e o financiamento e o reconhecimento da marca também são mais baixos, este é o desafio atual.

Kakarot ainda está em fase inicial, com a rede de testes prestes a ser lançada. À medida que o projeto avança, espera-se que traga mais possibilidades para o ecossistema Starknet e Ethereum.