Uma rápida visão geral do Kakarot, um projeto zkEVM investido por Vitalik

Fonte original: Kakarot

Compilação original: Karen, Foresight News

Kakarot zkEVM é uma implementação da Ethereum Virtual Machine (EVM) escrita no Cairo. Cairo é uma linguagem Turing-completa associada a CairoVM.

CairoVM alcança computação demonstrável utilizando polinômios e o sistema de prova ZK-STARK. O zkEVM é caracterizado por sua capacidade de gerar transações prováveis, que levam a blocos prováveis. O Kakarot é construído sobre o CairoVM e todas as transações executadas no Kakarot são comprováveis.

O Kakarot zkEVM permite que as equipes criem e implantem aplicativos EVM. Os desenvolvedores podem implantar qualquer Solidity (ou qualquer linguagem compatível com EVM) no Kakarot, assim como podem no Ethereum ou Polygon. Então, seus usuários finais podem usar sua cadeia de ferramentas usual (carteira fox, conexão de carteira, etc.) para interagir com o DApp.

Por fim, Kakarot fornecerá interoperabilidade com o protocolo Starknet nativo e capacidade de composição entre protocolos, por exemplo, combinando TVL em DeFi e base de usuários em GameFi.

Escala Fractal

Kakarot zkEVM pode existir em diferentes formas, primeiro, ele pode ser implantado como um contrato inteligente no topo do Starknet L2, aparecendo como (exposição) EVM no Starknet (Ethereum RPC, transação Ethereum, etc.).

Como alternativa, o Kakarot pode ser integrado à pilha para implantar o L3 zkEVM. É aqui que entra o sequenciador de Madara.

Ao combinar Madara (nó completo Starknet) e Kakarot (tempo de execução EVM), um zkEVM L3 pode ser criado. A pilha é a seguinte: um nó completo Substrate, usando CairoVM como seu mecanismo de execução e Kakarot como o tempo de execução do contrato inteligente.

As transações no Kakarot podem ser comprovadas e verificadas na camada de liquidação, permitindo o escalonamento fractal compatível com EVM.

mapa de rotas

Fase 1: Kakarot zkEVM na Starknet - Trazendo o EVM para a Starknet

O Kakarot existirá primeiro no Starknet L2 como um EVM integrado, o que permitirá aos desenvolvedores implantar sua inteligência Solidity (ou qualquer linguagem compatível com EVM) diretamente no Starknet usando seus kits de ferramentas familiares (Foundry, Hardhat, Wagmi, etc.).

Seus usuários finais poderão interagir com seus DApps usando sua cadeia de ferramentas usual (Metamask, Wallet Connect, etc.).

A experiência do desenvolvedor e do usuário no Kakarot será exatamente a mesma do Polygon, Scroll ou Ethereum L1.

Fase 2: Kakarot x Madara - L3 zkEVM

Kakarot e Madara serão fundidos em uma pilha unificada para suportar L3 zkEVM, bem como L4, L5, etc. As equipes poderão implantar sua cadeia de aplicativos zkEVM e utilizar prova de validade para liquidar transações na Starknet.

Por que L3? Por que provabilidade?

A probabilidade pode realizar as seguintes funções: cálculo sob a cadeia ou cálculo na camada e verificação na cadeia.

Os L3s que utilizam prova de validade (como Kakarot) têm uma propriedade interessante, mas subestimada: a capacidade de dissociar segurança e descentralização. Os usuários podem se beneficiar da segurança do Ethereum L1 sem o mesmo nível de descentralização.

Devido ao cálculo em outra camada, o custo do Gás é bem menor que o de L2, e o desempenho (TPS) será maior. L2 já é muito mais barato que L1. A escalabilidade acumulada se acumula e se multiplica.

Para reduzir ainda mais os custos de Gás, a verificação de provas e a disponibilidade de dados (DA) podem ser separadas. Starknet L2 pode ser usado apenas como uma camada de verificação de prova, enquanto novas soluções de disponibilidade de dados, como Celestia ou EigenDA, podem ser usadas para publicar dados de transações.

Os usuários podem optar por qualquer uma das opções, dependendo de seus requisitos de segurança. A publicação de provas e dados de transação no Starknet é uma opção mais segura, enquanto o uso de soluções DA para publicar dados de transação é uma opção mais econômica.

Fase 3: Kakarot x Madara - tipo 1 zkEVM

Kakarot e Madara também podem ser combinados para habilitar o tipo 1 zkEVM.

• Escreva as regras de consenso Ethereum com Cairo no nó completo Madara x Kakarot, para poder provar o consenso L1.
• Mudou de Pedersen Merkle Patricia Trie (MPT) para KeccakMPT.

O Kakarot se tornará um zkEVM tipo 1 capaz de atestar blocos L1. Este é um caso de uso mais avançado que depende do roteiro da Ethereum (principalmente Verge). Após Verge, keccak pode ser substituído por poseidon como a função de hash de escolha para Ethereum. Isso ajudará a equipe do zkEVM a ser do tipo 1, já que o principal obstáculo de compatibilidade para o zkEVM é o layout de armazenamento, ou seja, implementar o Keccak MPT de maneira comprovada e razoavelmente barata.

Outros Tópicos de Pesquisa

• Madara permite que a cadeia Kakarot utilize o protocolo de mensagens Substrate para comunicação cruzada.
• A modularidade do Substrate permite que a cadeia Kakarot inove usando seu protocolo de consenso.
• A atualização de tempo de execução sem garfo do Substrate permite que a cadeia Kakarot atualize sua versão EVM sem um hard fork.