Validity Rollups foreslået for Bitcoin – Trustnodes

ZK-tech-baserede andet lag-løsninger kommer muligvis til bitcoin med John Light fra Human Rights Foundations ZK-Rollup Research Fellowship, der fremsætter et forslag, der har fanget opmærksomhed fra nogle bitcoin-udviklere.

I en længere oversigt over gyldighedsoprulninger og hvordan de kan implementeres i bitcoins meget begrænsede scriptsprog, opsummerer Light først hjælpsomt, hvad disse stadig meget nye opfindelser er:

"En rollup er en blockchain, der gemmer tilstandsroden og i det mindste nok transaktionsdata til at genberegne den aktuelle tilstand fra genesis inde i blokken af ​​en anden 'forælder' blockchain, mens transaktionsudførelsen 'offchain' flyttes til et separat knudenetværk."

Validitets-oprulninger indeholder nok data i kæden til "gyldighedsbeviser" for at sikre, at nye oprulningsblokke følger reglerne i oprulningsprotokollen.

Disse beviser er skabt gennem ZK-tech, i dag mest STARKs, og dermed får du i realiteten en komprimeringsmetode, hvor du kan gennemføre f.eks. 100x transaktioner på dette andet lag, med langt størstedelen af ​​basislagets sikkerhed, og det hele oversættes til bare én on-chain transaktion.

Dette har betydelige brugervenlighedsfordele i forhold til noget som Lightning Network, fordi du ikke har brug for ting som sikkerhedsstillelser, routere osv., du indbetaler bare til oprullningen.

Til simple overførsler er de stort set blevet implementeret på ethereum, hvor de nu arbejder på en hel zk-baseret Ethereum Virtual Machine med håb om, at ZK-løsningen til sidst kan anvendes på selve basislaget.

I bitcoin har der dog ikke været meget arbejde på det før i foråret, da Trey Del Bonis, en bitcoin-udvikler, offentliggjort kodeeksempler på, hvordan validity rollups kan implementeres i bitcoin. Lys siger:

"Det ville være muligt at bygge en gyldighedsoprulning på bitcoin ved hjælp af bitcoins oprindelige Turing-ufuldstændige programmeringssprog, Script, med relativt små ændringer (med hensyn til kodefodaftryk) til de opkoder, Script understøtter ...

Ifølge Del Bonis er ændringerne, der er nødvendige for at understøtte gyldighedsoprulninger på bitcoin, et par ekstra opkoder, der muliggør de to primære primitiver i hans oprulningsdesign - gyldighedsbevis verifikation og rekursive pagter ...

Rekursive pagter er en type smart kontrakt, der begrænser typen af ​​script, som BTC kan sendes til, når det er brugt.

Del Bonis bruger rekursive pagter til at udbrede rollup-konstruktionen fremad med hver tilstandsopdatering, hvilket sikrer, at BTC, der er låst i et rollup-script og endnu ikke er blevet trukket tilbage af deres ejer, forbliver i scriptet fra en rollup-tilstandsopdatering til den næste.

Når ejeren af ​​BTC på sammenlægningen bekræfter en gyldig udbetalingstransaktion på udrullningen, kan de forlade det rekursive pagt-script med deres BTC til den L1-udbetalingsadresse, de har angivet.

Rekursive pagter er en ændring af Script, der længe har været overvejet af bitcoin-samfundet. Men der er i øjeblikket ingen specifikke forslag, der har opnået bred konsensus blandt bitcoin-udviklersamfundet om at implementere rekursive pagter."

Konceptuelt lyder dette simpelt. Rekursive kontrakter omhandler låsedelen eller overførsel af midler ind og ud af rollup'et, mens der kræves nogle andre ændringer for at beviserne kan integreres.

Bitcoin er dog notorisk langsom til at ændre sig, men Light siger, at forslaget er fuldt kompatibelt med bitcoins etos og fortæller bitcoin-udviklernes mailingliste:

"Validity rollups har potentialet til at forbedre skalerbarheden, privatlivets fred og programmerbarheden af ​​bitcoin uden at ofre bitcoins kerneværdier eller funktionalitet som et peer-to-peer elektronisk kontantsystem.

I betragtning af den 'tillidsløse' natur af gyldighedsoprulninger som kryptografisk sikrede udvidelser af deres moderkæde, og givet bitcoins status som det mest sikre afviklingslag, kan man endda sige, at disse protokoller er et _perfekt match_ for hinanden.

De kræver ingen ekstra båndbredde eller lagerplads, så de giver skalerbarhed uden nævneværdige afvejninger.

Deres implementering i bitcoin vil dog sandsynligvis være meget langsom, hvor Light i stedet foreslår:

"Elements sidechain-projektet (og Liquid blockchain, der er baseret på Elements) har endnu ikke understøttelse af de gyldighedsbeviser, der er nødvendige for at understøtte en validitetsrollup, men den har understøttelse af rekursive pagter.

Implementering af support til gyldighedsbeviser i Elements, sammen med nogle af de andre ændringer, Del Bonis identificerede som gode at have, kunne derfor være en vej til at teste en validitetsprotokol, der i sidste ende er beregnet til at blive implementeret på bitcoin."

Liquid vedligeholdes af Blockstream med Greg Sanders fra den pågældende Blockstream, der angiver på mailinglistediskussionen:

"Er der et ensides snydeark med 'spørger' om transaktionsintrospektion/OP_ZKP(?) og deres anvendelser både separat og sammen til forskellige rollup-arkitekturer?"

Op_ZKP eksisterer ikke helt, og det er måske derfor, han satte spørgsmålstegnet, men spørgsmålet kan godt indikere, at selvom det konceptuelt lyder nemt, vil det faktisk slet ikke være nemt at implementere dette i det meget begrænsede bitcoin-scriptsprog.

Ikke mindst fordi det ville være blødende udvikling, selvom det ikke er helt originalt, da udviklere i ethereum har arbejdet på disse zk-systemer siden 2019.

Transport, der nu har nået det punkt, hvor skelettet er lagt ud til bitcoin. Den fulde implementering kan dog være et stykke tid væk.