Решења другог слоја заснована на ЗК-технологији можда ће доћи на биткоин са Џоном Лајтом из ЗК-Роллуп истраживачке стипендије Фондације за људска права, излажући предлог који је привукао пажњу неких програмера биткоина.
У дугом прегледу збирних података о валидности и начина на који се они могу имплементирати у веома ограниченом језику биткоина, Лигхт прво корисно сумира шта су ови још увек нови изуми:
„Скупни блок је ланац блокова који складишти корен стања и најмање довољно података о трансакцији да се поново израчуна тренутно стање из генезе унутар блока другог 'родитељског' блоцкцхаина, док се извршавање трансакције 'ван ланца' пребацује на засебну мрежу чворова.
Збирни пакети ваљаности садрже довољно података у ланцу за „доказе ваљаности“ како би се осигурало да нови блокови скупа прате правила протокола за збирни пакет.
Ови докази су креирани кроз ЗК-тецх, данас углавном СТАРК, и тако у ствари добијате метод компресије где можете да завршите рецимо 100к трансакције на овом другом слоју, са огромном већином сигурности основног слоја, а све се то преводи само на једна трансакција у ланцу.
Ово има значајне предности у погледу употребљивости у односу на нешто као што је Лигхтнинг Нетворк, јер вам нису потребне ствари као што су колатерали, рутери итд., Ви само депонујете у збирни пакет.
За једноставне трансфере, они су углавном имплементирани на Етхереум где сада раде на читавим Етхереум виртуелним машинама заснованим на зк-у у нади да ће коначно ЗК решење бити примењено на сам основни слој.
У биткоину, међутим, није се много радило на томе све до овог пролећа када је Треи Дел Бонис, програмер биткоина, објављен примери кода како се збирни подаци о валидности могу имплементирати у биткоин. Светлост каже:
„Било би могуће направити збир ваљаности на биткоину користећи биткоин-ов матерњи програмски језик који није комплетан по Тјурингу, Сцрипт, са релативно малим променама (у смислу отиска кода) у кодовима које Сцрипт подржава…
Према Дел Бонису, промене које су потребне да би се подржале збирне вредности за биткоин су неколико додатних опкодова који омогућавају два главна примитива његовог збирног дизајна — верификацију доказа валидности и рекурзивне уговоре…
Рекурзивни уговори су врста паметног уговора који ограничава тип скрипте на коју се БТЦ може послати када се потроши.
Дел Бонис користи рекурзивне уговоре да пропагира збирну конструкцију унапред са сваким ажурирањем стања, обезбеђујући да БТЦ који је закључан у збирној скрипти и није повучен од стране њиховог власника остане у скрипти од једног ажурирања стања збрајања до следећег.
Једном када власник БТЦ-а на збирном пакету потврди важећу трансакцију повлачења на збирном пакету, онда може изаћи из рекурзивне скрипте уговора са својим БТЦ-ом на Л1 адресу за повлачење коју су навели.
Рекурзивни уговори су промена скрипте коју биткоин заједница већ дуго разматра. Међутим, тренутно нема конкретних предлога који су постигли широки консензус међу заједницом програмера биткоина за имплементацију рекурзивних уговора.
Концептуално ово звучи једноставно. Рекурзивни уговори се баве делом за закључавање, или трансфером средстава у и ван скупа, док су неке друге промене потребне да би се докази интегрисали.
Биткоин се, међутим, веома споро мења, али Лигхт каже да је предлог у потпуности компатибилан са биткоиновим етосом, говорећи мејлинг листи програмера биткоина:
„Збирни подаци о валидности имају потенцијал да побољшају скалабилност, приватност и програмибилност биткоина без жртвовања основних вредности или функционалности биткоина као равноправног електронског готовинског система.
Имајући у виду „непоуздану“ природу збирних података валидности као криптографски обезбеђених продужетака њиховог родитељског ланца, и с обзиром на статус биткоина као најбезбеднијег слоја за поравнање, могло би се чак рећи да су ови протоколи _савршени спој_ један за другог.“
Не захтевају додатни пропусни опсег или складиште, тако да обезбеђују скалабилност без значајних компромиса.
Међутим, њихова имплементација у биткоин ће вероватно бити веома спора, а Лајт уместо тога сугерише:
„Пројекат бочног ланца Елементс (и Ликуид блоцкцхаин који је заснован на Елементс-у) још увек нема подршку за доказе валидности који су потребни за подршку скупа валидности, али има подршку за рекурзивне уговоре.
Имплементација подршке за доказе валидности у Елементс-у, заједно са неким другим променама које је Дел Бонис идентификовао као лепе за имати, стога би могао да буде пут за тестирање протокола валидности који би на крају требало да буде примењен на биткоин.
Ликуид одржава Блоцкстреам, а Грег Сандерс из тог Блоцкстреам-а наводи у дискусији на мејлинг листи:
„Да ли постоји варалица на једној страници 'пита' за интроспекцију трансакција/ОП_ЗКП(?) и њихову употребу и одвојено и заједно за различите збирне архитектуре?“
Оп_ЗКП не постоји баш, због чега је можда ставио знак питања, али питање може указати на то да иако концептуално звучи лако, заправо имплементација овога у веома ограниченом језику биткоин скрипте вероватно неће бити нимало лака.
Не само зато што би то представљало проблем у развоју, иако не потпуно оригинално, јер програмери у Етхереуму раде на овим зк системима од 2019.
Транспорт који је сада стигао до тачке где је костур постављен за биткоин. Међутим, до пуне имплементације може бити потребно доста времена.
Извор: хттпс://ввв.трустнодес.цом/2022/10/12/валидити-роллупс-пропосед-фор-битцоин