Kakarot: uma inovadora zkEVM Starknet desenvolvida na linguagem Cairo

2025-07-20 18:27:03

Geração de resumo em curso

Kakarot zkEVM: Máquina Virtual Ethereum inovadora criada com a linguagem Cairo

Kakarot zkEVM é uma implementação da Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem de programação Turing completa associada ao CairoVM, enquanto o CairoVM utiliza polinômios e o sistema de provas ZK-STARK para realizar cálculos verificáveis.

Como uma forma de zkEVM, Kakarot é capaz de gerar transações e blocos verificáveis. Por estar construído sobre a CairoVM, cada transação executada no Kakarot possui verificabilidade. Esta característica permite que os desenvolvedores implantem aplicações EVM no Kakarot, ao mesmo tempo que permite que os usuários interajam com essas aplicações usando ferramentas familiares.

Além disso, o plano Kakarot é fornecer interoperabilidade com o protocolo Starknet, trazendo maior combinabilidade para protocolos em diferentes áreas, como DeFi e GameFi.

Roteiro de desenvolvimento

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

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

Kakarot zkEVM na Starknet: Introduzindo a EVM no ecossistema Starknet, permitindo que os desenvolvedores implantem diretamente contratos inteligentes escritos em Solidity (ou outras linguagens compatíveis com EVM) na Starknet. Os usuários podem interagir com esses dApps usando ferramentas familiares (como Metamask), experimentando a mesma experiência que teriam na Polygon ou no Ethereum L1.
Kakarot x Madara - L3 zkEVMs: Integrar Kakarot com Madara para realizar L3 zkEVMs, podendo até expandir para níveis superiores como L4, L5, etc. Isso permitirá que as equipes implantem suas próprias cadeias de aplicação zkEVM e utilizem provas de validade para liquidar transações na Starknet. Essa abordagem pode separar segurança e descentralização, mantendo a segurança do Ethereum L1 enquanto aumenta a eficiência através da redução do número de validadores.
Kakarot x Madara - Tipo 1 zkEVM: Através da escrita das regras de consenso do Ethereum em Cairo dentro do nó completo Madara x Kakarot, e mudando de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT, Kakarot espera se tornar um cliente Type 1 zkEVM capaz de provar blocos L1. A implementação desta fase está intimamente relacionada com a futura rota de desenvolvimento do Ethereum, especialmente as mudanças na função de hash que podem ser adotadas após a atualização Verge.

Background da equipe

A equipe central do Kakarot originou-se de uma atividade de desenvolvimento intensivo de curto prazo em Lisboa, onde cerca de dez pessoas construíram um protótipo de zkEVM em uma semana. Atualmente, com o apoio da Fundação Starknet e da Onlydust, o Kakarot conta com mais de 40 colaboradores independentes.

Os membros principais incluem:

Elias Tazartes: cofundador e CEO, focado em engenharia de blockchain e desenvolvimento full-stack.
Clément Walter: co-fundador 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 e LambDa, bem como investidores individuais conhecidos como Vitalik Buterin, o co-fundador da Ledger Nicolas Bacca e o co-fundador e CEO da ZAMA Rand Hindi.

Perspectivas do projeto

Kakarot, como uma implementação EVM escrita em Cairo sobre a Starknet, tem o potencial de se tornar uma ponte importante entre a Starknet e o ecossistema Ethereum. Ele reduz a barreira de entrada para os desenvolvedores na Starknet, mantendo a compatibilidade com o ecossistema Ethereum. À medida que o projeto avança para fases posteriores, o Kakarot alcançará um nível mais alto de combinabilidade, podendo ser utilizado em conjunto com componentes modularizados como Celestia ou EigenDA.

O desenvolvimento do Kakarot está intimamente relacionado com o ecossistema Starknet. As atualizações contínuas do Starknet e a melhoria da experiência do usuário beneficiarão diretamente o Kakarot. Ao mesmo tempo, o Kakarot também contribuirá para a prosperidade do ecossistema Starknet.

Receber o apoio de Vitalik Buterin e StarkWare é uma grande vantagem para Kakarot, não apenas em termos de reconhecimento, mas também de apoio financeiro.

No entanto, em comparação com outros projetos ZK-EVM, Kakarot também enfrenta desafios como uma equipe pequena, orçamento limitado e baixa notoriedade da marca. Esta é uma das razões pelas quais a Kakarot está atualmente focada no ecossistema Starknet em vez de ser implantada como um zkEVM L2 genérico.

Como um projeto em estágio inicial, a testnet do Kakarot está prestes a ser lançada, e vale a pena acompanhar de perto seu futuro desenvolvimento.

STRK-2.37%

Ver original

Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.

7 gostos