Bitcoin piedāvātie derīguma apkopojumi — Trustnodes

Uz ZK tehnoloģijām balstīti otrā slāņa risinājumi, iespējams, nonāks pie bitcoin kopā ar Džonu Gaitu no Cilvēktiesību fonda ZK-Rollup Research Fellowship, izvirzot priekšlikumu, kas ir piesaistījis dažu bitcoin izstrādātāju uzmanību.

Garā pārskatā par derīguma apkopojumiem un to, kā tos var ieviest bitcoin ļoti ierobežotajā skriptu valodā, Light vispirms ir noderīgi apkopoti, kas ir šie joprojām ļoti jaunie izgudrojumi:

“Apkopojums ir blokķēde, kurā tiek saglabāta stāvokļa sakne un vismaz pietiekami daudz darījumu datu, lai pārrēķinātu pašreizējo stāvokli no ģenēzes citas “sākotnējās” blokķēdes bloka iekšienē, vienlaikus pārceļot darījuma izpildi “ārpus ķēdes” uz atsevišķu mezglu tīklu.”

Derīguma apkopojumos ir pietiekami daudz datu ķēdē “derīguma pierādījumiem”, lai nodrošinātu, ka jaunie apkopojuma bloki atbilst apkopojuma protokola noteikumiem.

Šie pierādījumi tiek izveidoti, izmantojot ZK-tech, mūsdienās galvenokārt STARK, un tādējādi jūs faktiski iegūstat saspiešanas metodi, kurā varat veikt 100x darījumus šajā otrajā slānī ar lielāko daļu pamata slāņa drošības, un tas viss nozīmē tikai viens ķēdes darījums.

Tam ir ievērojamas lietojamības priekšrocības salīdzinājumā ar kaut ko līdzīgu, piemēram, Lightning Network, jo jums nav vajadzīgas tādas lietas kā nodrošinājums, maršrutētāji u.c., jums vienkārši jāiemaksā apkopojums.

Vienkāršai pārsūtīšanai tie lielākoties ir ieviesti uz Ethereum, kur tagad viņi strādā ar veselām zk balstītām Ethereum virtuālajām mašīnām, cerot, ka galu galā ZK risinājumu varēs izmantot pašam bāzes slānim.

Tomēr saistībā ar bitkoīnu nebija daudz strādāts līdz šī gada pavasarim, kad Trejs Del Boniss, bitcoin izstrādātājs, publicēti kodu piemēri, kā derīguma apkopojumus var ieviest bitkoinā. Gaisma saka:

“Būtu iespējams izveidot bitcoin derīguma apkopojumu, izmantojot bitkoina vietējo Tjūringa nepilnīgo programmēšanas valodu Script, ar salīdzinoši nelielām izmaiņām (koda nospieduma ziņā) opcodes, ko atbalsta skripts…

Pēc Del Bonisa teiktā, izmaiņas, kas nepieciešamas, lai atbalstītu bitcoin derīguma apkopojumus, ir daži papildu operācijas kodi, kas ļauj izmantot divus galvenos viņa apkopojuma dizaina primitīvus — derīguma pārbaudi un rekursīvus līgumus…

Rekursīvie līgumi ir viedā līguma veids, kas ierobežo skripta veidu, uz kuru BTC var nosūtīt, kad tas ir iztērēts.

Del Bonis izmanto rekursīvus līgumus, lai izplatītu apkopojuma konstrukciju ar katru stāvokļa atjauninājumu, nodrošinot, ka BTC, kas ir bloķēts apkopojuma skriptā un kuru īpašnieks nav izņēmis, joprojām paliek skriptā no viena apkopojuma stāvokļa atjauninājuma uz nākamo.

Kad BTC īpašnieks apkopojumā apstiprina derīgu izņemšanas darījumu, viņš var iziet no rekursīvā līguma skripta ar savu BTC uz norādīto L1 izņemšanas adresi.

Rekursīvie līgumi ir izmaiņas skriptā, ko bitcoin kopiena jau sen ir apsvērusi. Tomēr pašlaik nav konkrētu priekšlikumu, kas būtu panākuši plašu vienprātību starp bitcoin izstrādātāju kopienu par rekursīvo līgumu ieviešanu.

Konceptuāli tas izklausās vienkārši. Rekursīvie līgumi attiecas uz bloķēšanas daļu vai līdzekļu pārsūtīšanu apkopojumā un no tā, savukārt, lai pierādījumi tiktu integrēti, ir nepieciešamas dažas citas izmaiņas.

Tomēr Bitcoin mainās ļoti lēni, taču Light saka, ka priekšlikums ir pilnībā saderīgs ar bitcoin ētiku, norādot bitcoin izstrādātāju adresātu sarakstam:

“Derīguma apkopojumiem ir potenciāls uzlabot bitcoin mērogojamību, privātumu un programmējamību, nezaudējot bitcoin pamatvērtības vai funkcionalitāti kā vienādranga elektroniskās naudas sistēmas funkcionalitāti.

Ņemot vērā derīguma apkopojumu “neuzticamo” raksturu kā to vecākķēdes kriptogrāfiski nodrošināti paplašinājumi un ņemot vērā bitcoin kā visdrošākā norēķinu slāņa statusu, varētu pat teikt, ka šie protokoli ir _ideāli saderīgi_ viens otram.

Tiem nav nepieciešams papildu joslas platums vai krātuve, tādējādi nodrošinot mērogojamību bez ievērojamiem kompromisiem.

Tomēr to ieviešana bitcoin, visticamāk, būs ļoti lēna, tā vietā Light ierosinot:

“Elements sānu ķēdes projektam (un Liquid blokķēdei, kas ir balstīta uz Elements) vēl nav atbalsta derīguma pierādījumiem, kas nepieciešami derīguma apkopojuma atbalstam, taču tam ir atbalsts rekursīviem līgumiem.

Tāpēc derīguma pierādījumu atbalsta ieviešana programmā Elements, kā arī dažas citas izmaiņas, ko Del Bonis atzina par patīkamām, varētu būt veids, kā pārbaudīt derīguma apkopojuma protokolu, kas galu galā ir paredzēts izvietošanai bitcoin.

Liquid uztur Blockstream ar Gregu Sandersu no šī Blockstream, norādot adresātu saraksta diskusijā:

“Vai ir vienas lapas apkrāptu lapa ar “jautājumiem” transakciju ieskatiem/OP_ZKP(?) un to lietojumiem gan atsevišķi, gan kopā dažādām apkopojuma arhitektūrām?”

Op_ZKP gluži neeksistē, iespējams, tāpēc viņš uzlika jautājuma zīmi, taču jautājums var liecināt, ka, lai gan konceptuāli tas izklausās viegli, patiesībā to īstenot ļoti ierobežotajā bitcoin skriptu valodā, iespējams, nemaz nebūs viegli.

Ne tikai tāpēc, ka tā būtu asiņaina malu attīstība, lai gan ne pilnīgi oriģināla, jo ethereum izstrādātāji ir strādājuši pie šīm zk sistēmām kopš 2019. gada.

Transportēšana, kas tagad ir sasniegusi punktu, kur skelets ir izlikts bitcoin. Tomēr līdz pilnīgai ieviešanai var būt nepieciešams ilgs laiks.