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.
Ver original
O conteúdo é apenas para referência, não uma solicitação ou oferta. Nenhum aconselhamento fiscal, de investimento ou jurídico é fornecido. Consulte a isenção de responsabilidade para obter mais informações sobre riscos.
Vitalik participa do investimento, como Kakarot apresenta EVM para Starknet?
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:
O que é o Cairo?
Turing completa arquitetura de CPU compatível com STARK:
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 é:
Kakaroto permite:
Kakaroto não é:
A partir de maio de 2023:
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:
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:
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:
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ê:
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:
Fase 3 | Tipo 1 zkEVM
Para conseguir isso, Kakarot deve:
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:
Product Market Fit (PMF)
No geral, Rollup-as-a-service é um argumento não testado que requer consideração de dois aspectos principais:
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: