Autor: s, analista de capital de risco; tradução: Jinse Finance xiaozou
O que é Kakarot zkEVM? Por que é suportado por Vitalik e StarkWare? Kakarot traz EVM para Starknet, facilitando a expansão de EVM dApps. Vamos dar uma olhada mais profunda!
Inicializamos e entramos no modo Super Saiyan. A Kakarot Labs foi formalmente estabelecida e concluiu o financiamento antecipado pré-semente com os principais investidores.
Vamos aguardar a visão de desenvolvimento, esclarecer a posição atual e aguardar um futuro brilhante.
Este artigo apresentará principalmente o seguinte: 1. O que é CairoVM? 2. O que é o Cairo? 3. Arquitetura EVM; 4. Arquitetura Kakarot; 5. Classificação de tipos de zkEVM; 6. Roteiro Kakarot; 7. Considerações pessoais.
Kakarot zkEVM é um EVM implantado usando a linguagem Cario, estendendo a confiabilidade do ecossistema Starknet ao aprimorar a compatibilidade do EVM. Vamos entender passo a passo.
**1. ****O que é CairoVM? **
O Kakarot é executado na máquina virtual CairoVM, que é a infraestrutura da Starknet. As principais características do CairoVM são as seguintes:
· Representar a execução como uma equação polinomial para uma execução comprovável.
· Permitir que todas as transações Starknet usem a verificação STARK.
**2. O que é Cario? **
Cario é uma arquitetura de CPU compatível com STARK completa para Turing.
· Turing Complete: O sistema é capaz de computar qualquer computação/programa possível.
· Stark Friendly: sistema de autenticação da StarkWare. A integridade computacional off-chain é comprovada por provadores e verificada por verificadores on-chain.
Então, como funciona o Cario? Os desenvolvedores podem usar o Cairo para escrever programas em CaroVM e descrever instruções em uma linguagem de alto nível (a ser comprovado). Isso melhora a experiência de desenvolvimento, pois os desenvolvedores podem aproveitar a escalabilidade do ZK Proofs (ZKPs) sem ter que aprender a escrever circuitos complexos.
3. EVM****arquitetura
A arquitetura EVM é uma arquitetura de VM (máquina virtual) madura e bem definida com:
142 opcodes: instruções usadas pelo EVM para executar transações e contratos inteligentes (SC). Uma taxa de gás é necessária para executar.
9 pré-compilações: Contratos inteligentes incorporados ao Ethereum para lidar com operações comuns. Pode ser invocado com uma taxa de gás padrão.
4. Kakaroto****Estrutura
O Kakarot é desenvolvido com base no CairoVM, que é:
· Interpretador de bytecode EVM
· Contratos inteligentes implantados na Starknet
· Use a linguagem Cario
Kakaroto suporta:
· Implantar o contrato inteligente EVM como está
Kakaroto não é:
·Blockchain
Compilador: não converte código Solidity para Cairo
A partir de maio de 2023:
100% da arquitetura bytecode foi realizada (Tipo 3 zkEVM)
9 EVM pré-compilado para alcançar 8
Depois de implementar todas as 9 pré-compilações de EVM, o Kakarot se tornará o Tipo 2.5 zkEVM.
5, zkEVM****Tipo****tipo
(1) Tipo 1 zkEVM | Totalmente equivalente a Ethereum
Nenhuma alteração no sistema Ethereum para suportar a geração de prova mais fácil.
vantagem:
A solução definitiva para a expansão do Ethereum
deficiência:
· Computação intensiva
O tempo de prova é longo (leva horas)
Exemplo:
·Rolagem
·Taiko
(2) Tipo 2 zkEVM | totalmente equivalente a EVM
Pequenas modificações no sistema Ethereum (diferentes funções de hash) tornam o desenvolvimento mais fácil e a geração de provas mais rápida.
vantagem:
· Suporta a maioria dos dApps Ethereum
deficiência:
A ineficiência e hostilidade do EVM ainda existe
Exemplo:
·Rolagem
(3) Tipo 2,5 zkEVM | Equivalente a EVM (exceto taxa de gás)
Custos de gás adicionados para operações específicas no EVM que são difíceis de provar usando ZK.
vantagem:
Menos arriscado do que mudanças mais amplas de EVM
deficiência:
Compatibilidade reduzida de ferramentas de desenvolvimento
· Alguns dApps não são compatíveis
(4) Tipo 3 zkEVM | quase equivalente a EVM
Recursos que eram particularmente difíceis de implementar (como pré-compilação) foram removidos.
vantagem:
· Tempos de prova mais rápidos
· Desenvolvimento de EVM mais fácil
deficiência:
· Alguns dApps precisam ser reescritos
Exemplo:
·Rolagem
·Polígono
**(5)Tpye4zkEVM|**equivalente a linguagem de alto nível
O código-fonte do contrato inteligente (linguagem de alto nível) é compilado em uma linguagem amigável do ZK-SNARK.
vantagem:
· Evite muita sobrecarga
deficiência:
O endereço do contrato pode ser diferente do endereço no EVM
Pode não suportar bytecode EVM manuscrito
· A infraestrutura de depuração não pode ser herdada porque é executada no bytecode EVM.
Exemplo:
·zkSync
·Nethermind
6**、Mapa da Rota Kakarot**
(1) Fase 1 | Trazendo EVM para Starknet
Kakarot existirá inicialmente em Starknet como um EVM consagrado. A experiência de desenvolvimento e a experiência do usuário (UX) serão as mesmas do Polygon, Scroll ou Ethereum.
(2) Estágio 2 | L3 zkEVM
A implantação de cadeias de aplicativos zkEVM por meio do Kakarot permite que eles liquidem transações no Starknet usando prova de validade.
Ao fundir o sequenciador Starknet de Kakarot e Madara (sequenciador Starknet baseado em substrato) em uma pilha unificada.
(3) Fase 2 | zkEVM-Rollup-as-a-Service
Com apenas um clique, o rollup recebe:
· zkEVM específico do aplicativo implantado na Starknet
· Acesso ao ambiente EVM
· Execução rápida
Taxas de gás baixas: use soluções de disponibilidade de dados (Celestia, EigenLayer)
· Segurança de criptografia
Vantagens do zkEVM-Rollup-as-a-Service:
Execute contratos inteligentes do Solidity no CairoVM usando o Kakarot
Qualquer contrato inteligente do Solidity implantado no EVM pode ser executado no Starknet sem alterações de código
Melhor dos dois mundos:
Eficiência com EVM
· Contratos inteligentes tornam-se prováveis
(4) Fase 3 | Tipo 1 zkEVM
Para entrar nesta fase, Kakarot deve:
· Use Cairo para escrever regras de consenso Ethereum dentro dos nodos completos de Madara e Kakarot para provar o consenso L1.
· Mudou de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT.
No entanto, a Fase 3 é incerta. Depende do roteiro Ethereum: Verge. Atualmente, a implementação do Keccak MPT de forma comprovada e de baixo custo é o principal impedimento para a compatibilidade do zkEVM. Após Verge, Keccak pode ser substituído por Poseidon como a função de hash de escolha para Ethereum.
7**、Pensamentos pessoais**
Trazer compatibilidade EVM para Starknet é certamente um grande passo à frente, mas ainda há algumas preocupações sobre o sucesso do Kakarot.
(1) Campo ZK altamente competitivo
Os concorrentes são:
· ZK-rollup com diferentes sistemas de prova (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Rollup Otimista: Otimismo, Decisão, Base
ZkVM diferente: RISC Zero, Hyper Oracle
(2) Adequação do mercado do produto (PMF)
No geral, rollup-as-a-service é um tópico aberto, com dois aspectos principais a serem considerados:
· Quantos rollups precisam deste serviço?
O rollup prefere construir soberania e personalização internamente?
(3) Iteração contínua do produto
A Kakarot está desenvolvendo e construindo um produto que é altamente complexo tecnicamente e provavelmente exigirá iterações constantes para ser bem-sucedido.
Ele também conta com vários componentes dinâmicos, incluindo:
·Leite
·Solução de Disponibilidade de Dados
Roteiro Ethereum: 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.
O que é Kakarot zkEVM? Por que Vitalik participou da votação
Autor: s, analista de capital de risco; tradução: Jinse Finance xiaozou
O que é Kakarot zkEVM? Por que é suportado por Vitalik e StarkWare? Kakarot traz EVM para Starknet, facilitando a expansão de EVM dApps. Vamos dar uma olhada mais profunda!
Inicializamos e entramos no modo Super Saiyan. A Kakarot Labs foi formalmente estabelecida e concluiu o financiamento antecipado pré-semente com os principais investidores.
Vamos aguardar a visão de desenvolvimento, esclarecer a posição atual e aguardar um futuro brilhante.
Este artigo apresentará principalmente o seguinte: 1. O que é CairoVM? 2. O que é o Cairo? 3. Arquitetura EVM; 4. Arquitetura Kakarot; 5. Classificação de tipos de zkEVM; 6. Roteiro Kakarot; 7. Considerações pessoais.
Kakarot zkEVM é um EVM implantado usando a linguagem Cario, estendendo a confiabilidade do ecossistema Starknet ao aprimorar a compatibilidade do EVM. Vamos entender passo a passo.
**1. ****O que é CairoVM? **
O Kakarot é executado na máquina virtual CairoVM, que é a infraestrutura da Starknet. As principais características do CairoVM são as seguintes:
· Representar a execução como uma equação polinomial para uma execução comprovável.
· Permitir que todas as transações Starknet usem a verificação STARK.
**2. O que é Cario? **
Cario é uma arquitetura de CPU compatível com STARK completa para Turing.
· Turing Complete: O sistema é capaz de computar qualquer computação/programa possível.
· Stark Friendly: sistema de autenticação da StarkWare. A integridade computacional off-chain é comprovada por provadores e verificada por verificadores on-chain.
Então, como funciona o Cario? Os desenvolvedores podem usar o Cairo para escrever programas em CaroVM e descrever instruções em uma linguagem de alto nível (a ser comprovado). Isso melhora a experiência de desenvolvimento, pois os desenvolvedores podem aproveitar a escalabilidade do ZK Proofs (ZKPs) sem ter que aprender a escrever circuitos complexos.
3. EVM****arquitetura
A arquitetura EVM é uma arquitetura de VM (máquina virtual) madura e bem definida com:
142 opcodes: instruções usadas pelo EVM para executar transações e contratos inteligentes (SC). Uma taxa de gás é necessária para executar.
9 pré-compilações: Contratos inteligentes incorporados ao Ethereum para lidar com operações comuns. Pode ser invocado com uma taxa de gás padrão.
4. Kakaroto****Estrutura
O Kakarot é desenvolvido com base no CairoVM, que é:
· Interpretador de bytecode EVM
· Contratos inteligentes implantados na Starknet
· Use a linguagem Cario
Kakaroto suporta:
· Implantar o contrato inteligente EVM como está
Kakaroto não é:
·Blockchain
Compilador: não converte código Solidity para Cairo
A partir de maio de 2023:
100% da arquitetura bytecode foi realizada (Tipo 3 zkEVM)
9 EVM pré-compilado para alcançar 8
Depois de implementar todas as 9 pré-compilações de EVM, o Kakarot se tornará o Tipo 2.5 zkEVM.
5, zkEVM****Tipo****tipo
(1) Tipo 1 zkEVM | Totalmente equivalente a Ethereum
Nenhuma alteração no sistema Ethereum para suportar a geração de prova mais fácil.
vantagem:
A solução definitiva para a expansão do Ethereum
deficiência:
· Computação intensiva
O tempo de prova é longo (leva horas)
Exemplo:
·Rolagem
·Taiko
(2) Tipo 2 zkEVM | totalmente equivalente a EVM
Pequenas modificações no sistema Ethereum (diferentes funções de hash) tornam o desenvolvimento mais fácil e a geração de provas mais rápida.
vantagem:
· Suporta a maioria dos dApps Ethereum
deficiência:
A ineficiência e hostilidade do EVM ainda existe
Exemplo:
·Rolagem
(3) Tipo 2,5 zkEVM | Equivalente a EVM (exceto taxa de gás)
Custos de gás adicionados para operações específicas no EVM que são difíceis de provar usando ZK.
vantagem:
Menos arriscado do que mudanças mais amplas de EVM
deficiência:
Compatibilidade reduzida de ferramentas de desenvolvimento
· Alguns dApps não são compatíveis
(4) Tipo 3 zkEVM | quase equivalente a EVM
Recursos que eram particularmente difíceis de implementar (como pré-compilação) foram removidos.
vantagem:
· Tempos de prova mais rápidos
· Desenvolvimento de EVM mais fácil
deficiência:
· Alguns dApps precisam ser reescritos
Exemplo:
·Rolagem
·Polígono
**(5)Tpye4zkEVM|**equivalente a linguagem de alto nível
O código-fonte do contrato inteligente (linguagem de alto nível) é compilado em uma linguagem amigável do ZK-SNARK.
vantagem:
· Evite muita sobrecarga
deficiência:
O endereço do contrato pode ser diferente do endereço no EVM
Pode não suportar bytecode EVM manuscrito
· A infraestrutura de depuração não pode ser herdada porque é executada no bytecode EVM.
Exemplo:
·zkSync
·Nethermind
6**、Mapa da Rota Kakarot**
(1) Fase 1 | Trazendo EVM para Starknet
Kakarot existirá inicialmente em Starknet como um EVM consagrado. A experiência de desenvolvimento e a experiência do usuário (UX) serão as mesmas do Polygon, Scroll ou Ethereum.
(2) Estágio 2 | L3 zkEVM
A implantação de cadeias de aplicativos zkEVM por meio do Kakarot permite que eles liquidem transações no Starknet usando prova de validade.
Ao fundir o sequenciador Starknet de Kakarot e Madara (sequenciador Starknet baseado em substrato) em uma pilha unificada.
(3) Fase 2 | zkEVM-Rollup-as-a-Service
Com apenas um clique, o rollup recebe:
· zkEVM específico do aplicativo implantado na Starknet
· Acesso ao ambiente EVM
· Execução rápida
Taxas de gás baixas: use soluções de disponibilidade de dados (Celestia, EigenLayer)
· Segurança de criptografia
Vantagens do zkEVM-Rollup-as-a-Service:
Execute contratos inteligentes do Solidity no CairoVM usando o Kakarot
Qualquer contrato inteligente do Solidity implantado no EVM pode ser executado no Starknet sem alterações de código
Melhor dos dois mundos:
Eficiência com EVM
· Contratos inteligentes tornam-se prováveis
(4) Fase 3 | Tipo 1 zkEVM
Para entrar nesta fase, Kakarot deve:
· Use Cairo para escrever regras de consenso Ethereum dentro dos nodos completos de Madara e Kakarot para provar o consenso L1.
· Mudou de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT.
No entanto, a Fase 3 é incerta. Depende do roteiro Ethereum: Verge. Atualmente, a implementação do Keccak MPT de forma comprovada e de baixo custo é o principal impedimento para a compatibilidade do zkEVM. Após Verge, Keccak pode ser substituído por Poseidon como a função de hash de escolha para Ethereum.
7**、Pensamentos pessoais**
Trazer compatibilidade EVM para Starknet é certamente um grande passo à frente, mas ainda há algumas preocupações sobre o sucesso do Kakarot.
(1) Campo ZK altamente competitivo
Os concorrentes são:
· ZK-rollup com diferentes sistemas de prova (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Rollup Otimista: Otimismo, Decisão, Base
ZkVM diferente: RISC Zero, Hyper Oracle
(2) Adequação do mercado do produto (PMF)
No geral, rollup-as-a-service é um tópico aberto, com dois aspectos principais a serem considerados:
· Quantos rollups precisam deste serviço?
O rollup prefere construir soberania e personalização internamente?
(3) Iteração contínua do produto
A Kakarot está desenvolvendo e construindo um produto que é altamente complexo tecnicamente e provavelmente exigirá iterações constantes para ser bem-sucedido.
Ele também conta com vários componentes dinâmicos, incluindo:
·Leite
·Solução de Disponibilidade de Dados
Roteiro Ethereum: Verge