Validity Rollups navržené pro bitcoiny – Trustnodes

Řešení druhé vrstvy založená na ZK-tech možná přicházejí na bitcoin s Johnem Lightem z Human Rights Foundation's ZK-Rollup Research Fellowship, který předložil návrh, který upoutal pozornost některých bitcoinových vývojářů.

V dlouhém přehledu souhrnů platnosti a toho, jak je lze implementovat ve velmi omezeném skriptovacím jazyce bitcoinu, Light nejprve užitečně shrnuje, jaké jsou tyto stále velmi nové vynálezy:

Rollup je blockchain, který ukládá kořen stavu a alespoň dostatek transakčních dat k přepočítání aktuálního stavu od vzniku uvnitř bloku jiného ‚rodičovského‘ blockchainu, zatímco přesouvá provádění transakcí ‚offchain‘ do samostatné sítě uzlů.“

Validity rollups obsahují dostatek dat v řetězci pro „důkazy platnosti“, aby bylo zajištěno, že nové bloky rollup budou splňovat pravidla protokolu rollup.

Tyto důkazy jsou vytvářeny prostřednictvím ZK-tech, v dnešní době většinou STARKů, a tak ve skutečnosti získáte kompresní metodu, kde můžete provést řekněme 100x transakce na této druhé vrstvě, s velkou většinou zabezpečení základní vrstvy, a to vše se převede na pouhé jedna transakce v řetězci.

To má oproti něčemu, jako je Lightning Network, značné výhody v oblasti použitelnosti, protože nepotřebujete věci jako kolaterály, routery atd., stačí vložit do souhrnu.

Pro jednoduché přenosy byly z velké části implementovány na ethereu, kde nyní pracují na celém virtuálním stroji Ethereum založeném na zk s nadějí, že nakonec bude možné řešení ZK aplikovat na samotnou základní vrstvu.

V bitcoinu však na tom nebylo mnoho práce až do letošního jara, kdy Trey Del Bonis, vývojář bitcoinů, zveřejněn příklady kódu, jak lze implementovat kumulace platnosti v bitcoinu. Světlo říká:

„Bylo by možné vytvořit souhrn platnosti na bitcoinu pomocí nativního Turingova nekompletního programovacího jazyka pro bitcoiny, Script, s relativně malými změnami (pokud jde o kódovou stopu) operačních kódů, které Script podporuje…

Podle Del Bonise jsou změny potřebné k podpoře kumulací platnosti na bitcoinech několik dalších operačních kódů umožňujících dvě hlavní primitiva jeho kumulativního návrhu – ověřování platnosti a rekurzivní smlouvy…

Rekurzivní smlouvy jsou typem inteligentní smlouvy, která omezuje typ skriptu, do kterého lze BTC posílat, jakmile je utracen.

Del Bonis používá rekurzivní smlouvy k šíření kumulativní konstrukce vpřed s každou aktualizací stavu, čímž zajišťuje, že BTC, které jsou uzamčeny v kumulativním skriptu a nebyly dosud staženy jejich vlastníkem, zůstanou ve skriptu od jedné kumulativní aktualizace stavu k další.

Jakmile vlastník BTC v kumulaci potvrdí platnou transakci výběru v kumulaci, může ukončit rekurzivní smluvní skript se svými BTC na adresu výběru L1, kterou zadali.

Rekurzivní smlouvy jsou změnou Scriptu, kterou bitcoinová komunita dlouho zvažovala. V současnosti však neexistují žádné konkrétní návrhy, které by dosáhly širokého konsenzu mezi komunitou bitcoinových vývojářů na implementaci rekurzivních smluv.“

Koncepčně to zní jednoduše. Rekurzivní smlouvy se zabývají uzamykací částí nebo převodem finančních prostředků dovnitř a ven z rollupu, zatímco pro integraci důkazů jsou vyžadovány některé další změny.

Bitcoin se však notoricky pomalu mění, ale Light říká, že návrh je plně kompatibilní s bitcoinovým étosem, a říká mailing listu bitcoinových vývojářů:

„Souhrny platnosti mají potenciál zlepšit škálovatelnost, soukromí a programovatelnost bitcoinů, aniž by byly obětovány základní hodnoty bitcoinu nebo jeho funkčnost jako elektronického hotovostního systému peer-to-peer.

Vzhledem k „nedůvěryhodné“ povaze kumulací platnosti jako kryptograficky zabezpečených rozšíření jejich mateřského řetězce a vzhledem k statusu bitcoinů jako nejbezpečnější vrstvy vypořádání by se dalo dokonce říci, že tyto protokoly se navzájem _dokonale shodují.

Nevyžadují žádnou extra šířku pásma nebo úložiště, takže poskytují škálovatelnost bez pozoruhodných kompromisů.

Jejich implementace v bitcoinech však bude pravděpodobně velmi pomalá, přičemž Light místo toho navrhuje:

„Projekt sidechain Elements (a Liquid blockchain, který je založen na Elements) zatím nemá podporu pro důkazy platnosti potřebné k podpoře kumulace platnosti, ale má podporu pro rekurzivní smlouvy.

Implementace podpory pro důkazy platnosti v Elements, spolu s některými dalšími změnami, které Del Bonis označil za příjemné, by proto mohly být cestou k testování kumulativního protokolu platnosti, který je nakonec určen k nasazení na bitcoiny.

Liquid spravuje Blockstream s Gregem Sandersem z tohoto Blockstreamu, který v diskusi o mailing listu uvedl:

"Existuje jednostránkový cheat 'požadavek' na transakční introspekci/OP_ZKP(?) a jejich použití samostatně i společně pro různé kumulativní architektury?"

Op_ZKP tak docela neexistuje, což je možná důvod, proč položil otazník, ale otázka může dobře naznačovat, že i když to zní koncepčně jednoduše, implementovat to ve velmi omezeném bitcoinovém skriptovacím jazyce pravděpodobně nebude vůbec snadné.

V neposlední řadě proto, že by se jednalo o vývoj na hraně, i když ne zcela originální, protože vývojáři v ethereu na těchto systémech zk pracovali od roku 2019.

Přeprava, která nyní dosáhla bodu, kdy byla kostra položena pro bitcoiny. Úplná implementace však může trvat poměrně dlouho.