BOB ha annunciato che sarà il primo progetto rollup a utilizzare le prove ZK come prove di frode integrando l'architettura Kailua di RISC Zero

Il 25 luglio, BOB (Build on Bitcoin) ha annunciato una collaborazione con l'infrastruttura di prova a conoscenza zero RISCZero, che diventerà il primo progetto rollup del settore a utilizzare le prove a conoscenza zero come prove di frode integrando Kailua, un framework di architettura ibrida lanciato da RISC Zero. Ciò consentirà di risparmiare notevolmente tempo e costi sulle configurazioni esistenti e può ridurre i tempi di prelievo dai soliti 7 giorni a 1 ora. Questo è un passaggio fondamentale per BOB per implementare le fasi 1 e 2 del rollup su L2beat.

È stato riferito che Kailua è un'estensione dello stack OP costruita da RISC Zero utilizzando il suo livello di calcolo verificabile Boundless network, che è un'architettura ibrida (cioè Hybrid Rollup) in grado di aggiornare gli Optimistic Rollup a Hybrid ZK Rollups, che combina i vantaggi degli Optimistic Rollups e degli ZK Rollups per ottenere un efficiente regolamento blockchain e risoluzione delle controversie. Tenta di bilanciare l'elevata deglutizione delle foglie, il basso costo e l'elevata sicurezza utilizzando Optimistic Rollup per elaborare rapidamente le transazioni per impostazione predefinita e abilitando le prove ZK in caso di controversie o necessità di un rapido regolamento. In parole povere, ha la capacità di integrare i vantaggi del rollup ZK per gli Optimistic Rollup esistenti.

Una delle caratteristiche più importanti è che può accorciare il ciclo di liquidazione dal periodo di sfida originale di 7 giorni a un minimo di 1 ora, e per la rete Optimistic Rollup che integra Kailua, non c'è bisogno di preoccuparsi del costo di generazione continua delle prove ZK perché è implementata su richiesta.

BOB è la prima catena a utilizzare prove a conoscenza zero (ZK). Questo nuovo approccio offre il meglio di entrambi i mondi rispetto agli Optimistic Rollups, che sono lenti da prelevare e costosi per l'antifrode, e agli ZK Rollups, che sono costosi da eseguire.

BOB combina perfettamente l'efficienza (meno costoso presentare proposte rispetto ai rollup di validità) e la sicurezza (dimostrando la correttezza del blocco in caso di frode). Inoltre, le prove ZK costano molto meno dei giochi binari on-chain sulle piattaforme Optimism o Ink (meno di $ 100, rispetto a circa $ 1 milione per quest'ultimo).

Tre vantaggi:

• Chiunque può contestare la proposta del sequenziatore BOB con un margine di soli 0,5 ETH, senza richiedere centinaia di ETH come le prove di frode a conoscenza non zero.

• In caso di contestazione, la liquidazione delle prove di frode può essere completata in una sola transazione su Ethereum, quindi può essere finalizzata in pochi minuti, rispetto alle ore o ai giorni e alle transazioni multiple per le versioni a conoscenza non zero.

• A lungo termine, il tempo di prelievo di BOB può essere notevolmente ridotto perché le soluzioni antifrode on-chain sono veloci ed economiche. Il tempo di prelievo inizialmente stimato è di 4 giorni, ma dopo che il sistema si è stabilizzato, può essere ridotto a poche ore.

Principio di funzionamento:

• Kailua presenta il suo nuovo design di gioco a prova di errore auto-sviluppato per fornire una sicurezza di prima classe per l'ordinazione delle transazioni rollup.

• BOB utilizzerà prove a prova di frode a conoscenza zero (ZK) invece di più transazioni nel gioco binario di Optimism.

• Le prove a conoscenza zero consentono a BOB di semplificare il meccanismo di verifica degli errori a una singola transazione su Ethereum piuttosto che a più transazioni in un gioco binario.

• Processo specifico:

1. Per ogni checkpoint, il sequencer BOB (gestito da Conduit) proporrà una nuova catena canonica per una specifica altezza.

2. Chiunque può usare il binario Kailua per fare un'altra proposta per contestare la catena canonica. Per fare una proposta è necessario depositare un deposito in ETH sul Layer1. La configurazione iniziale è di 0,5 ETH, il che rende facile per chiunque sfidare e abbassa significativamente la barriera all'ingresso per la verifica senza autorizzazione.

3. Quando ci sono proposte contrastanti alla stessa altezza, lo sfidante o il validatore (gestito da Conduit) genererà una dimostrazione a conoscenza zero (utilizzando l'algoritmo Boundless) per risolvere il problema della catena canonica. Poiché la struttura di BOB dipende dall'ordine in cui le transazioni sono codificate sul Layer1, può esistere una sola catena valida. Il deposito cauzionale del proponente o dello sfidante sbagliato verrà incamerato.

Alexei Zamyatin, co-fondatore di BOB e membro fondatore della BitVM Alliance, ha dichiarato: "Con il lancio di un sistema di prova completamente funzionante, BOB L2 avrà la piena sicurezza di Ethereum. Ciò significa che BOB sarà ancora nel livello L2 della fase 0, mentre la maggior parte degli altri livelli L2 verrà spostata in altre categorie su L2Beat. Gli aggiornamenti cumulativi della Fase 1 sono soggetti solo al lancio del Comitato di Sicurezza, che sarà annunciato nel prossimo futuro. I rollup nella Fase 2 aprono semplicemente il processo di proposta a chiunque. ”

Il team di RISC Zero ritiene che Kailua abbia aggiornato Optimistic Rollup per utilizzare prove a conoscenza zero (ZK Fault Proofs) basate su zkVM RISC Zero. L'attuale scelta di mercato per le soluzioni di rollup è Optimistic Rollup o ZK Rollup. L'Optimistic Rollup domina il mercato attuale grazie al suo basso costo e all'elevata produttività, ma richiede una finestra di sfida di 7 giorni, che ritarda la finalizzazione e limita l'interoperabilità. I rollup ZK possono fornire una finalità rapida, ma la generazione di prove ZK per ogni blocco comporta costi aggiuntivi significativi e i rollup ad alta velocità possono costare milioni di dollari o più.

Ora che il terzo metodo è attivo su BOB, questa è la soluzione basata sull'architettura Kailua di RISC Zero, che combina i vantaggi di entrambi gli approcci: gli Optimistic ZK Rollups hanno sia i bassi costi operativi del sistema Optimistic Rollup che la rapida finalizzazione degli ZK Rollups.