Vitalik participa do investimento, como Kakarot apresenta EVM para Starknet?

Analistas Neste artigo iremos explorar as várias fases do Kakarot, os seus pontos fortes e fracos, bem como os desafios e oportunidades que se colocam ao projeto.

Autor: s

Compilação: Deep Tide TechFlow

Kakarot zkEVM é um EVM implementado no Cairo. Ao aumentar a compatibilidade do EVM, ele expande o ecossistema da Starknet. O que ele usou para ganhar o suporte de Vitalik e StarkWare? Analistas Neste artigo, exploraremos as várias fases do Kakarot, seus pontos fortes e fracos, bem como os desafios e oportunidades que o projeto enfrenta.

O que é CairoVM?

O Kakarot é construído na máquina virtual (VM) CairoVM, que é a infraestrutura da Starknet.

Principais recursos do CairoVM:

• Representar a execução como um polinômio (equação) para execução demonstrável;
• Permite o uso de STARK para comprovar todas as transações Starknet.

O que é o Cairo?

Turing completa arquitetura de CPU compatível com STARK:

• Turing completude: o sistema pode calcular qualquer cálculo/programa possível;
• STARK FRIENDLY: Sistema de prova fornecido pela StarkWare. A integridade computacional off-chain é comprovada por provadores e verificada por verificadores on-chain.

Como funciona o Cairo

Os desenvolvedores podem usar o Cairo para escrever programas no CairoVM para descrever declarações a serem provadas em uma linguagem de alto nível. Isso melhora a experiência do desenvolvedor, pois eles podem aproveitar a escalabilidade das provas de conhecimento zero (ZKPs) sem precisar aprender a escrever circuitos complexos.

Arquitetura Kakarot

O Kakarot é construído sobre o CairoVM e é:

• Interpretador de bytecode EVM;
• SC implantado na Starknet;
• Escrito no Cairo.

Kakaroto permite:

• Implante um EVM SC existente.

Kakaroto não é:

• Blockchain;
• Compilador: Não converte código Solidity para Cairo.

A partir de maio de 2023:

• Arquitetura 100% bytecode (Tipo 3 zkEVM);
• Pré-compilação EVM 8/9 implementada.

Depois de implementar pré-compilações EVM 9/9, Kakarot se tornará Tipo 2.5 zkEVM.

O tipo 1 zkEVM é completamente equivalente ao Ethereum, sem alterar o sistema Ethereum para gerar provas com mais facilidade,

Prós: A solução definitiva para dimensionar o Ethereum.

Desvantagens: Computacionalmente intensivo, prova longa (requer horas).

Por exemplo: Pergaminho, Taiko.

Tipo 2 zkEVM é totalmente equivalente ao EVM, com pequenas modificações no sistema Ethereum (usando uma função de hash diferente) para:

• Desenvolvimento mais fácil;
• Geração de prova mais rápida.

Prós: Disponível para a maioria dos dApps Ethereum.

Desvantagens: A eficiência de EVM e ZK não é amigável.

Por exemplo Rolar.

Tipo 2.5 zkEVM é equivalente a EVM, exceto pelo custo do gás. Aumenta o custo do gás de operações específicas no EVM que são difíceis de provar com ZK.

Prós: menos risco do que EVM mais amplo

Desvantagens: Compatibilidade reduzida da ferramenta de desenvolvimento, alguns dApps não serão compatíveis.

Tipo 3 zkEVM é quase idêntico ao EVM, apenas recursos que são particularmente difíceis de implementar (como pré-compilação) são removidos.

Prós: tempos de prova ainda mais rápidos, desenvolvimento de EVM mais fácil.

Contras: Alguns dApps precisam ser reescritos.

Por exemplo:

• Rolagem;
• Polígono

Digite 4 equivalente à linguagem de alto nível do zkEVM, compilando o código-fonte SC (linguagem de alto nível) em uma linguagem amigável do ZK-SNARK.

Prós: Evita muita sobrecarga.

Contras: Os contratos podem não ter o mesmo endereço que o EVM, o bytecode EVM manuscrito pode não ser suportado, a infraestrutura não pode ser transferida porque é executada no bytecode EVM.

Por exemplo:

• zksync;
• Nethermind.

Kakarot Roadmap | Fase 1 | Trazendo EVM para Starknet

Kakarot existirá inicialmente em Starknet como um EVM consagrado. A experiência do desenvolvedor e do usuário (UX) será exatamente a mesma do Polygon, Scroll ou Ethereum.

Fase 2 | L3 zkEVMs

A implantação de cadeias de aplicativos zkEVM via Kakarot permite que eles resolvam txns no Starknet usando prova de validade. Isso é conseguido combinando Kakarot e MadaraStarknet em uma pilha unificada.

Com apenas 1 clique, o Rollups oferece a você:

• zkEVM específico do aplicativo implantado na Starknet;
• Acesso ao ambiente EVM;
• Execução rápida;
• Low Gas: Use soluções de disponibilidade de dados.
• Segurança.

Execute o Solidity SC no CairoVM usando o Kakarot: Qualquer Solidity SC implantado no EVM poderá ser executado no Starknet sem alterações de código.

As vantagens de poder ter os dois:

• Eficiência EVM;
• Os contratos inteligentes tornam-se prováveis.

Fase 3 | Tipo 1 zkEVM

Para conseguir isso, Kakarot deve:

• Use Cairo para escrever as regras de consenso Ethereum no nó completo Madara x Kakarot para provar o consenso L1;
• Mudou de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT.

Depende do roteiro Ethereum: Verge. Atualmente, a implementação do Keccak MPT de maneira comprovadamente barata é o principal impedimento de compatibilidade para o zkEVM. Depois de Verge, Keccak pode ser substituído por Poseidon como a função de hash preferida do Ethereum.

meus pensamentos

Este é definitivamente um grande passo para trazer compatibilidade EVM para Starknet, mas existem algumas preocupações em torno do sucesso do Kakarot.

Enfrentando a concorrência dos seguintes concorrentes:

• ZK-rollup com diferentes sistemas de prova (SNARK): Scroll, zksync, Polygon, Taiko, Linea;
• Rollups otimistas: Otimismo、Decisão、Base;
• Diferentes zkVMs: RISC Zero, Hyper Oracle.

Product Market Fit (PMF)

No geral, Rollup-as-a-service é um argumento não testado que requer consideração de dois aspectos principais:

• Quantos Rollups vão precisar deste serviço?
• O Rollup prefere compilações internas para soberania e personalização?

Repetir produtos continuamente

A Kakarot está construindo um produto tecnicamente muito complexo que provavelmente exigirá iteração constante para ter sucesso. Também depende de vários componentes, incluindo:

• Leite; *Solução DA;
• Roteiro da Ethereum: The Verge.