A BOB anunciou que será o primeiro projeto de rollup a usar provas ZK como provas de fraude, integrando a arquitetura Kailua do RISC Zero

Em 25 de julho, o BOB (Build on Bitcoin) anunciou uma cooperação com a infraestrutura à prova de conhecimento zero RISCZero, que se tornará o primeiro projeto de rollup na indústria a usar provas de conhecimento zero como provas de fraude, integrando Kailua, uma estrutura de arquitetura híbrida lançada pela RISC Zero. Isso economizará significativamente tempo e custo nas configurações existentes e pode reduzir os tempos de retirada dos habituais 7 dias para 1 hora. Este é um passo fundamental para o BOB implementar as Fases 1 e 2 do Rollup no L2beat.

É relatado que Kailua é uma extensão de pilha OP construída pela RISC Zero usando sua camada de computação verificável rede Boundless, que é uma arquitetura híbrida (ou seja, Hybrid Rollup) que pode atualizar Optimistic Rollups para Hybrid ZK Rollups, que combina as vantagens de Optimistic Rollups e ZK Rollups para alcançar a resolução eficiente de blockchain e resolução de disputas. Ele tenta equilibrar alta deglutição de folhas, baixo custo e alta segurança, empregando Rollups Otimistas para processar transações rapidamente por padrão e permitindo provas ZK em caso de disputas ou necessidade de solução rápida. Em termos simples, ele tem a capacidade de integrar os benefícios do rollup ZK para os Rollups Optimistic existentes.

Uma das características mais importantes é que ele pode encurtar o ciclo de liquidação do período de desafio original de 7 dias para um mínimo de 1 hora, e para a rede Optimistic Rollup que integra Kailua, não há necessidade de se preocupar com o custo de geração contínua de provas ZK porque é implementado sob demanda.

BOB é a primeira cadeia a usar provas de conhecimento zero (ZK). Esta nova abordagem oferece o melhor dos dois mundos em relação aos Rollups Otimistas, que são lentos para retirar e caros para antifraude, e ZK Rollups, que são caros para executar.

O BOB combina perfeitamente eficiência (menos dispendioso para apresentar propostas em comparação com rollups de validade) e segurança (comprovando a correção do bloco em caso de fraude). Além disso, as provas ZK custam muito menos do que os jogos binários on-chain nas plataformas Optimism ou Ink (menos de US $ 100, em comparação com cerca de US $ 1 milhão para o último).

Três vantagens:

• Qualquer pessoa pode contestar a proposta do sequenciador BOB com uma margem tão baixa quanto 0,5 ETH, sem exigir centenas de ETH como provas de fraude de conhecimento não zero.

• No caso de um desafio, a liquidação de provas de fraude pode ser concluída em apenas uma transação no Ethereum, para que possam ser finalizadas em minutos, em comparação com horas ou dias e várias transações para versões de conhecimento não zero.

• A longo prazo, o tempo de retirada do BOB pode ser significativamente reduzido porque as soluções de fraude on-chain são rápidas e baratas. O tempo de retirada inicialmente estimado é de 4 dias, mas depois que o sistema estabiliza, pode ser encurtado para algumas horas.

Princípio de funcionamento:

• Kailua apresenta seu novo design de jogo à prova de erros auto-desenvolvido para fornecer segurança de primeira classe para pedidos de transações cumulativas.

• O BOB usará provas de conhecimento zero (ZK) à prova de fraude em vez de várias transações no jogo binário do Optimism.

• As provas de conhecimento zero permitem que o BOB simplifique o mecanismo de verificação de erros para uma única transação no Ethereum em vez de várias transações em um jogo binário.

• Processo específico:

1. Para cada ponto de verificação, o sequenciador BOB (executado pela Conduit) irá propor uma nova cadeia canónica para uma altura específica.

2. Qualquer um pode usar o binário Kailua para fazer outra proposta para disputar a cadeia canônica. Fazer uma proposta requer um depósito de um depósito em ETH na Camada 1. A configuração inicial é de 0,5 ETH, o que facilita o desafio para qualquer pessoa e reduz significativamente a barreira de entrada para verificação sem permissão.

3. Quando há propostas conflitantes na mesma altura, o desafiante ou validador (executado pela Conduit) gerará uma prova de conhecimento zero (usando o algoritmo Boundless) para resolver o problema da cadeia canônica. Como a estrutura do BOB depende da ordem na qual as transações são codificadas na Layer1, apenas uma cadeia válida pode existir. O depósito de segurança do proponente ou desafiante errado será perdido.

Alexei Zamyatin, cofundador do BOB e membro fundador da BitVM Alliance, disse: "Com o lançamento de um sistema de prova totalmente funcional, o BOB L2 terá total segurança Ethereum. Isso significa que o BOB ainda estará na camada L2 da fase 0, enquanto a maioria das outras camadas L2 será movida para outras categorias no L2Beat. Os rollups da fase 1 estão sujeitos apenas ao lançamento do Comité de Segurança, que será anunciado num futuro próximo. Os rollups na Fase 2 simplesmente abrem o processo de proposta para qualquer pessoa. ”

A equipe RISC Zero acredita que Kailua atualizou o Optimistic Rollup para usar provas de conhecimento zero (ZK Fault Proofs) alimentadas por RISC Zero zkVMs. A escolha atual do mercado para soluções de rollup é Optimistic Rollup ou ZK Rollup. O Optimistic Rollup domina o mercado atual devido ao seu baixo custo e alto rendimento, mas requer uma janela de desafio de 7 dias, o que atrasa a finalização e limita a interoperabilidade. Os rollups ZK podem fornecer uma finalidade rápida, mas gerar provas ZK para cada bloco incorre em custos adicionais significativos, e rollups de alto rendimento podem custar milhões de dólares ou mais.

Agora que o terceiro método está disponível no BOB, esta é a solução alimentada pela arquitetura Kailua do RISC Zero, que combina as vantagens de ambas as abordagens: os Rollups ZK Otimistas têm os baixos custos operacionais do sistema Rollup Otimista e a rápida finalidade dos Rollups ZK.