Por Francesco, Capital do Castelo; Tradução: Golden Finance Xiaozou
Em 10 de outubro, Scroll lançou uma mensagem enigmática anunciando seu lançamento na rede principal. Além da agricultura de airdroping, eu não estava totalmente ciente disso. Então decidi cavar mais fundo!
Vamos começar com Scroll. O Scroll é uma solução de escalonamento Ethereum: um rollup geral de conhecimento zero (zk) L2. Parece um monte de palavras funky e chique, vamos dar uma olhada mais de perto.
Como um rollup L2 executado no Ethereum, o Scroll importa segurança ETH nativa.
Além da segurança, o Scroll se mistura perfeitamente ao rico ecossistema Ethereum:
· ferramenta
· dApps
· Contratos inteligentes
· Base de utilizadores
Esta prática transfere e intercambia facilmente estes recursos, garantindo uma compatibilidade EVM sem paralelo. "Para usuários e desenvolvedores, o Scroll é quase equivalente ao Ethereum."
Antes do Scroll, não havia rollup zk universal, principalmente devido à complexidade de gerar provas zk para cálculos de Máquina Virtual Ethereum (EVM). Simplificando, um rollup universal deve ter o equivalente a um EVM.
No entanto, executar um ambiente EVM com sucesso no zk rollup sempre foi um objetivo ilusório. Isto é devido à complexidade de converter transações EVM em circuitos lógicos que podem ser explicados por provas zk. Essa complexidade também explica por que o projeto de rollup zk é focado apenas em aplicações específicas, como dYdX, que se concentra em transações, e ImmutableX, que se concentra em NFTs.
Devido a dificuldades técnicas, não foi possível desenvolver uma rede universal que pudesse implantar vários dAapps. É por isso que zk-rollups não têm um bom desempenho em termos de TVL e contagem de assinantes em comparação com rollups otimistas como Immutable.
Apesar desses desafios, a busca por um ZK Rollup genérico continua. A compatibilidade com EVM é importante porque simplifica muito o trabalho necessário para os desenvolvedores fazerem a transição para a nova cadeia.
A transição para uma cadeia não-EVM significa:
· Os contratos existentes devem ser migrados e reescritos para o novo rollup.
· Não suportado por ferramentas EVM existentes (bibliotecas, carteiras, mercados, etc.).
· Aplicativos do ecossistema Ethereum não podem ser suportados.
Muitos rollups assumem a tarefa de um zk EVM genérico, com diferentes níveis de compatibilidade EVM.
Essas são soluções dedicadas que atualmente são executadas com suas próprias máquinas virtuais personalizadas (VMs do Cairo). Eles executam uma VM personalizada e criam um compilador, "Warp Transpiler", que compila o código Solidity no bytecode da VM do Cairo.
O que eles fazem é criar uma nova VM e adicionar suporte à ferramenta Ethereum como uma camada extra sobre ela. Isso ainda atinge o objetivo de exportar contratos de solidez para a StarkNet, tornando-os "compatíveis com EVM".
Embora não seja uma execução EVM simples, ela preserva a compatibilidade, permitindo que os desenvolvedores do Solidity escrevam código para seus rollups. Trata-se de um bom compromisso.
(2)Polygon zk-EVM (nível de bytecode):
O Polygon executa uma VM personalizada, mas mapeou todos os opcodes EVM para serem válidos para suas VMs. A abordagem da Polygon é construir um zkEVM com "equivalência de nível de opcode".
Em contraste com o Scroll, o Polygon tem um tempo de execução alternativo — zkutor — que executa opcodes "zkASM" personalizados em vez de executar opcodes EVM diretamente. Isso é feito para otimizar a interpretação do EVM (uma vez que a prova direta do EVM seria muito restritiva).
Embora essa configuração seja mais eficiente do que o Scroll, ela adiciona muito código personalizado (para criar zkASM), introduz possíveis requisitos para modificar código ou ferramentas para compatibilidade e pode diferir cada vez mais do Ethereum ao longo do tempo.
(3)Scroll (nível de bytecode):
Converta a execução de EVM diretamente em circuitos verificáveis com vantagens no suporte e compatibilidade de ferramentas. Atualmente, o Scroll não suporta todos os opcodes EVM, mas eles planejam eventualmente implementar isso ao longo do tempo.
(3) Geração de provas: A informação é passada ao coordenador (o "traço" do trabalho concluído), depois passada para o Prover, que por sua vez gera a prova ZK.
(4) A geração de provas pode ocupar vários blocos e pode ser realizada em paralelo por diferentes "provadores".
As transações são >processadas pelo nó que executa a bifurcação Geth > a execução rastreia > circuitos zkEVM de entrada > geram provas > entrada no conjunto indicando que a prova é válida > geram provas agregadas > emitidas para contratos L1.
O ZK Rollup é visto como um design que supera seus rivais otimistas de rollup, especialmente em termos de privacidade, sem atrasos de retirada devido à falta de evidências de fraude.
Como um pacote cumulativo zk genérico compatível com bytecode, o Scroll promete os benefícios das provas zk em L2 sem comprometer os efeitos de rede e as ferramentas do EVM.
A compatibilidade total com o EVM é o santo graal do L2, e essa é a proposta de valor do Scroll: a emoção do Ethereum. A compatibilidade de bytecode do Scroll incorpora todos os benefícios das provas zk para Ethereum com compatibilidade máxima.
Também vale a pena notar que a Scroll está comprometida com a descentralização. Embora haja um classificador central na fase inicial, os planos de descentralização estão na calha. Além disso, todas as provas ZK serão eventualmente criadas por uma rede "provadora" descentralizada.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
Leia a pilha de tecnologia e o fluxo de transações do Scroll em um artigo
Por Francesco, Capital do Castelo; Tradução: Golden Finance Xiaozou
Em 10 de outubro, Scroll lançou uma mensagem enigmática anunciando seu lançamento na rede principal. Além da agricultura de airdroping, eu não estava totalmente ciente disso. Então decidi cavar mais fundo!
Vamos começar com Scroll. O Scroll é uma solução de escalonamento Ethereum: um rollup geral de conhecimento zero (zk) L2. Parece um monte de palavras funky e chique, vamos dar uma olhada mais de perto.
Como um rollup L2 executado no Ethereum, o Scroll importa segurança ETH nativa.
! [3BwaX61RXgYWgOajov0oviaGFFCMbgk1jpWKIn7J.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-067a94fdc7-dd1a6f-69ad2a.webp "7119142")
Além da segurança, o Scroll se mistura perfeitamente ao rico ecossistema Ethereum:
· ferramenta
· dApps
· Contratos inteligentes
· Base de utilizadores
Esta prática transfere e intercambia facilmente estes recursos, garantindo uma compatibilidade EVM sem paralelo. "Para usuários e desenvolvedores, o Scroll é quase equivalente ao Ethereum."
Antes do Scroll, não havia rollup zk universal, principalmente devido à complexidade de gerar provas zk para cálculos de Máquina Virtual Ethereum (EVM). Simplificando, um rollup universal deve ter o equivalente a um EVM.
No entanto, executar um ambiente EVM com sucesso no zk rollup sempre foi um objetivo ilusório. Isto é devido à complexidade de converter transações EVM em circuitos lógicos que podem ser explicados por provas zk. Essa complexidade também explica por que o projeto de rollup zk é focado apenas em aplicações específicas, como dYdX, que se concentra em transações, e ImmutableX, que se concentra em NFTs.
Devido a dificuldades técnicas, não foi possível desenvolver uma rede universal que pudesse implantar vários dAapps. É por isso que zk-rollups não têm um bom desempenho em termos de TVL e contagem de assinantes em comparação com rollups otimistas como Immutable.
Apesar desses desafios, a busca por um ZK Rollup genérico continua. A compatibilidade com EVM é importante porque simplifica muito o trabalho necessário para os desenvolvedores fazerem a transição para a nova cadeia.
A transição para uma cadeia não-EVM significa:
· Os contratos existentes devem ser migrados e reescritos para o novo rollup.
· Não suportado por ferramentas EVM existentes (bibliotecas, carteiras, mercados, etc.).
· Aplicativos do ecossistema Ethereum não podem ser suportados.
Muitos rollups assumem a tarefa de um zk EVM genérico, com diferentes níveis de compatibilidade EVM.
Top 5 zkEVM comparação
! [LSM86T62BM2YWEonkmazzYQgUB81TyIlC7h4V56b.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-5b166a28c8-dd1a6f-69ad2a.webp "7119144")
(**1)Starknet e zkSync (nível de idioma):
Essas são soluções dedicadas que atualmente são executadas com suas próprias máquinas virtuais personalizadas (VMs do Cairo). Eles executam uma VM personalizada e criam um compilador, "Warp Transpiler", que compila o código Solidity no bytecode da VM do Cairo.
! [f0mw065oU22uQaoAHUgGeTVnIuusPnGXMr4NmvGg.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-24926660f7-dd1a6f-69ad2a.webp "7119145")
O que eles fazem é criar uma nova VM e adicionar suporte à ferramenta Ethereum como uma camada extra sobre ela. Isso ainda atinge o objetivo de exportar contratos de solidez para a StarkNet, tornando-os "compatíveis com EVM".
Embora não seja uma execução EVM simples, ela preserva a compatibilidade, permitindo que os desenvolvedores do Solidity escrevam código para seus rollups. Trata-se de um bom compromisso.
(2)Polygon zk-EVM (nível de bytecode):
O Polygon executa uma VM personalizada, mas mapeou todos os opcodes EVM para serem válidos para suas VMs. A abordagem da Polygon é construir um zkEVM com "equivalência de nível de opcode".
Em contraste com o Scroll, o Polygon tem um tempo de execução alternativo — zkutor — que executa opcodes "zkASM" personalizados em vez de executar opcodes EVM diretamente. Isso é feito para otimizar a interpretação do EVM (uma vez que a prova direta do EVM seria muito restritiva).
! [dBbRwBMW3X9X60RcwaEGFU8IMej4H3NDmzNcyA0Z.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-d18a6b307c-dd1a6f-69ad2a.webp "7119146")
Aqui está um diagrama esquemático do processo:
!
Embora essa configuração seja mais eficiente do que o Scroll, ela adiciona muito código personalizado (para criar zkASM), introduz possíveis requisitos para modificar código ou ferramentas para compatibilidade e pode diferir cada vez mais do Ethereum ao longo do tempo.
(3)Scroll (nível de bytecode):
Converta a execução de EVM diretamente em circuitos verificáveis com vantagens no suporte e compatibilidade de ferramentas. Atualmente, o Scroll não suporta todos os opcodes EVM, mas eles planejam eventualmente implementar isso ao longo do tempo.
! [qTtHQfu0A2TL4Es1o7GUr4SLTmX84fXexBThP2qS.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-b50e0addec-dd1a6f-69ad2a.webp "7119150")
Como funciona o Scroll (pilha de tecnologia)?
Scroll é um rollup zk, com um contrato inteligente em ETH L1, e é um validador de prova zkEVM capaz de verificar se o protocolo Scroll é seguro.
! [epGWjBUK3UM7PGzW3TTnIyS4d6U3HZJbQvUsFlLU.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-ceda1d20f6-dd1a6f-69ad2a.webp "7119151")
Como ocorrem as transações no Scroll?
· Scroll é capaz de lotear blocos e gravar dados de bloco para Ethereum.
· Uma vez que uma prova de validade é gerada em um novo bloco, ela é gravada no Ethereum.
! [puMNkVFi6Mo0fvYN2CHi2b2rRLTtF0EqJCoIngKl.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-9f52f35032-dd1a6f-69ad2a.webp "7119152")
Assim, um bloco em um Scroll pode ter três estados:
· Pré-confirmação: Proposta pelo sequenciador e incluída no Scroll.
· Comprometido: Dados de transação publicados no Ethereum
· Finalização: A execução adequada foi confirmada pela prova on-chain de validade publicada no Ethereum.
O fluxo de transações é o seguinte:
(1) As transações que fluem do sequenciador são agrupadas e embaladas num bloco (1).
(2) Os dados e dados de chamada estão comprometidos com o contrato de rollup em L1, e o bloco é comprometido (D1).
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-847383ce0e-dd1a6f-69ad2a.webp "7119154")
(3) Geração de provas: A informação é passada ao coordenador (o "traço" do trabalho concluído), depois passada para o Prover, que por sua vez gera a prova ZK.
(4) A geração de provas pode ocupar vários blocos e pode ser realizada em paralelo por diferentes "provadores".
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-847383ce0e-dd1a6f-69ad2a "7119154")
(5) Geração de provas agregadas: As provas são geradas e agregadas em lotes e, em seguida, submetidas à cadeia para verificação (Verificar).
(6) O bloco está finalizado.
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-847383ce0e-dd1a6f-69ad2a "7119154")
As transações são >processadas pelo nó que executa a bifurcação Geth > a execução rastreia > circuitos zkEVM de entrada > geram provas > entrada no conjunto indicando que a prova é válida > geram provas agregadas > emitidas para contratos L1.
! [06C4j68uFveOkp0nMwVLSpTuyfAXMdopOz20qFnZ.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-727156c83e-dd1a6f-69ad2a.webp "7119155")
Porquê Scroll?
· Centrado no desenvolvedor: fornece bytecode equivalente ao EVM.
· Eficiência: Crie um espaço de bloco mais seguro para Ethereum e reduza as taxas de gás.
· Velocidade: Tempo de bloqueio otimizado (3 segundos vs 12 segundos para Ethereum).
· Alinhado com a visão Ethereum.
Desde seu lançamento, Scroll acumulou mais de US$ 1,5 milhão em TVL.
! [vCuWn8SHO3ImoVojqdZZFz2pGcwxd48sHxKgodq3.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-6d325967d4-dd1a6f-69ad2a.webp "7119157")
Mais de 1.383 usuários conectaram ETH no Scroll.
! [CNorvLElukNCBx1rRFpChYL2NCMY930sRNSRhu6F.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-27cd066d28-dd1a6f-69ad2a.webp "7119158")
Mais de 975 ETH foram transferidos para a rede principal do Scroll, totalizando US$ 1,5 milhão.
! [dAgVuhJqXcFf5kWAWhE7dpO8TwJUU01FWGaOYDqo.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-6d774418cc-dd1a6f-69ad2a.webp "7119159")
Algumas reflexões:
O ZK Rollup é visto como um design que supera seus rivais otimistas de rollup, especialmente em termos de privacidade, sem atrasos de retirada devido à falta de evidências de fraude.
Como um pacote cumulativo zk genérico compatível com bytecode, o Scroll promete os benefícios das provas zk em L2 sem comprometer os efeitos de rede e as ferramentas do EVM.
A compatibilidade total com o EVM é o santo graal do L2, e essa é a proposta de valor do Scroll: a emoção do Ethereum. A compatibilidade de bytecode do Scroll incorpora todos os benefícios das provas zk para Ethereum com compatibilidade máxima.
Também vale a pena notar que a Scroll está comprometida com a descentralização. Embora haja um classificador central na fase inicial, os planos de descentralização estão na calha. Além disso, todas as provas ZK serão eventualmente criadas por uma rede "provadora" descentralizada.