Secondo Blockworks, Bitcoin attualmente non dispone di vere e proprie reti layer-2 simili a quelle di Ethereum, principalmente perché le soluzioni di scalabilità esistenti non ereditano il modello di sicurezza di Bitcoin. I rollup di Ethereum che pubblicano i dati delle transazioni sulla rete principale di Ethereum sfruttano direttamente la sua sicurezza, garantendo che la corretta esecuzione delle transazioni su questi livelli sia protetta dagli stessi meccanismi che proteggono il livello di base. Al contrario, le soluzioni “layer-2” di Bitcoin, come Liquid Network e Rootstock (RSK), sono tecnicamente sidechain. Operano indipendentemente da Bitcoin, utilizzando il proprio set di validatori o minatori. Sebbene possano condividere l'hash rate del mining o gli snapshot dei checkpoint in Bitcoin, fondamentalmente offrono un diverso livello di sicurezza. Innovazioni come BitVM possono migliorare il bridging minimizzato dalla fiducia da Bitcoin, ma per abilitare soluzioni layer-2 in buona fede su Bitcoin, sono necessari aggiornamenti del protocollo. Questi aggiornamenti introdurrebbero convenzioni – meccanismi che limitano il modo in cui BTC può essere speso – che consentono un’interoperabilità sicura e con fiducia ridotta al minimo e consentono a Bitcoin di supportare una solida infrastruttura di livello 2 simile a quella di Ethereum.
Mercoledì StarkWare ha descritto un traguardo significativo nel verificare con successo la prima prova a conoscenza zero utilizzando il suo nuovo verificatore STARK sulla rete di test di Bitcoin, Signet. Questo risultato segue tre mesi di ricerca sul potenziale di OP_CAT, uno di questi aggiornamenti Bitcoin proposti. Il verificatore di StarkWare, sviluppato in collaborazione con Weikeng Chen della società di venture capital L2 Iterative, è la prima applicazione pratica su larga scala di questo codice operativo, ha affermato StarkWare in una nota. Dimostra il potenziale per sostenere lo sviluppo di soluzioni layer-2 basate su zk per Bitcoin. "Questo tipo di metodologia di verifica è completamente diversa da quella già esplorata da altre soluzioni di scalabilità sulla rete Bitcoin perché non richiede l'uso di prove di frode o di attività", ha affermato la società, aggiungendo che il codice per il verificatore è stato pubblicato tramite Github.
Chen ha osservato che la ricerca è stata pionieristica. “Abbiamo iniziato dal nulla. Non ci sono informazioni sulle prove zk su Bitcoin o sulle operazioni matematiche necessarie. Abbiamo dovuto costruire l’intero stack che porta all’implementazione del verificatore STARK”, ha affermato. Il nuovo verificatore utilizza Circle STARK: prove crittografiche che accelerano notevolmente il processo di prova. Saranno utilizzati anche nel prover STARK di prossima generazione di StarkWare, Stwo. La demo attuale verifica solo la soluzione a un problema matematico discreto: il 32esimo numero nella sequenza quadrata di Fibonacci – o 21.783.0922 – ma il team prevede di passare alla dimostrazione di un’ampia gamma di calcoli che potrebbero infine costituire la base di un sistema virtuale. macchina. Fino ad allora, i detentori di bitcoin che desiderano impegnarsi nella DeFi possono farlo attraverso una serie di altri approcci volti a portare BTC su altre reti, ciascuno con i propri compromessi.