I passaggi per eseguire un rollup ZK da Bitcoin L3 a Supersonic (Bitcoin L2) sono i seguenti:

1) Un utente invia una transazione al Bitcoin L3 Sequencer

2) Il Bitcoin L3 Sequencer esegue la transazione e fornisce una conferma

3) Se l'utente lo desidera, può forzare il Bitcoin L3 Sequencer a includere la transazione

4) Il Bitcoin L3 Sequencer esegue il blocco di transazioni e lo invia al Bitcoin L3 Prover

5) Bitcoin L3 Prover crea una prova crittografica dell'esecuzione del blocco e la invia allo smart contract su Supersonic

6) Lo smart contract verifica che la prova sia valida e che tutti i dati siano stati inviati, quindi aggiorna lo stato del rollup nel contratto

7) L3 Sequencer invia i dati del blocco a uno dei data availability supportati da BVM, come ad esempio Celestia, Avail (che sta per essere lanciato), Polygon, Filecoin, etc

I passaggi per eseguire un rollup ZK da Supersonic (Bitcoin L2) a Bitcoin (L1) sono i seguenti:

1) Un Sequencer Bitcoin L3 si "avvolge" (collega) al Supersonic Sequencer

2) Il Supersonic Sequencer esegue il blocco di transazioni e lo invia al Supersonic Prover

3) Il Supersonic Prover crea una prova crittografica dell'esecuzione del blocco insieme a un "commitment" (impegno) e li inscrive in Bitcoin come Ordinals

4) Il Supersonic Sequencer invia i dati del blocco a uno dei data availability supportati da BVM

5) Il Supersonic Light Node verifica che il commitment e la prova siano validi e che tutti i dati siano stati inviati, quindi aggiorna lo stato del rollup nei dati locali

LOGICA DI VERIFICA

Supersonic Light Node possono essere eseguiti da chiunque per garantire la correttezza dell'esecuzione in Bitcoin L3 e Supersonic. In particolare, Light Nodes convalidano transazioni dei sequencer L3 di Bitcoin e verificano che quelle eseguite su Bitcoin dal sequencer supersonic siano accurate.

I nodi supersonici sono particolarmente utili per le dapp come i bridge decentralizzati che devono verificare la validità degli stati impegnati su Bitcoin prima di elaborare le transazioni di prelievo.

Inizialmente, i Supersonic Light Node vengono eseguiti lato server o su un computer locale. In futuro, se ci sarà richiesta, sarà possibile creare un'app mobile Supersonic Light Node o un'estensione nel browser per consentire a chiunque di eseguire rapidamente una verifica. Il processo di verifica è abbastanza simile alla verifica di Bitcoin L3. L'unica differenza è che il commitment Supersonic e le zk-proof vengono estratti da Bitcoin invece che dai data availability. In BVM V1, il costo delle fee sui L2 derivava principalmente dal costo dei rollup su Bitcoin. Con l'aumento del numero di L2, è aumentato anche il costo complessivo delle fees. In BVM V2, poiché la dimensione della zk-proof è costante, anche la dimensione dei dati inscritti su Bitcoin è costante. Ciò significa che il costo del rollup in Bitcoin rimane costante, con conseguente riduzione dei costi per L2 man mano che ne vengono aggiunti altri.

Per quanto riguarda i tempi di transazione sono ovviamente più veloci: tempi di blocco di 1 secondo rispetto al tempo di blocco di 2 secondi in BVM V1.