Rollup di validità proposti per Bitcoin – Trustnodes

Le soluzioni di secondo livello basate sulla tecnologia ZK potrebbero arrivare su bitcoin con John Light della ZK-Rollup Research Fellowship della Human Rights Foundation, che ha avanzato una proposta che ha attirato l'attenzione di alcuni sviluppatori di bitcoin.

In una lunga panoramica dei rollup di validità e di come possono essere implementati nel linguaggio di scripting molto limitato di bitcoin, Light riassume in primo luogo in modo utile quali sono queste invenzioni ancora molto nuove:

"Un rollup è una blockchain che memorizza la radice dello stato e almeno dati di transazione sufficienti per ricalcolare lo stato corrente dalla genesi all'interno del blocco di una blockchain 'genitore' diversa, spostando l'esecuzione della transazione 'offchain' su una rete di nodi separata."

I rollup di validità contengono dati sufficienti sulla catena per le "prove di validità" per garantire che i nuovi blocchi di rollup seguano le regole del protocollo di rollup.

Queste prove sono create tramite ZK-tech, al giorno d'oggi per lo più STARK, e quindi in effetti ottieni un metodo di compressione in cui puoi completare, diciamo, transazioni 100x su questo secondo livello, con la stragrande maggioranza della sicurezza del livello base, e tutto si traduce semplicemente in una transazione a catena.

Ciò ha vantaggi di usabilità significativi rispetto a qualcosa come Lightning Network perché non hai bisogno di cose come garanzie, router, ecc., Devi solo depositare nel rollup.

Per i trasferimenti semplici sono stati in gran parte implementati su Ethereum, dove ora stanno lavorando su un'intera macchina virtuale Ethereum basata su zk con la speranza che alla fine la soluzione ZK possa essere applicata al livello di base stesso.

In bitcoin, tuttavia, non c'è stato molto lavoro su di esso fino a questa primavera quando Trey Del Bonis, uno sviluppatore di bitcoin, pubblicato esempi di codice di come i rollup di validità possono essere implementati in bitcoin. Luce dice:

“Sarebbe possibile costruire un rollup di validità su bitcoin utilizzando il linguaggio di programmazione Turing incompleto nativo di bitcoin, Script, con modifiche relativamente piccole (in termini di footprint del codice) agli opcode supportati da Script...

Secondo Del Bonis, le modifiche necessarie per supportare i rollup di validità su bitcoin sono alcuni codici operativi aggiuntivi che consentono le due primitive principali del suo progetto di rollup: verifica della validità e covenants ricorsivi...

Le convenzioni ricorsive sono un tipo di contratto intelligente che limita il tipo di script a cui BTC può essere inviato una volta speso.

Del Bonis utilizza patti ricorsivi per propagare la costruzione del rollup in avanti con ogni aggiornamento dello stato, assicurando che BTC che è bloccato in uno script di rollup e non è stato ancora ritirato dal suo proprietario rimanga nello script da un aggiornamento dello stato di rollup al successivo.

Una volta che il proprietario di BTC sul rollup conferma una transazione di prelievo valida sul rollup, può uscire dallo script covenant ricorsivo con il proprio BTC all'indirizzo di prelievo L1 specificato.

Le alleanze ricorsive sono una modifica a Script che è stata a lungo considerata dalla comunità bitcoin. Tuttavia, al momento non ci sono proposte specifiche che abbiano ottenuto un ampio consenso tra la comunità degli sviluppatori bitcoin per implementare patti ricorsivi.

Concettualmente questo suona semplice. I contratti ricorsivi riguardano la parte di blocco o il trasferimento di fondi dentro e fuori il rollup, mentre sono necessarie altre modifiche per integrare le prove.

Bitcoin, tuttavia, è notoriamente lento a cambiare, ma Light afferma che la proposta è pienamente compatibile con l'etica di bitcoin, dicendo alla mailing list degli sviluppatori bitcoin:

“I rollup di validità hanno il potenziale per migliorare la scalabilità, la privacy e la programmabilità di bitcoin senza sacrificare i valori fondamentali o la funzionalità di bitcoin come sistema di cassa elettronico peer-to-peer.

Data la natura "senza fiducia" dei rollup di validità come estensioni crittograficamente protette della loro catena madre e dato lo status di bitcoin come livello di regolamento più sicuro, si potrebbe anche dire che questi protocolli sono una _perfetta corrispondenza_ l'uno con l'altro. "

Non richiedono larghezza di banda o spazio di archiviazione aggiuntivi, fornendo così scalabilità senza compromessi degni di nota.

È probabile che la loro implementazione in bitcoin sia molto lenta, con Light invece che suggerisce:

“Il progetto Elements sidechain (e la blockchain Liquid che si basa su Elements) non ha ancora il supporto per le prove di validità necessarie per supportare un rollup di validità, ma ha il supporto per covenants ricorsivi.

L'implementazione del supporto per le prove di validità in Elements, insieme ad alcune delle altre modifiche che Del Bonis ha identificato come belle da avere, potrebbe quindi essere un percorso per testare un protocollo di rollup di validità che alla fine è destinato a essere distribuito su bitcoin.

Liquid è gestito da Blockstream con Greg Sanders di quel Blockstream che afferma nella discussione sulla mailing list:

"Esiste un cheat sheet di una pagina di 'chiede' per l'introspezione delle transazioni/OP_ZKP(?) e i loro usi sia separatamente che insieme per diverse architetture di rollup?"

L'Op_ZKP non esiste, forse è per questo che ha messo il punto interrogativo, ma la domanda potrebbe indicare che mentre concettualmente sembra facile, implementarlo in un linguaggio di script bitcoin molto limitato probabilmente non sarà affatto facile.

Non ultimo perché sarebbe uno sviluppo all'avanguardia, anche se non completamente originale poiché gli sviluppatori di ethereum hanno lavorato su questi sistemi zk dal 2019.

Il trasporto che ora ha raggiunto il punto in cui lo scheletro è stato predisposto per bitcoin. Tuttavia, l'implementazione completa potrebbe richiedere parecchio tempo.