Resumo curto; não se estende

• A principal característica do OP Succinct é sua capacidade de incorporar provas de conhecimento zero (ZKP) no design modular do OP Stack, transformando o OP Stack Rollup em um ZK Rollup totalmente verificado.
• Se o objetivo futuro da expansão do Ethereum for converter todos os Rollups em ZK Rollups, a missão da OP Succinct é mesclar Rust e SP1 para implantar o Type-1 zkEVM da OP Stack, que é totalmente compatível com o Ethereum.
• O OP Succinct Proposer é responsável por gerar provas em paralelo, agregando e verificando-as.
• O sistema atual de pilha OP utiliza uma "janela de prevenção de fraudes de 7 dias," que atrasa a verificação da transação por uma semana se ocorrerem disputas. O OP Succinct utiliza provas de conhecimento zero (ZK) para reduzir o tempo necessário para finalizar transações, eliminando a necessidade de um período prolongado de prevenção de fraudes.
• OP Succinct tem o potencial de reduzir significativamente os custos de transação.

1. Visão Geral Recente: Situação Atual da OP Mainnet e os Papéis da OP Stack e das OP Labs

Origem: Blockscout

1.1 Desenvolvimentos Recentes da OP Mainnet

Em 30 de março de 2024, os Laboratórios OP anunciaram o lançamento do “fault proof” na rede de testes OP Sepoila, com lançamento oficial na rede principal da OP em 11 de junho de 2024. Isso marca um passo significativo em direção à descentralização, permitindo que os usuários retirem ETH e tokens ERC-20 da rede principal da OP sem depender de terceiros confiáveis. Os usuários agora podem desafiar e invalidar retiradas incorretas (incluindo aquelas de Base, Metal, Mode e Zora).

Para aprimorar a segurança e confiança dos ativos do usuário, o Optimism utiliza prova de falhas para melhorar a precisão e eficácia das transações na cadeia e prevenir atividades maliciosas. Os princípios-chave são:

• Disponibilidade de Dados: A prova de falhas garante que todos os dados na Camada 2 sejam acessíveis e possam ser verificados pela Camada 1.
• Período de Desafio: Durante um período de desafio designado, qualquer pessoa pode contestar os dados na Camada 2. Se forem encontradas discrepâncias entre os dados da Camada 2 e da Camada 1, um desafio pode ser levantado.

Se surgir uma disputa, o operador da Camada 2 deve fornecer prova para contrapor o desafio e confirmar a precisão de seus dados.

Finalidade: Se nenhum litígio válido for levantado durante o período de contestação, ou se o operador da Camada 2 resolver com sucesso os desafios, a transação é finalizada e considerada válida.

1.2 A Relação e Diferenças entre OP Stack e OP Labs

A equipe da OP Labs é responsável pelo desenvolvimento de soluções para a Optimism, enquanto a OP Stack é o framework técnico que suporta a construção e escalabilidade da rede de camada 2 do Ethereum. Você pode pensar na OP Labs como os desenvolvedores e na OP Stack como seu conjunto de ferramentas.

● Laboratórios OP:

OP Labs é um contribuinte essencial para o projeto Optimism, responsável pelo desenvolvimento e manutenção da solução de Camada 2 do Optimism. É uma equipe ou organização focada na construção e melhoria de ferramentas técnicas relacionadas à escalabilidade do Ethereum, como Rollups Otimistas. O objetivo principal da OP Labs é aliviar a carga na mainnet do Ethereum por meio de soluções de escalabilidade da Camada 2, reduzindo os custos de transação e aumentando a velocidade das transações.

OP Labs também colabora com outros projetos, como Succinct Labs, para avançar ainda mais a tecnologia de escalonamento do Ethereum, com foco na otimização de provas de conhecimento zero com iniciativas como OP Succinct.

OP Labs é a equipe principal ou organização responsável pelo desenvolvimento e manutenção da rede Optimism. Seu objetivo é criar uma solução eficiente para escalonar o Ethereum, concentrando-se na redução das taxas de transação e no aumento da velocidade das transações. Eles não são apenas responsáveis pelo desenvolvimento de Rollups Otimistas, mas também estão promovendo ativamente novas tecnologias relacionadas a provas de conhecimento zero, como OP Succinct em colaboração com a Succinct Labs.

● Pilha OP:

OP Stack é uma arquitetura modular ou pilha de tecnologia usada para construir e escalar redes Ethereum Layer 2. Consiste em vários componentes personalizáveis que permitem aos desenvolvedores criar suas próprias cadeias Layer 2 com base em necessidades específicas. Fornece uma abordagem padronizada que permite aos desenvolvedores estabelecer rapidamente redes de escalonamento Layer 2 que atendam a requisitos específicos.

OP Stack é uma estrutura modular desenvolvida pela OP Labs. Esta estrutura fornece a infraestrutura para a construção de redes de Camada 2, permitindo aos desenvolvedores criar rapidamente várias redes de dimensionamento usando o OP Stack. Devido ao seu design modular, o OP Stack permite aos usuários escolher flexivelmente diferentes mecanismos de validação (como Rollups Otimistas ou Rollups ZK) para atender às necessidades específicas de diferentes projetos.

