Bitcoinille ehdotetut kelpoisuuskokoelmat – Trustnodes

ZK-teknologiaan perustuvia toisen kerroksen ratkaisuja saattaa tulla bitcoineihin John Lightin kanssa Human Rights Foundationin ZK-Rollup Research Fellowshipista, ja se esittää ehdotuksen, joka on kiinnittänyt joidenkin bitcoin-kehittäjien huomion.

Pitkässä yleiskatsauksessa kelpoisuuskokoelmasta ja siitä, kuinka ne voidaan toteuttaa bitcoinin erittäin rajoitetulla skriptikielellä, Light tiivistää ensin hyödyllisesti, mitä nämä vielä hyvin uudet keksinnöt ovat:

"Ruoppaus on lohkoketju, joka tallentaa tilan juuren ja ainakin tarpeeksi tapahtumatietoja laskeakseen uudelleen nykyisen tilan syntymisen perusteella toisen "emo"-lohkoketjun lohkon sisällä ja siirtää tapahtuman suorittamisen "offchainista" erilliseen solmuverkkoon."

Kelvollisuuskokoelmat sisältävät tarpeeksi ketjussa olevaa dataa "kelvollisuustodistuksia" varten sen varmistamiseksi, että uudet tiivistelmälohkot noudattavat koontiprotokollan sääntöjä.

Nämä todisteet luodaan ZK-techin avulla, nykyään enimmäkseen STARK:illa, joten käytännössä saat pakkausmenetelmän, jossa voit suorittaa vaikka 100-kertaisia ​​tapahtumia tällä toisella kerroksella, suurimmalla osalla peruskerroksen suojausta, ja se kaikki tarkoittaa vain yksi ketjutapahtuma.

Tällä on merkittäviä käytettävyysetuja Lightning Networkiin verrattuna, koska et tarvitse vakuuksia, reitittimiä jne., vaan talletat vain kokoelmaan.

Yksinkertaisia ​​siirtoja varten ne on suurelta osin toteutettu ethereumissa, jossa he työskentelevät nyt kokonaisen zk-pohjaisen Ethereum-virtuaalikoneen parissa toivoen, että lopulta ZK-ratkaisu voidaan soveltaa itse peruskerrokseen.

Bitcoinissa sen parissa ei kuitenkaan ole tehty paljon työtä ennen kuin tänä keväänä Trey Del Bonis, bitcoin-kehittäjä, julkaistu koodiesimerkkejä siitä, kuinka kelpoisuuskokoelmat voidaan toteuttaa bitcoinissa. Kevyt sanoo:

"Bitcoinille olisi mahdollista rakentaa kelpoisuuskokoelma käyttämällä bitcoinin alkuperäistä Turingin epätäydellistä ohjelmointikieltä, Scriptia, suhteellisen pienillä muutoksilla (koodin jalanjäljen osalta) Scriptin tukemiin opkoodeihin...

Del Bonisin mukaan bitcoinin kelpoisuuskokoelman tukemiseen tarvittavat muutokset ovat muutamia ylimääräisiä operaatiokoodeja, jotka mahdollistavat hänen rollup-suunnittelunsa kaksi pääprimitiiviä – validiteettivarmennus ja rekursiiviset sopimukset…

Rekursiiviset kovenantit ovat älykkäiden sopimusten tyyppi, joka rajoittaa skriptin tyyppiä, jolle BTC voidaan lähettää, kun se on käytetty.

Del Bonis käyttää rekursiivisia sopimuksia levittääkseen koontirakennetta eteenpäin jokaisen tilapäivityksen yhteydessä varmistaen, että BTC, joka on lukittu tiivistysskriptiin ja jota omistaja ei ole poistanut, säilyy kuitenkin skriptissä tiivistelmän tilapäivityksestä toiseen.

Kun BTC:n omistaja on vahvistanut kelvollisen nostotapahtuman kokoelmassa, hän voi poistua rekursiivisesta sopimuskomentosarjasta BTC:llään määrittämiään L1-nostoosoitteeseen.

Rekursiiviset sopimukset ovat muutos Scriptiin, jota bitcoin-yhteisö on pitkään harkinnut. Tällä hetkellä ei kuitenkaan ole olemassa erityisiä ehdotuksia, jotka olisivat saavuttaneet laajan yksimielisyyden bitcoin-kehittäjäyhteisön keskuudessa rekursiivisten sopimusten toteuttamisesta.

Käsitteellisesti tämä kuulostaa yksinkertaiselta. Rekursiiviset sopimukset koskevat lukitusosaa tai varojen siirtoa kokoelmaan ja sieltä pois, kun taas joitain muita muutoksia tarvitaan todisteiden integroimiseksi.

Bitcoin on kuitenkin tunnetusti hidas muuttumassa, mutta Light sanoo ehdotuksen olevan täysin yhteensopiva bitcoinin eetoksen kanssa, kertoen bitcoin-kehittäjien postituslistalle:

"Validity rollupilla on potentiaalia parantaa bitcoinin skaalautuvuutta, yksityisyyttä ja ohjelmoitavuutta tinkimättä bitcoinin ydinarvoista tai toimivuudesta peer-to-peer sähköisenä kassajärjestelmänä.

Kun otetaan huomioon kelpoisuuskokoelman "luotettava" luonne niiden emoketjun kryptografisesti suojattuina laajennuksina ja bitcoinin asema turvallisimpana selvityskerroksena, voitaisiin jopa sanoa, että nämä protokollat ​​sopivat _täydellisesti yhteen_ toisilleen.

Ne eivät vaadi ylimääräistä kaistanleveyttä tai tallennustilaa, joten ne tarjoavat skaalautuvuutta ilman merkittäviä kompromisseja.

Niiden käyttöönotto bitcoinissa on kuitenkin todennäköisesti hyvin hidasta, ja Light ehdottaa sen sijaan:

"Elements-sivuketjuprojektilla (ja Elementsiin perustuvalla Liquid-lohkoketjulla) ei vielä ole tukea kelpoisuustodistuksille, joita tarvitaan kelpoisuuskokoelman tukemiseen, mutta sillä on tuki rekursiivisille kovenanteille.

Kelvollisuustodistusten tuen käyttöönotto Elementsissä yhdessä joidenkin muiden Del Bonisin miellyttäviksi havaitsemien muutosten kanssa voisi siksi olla tapa testata kelpoisuuskeräysprotokollaa, joka on viime kädessä tarkoitettu käytettäväksi bitcoineissa.

Liquidia ylläpitää Blockstream, jonka Blockstreamin Greg Sanders sanoo postituslistakeskustelussa:

"Onko olemassa yksisivuinen huijauslehti, jossa kysytään tapahtuman itsetutkiskelua/OP_ZKP(?) ja niiden käyttötarkoituksia sekä erikseen että yhdessä eri koontiarkkitehtuureille?"

Op_ZKP:tä ei ole aivan olemassa, minkä vuoksi hän ehkä laittoi kysymysmerkin, mutta kysymys saattaa hyvinkin viitata siihen, että vaikka se kuulostaa käsitteellisesti helpolta, sen toteuttaminen erittäin rajoitetulla bitcoin-skriptikielellä ei todennäköisesti ole ollenkaan helppoa.

Ei vähiten siksi, että se johtaisi syrjäytymiseen, vaikka ei täysin omaperäistä, koska ethereumin kehittäjät ovat työskennelleet näiden zk-järjestelmien parissa vuodesta 2019 lähtien.

Kuljetus on nyt saavuttanut pisteen, jossa luuranko on luotu bitcoinille. Täysi toteutus voi kuitenkin kestää jonkin aikaa.