No momento, a rolagem lançou a atividade de lançamento da Binance. Ela deveria estar em andamento há um dia e ainda falta mais um dia. O valor total desta vez é bastante grande. do Launchpool: 55.000.000 SCR (o token máximo é 5,5% do fornecimento), nesta edição analisaremos os aspectos técnicos do scroll, bem como as diferenças entre os quatro ZKEVMs de nível rei, estimativas de preços da moeda, etc.
um. Visão geral da rolagem
Scroll é uma solução zkRollup equivalente a EVM para dimensionar Ethereum. Do ponto de vista técnico, o Scroll consiste principalmente em duas partes. A parte central é zkEVM, que é usada para provar a exatidão da execução do EVM na Camada 2.
dois. Arquitetura do scroll
A arquitetura atual consiste em três componentes de infraestrutura (ver Figura 1 abaixo):
1. Nó de rolagem: constrói blocos L2 a partir de transações do usuário, envia-os para a camada base Ethereum e passa mensagens entre L1 e L2.
2. Roller Network: Gere certificado de validade zkEVM para comprovar a correta execução da transação.
3. Contratos Rollup e Bridge: Fornecem disponibilidade de dados para transações Scroll, verificam a prova de validade do zkEVM e permitem que os usuários transfiram ativos entre Ethereum e Scroll.
2.1 Nó de rolagem
O nó Scroll é a principal forma de interação de aplicativos e usuários com o Scroll. Ele consiste em três módulos: Sequenciador, Coordenador e Relayer.
- O sequenciador fornece uma interface JSON-RPC e aceita transações L2. A cada poucos segundos, ele busca um lote de transações do mempool L2 e as executa para gerar um novo bloco L2 e uma nova raiz de estado. A implementação do pedido é baseada no Go-Ethereum (Geth), uma das implementações de nó Ethereum mais populares. Ao bifurcar o Geth, você pode obter compatibilidade ideal e herdar segurança testada pelo tempo.
- Quando um novo bloco for gerado, o coordenador receberá uma notificação e obterá do sequenciador o rastreamento de execução do bloco. O coordenador então despacha trajetórias de execução para Rollers selecionados aleatoriamente do pool Roller para gerar provas.
- O Relayer monitora contratos bridge e contratos Rollup implantados em Ethereum e Scroll. Ele tem duas responsabilidades principais: primeiro, monitorar o contrato Rollup e rastrear o status do bloco L2, incluindo disponibilidade de dados e comprovação de validade. Em segundo lugar, monitorar eventos de depósito e retirada em contratos-ponte implantados em Ethereum e Scroll e transmitir mensagens entre os dois.
2.2 Rede de rolos
Roller é o provador da rede e é responsável por gerar provas de validade para zkRollup. Roller requer o uso de aceleradores (como GPUs, FPGAs e ASICs) para reduzir o tempo e os custos de prova. A Figura 2 mostra o processo de geração de certificados de validade do Roller para cada bloco. Todo o processo inclui as seguintes etapas:
1. O Roller primeiro converte o rastreamento de execução recebido do coordenador em uma testemunha de circuito.
2. Gera provas para cada circuito zkEVM.
3. Finalmente, ele combina as provas de vários circuitos zkEVM em uma única prova de bloco por meio de agregação de provas.
2.3 Contratos Rollup e Bridge
Scroll está conectado à camada base Ethereum por meio de contratos inteligentes Rollup e Bridge. Juntos, esses contratos garantem a disponibilidade de dados para transações L2 e permitem aos usuários transferir ativos e mensagens entre L1 e L2.
- O contrato Rollup recebe a raiz do estado L2 e os dados do bloco do sequenciador. Ele armazena a raiz do estado no estado do Ethereum e armazena os dados do bloco L2 como calldata do Ethereum. Isso fornece disponibilidade de dados para blocos Scroll e aproveita a segurança do Ethereum para garantir que os indexadores, incluindo relés Scroll, possam reconstruir blocos L2. Uma vez que a prova do bloco verifique a validade do bloco L2 no contrato Rollup, o bloco correspondente é considerado final no Scroll.
- O contrato Bridge é implantado em Ethereum e Scroll, permitindo aos usuários passar mensagens arbitrárias entre L1 e L2. Com base neste protocolo de mensagens, a Scroll também construiu um protocolo de ponte confiável que permite aos usuários conectar bidirecionalmente ativos ERC-20 entre as duas camadas. Para enviar mensagens ou fundos do Ethereum para Scroll, os usuários precisam chamar a transação `sendMessage` no contrato Bridge. O relé indexará a transação em L1 e a enviará ao sequenciador para inclusão no bloco L2. O processo de envio de mensagens do Scroll back para Ethereum ocorre de maneira semelhante no contrato L2 Bridge.
2.4Como funciona o zkRollup do Scroll?
Combinando esses três componentes arquitetônicos, podemos resumir o fluxo de trabalho zkRollup da Scroll, conforme mostrado na Figura 3 abaixo.
A sequência de etapas para que os blocos L2 em Scroll sejam gerados, submetidos à camada base Ethereum e finalizados é a seguinte:
1. O classificador gera uma série de blocos. Para o i-ésimo bloco, o sequenciador gera um rastreamento de execução T e o envia ao coordenador. Ao mesmo tempo, ele também envia os dados da transação D como dados de chamada para o contrato Rollup no Ethereum para garantir a disponibilidade dos dados, e envia a raiz do estado resultante e o compromisso com os dados da transação para o contrato Rollup como estado.
2. O coordenador seleciona aleatoriamente o Roller para gerar um certificado de validade para cada trajetória de bloco. Para acelerar o processo de geração de provas, provas para diferentes blocos podem ser geradas em paralelo em diferentes rolos.
3. Após gerar a prova de bloco P para o i-ésimo bloco, o Roller a envia de volta ao coordenador. A cada k blocos, o coordenador atribui a tarefa de resumo a outro Roller e resume os certificados de k blocos em um certificado de resumo A.
4. Finalmente, o coordenador envia o certificado resumido A ao contrato Rollup e finaliza os blocos L2 de i+1 a i+k verificando o certificado resumido e a raiz do estado e o compromisso de dados de transação previamente submetidos ao contrato Rollup.
A Figura 3 mostra o processo de várias etapas pelo qual os blocos de rolagem são finalizados em L1. Cada bloco L2 progredirá através das três fases a seguir até ser finalizado:
- Pré-comprometido significa que o bloco foi proposto pelo sequenciador e enviado aos Rollers. Embora os blocos de pré-confirmação ainda não façam parte oficialmente da cadeia Scroll L2, pois ainda não foram publicados na camada base Ethereum, os usuários que confiam no sequenciador podem optar por agir com base nesses blocos.
- Comprometido significa que os dados da transação do bloco foram publicados no contrato Rollup no Ethereum. Isso garante que os dados do bloco estejam disponíveis, mas ainda não foi comprovado que ele foi executado de forma eficiente.
- Finalizado significa que a execução da transação neste bloco foi comprovada como correta através da verificação da prova de validade na cadeia Ethereum. O bloco finalizado é considerado parte oficial da cadeia Scroll L2.
três. Comparação de Scroll e outros ZKEVMs
3.1 Contexto básico
Em 2022, v God publicou uma vez um artigo explicando 4 tipos diferentes de ZKEVM (anteriormente introduzidos ao falar sobre o projeto kakarot), que são:
Classe Type1 zkEVM: completamente equivalente ao Ethereum
Classe Type2 zkEVM: totalmente compatível com EVM Ethereum Virtual Machine
Classe Type3 zkEVM: quase compatível com EVM Ethereum Virtual Machine
Classe Type4 zkEVM: compatível com linguagens de alto nível
No gráfico, você pode ver que o Tipo 4 tem bom desempenho, mas sua compatibilidade com o evm é baixa. O Tipo 1 tem a maior compatibilidade, mas leva muito tempo para gerar a prova. Este parece ser outro "triângulo impossível". , ou seja, desempenho e compatibilidade não podem ser obtidos nos dois sentidos.
3.2 Quatro classificações propostas por Immutable
ZKsync: Atualmente um zkEVM tipo 4, totalmente compatível com a linguagem de programação Solidity. Com zkSync, os usuários podem escolher entre dois tipos de disponibilidade de dados: zkSync Rollup e zkSync Porter. O primeiro publica dados diretamente no Ethereum, tornando-o tão seguro quanto o Ethereum L1, enquanto o último armazena dados fora da cadeia, resultando em transações mais rápidas e de menor custo, mas com menor nível de segurança.
zkSync é compatível com EVM porque pode converter código de contrato inteligente escrito em Solidity em Yul, converter Yul em LLVM-IR (representação intermediária, representando uma representação intermediária de código de máquina) e, em seguida, recompilá-lo em um conjunto de bytecode compatível com circuito personalizado especialmente projetado para EVM do zkSync. Embora isso exija uma etapa intermediária, também permite que outras funcionalidades não EVM sejam adicionadas, como Abstração de conta. Além disso, a empresa zkSync, Matter Labs, planeja torná-lo gradualmente mais compatível com o kit de ferramentas Ethereum e está se preparando para lançar seu primeiro protótipo de três camadas, zkSync Opportunity, na área de escalabilidade e interoperabilidade, como parte de suas ambições para Teste o lançamento online.
StarkNET: StarkNet é um zk-rollup compatível com Tipo 4/Solidity que usa um tipo diferente de prova de conhecimento zero chamado STARKs (Scalable Transparent ARgument of Knowledge) para garantir a integridade das transações fora da cadeia. Os STARKs são considerados mais eficientes e escaláveis que os SNARKs, mas podem exigir uma configuração técnica mais complexa.
Embora StarkNet também suporte contratos inteligentes, seus recursos são relativamente pequenos devido ao uso de STARKs e ao fato de que os contratos StarkNet e o sistema operacional StarkNet são escritos na linguagem Cairo. Para facilitar o desenvolvimento, o StarkWare atualizou recentemente para Cairo 1.0, que emula Rust. Assim como a Era zkSync, o StarkNet pode ser classificado como “Compatível com Solidez” porque não executa programas dentro do EVM, mas em vez disso cria uma VM completamente nova e desenvolvida especificamente e usa bytecode personalizado. StarkWare usa o tradutor Warp para converter o código Solidity em bytecode Cairo VM.
No entanto, ao contrário da era zkSync e outras implementações zkEVM, a equipe StarkNet não pretende ser compatível com o EVM ou outros componentes Ethereum, mas sim tornar a VM da StarkNet o mais eficiente possível, lançando sua API de cliente personalizada, biblioteca JavaScript, e sistema de carteira, que forçará as ferramentas compatíveis com Ethereum a adicionar manualmente suporte StarkNet. Embora o Cairo 1.0 também tenha introduzido o Sierra - Secure Intermediate Representation - como uma nova camada de representação intermediária entre o Cairo 1.0 e o bytecode Cairo, o tradutor Warp não oferece suporte a alguns recursos do Solidity e está longe de corresponder à compatibilidade EVM do zkSync Era.
Polygon ZKEVM: Ele usa uma linguagem personalizada zkASM para interpretar o código zkEVM e verificar a execução do contrato inteligente em um ambiente de tempo de execução não EVM. Além do Polygon zkEVM, a Polygon também desenvolveu o Polygon Avail, um blockchain otimizado apenas para disponibilidade de dados. A rede não terá permissão, permitindo que qualquer pessoa participe como validador e, ao contrário dos DAC (Comitês de Disponibilidade de Dados) existentes, terá centenas de nós colaborando para fornecer segurança de rede. Avail funcionará em conjunto com Polygon Hermez (Rollup), carregando dados de estado de Hermez em vez de publicá-los no Ethereum, fornecendo uma solução entre Validium e Rollup.
Scroll: Scroll é um zk-rollup equivalente a EVM desenvolvido pela equipe Scroll em colaboração com o grupo PSE (Privacy and Scaling Explorations) da Fundação Ethereum, com o objetivo de ser totalmente compatível com a Máquina Virtual Ethereum (EVM) no nível de bytecode. Isso significa que os desenvolvedores podem criar contratos inteligentes usando qualquer linguagem compatível com EVM e implantá-los no Scroll. Embora Scroll atualmente não suporte opcodes EVM, o plano é construir um mapeamento de opcode 1:1 e aceitar opcodes EVM diretamente, sem um compilador.
Quatro. Previsão do preço da moeda
O número total de tokens é de 1.000.000.000 e a circulação inicial é de 190.000.000. Os tokens são alocados para 35% do ecossistema (25% do crescimento ecológico, 10% do tesouro DAO), 10% da fundação, 23% dos contribuintes, 17% dos investidores e 15% dos lançamentos aéreos.
Atualmente, em termos de TVL, Scroll é liderado por Yaoyao, seguido por ZKsync. O FDV atual do zksync é de 2,5 bilhões e acaba de entrar em linha. O FDV atual do straknet é de 3,8 bilhões. acaba de ficar online 20 bilhões. Com base em cálculos anteriores de receita do pool de lançamento (1% -2%), o preço de lançamento esperado está entre 2,2 e 4,4 dólares americanos, e o valor de mercado correspondente está entre 2 bilhões e 4 bilhões. do projeto está online. Definitivamente há um prêmio, então a estimativa atual deve ser superior a US$ 5.