OP Labs pode ser entendido como o desenvolvedor do OP Stack, que é um conjunto de ferramentas técnicas fornecidas pela OP Labs para auxiliar os desenvolvedores na construção e escalonamento das redes Layer 2 do Ethereum.

Antes de mergulhar no OP Succinct, é importante entender os quatro componentes principais do OP Stack:

1. op-geth: Este componente recupera transações dos usuários, gera blocos a partir dessas transações e as executa.
2. op-batcher: Ele agrupa transações de usuários e as envia para a Camada 1 (L1).
3. op-node: Isso lê dados em lote da Camada 1 e aciona op-geth para transições de estado em modo não-sequenciador.
4. op-proposer: Publica regularmente as raízes de saída para a Camada 1 para capturar os estados da Camada 2 (L2), facilitando o processo de retirada.

2. Colaboração entre Succinct Labs e OP Labs para integrar elementos ZK na pilha OP

Origem: Blog Conciso

2.1Estrutura do OP Conciso

Voltando ao final da seção 1.2, que discute 'os quatro principais componentes do OP Stack', o OP Succinct é um aprimoramento leve para o OP Stack. Ele permite que a cadeia utilize apenas blocos que tenham sido verificados usando provas de conhecimento zero (ZK), enquanto os outros três componentes (op-geth, op-batcher e op-node) permanecem inalterados. O OP Succinct é composto principalmente pelos seguintes quatro elementos:

• Programa de Intervalo: Este programa, escrito em Rust, é projetado para executar blocos em lote dentro do zkVM.
• Programa de Agregação: Também escrito em Rust, este programa agrega as provas geradas pelo Programa de Intervalo para reduzir os custos da verificação on-chain e é destinado a ser executado no zkVM.
• OP Oracle de Saída L2 Sucinta: Este é um contrato inteligente Solidity que contém uma matriz de saídas de estado L2, sendo que cada saída representa uma submissão do estado da cadeia L2. Embora este contrato já exista no sistema original do Optimism, ele foi modificado para usar provas de verificação como método de autenticação.
• OP Proponente Conciso: Este componente monitora os lotes de transações publicados no L1 e gerencia as provas tanto para o Programa de Intervalo quanto para o Programa de Agregação.

2.2 Que narrativa o OP Succinct apresenta para a escalabilidade do Ethereum?

Criar um zkEVM Rollup é um desafio significativo devido ao extenso conhecimento criptográfico necessário. A equipe da OP Labs levou isso em consideração ao construir a pilha modular OP, garantindo que ela suporte vários mecanismos de validade. Eles desenvolveram um projeto de código aberto chamado Kona (consulte o link estendido 1), que implementa a Função de Transição de Estado (STF) para OP Stack Rollup usando Rust. Essa inovação permite a geração de provas de conhecimento zero (ZKP) para OP Stack por meio de Kona e do programa SP1, teoricamente permitindo que todas as cadeias em OP Stack sejam atualizadas para usar ZKP.

O SP1 (Succinct Processor 1) tem como objetivo permitir que qualquer desenvolvedor integre facilmente o Type-1 zkEVM Rollup usando código Rust padrão. Com o OP Succinct, a atualização de qualquer cadeia OP Stack existente para um Type-1 zkEVM Rollup pode ser feita em apenas uma hora, fornecendo o alto desempenho necessário para aplicações. Essa abordagem oferece várias vantagens:

• Confirmação Rápida de ZKP: Os atrasos de prova podem ser reduzidos a apenas alguns minutos, substituindo o longo período de desafio de prova de fraude de 7 dias.
• Eficiência de custos: O custo médio da transação pode ser reduzido para apenas alguns centavos.
• Transição da Pilha OP para ZK: Ao implantar um único contrato inteligente e iniciar um serviço leve de proponente conciso OP (conforme detalhado abaixo), as provas podem ser geradas por meio de chamadas de API (incluindo componentes como agrupadores/classificadores, nó OP, indexadores, etc.).
• Compatibilidade zkEVM do Tipo-1: Todas as ferramentas e contratos inteligentes compatíveis com o OP Stack Rollup também funcionarão com o OP Succinct Rollup.
• Escalabilidade aprimorada: O rollup OP sucinto personalizável permite a adição de novas precompilações e a modificação da lógica de Rollup.

De acordo com a documentação oficial do GitHub, atualizar qualquer OP Stack Rollup existente para um Type-1 zkEVM Rollup é simples: instale Rust, Foundry e Docker e siga estas duas etapas: 1. Implante o contrato ZK L2OutputOracle.sol; 2. Inicie o serviço de proposição OP Succinct (mais detalhes podem ser encontrados no link estendido 2 do GitHub).

Atualizando o OP Stack Rollup para Provas ZK; Fonte da imagem: Blog Conciso

2.3 Tipo de Construção-1 zkEVM com SP1 Reth

