A principal função do OP Succinct é integrar ZKP na arquitetura modular do OP Stack, convertendo os OP Stack Rollups em ZK Rollups totalmente verificados.
Se a solução de escalabilidade futura da Ethereum for converter todos os Rollups em ZK Rollups, então o OP Succinct visa implantar o zkEVM Tipo-1 (totalmente equivalente ao Ethereum) usando Rust e SP1 na pilha OP.
OP Succinct Proposer implementa geração de prova paralela, agregação e verificação de prova.
O sistema de pilha OP existente depende de uma 'janela antifraude de 7 dias', o que pode resultar em latência de transação em caso de disputa. O OP Succinct encurta o tempo de conclusão da transação usando provas de conhecimento zero (ZK), eliminando a necessidade de estender a janela antifraude.
OP Succinct pode significativamente reduzir o custo de transação.
1. Revisão recente: Atualizações da Rede principal OP e a relação entre OP Stack e OP Labs
Fonte da imagem: Blockscout
1.1 OP Principais desenvolvimentos da Rede principal
Em 30 de março de 2024, a OP Labs anunciou o lançamento da 'Prova de Falha' na rede de testes OP Sepolia, que foi oficialmente lançada na Rede principal da OP em 11 de junho de 2024. Este marco marca o primeiro passo para a Descentralização, permitindo aos utilizadores retirar ETH e Tokens ERC-20 da Rede principal da OP sem a necessidade de uma terceira parte confiável. Este mecanismo permite aos utilizadores desafiar e anular levantamentos inválidos (incluindo Base, Metal, Mode e Zora).
Para garantir a segurança e a confiança dos ativos dos usuários, o Optimism utiliza a prova de falha para verificar a precisão e a validade das transações na cadeia, e para evitar comportamentos maliciosos. Os princípios-chave incluem:
Disponibilidade de dados: A prova de falhas garante que todos os dados na camada 2 sejam acessíveis e verificados pela camada 1.
Período de desafio: Durante um período de desafio específico, qualquer pessoa pode contestar os dados da camada 2.
Se for descoberta uma inconsistência entre os dados da camada 2 e da camada 1, a parte em disputa pode contestar. O operador da camada 2 deve apresentar evidências para refutar o desafio e verificar a precisão dos dados.
Finalidade: Se não houver desafios válidos durante o período de desafio ou se o operador da camada 2 conseguir refutar com sucesso o desafio, a transação será finalmente determinada e considerada válida.
1.2 Relação e diferença entre OP Stack e OP Labs
OP Labs é a equipe ou organização que desenvolve a solução Optimism, e o OP Stack é um framework tecnológico para construir e expandir a rede de camada 2 do Ethereum. A relação entre a OP Labs e o OP Stack pode ser entendida como a relação entre desenvolvedores e ferramentas de desenvolvimento.
OP Labs: OP Labs is a core contributor to the Optimism project, responsible for developing and maintaining the Optimism Camada 2 solution. It is a team or organization dedicated to creating and improving technical tools related to ETH blockchain extensions (such as Optimistic Rollups). The main goal of OP Labs is to reduce the load on the Ethereum mainnet and improve transaction speed. OP Labs also collaborates with other projects, such as Succinct Labs, to advance ETH blockchain extension technologies, such as OP Succinct, which focuses on optimizing zk-SNARKs.
OP Labs é a principal equipe ou organização responsável pelo desenvolvimento e manutenção da rede Optimism. Eles têm como objetivo criar soluções de escalonamento eficientes para Ethereum, com foco em GotaLavagem de dinheiro e aumento da velocidade de transação. Eles não só estão desenvolvendo Rollups otimistas, mas também estão impulsionando novas tecnologias relacionadas a zk-SNARKs, como o OP Succinct desenvolvido em colaboração com a Succinct Labs.
OP Stack：OP Stack é uma arquitetura modular ou pilha tecnológica usada para construir e expandir a rede de camada dois da Ethereum. É composto por vários componentes personalizáveis, permitindo que os desenvolvedores construam sua própria cadeia de camada dois de acordo com requisitos específicos. Ele fornece aos desenvolvedores um método padronizado para configurar rapidamente redes de extensão de camada dois que atendam a condições específicas.
O OP Stack desenvolvido pelo laboratório OP fornece um framework modular para construir a infraestrutura de rede de segunda camada. Os desenvolvedores podem usar o OP Stack para criar rapidamente diferentes redes de extensão. O design modular permite aos usuários escolher flexivelmente diferentes mecanismos de validação (como Rollups Otimistas ou Rollups ZK) para atender às necessidades de vários projetos.
Essencialmente, a OP Labs pode ser vista como os desenvolvedores da Stack OP, enquanto a Stack OP é uma ferramenta técnica fornecida pela OP Labs para ajudar os desenvolvedores a construir e expandir a rede camada 2 da Éter 2.
Antes de mergulharmos profundamente no OP Succinct, é necessário apresentar os quatro principais componentes de cada pilha OP:
1, op-geth: Coletar transações dos usuários e gerar e executar Blocos com base nessas transações.
op-batcher: processa transações de usuários em lote e as submete à camada 1.
3、op-node: Ler dados em lote da camada 1 e acionar o op-geth para realizar a transformação de estado no modo non-sorter.
4, op-proposer: Regularly outputs root to layer 1, captures layer 2 status and facilitates withdrawals.
2. Succinct Labs 与 OP Labs 合作将 ZK元素引入 OP Stack
Fonte da imagem: Succinct Blog
2.1 Componentes da arquitetura OP Succinct
OP Succinct é construído com base no componente OP Stack descrito na seção 1.2. É uma atualização leve do OP Stack que permite o uso de Blocos verificados por ZK, enquanto mantém os outros componentes (op-geth, op-batcher e op-node) inalterados. OP Succinct é composto pelos seguintes quatro componentes principais:
Range Programa: um programa escrito em Rust que lida com blocos de processamento em lote e é projetado para ser executado dentro do zkVM.
Programa de Agregação: Agrega provas do programa Range para validação de custos na cadeia Gotana, também escrito em Rust e projetado para ser executado no zkVM.
OP Succinct L2 output Máquina Oracle: um contrato inteligente Solidity, contendo uma matriz de saída L2, onde cada saída é submetida ao estado da cadeia L2. Este contrato existe no sistema original Optimism, mas foi modificado para usar verificação de prova como mecanismo de autenticação.
OP Propositor Sucinto: Observar lotes de transações publicados em L1 e gerenciar a geração de provas para Range e agregação de programas.
2.2 OP Succinct 如何融入以太坊扩展叙事？
Devido à necessidade de um grande conhecimento especializado em criptografia, a construção de zkEVM Rollups tem sido desafiadora. Quando a OP Labs desenvolveu a pilha modular OP Stack, eles esperavam suportar vários mecanismos de prova. Para isso, eles abriram o desenvolvimento do Kona, implementando o STF do OP Stack Rollups em Rust, e finalmente gerando Provas de Conhecimento Zero (ZKP) para o OP Stack por meio dos programas Kona e SP1. Isso significa que, teoricamente, qualquer cadeia OP Stack pode ser atualizada para usar ZKP.
O objetivo do SP1 (Succinct Processor 1) é permitir que os desenvolvedores integrem facilmente o rollup Type-1 zkEVM com código Rust padrão. Com a ajuda do OP Succinct, o processo de atualização de qualquer cadeia existente da pilha OP para o rollup Type-1 zkEVM pode ser concluído em uma hora, com as seguintes vantagens:
Confirmação rápida de ZKP: reduz a latência de prova para alguns minutos, em vez da janela de disputa de fraude de 7 dias.
Eficiência de custo: Custo médio de transação Gota caiu para apenas alguns centavos.
Alterar a pilha OP para ZK: iniciando o serviço de proposta OP Simplificado de Contratos Inteligentes leve através da implantação de Contrato inteligente, que pode gerar provas por chamada de API (incluindo lote/serializador, nó-op, indexador, etc.).
Type-1 zkEVM：todos os instrumentos compatíveis com OP Stack Rollups e contratos inteligentes são compatíveis com OP Succinct Rollups.
Melhora a escalabilidade: O OP Succinct Rollup personalizável pode adicionar novas pré-compilações e modificar a lógica do Rollup conforme necessário.
De acordo com a documentação oficial do GitHub, este processo requer apenas a instalação do Rust, Foundry e Docker para atualizar qualquer pilha de OP Stack existente para um rollup zkEVM do Tipo 1. O processo simplificado envolve dois passos:
Implementar o contrato ZK L2OutputOracle.sol.
Inicie o serviço de propostas OP Succinct (consulte o link de extensão 2 do GitHub para obter instruções detalhadas).
Fonte da imagem: Blog Conciso - Atualizando o OP Stack Rollup para ZK Proofs
2.3 Construindo o zkEVM Type-1 usando SP1 Reth
Succinct acredita que o futuro dos Rollups EVM está no uso do zkEVM escrito em linguagem Rust, o que aumentará a manutenibilidade. Atualmente, o Rollups OP enfrenta três grandes desafios: uma janela anti-fraude de 7 dias, interoperabilidade complexa e, em alguns casos, dependência de múltiplos mecanismos de dados em vez de prova de fraude. O desenvolvimento do zkEVM é um trabalho de longo prazo, portanto, o SP1 foi criado para enfrentar esses desafios.
SP1 é um zkVM de alto desempenho e totalmente personalizável, 100% Código aberto, que pode verificar a execução de qualquer programa em Rust (ou compilado em LLVM). De acordo com dados públicos, o OP Succinct Stack foi executado com sucesso na OP Mainnet, OP Sepolia e na cadeia Base, com custo de prova de transação variando de $0.01 a $0.02 (consulte o link de extensão 3). No futuro, toda a infraestrutura Blockchain, incluindo rollups, bridges e co-processadores, poderá ser escrita em Rust (ou outra linguagem compilada em LLVM) e aproveitar a ZKP.
De acordo com o resumo do blog Succinct e do conteúdo do GitHub Código aberto, a vantagem de desempenho do SP1 em relação a outros zkVMs deriva de vários fatores-chave:
Arquitetura centrada na pré-compilação: O SP1 suporta um sistema de pré-compilação flexível, acelerando significativamente a verificação de assinaturas secp256k1 e ed25519, operações de hash sha256 e keccak256, e reduzindo o número de ciclos RISC-V de muitos programas em 5-10 vezes. Destina-se a fornecer desempenho equivalente aos circuitos ZK, mantendo ao mesmo tempo a flexibilidade do zkVM e uma excelente experiência de desenvolvimento.
Totalmente código aberto: SP1 é 100% código aberto, permitindo que equipes como Argument e Scroll implementem pré-compilações personalizadas, reduzindo a contagem de loops e acelerando o tempo de geração de prova.
Padrão da indústria: desde o seu lançamento, a ideia de pré-compilação interna do zkVM tornou-se um padrão da indústria, influenciando projetos como RISC0, Valida, Nexus e Jolt. O SP1 é o único disponível para produção zkVM, suportando uma ampla gama de operações de encriptação chave.
Eficiente leitura e escrita de memória: O SP1 adota um método inovador de prova de memória, que permite alcançar consistência em várias provas de memória com apenas um desafio, evitando o custo da memória Merkleized.
Otimização básica de eficiência: Com o uso de um fator de ampliação mais baixo e de parâmetros de pesquisa de próxima geração (como derivativos baseados em logaritmos, como o LogUp), bem como uma variante FRI em Plonky3, SP1 melhora a eficiência de utilização da área de rastreamento.
Fonte da imagem: blog Succinct
3、OP Succinct能否成为OP Stack对抗ZK Stack的王牌？
Fonte da imagem: @jtguibas
Se o plano de escalabilidade de Ethereum é de curto prazo OP e a longo prazo ZK, então o potencial sucesso do OP Succinct pode marcar um marco importante no caminho de desenvolvimento do Ethereum. O OP Succinct fornece um caminho atualizável para a transição do ETH Rollups de verificação otimista para Prova de conhecimento zero (ZKP). Esta mudança não só Gota o Custo de transação, mas também aumenta a velocidade das transações, ao mesmo tempo em que mantém a segurança e a privacidade do ZK Rollups, abrindo novas possibilidades para a futura Camada de aplicação.
Entre as quatro principais soluções de Camada 2 reconhecidas, atualmente parece que o OP Stack tem uma ligeira vantagem na construção do ecossistema em relação ao ZK Stack. No futuro, o efeito Mateus pode se tornar mais evidente, e a adição do OP Succinct pode desviar parte do tráfego e potencial do ZK Stack. Se o OP Succinct for bem-sucedido, poderá até desafiar os Rollups tradicionais baseados em zkEVM.
No entanto, a partir da lógica operacional atualmente proposta, surge uma questão-chave: como os desenvolvedores podem garantir a detecção oportuna do risco de escopo do sistema causado por alterações na função de transição de estado (STF) ou pela adição de novas vulnerabilidades desconhecidas em tempo de compilação? Este é um área que vale a pena seguir a longo prazo.
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.
A evolução do OP Stack: OP Succinct libera o potencial de ZK Rollup
Autor: YBB Capital Researcher Ac-Core
TLDR
1. Revisão recente: Atualizações da Rede principal OP e a relação entre OP Stack e OP Labs
Fonte da imagem: Blockscout
1.1 OP Principais desenvolvimentos da Rede principal
Em 30 de março de 2024, a OP Labs anunciou o lançamento da 'Prova de Falha' na rede de testes OP Sepolia, que foi oficialmente lançada na Rede principal da OP em 11 de junho de 2024. Este marco marca o primeiro passo para a Descentralização, permitindo aos utilizadores retirar ETH e Tokens ERC-20 da Rede principal da OP sem a necessidade de uma terceira parte confiável. Este mecanismo permite aos utilizadores desafiar e anular levantamentos inválidos (incluindo Base, Metal, Mode e Zora).
Para garantir a segurança e a confiança dos ativos dos usuários, o Optimism utiliza a prova de falha para verificar a precisão e a validade das transações na cadeia, e para evitar comportamentos maliciosos. Os princípios-chave incluem:
Se for descoberta uma inconsistência entre os dados da camada 2 e da camada 1, a parte em disputa pode contestar. O operador da camada 2 deve apresentar evidências para refutar o desafio e verificar a precisão dos dados.
1.2 Relação e diferença entre OP Stack e OP Labs
OP Labs é a equipe ou organização que desenvolve a solução Optimism, e o OP Stack é um framework tecnológico para construir e expandir a rede de camada 2 do Ethereum. A relação entre a OP Labs e o OP Stack pode ser entendida como a relação entre desenvolvedores e ferramentas de desenvolvimento.
OP Labs é a principal equipe ou organização responsável pelo desenvolvimento e manutenção da rede Optimism. Eles têm como objetivo criar soluções de escalonamento eficientes para Ethereum, com foco em GotaLavagem de dinheiro e aumento da velocidade de transação. Eles não só estão desenvolvendo Rollups otimistas, mas também estão impulsionando novas tecnologias relacionadas a zk-SNARKs, como o OP Succinct desenvolvido em colaboração com a Succinct Labs.
O OP Stack desenvolvido pelo laboratório OP fornece um framework modular para construir a infraestrutura de rede de segunda camada. Os desenvolvedores podem usar o OP Stack para criar rapidamente diferentes redes de extensão. O design modular permite aos usuários escolher flexivelmente diferentes mecanismos de validação (como Rollups Otimistas ou Rollups ZK) para atender às necessidades de vários projetos.
Essencialmente, a OP Labs pode ser vista como os desenvolvedores da Stack OP, enquanto a Stack OP é uma ferramenta técnica fornecida pela OP Labs para ajudar os desenvolvedores a construir e expandir a rede camada 2 da Éter 2.
Antes de mergulharmos profundamente no OP Succinct, é necessário apresentar os quatro principais componentes de cada pilha OP:
1, op-geth: Coletar transações dos usuários e gerar e executar Blocos com base nessas transações.
3、op-node: Ler dados em lote da camada 1 e acionar o op-geth para realizar a transformação de estado no modo non-sorter.
4, op-proposer: Regularly outputs root to layer 1, captures layer 2 status and facilitates withdrawals.
2. Succinct Labs 与 OP Labs 合作将 ZK元素引入 OP Stack
Fonte da imagem: Succinct Blog
2.1 Componentes da arquitetura OP Succinct
OP Succinct é construído com base no componente OP Stack descrito na seção 1.2. É uma atualização leve do OP Stack que permite o uso de Blocos verificados por ZK, enquanto mantém os outros componentes (op-geth, op-batcher e op-node) inalterados. OP Succinct é composto pelos seguintes quatro componentes principais:
2.2 OP Succinct 如何融入以太坊扩展叙事？
Devido à necessidade de um grande conhecimento especializado em criptografia, a construção de zkEVM Rollups tem sido desafiadora. Quando a OP Labs desenvolveu a pilha modular OP Stack, eles esperavam suportar vários mecanismos de prova. Para isso, eles abriram o desenvolvimento do Kona, implementando o STF do OP Stack Rollups em Rust, e finalmente gerando Provas de Conhecimento Zero (ZKP) para o OP Stack por meio dos programas Kona e SP1. Isso significa que, teoricamente, qualquer cadeia OP Stack pode ser atualizada para usar ZKP.
O objetivo do SP1 (Succinct Processor 1) é permitir que os desenvolvedores integrem facilmente o rollup Type-1 zkEVM com código Rust padrão. Com a ajuda do OP Succinct, o processo de atualização de qualquer cadeia existente da pilha OP para o rollup Type-1 zkEVM pode ser concluído em uma hora, com as seguintes vantagens:
De acordo com a documentação oficial do GitHub, este processo requer apenas a instalação do Rust, Foundry e Docker para atualizar qualquer pilha de OP Stack existente para um rollup zkEVM do Tipo 1. O processo simplificado envolve dois passos:
Fonte da imagem: Blog Conciso - Atualizando o OP Stack Rollup para ZK Proofs
2.3 Construindo o zkEVM Type-1 usando SP1 Reth
Succinct acredita que o futuro dos Rollups EVM está no uso do zkEVM escrito em linguagem Rust, o que aumentará a manutenibilidade. Atualmente, o Rollups OP enfrenta três grandes desafios: uma janela anti-fraude de 7 dias, interoperabilidade complexa e, em alguns casos, dependência de múltiplos mecanismos de dados em vez de prova de fraude. O desenvolvimento do zkEVM é um trabalho de longo prazo, portanto, o SP1 foi criado para enfrentar esses desafios.
SP1 é um zkVM de alto desempenho e totalmente personalizável, 100% Código aberto, que pode verificar a execução de qualquer programa em Rust (ou compilado em LLVM). De acordo com dados públicos, o OP Succinct Stack foi executado com sucesso na OP Mainnet, OP Sepolia e na cadeia Base, com custo de prova de transação variando de $0.01 a $0.02 (consulte o link de extensão 3). No futuro, toda a infraestrutura Blockchain, incluindo rollups, bridges e co-processadores, poderá ser escrita em Rust (ou outra linguagem compilada em LLVM) e aproveitar a ZKP.
De acordo com o resumo do blog Succinct e do conteúdo do GitHub Código aberto, a vantagem de desempenho do SP1 em relação a outros zkVMs deriva de vários fatores-chave:
Fonte da imagem: blog Succinct
3、OP Succinct能否成为OP Stack对抗ZK Stack的王牌？
Fonte da imagem: @jtguibas
Se o plano de escalabilidade de Ethereum é de curto prazo OP e a longo prazo ZK, então o potencial sucesso do OP Succinct pode marcar um marco importante no caminho de desenvolvimento do Ethereum. O OP Succinct fornece um caminho atualizável para a transição do ETH Rollups de verificação otimista para Prova de conhecimento zero (ZKP). Esta mudança não só Gota o Custo de transação, mas também aumenta a velocidade das transações, ao mesmo tempo em que mantém a segurança e a privacidade do ZK Rollups, abrindo novas possibilidades para a futura Camada de aplicação.
Entre as quatro principais soluções de Camada 2 reconhecidas, atualmente parece que o OP Stack tem uma ligeira vantagem na construção do ecossistema em relação ao ZK Stack. No futuro, o efeito Mateus pode se tornar mais evidente, e a adição do OP Succinct pode desviar parte do tráfego e potencial do ZK Stack. Se o OP Succinct for bem-sucedido, poderá até desafiar os Rollups tradicionais baseados em zkEVM.
No entanto, a partir da lógica operacional atualmente proposta, surge uma questão-chave: como os desenvolvedores podem garantir a detecção oportuna do risco de escopo do sistema causado por alterações na função de transição de estado (STF) ou pela adição de novas vulnerabilidades desconhecidas em tempo de compilação? Este é um área que vale a pena seguir a longo prazo.