Predložena skupna valjanost za Bitcoin – Trustnodes

Rješenja drugog sloja temeljena na ZK-techu možda dolaze u bitcoin s Johnom Lightom iz Zaklade za ljudska prava ZK-Rollup Research Fellowship, koji je iznio prijedlog koji je privukao pažnju nekih programera bitcoina.

U opširnom pregledu zbrajanja valjanosti i načina na koji se oni mogu implementirati u bitcoinovom vrlo ograničenom skriptnom jeziku, Light prvo korisno sažima što su ti još uvijek vrlo novi izumi:

"Zbirni lanac je blokovni lanac koji pohranjuje korijen stanja i barem dovoljno podataka o transakciji za ponovno izračunavanje trenutnog stanja iz geneze unutar bloka drugog 'roditeljskog' lanca blokova, dok prebacuje izvršenje transakcije 'izvan lanca' na zasebnu mrežu čvorova."

Zbirni paketi valjanosti sadrže dovoljno podataka u lancu za "dokaze valjanosti" kako bi se osiguralo da novi blokovi skupljanja slijede pravila protokola skupljanja.

Ovi dokazi su stvoreni putem ZK-techa, danas uglavnom STARK-ova, i tako zapravo dobivate metodu kompresije gdje možete dovršiti recimo 100x transakcija na ovom drugom sloju, uz veliku većinu sigurnosti osnovnog sloja, a sve to znači samo jedna transakcija u lancu.

Ovo ima značajne prednosti upotrebljivosti u odnosu na nešto poput Lightning Networka jer vam ne trebaju stvari poput kolaterala, usmjerivača itd., samo uplaćujete u zbirni paket.

Za jednostavne prijenose uglavnom su implementirani na ethereum gdje sada rade na cijelom zk temeljenom Ethereum virtualnom računalu s nadom da će se konačno ZK rješenje moći primijeniti na sam osnovni sloj.

Međutim, u bitcoinu se nije puno radilo sve do ovog proljeća kada je Trey Del Bonis, programer bitcoina, objavljen primjeri kodova o tome kako se zbrajanje valjanosti može implementirati u bitcoin. Svjetlo kaže:

“Bilo bi moguće izgraditi zbirnu vrijednost valjanosti na bitcoinu korištenjem bitcoinovog izvornog Turing-nepotpunog programskog jezika, Script, s relativno malim promjenama (u smislu otiska koda) operacijskih kodova koje Script podržava...

Prema Del Bonisu, promjene potrebne za podršku zbrajanja valjanosti na bitcoinu nekoliko su dodatnih opkodova koji omogućuju dvije glavne primitive njegovog dizajna zbrajanja — provjeru dokaza valjanosti i rekurzivne ugovore…

Rekurzivni ugovori su vrsta pametnog ugovora koji ograničava vrstu skripte na koju se BTC može poslati nakon što se potroši.

Del Bonis koristi rekurzivne ugovore za propagiranje konstrukcije skupljanja sa svakim ažuriranjem stanja, osiguravajući da BTC koji je zaključan u skripti skupljanja i koji njihov vlasnik još nije povukao ostaje u skripti od jednog ažuriranja stanja skupljanja do sljedećeg.

Nakon što vlasnik BTC-a na skupu potvrdi važeću transakciju povlačenja na skupu, tada može izaći iz rekurzivne skripte ugovora sa svojim BTC-om na L1 adresu za isplatu koju je naveo.

Rekurzivni savezi su promjena u skripti koju bitcoin zajednica već dugo razmatra. Međutim, trenutačno nema konkretnih prijedloga koji su postigli široki konsenzus među zajednicom programera bitcoina za implementaciju rekurzivnih ugovora.”

Konceptualno ovo zvuči jednostavno. Rekurzivni ugovori bave se dijelom zaključavanja, odnosno prijenosom sredstava unutar i iz skupa, dok su neke druge izmjene potrebne da bi se dokazi integrirali.

Međutim, poznato je da se Bitcoin sporo mijenja, ali Light kaže da je prijedlog u potpunosti kompatibilan s bitcoinovim etosom, govoreći mailing listi programera bitcoina:

„Zbirni paketi valjanosti imaju potencijal za poboljšanje skalabilnosti, privatnosti i programabilnosti bitcoina bez žrtvovanja temeljnih vrijednosti ili funkcionalnosti bitcoina kao peer-to-peer elektroničkog gotovinskog sustava.

S obzirom na 'nepouzdanu' prirodu zbrajanja valjanosti kao kriptografski osiguranih proširenja njihovog nadređenog lanca i s obzirom na status bitcoina kao najsigurnijeg sloja namire, moglo bi se čak reći da su ovi protokoli _savršeno usklađeni_ jedan s drugim.”

Ne zahtijevaju dodatnu propusnost ili pohranu, stoga pružaju skalabilnost bez značajnih kompromisa.

Međutim, njihova će implementacija u bitcoinu vjerojatno biti vrlo spora, a Light umjesto toga predlaže:

“Elements sidechain projekt (i Liquid blockchain koji se temelji na Elements) još nema podršku za dokaze valjanosti potrebne za podršku skupa valjanosti, ali ima podršku za rekurzivne ugovore.

Implementacija podrške za dokaze valjanosti u Elements, zajedno s nekim drugim promjenama koje je Del Bonis identificirao kao lijepo imati, stoga bi mogao biti put do testiranja protokola valjanosti skupnog protokola koji je u konačnici namijenjen za implementaciju na bitcoin.”

Liquid održava Blockstream s Gregom Sandersom iz tog Blockstreama koji u raspravi na popisu za slanje e-pošte navodi:

"Postoji li jedna stranica varalice 'zahtjeva' za introspekciju transakcije/OP_ZKP(?) i njihove upotrebe odvojeno i zajedno za različite arhitekture skupnog ažuriranja?"

Op_ZKP ne postoji sasvim, što je možda razlog zašto je stavio upitnik, ali pitanje bi moglo upućivati ​​na to da iako konceptualno zvuči lako, stvarna implementacija ovoga u vrlo ograničenom bitcoin skriptnom jeziku vjerojatno uopće neće biti laka.

Ne samo zato što bi to bio napredan razvoj, iako ne potpuno originalan jer programeri u ethereumu rade na ovim zk sustavima od 2019.

Prijevoz koji je sada došao do točke u kojoj je postavljen kostur za bitcoin. Međutim, puna implementacija može biti daleko.