Succinct prevê que o futuro dos EVM Rollups envolverá zkEVMs mantidos usando Rust. Atualmente, OP Rollup enfrenta três desafios significativos: a janela de prova de fraude estendida de 7 dias, problemas complexos de interoperabilidade e dependência de várias fontes de dados em vez de provas de fraude em casos específicos. Além disso, a criação de um zkEVM é um processo demorado, o que levou ao desenvolvimento do SP1 para lidar com esses problemas.

SP1 é um zkVM de código aberto totalmente de alto desempenho que pode verificar a execução de qualquer programa escrito em Rust (ou outras linguagens compiladas em LLVM). Dados públicos indicam que o OP Succinct Stack foi executado com sucesso na OP Mainnet, OP Sepolia e Base chains, alcançando custos de prova entre US$ 0,01 e US$ 0,02 para transações Ethereum (consulte o link estendido 3). Há aspirações para desenvolver toda a infraestrutura blockchain (incluindo Rollups, bridges e co-processors) usando Rust (ou outras linguagens compiladas em LLVM) e alavancar ZKP no futuro.

De acordo com resumos do blog Succinct e conteúdo de código aberto do GitHub, as diferenças de desempenho entre SP1 e outros zkVMs podem ser atribuídas a vários fatores-chave:

1. Arquitetura centrada na pré-compilação: O SP1 apresenta um sistema de pré-compilação flexível que acelera significativamente várias operações (como verificação de assinatura secp256k1 e ed25519, bem como funções de hash sha256 e keccak256), reduzindo o número de ciclos para muitos programas em 5-10 vezes. O design tem como objetivo oferecer desempenho equivalente aos circuitos ZK, preservando a flexibilidade do zkVM e garantindo uma experiência positiva para o desenvolvedor.
2. Completamente Open Source: SP1 é totalmente open-source, permitindo que equipes como Argument e Scroll implementem pré-compilações personalizadas, o que pode reduzir significativamente os contadores de ciclos e acelerar os tempos de geração de prova.
3. Padrão da Indústria: Desde a sua introdução, o conceito de pré-compilações internas dentro de zkVMs tornou-se um padrão da indústria, sendo adotado em projetos como RISC0, Valida, Nexus e Jolt. O SP1 se destaca como o único zkVM pronto para produção que suporta amplamente operações criptográficas essenciais por meio de pré-compilações.
4. Operações de Memória Eficientes: O SP1 utiliza uma técnica inovadora de prova de memória que emprega um único desafio para garantir memória consistente em várias provas, eliminando a sobrecarga associada à memória Merkleizada.
5. Otimizações Básicas de Eficiência: Incorpora um fator de crescimento inferior e parâmetros de pesquisa de próxima geração (por exemplo, LogUp baseado em derivadas logarítmicas), juntamente com uma variante FRI em Plonky3, aprimorando a eficiência das áreas de rastreamento.

Fonte da imagem: blog conciso, ver link estendido 4 descrição do apêndice

3. O OP Succinct pode se tornar a vantagem chave da pilha OP contra a pilha ZK?

Autor da imagem da fonte: @jtguibas

Se considerarmos as soluções de dimensionamento do Ethereum como inclinadas para OP no curto prazo e ZK no longo prazo, então, assumindo que o OP Succinct seja bem-sucedido, marcará uma etapa significativa no desenvolvimento do Ethereum. O OP Succinct fornece um caminho para que os ETH Rollups façam a transição da verificação otimista para provas de conhecimento zero. Essa transição não apenas reduz os custos das transações, mas também melhora a velocidade das transações, mantendo as características de segurança e anonimato dos ZK rollups, abrindo caminho para um possível aumento nas aplicações no futuro.

Atualmente, entre os quatro principais players no cenário reconhecido da Camada 2, a OP Stack parece ter uma ligeira vantagem sobre a ZK Stack em termos de desenvolvimento do ecossistema. O Efeito Mateus (onde os ricos ficam mais ricos) pode se tornar mais pronunciado ao longo do tempo; com a adesão da OP Succinct, poderia atrair algum tráfego e potencial longe da ZK Stack. Se a OP Succinct for implementada com sucesso, também poderia perturbar os Rollups tradicionais zkEVM em certa medida.

No entanto, com base nas informações disponíveis neste estágio, fica claro a partir da lógica operacional do OP Succinct que garantir que os desenvolvedores possam detectar rapidamente vulnerabilidades desconhecidas que possam surgir de alterações na função STF ou da adição de novas funções de pré-compilação é crucial. Este é um problema que exigirá atenção contínua.

Aviso Legal:

1. Este artigo é reproduzido de[blockbeat],Encaminhe o Título Original OP O caminho do avanço da Stack: OP Succinct desbloqueia o potencial do ZK Rollup, Todos os direitos autorais pertencem ao autor original [Ac-Core，Pesquisador da YBB Capital]. Se houver objeções a esta reimpressão, entre em contato com oGate Learnequipe e eles lidarão com isso prontamente.

2. Aviso de responsabilidade: As opiniões expressas neste artigo são exclusivamente do autor e não constituem nenhum conselho de investimento.

3. As traduções do artigo para outros idiomas são feitas pela equipe Gate Learn. A menos que mencionadoGate.io, copiar, distribuir ou plagiar os artigos traduzidos é proibido.