A BOB tornou-se a primeira cadeia de blocos a utilizar provas de conhecimento zero (ZK) de duas novas formas: 

  1. O BOB é o primeiro rollup a utilizar provas de fraude ZK, reduzindo um fluxo de muitas transacções a uma única transação. Isto combina a velocidade dos rollups de validade com o baixo custo e a eficiência dos rollups optimistas. 
  2. O BOB é também o primeiro rollup a suportar provas de validade a pedido. Quando os utilizadores querem retirar rapidamente da BOB, uma prova de validade pode ser submetida para finalizar os levantamentos para a Ethereum instantaneamente.

Acreditamos que as provas ZK híbridas são o melhor e mais eficiente sistema de provas atualmente utilizado por qualquer rollup.

Esta atualização, alimentada por OP Kailua, uma nova extensão da estrutura de código aberto OP Stack para construir redes Ethereum Layer 2, foi construída por RISC Zero com geração de prova ZK pela rede Boundless. Ele também traz o BOB muito perto de alcançar o status Rollup Stage 1 e Stage 2 no L2BEAT, uma plataforma de análise de blockchain que rastreia objetivamente a segurança, descentralização e maturidade das redes de camada 2. 

Participe numa transmissão em direto para discutir a atualização com BOB, RISC Zero, Boundless, Conduit e L2BEAT na quinta-feira, 31 de julho: https://x.com/i/broadcasts/1lPJqMbWdbQJb 

‍

Provas de fraude ZK na BOB

Tradicionalmente, os rollups têm seguido dois modelos distintos: rollups optimistas, que assumem que as transacções são válidas mas requerem uma janela de contestação de 7 dias, e rollups de validade, que verificam as transacções instantaneamente através de provas de conhecimento zero mas são dispendiosos de operar. O OP Kailua introduz uma terceira opção de ZK híbrido, aplicando provas de ZK ao processo de resolução de fraudes em rollups optimistas, combinando baixos custos operacionais com finalização rápida, aumentando drasticamente a escalabilidade, a segurança e a descentralização no design da camada 2. Este modelo também oferece a opção de submeter provas de validade a pedido, permitindo que a BOB obtenha o melhor de dois mundos: transacções e verificação baratas por defeito, e validade total para finalização rápida quando necessário.

Alexei Zamyatin, cofundador da BOB, disse: "O lançamento de nosso sistema de prova totalmente funcional traz segurança total de nível Ethereum para o BOB L2, um marco importante em nosso caminho para a descentralização. Com esta atualização, o BOB se torna o primeiro rollup Hybrid ZK e avança para o Estágio 0 no L2BEAT, enquanto a maioria dos rollups no espaço permanecerá na categoria 'Outros' devido à ausência de um sistema de prova de trabalho. Este modelo de rollup híbrido reflete nossa visão híbrida: combinando os pontos fortes de vários sistemas para desbloquear todo o potencial do Bitcoin DeFi.

‍

Quatro benefícios principais do OP Kailua 

Esta abordagem inovadora e híbrida das provas permite quatro vantagens principais: 

  • Acessibilidade: Em comparação com todos os outros rollups optimistas, BOB é o único que permite a qualquer pessoa apresentar uma prova de fraude. Em Arbitrum, Base, Optimism, etc., as provas de fraude podem custar milhões de dólares. Com o BOB, apenas 0.5 garantia ETH é necessária, e a prova mais a submissão onchain custa menos de $ 50.
  • Eficiência de custos: A liquidação à prova de fraude no caso de um desafio é liquidada em uma única transação no Ethereum e, portanto, finalizada em alguns minutos, em comparação com várias horas ou dias, o que exigiria muitas transações na versão não ZK.
  • Levantamentos imediatos a pedido: Se alguém quiser efetuar levantamentos imediatamente sem um período de contestação, é possível pagar para apresentar uma prova de validade. Isto não é possível com modelos optimistas normais que têm de aplicar o período completo de 7 dias. No entanto, se não for necessário um levantamento imediato, o sistema ZK Híbrido utiliza por defeito as transacções optimistas baratas. As cadeias ZK completas como Starknet, zkSync e Scroll precisam sempre de provas de validade mesmo quando a velocidade não é tão importante, aumentando os seus custos operacionais.
  • Rapidez: BOB poderá reduzir drasticamente os tempos de levantamento a longo prazo, uma vez que a resolução de fraudes na cadeia é rápida e barata. O prazo de retirada começará em quatro dias, mas poderá ser reduzido para algumas horas quando o sistema estiver comprovadamente estável.

