O 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 de prova de conhecimento zero RISCZero, que se tornará o primeiro projeto de rollup do setor 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. Esta é uma etapa 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 rede Boundless de camada de computação verificável, 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 uma 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 Optimistic Rollups para processar transações rapidamente por padrão e permitindo provas ZK em caso de disputas ou necessidade de liquidação rápida. Em termos simples, ele tem a capacidade de integrar os benefícios de rollup ZK para Optimistic Rollups existentes.

Um dos recursos 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 o Kailua, não há necessidade de se preocupar com o custo de geração contínua das provas ZK porque é implementado sob demanda.

BOB é a primeira cadeia a usar provas de conhecimento zero (ZK). Essa nova abordagem oferece o melhor dos dois mundos sobre Optimistic Rollups, 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 enviar 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 a última).

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.

• Em caso de contestação, a liquidação das 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 inicial estimado de retirada é de 4 dias, mas depois que o sistema se estabilizar, ele pode ser reduzido para algumas horas.

Princípio de funcionamento:

• Kailua apresenta seu novo design de jogo à prova de erros desenvolvido por ele mesmo para fornecer segurança de primeira classe para pedidos de transações de rollup.

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

• As provas de conhecimento zero permitem que o BOB simplifique o mecanismo à prova 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 pelo Conduit) 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 contestar 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 a contestação por qualquer pessoa e reduz significativamente a barreira de entrada para verificação sem permissão.

3. Quando houver propostas conflitantes na mesma altura, o desafiante ou validador (executado pelo 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 em que 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á segurança total do 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 em um futuro próximo. Os rollups na Fase 2 simplesmente abrem o processo de proposta para qualquer pessoa. ”

A equipe do RISC Zero acredita que o Kailua atualizou o Optimistic Rollup para usar provas de conhecimento zero (ZK Fault Proofs) alimentadas por zkVMs RISC Zero. A escolha de mercado atual 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 finalidade e limita a interoperabilidade. Os rollups ZK podem fornecer finalidade rápida, mas a geração de provas ZK para cada bloco incorre em custos adicionais significativos, e os rollups de alta taxa de transferência podem custar milhões de dólares ou mais.

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