ZK-տեխնոլոգիաների վրա հիմնված երկրորդ շերտի լուծումները կարող են գալ բիթքոյին Ջոն Լայթի հետ Մարդու իրավունքների հիմնադրամի ZK-Rollup Research Fellowship-ից՝ առաջ քաշելով առաջարկ, որը գրավել է որոշ բիթքոին մշակողների ուշադրությունը:
Վավերականության հավաքածուների երկարատև ակնարկի մեջ և ինչպես դրանք կարող են իրականացվել բիթքոինի շատ սահմանափակ սկրիպտային լեզվով, Լայթը նախ օգտակար կերպով ամփոփում է, թե որոնք են այս դեռևս շատ նոր գյուտերը.
«Կոլլապը բլոկչեյն է, որը պահում է վիճակի արմատը և առնվազն բավականաչափ գործարքային տվյալներ՝ մեկ այլ «ծնող» բլոկչեյնի բլոկի ներքևում գտնվող ընթացիկ վիճակը վերահաշվարկելու համար՝ միաժամանակ տեղափոխելով գործարքների կատարման «օֆշեյնը» առանձին հանգույցային ցանց»:
Վավերականության հավաքագրումները պարունակում են բավականաչափ տվյալներ շղթայական «վավերականության ապացույցների» համար՝ ապահովելու, որ նոր հավաքագրման բլոկները հետևեն հավաքագրման արձանագրության կանոններին:
Այս ապացույցները ստեղծվում են ZK-tech, ներկայումս հիմնականում STARK-ների միջոցով, և այդպիսով, փաստորեն, դուք ստանում եք սեղմման մեթոդ, որտեղ կարող եք կատարել ասենք 100x գործարքներ այս երկրորդ շերտի վրա՝ բազային շերտի անվտանգության ճնշող մեծամասնությամբ, և այդ ամենը թարգմանվում է որպես պարզապես մեկ շղթայական գործարք:
Սա զգալի օգտագործման առավելություններ ունի Lightning Network-ի նման մի բանի նկատմամբ, քանի որ ձեզ հարկավոր չեն այնպիսի բաներ, ինչպիսիք են գրավադրումները, երթուղիչները և այլն, դուք պարզապես մուտքագրում եք համախմբում:
Պարզ փոխանցումների համար դրանք հիմնականում ներդրվել են ethereum-ի վրա, որտեղ նրանք այժմ աշխատում են zk-ի վրա հիմնված Ethereum վիրտուալ մեքենաների վրա՝ հույս ունենալով, որ ի վերջո ZK լուծումը կարող է կիրառվել հենց բազային շերտի վրա:
Բիթքոինում, այնուամենայնիվ, դրա վրա շատ աշխատանք չի եղել մինչև այս գարուն, երբ բիթքոյնի մշակող Թրեյ Դել Բոնիսը, լույս կոդի օրինակներ, թե ինչպես կարող են վավերականության հավաքագրումները իրականացվել bitcoin-ում: Լույս ասում է,:
«Հնարավոր կլինի բիթքոյնի վրա վավերականության հավաքակազմ ստեղծել՝ օգտագործելով բիթքոինի բնիկ Թյուրինգ-անավարտ ծրագրավորման լեզուն՝ Script-ը, համեմատաբար փոքր փոփոխություններով (կոդերի հետքի առումով) օպերացիոն կոդերի վրա, որոնք աջակցում է Սկրիպտը…
Դել Բոնիսի խոսքերով, բիթքոյնի վրա վավերականության հավաքագրմանն աջակցելու համար անհրաժեշտ փոփոխությունները մի քանի լրացուցիչ օպերացիոն կոդ են, որոնք հնարավորություն են տալիս նրա հավաքակազմի դիզայնի երկու հիմնական պարզունակությունը՝ վավերականության հաստատման ստուգումը և ռեկուրսիվ ուխտը…
Recursive covenants-ը խելացի պայմանագրի տեսակ է, որը սահմանափակում է սկրիպտի տեսակը, որին ԲԹՋ-ն կարող է ուղարկվել այն ծախսելուց հետո:
Դել Բոնիսն օգտագործում է ռեկուրսիվ դաշնագրեր՝ յուրաքանչյուր վիճակի թարմացման հետ մեկտեղված կառուցումը առաջ տարածելու համար՝ ապահովելով, որ BTC-ն, որը կողպված է համախմբման սկրիպտում և դեռ չի հանվել իրենց սեփականատիրոջ կողմից, մնում է սկրիպտում մի շարք վիճակի թարմացումից մյուսը:
Երբ հավաքագրված ԲԹՋ-ի սեփականատերը հաստատի հավաքագրման ժամանակ դուրսբերման վավեր գործարքը, այնուհետև նրանք կարող են դուրս գալ ռեկուրսիվ ուխտի սցենարից իրենց ԲԹՋ-ով իրենց նշած L1 դուրսբերման հասցեով:
Recursive covenants-ը Սկրիպտի փոփոխություն է, որը երկար ժամանակ դիտարկվել է բիթքոին համայնքի կողմից: Այնուամենայնիվ, ներկայումս չկան կոնկրետ առաջարկներ, որոնք լայն կոնսենսուսի են հասել բիթքոյն մշակողների համայնքի միջև՝ ռեկուրսիվ դաշնագրերի իրականացման համար»:
Հայեցակարգային առումով սա պարզ է թվում: Ռեկուրսիվ պայմանագրերը վերաբերում են կողպման մասին կամ գումարների փոխանցմանը և դրանցից դուրս, մինչդեռ ապացույցների ինտեգրման համար պահանջվում են որոշ այլ փոփոխություններ:
Այնուամենայնիվ, բիթքոյնը հայտնիորեն դանդաղ է փոխվում, բայց Լայթն ասում է, որ առաջարկը լիովին համատեղելի է բիթքոինի էթոսի հետ՝ բիթքոյնի մշակողների փոստային ցուցակին ասելով.
«Վավերականության համախմբումներն ունեն բիթքոինի մասշտաբայնությունը, գաղտնիությունը և ծրագրավորելիությունը բարելավելու ներուժ՝ առանց բիթքոինի հիմնական արժեքները կամ ֆունկցիոնալությունը զոհաբերելու՝ որպես հավասարակից էլեկտրոնային կանխիկացման համակարգ:
Հաշվի առնելով վավերականության հավաքագրման «անվստահելի» բնույթը՝ որպես իրենց մայր շղթայի գաղտնագրությամբ ապահովված ընդլայնումներ, և հաշվի առնելով բիթքոինի կարգավիճակը՝ որպես ամենաապահով կարգավորման շերտ, կարելի է նույնիսկ ասել, որ այս արձանագրությունները կատարյալ համընկնում են միմյանց համար»:
Նրանք չեն պահանջում լրացուցիչ թողունակություն կամ պահեստավորում, ուստի ապահովում են մասշտաբայնություն՝ առանց ուշագրավ փոխզիջումների:
Դրանց ներդրումը բիթքոյնում, սակայն, հավանաբար, շատ դանդաղ կլինի, ընդ որում՝ Light փոխարենը առաջարկում է.
«Elements sidechain նախագիծը (և Liquid blockchain-ը, որը հիմնված է Elements-ի վրա) դեռևս չունի վավերականության ապացույցների աջակցություն, որոնք անհրաժեշտ են վավերականության հավաքագրման համար, բայց այն ունի աջակցություն ռեկուրսիվ դաշնագրերին:
Elements-ում վավերականության ապացույցների աջակցության իրականացումը, ինչպես նաև որոշ այլ փոփոխություններ, որոնք Դել Բոնիսը ճանաչեց որպես հաճելի, հետևաբար կարող է լինել վավերականության հավաքագրման արձանագրության փորձարկման ուղի, որը, ի վերջո, նախատեսված է բիթքոյնի վրա տեղակայվելու համար»:
Liquid-ը պահպանվում է Blockstream-ի կողմից, այդ Blockstream-ի Գրեգ Սանդերսի հետ՝ փոստային ցուցակի քննարկման մեջ նշելով.
«Կա՞ մեկ էջանոց խաբեբայական թերթիկ՝ «խնդրում է» գործարքի ներդաշնակեցման/OP_ZKP(?) և դրանց օգտագործումը թե՛ առանձին, թե՛ միասին տարբեր միավորման ճարտարապետությունների համար»:
Op_ZKP-ն այնքան էլ գոյություն չունի, ինչի պատճառով էլ նա դրեց հարցական նշանը, բայց հարցը կարող է ցույց տալ, որ թեև կոնցեպտուալ առումով դա հեշտ է թվում, իրականում դա իրականացնելը բիթքոինի շատ սահմանափակ սցենարի լեզվով, հավանաբար, ամենևին էլ հեշտ չի լինի:
Հատկապես այն պատճառով, որ դա կլինի արյունահոսող եզրային զարգացում, թեև ոչ ամբողջովին օրիգինալ, քանի որ ethereum-ի մշակողները աշխատում են այս zk համակարգերի վրա 2019 թվականից:
Փոխադրումն այժմ հասել է այն կետին, որտեղ կմախքը դրվել է բիթքոյնի համար: Ամբողջական իրականացումը, սակայն, կարող է բավական ժամանակ տևել:
Աղբյուր՝ https://www.trustnodes.com/2022/10/12/validity-rollups-proposed-for-bitcoin