Jacob Everly, líder de produto RISC Zero, comentou: "Os rollups otimistas impulsionaram a adoção graças aos seus benefícios óbvios; baixos custos e alto rendimento, mas a janela de desafio de 7 dias impediu a verdadeira escalabilidade. O OP Kailua muda isso usando as provas de fraude ZK. Ele traz a velocidade e a finalidade do ZK para uma estrutura otimista; um avanço que combina o melhor dos dois mundos e prepara o terreno para a próxima evolução do DeFi."

‍

Desenvolvido por RISC Zero, Boundless e Conduit

A atualização do OP Kailua no BOB foi construída pela RISC Zero com geração de provas ZK pela rede Boundless. A RISC Zero introduziu o Boundless em 2024. Ele é projetado para escalar a computação de prova de conhecimento zero (ZKP) em cadeias. O protocolo tem como objetivo tornar a computação com ZK acessível, escalável e sem confiança. O Boundless permite que os cálculos sejam realizados por um único nó e verificados eficientemente por todos os outros sem reexecução. A Boundless colaborou com a Conduit, um dos provedores de RaaS (rollup as a service) mais confiáveis, para testar e colocar o OP Kailua em produção. 

Andrew Huang, fundador da Conduit, afirmou: "Isso é exatamente o que imaginamos quando trabalhamos com a RISC Zero para construir a integração OP Kailua. Com as provas ZK em execução dentro de nosso ambiente OP Stack gerenciado, o BOB obtém segurança de nível Ethereum e tempos de retirada medidos em horas, não em dias. E a nossa parceria com a RISC Zero permite-nos levar esta capacidade a qualquer rollup sem problemas. Esta é a fronteira do design de rollup."

‍

Processo passo a passo de prova de fraude

O OP Kailua apresenta o seu próprio jogo de prova de fraude, que oferece as melhores garantias de segurança para sequenciar transacções de rollup. Em vez de utilizar o habitual jogo de bissecção de otimismo para provas de fraude, o BOB utilizará provas de fraude ZK. Isto permite que o mecanismo de prova de fraude seja reduzido a uma única transação no Ethereum, em vez das múltiplas transacções necessárias no jogo de bissecção.

  1. Para cada ponto de controlo, o sequenciador BOB (executado pelo Conduit) propõe uma nova cadeia canónica para uma determinada altura.
  2. Qualquer pessoa pode ainda fazer outra proposta para disputar a cadeia canónica usando o binário Kailua. Para fazer uma proposta, é necessário um título (em ETH) depositado no L1. Este é inicialmente definido para 0,5 ETH, tornando-o relativamente trivial para qualquer um desafiar e diminuindo drasticamente a barreira para a validação sem permissão contra a maioria das cadeias optimistas.
  3. Quando existem propostas contraditórias para a mesma altura, tanto o desafiador como o validador utilizarão o Boundless para gerar uma prova ZK que invalide a proposta comprovadamente incorrecta. Só pode haver uma cadeia válida devido à construção do BOB, dependendo da ordem das transacções codificadas no L1. O proponente ou desafiador incorreto terá a sua caução cortada.

‍

Transmissão em direto a 31 de julho

BOB, RISC Zero / Boundless, Conduit e L2BEAT estão a organizar uma transmissão ao vivo para discutir a inovação do Hybrid ZK na quinta-feira, 31 de julho de 2025. Defina um lembrete aqui: https://x.com/i/broadcasts/1lPJqMbWdbQJb