Предложени собироци за валидност за Bitcoin - Trustnodes

Решенијата од втор слој засновани на ZK-технологија можеби ќе дојдат до биткоин со Џон Лајт од Истражувачката стипендија ZK-Rollup на Фондацијата за човекови права, изнесувајќи предлог што го привлече вниманието на некои развивачи на биткоин.

Во долгиот преглед на збирките на валидност и како тие можат да се имплементираат во многу ограничениот јазик за скриптирање на биткоинот, Light најпрво помага да сумира кои се овие сè уште многу нови пронајдоци:

„Здружувањето е блокчејн кој го складира коренот на состојбата и барем доволно податоци за трансакцијата за повторно да ја пресмета моменталната состојба од генезата внатре во блокот на различен „матичен“ блокчејн, додека го префрла извршувањето на трансакцијата „оф синџир“ во посебна мрежа на јазли“.

Збирките за валидност содржат доволно податоци во синџирот за „докажување на валидност“ за да се осигура дека новите собирни блокови ги следат правилата на протоколот за собирање.

Овие докази се создаваат преку ZK-tech, денес претежно STARK, и на тој начин всушност добивате метод на компресија каде што можете да завршите да речеме 100x трансакции на овој втор слој, со огромно мнозинство од безбедноста на основниот слој, и сето тоа се преведува на само една трансакција на синџир.

Ова има значителни придобивки од употребливоста во однос на нешто како Lightning Network затоа што не ви требаат работи како колатерали, рутери итн., туку само депонирате во збирката.

За едноставни трансфери, тие во голема мера се имплементирани на ethereum каде што сега работат на цела виртуелна машина базирана на zk Ethereum со надеж дека на крајот решението ZK може да се примени на самиот основен слој.

Во биткоинот, сепак, немаше многу работа на тоа се до оваа пролет, кога Треј Дел Бонис, развивач на биткоин, објавена Код примери за тоа како може да се имплементираат собирањата на валидноста во биткоин. Светлина вели:

„Би било можно да се изгради збир на валидност на биткоинот со користење на мајчиниот програмски јазик на биткоин, нецелосен Туринг, Script, со релативно мали промени (во однос на отпечатокот на кодот) на оптичките кодови што ги поддржува Скриптата…

Според Дел Бонис, промените потребни за поддршка на собирање на валидност на биткоинот се неколку дополнителни оптички кодови кои ги овозможуваат двата главни примитива на неговиот дизајн на збирка - верификација доказ за валидност и рекурзивни договори…

Рекурзивните договори се еден вид паметен договор кој го ограничува типот на скрипта до која може да се испрати БТК откако ќе се потроши.

Дел Бонис користи рекурзивни договори за да ја пропагира конструкцијата на собирање напред со секое ажурирање на состојбата, осигурувајќи дека БТК што е заклучен во скрипта за собирање и не е повлечен од нивниот сопственик, сè уште останува во скриптата од едно ажурирање на друга состојба на собирање.

Откако сопственикот на БТК на списокот ќе потврди валидна трансакција за повлекување на збирката, тогаш тие можат да излезат од скриптата на рекурзивниот договор со нивниот БТК на адресата за повлекување L1 што ја навеле.

Рекурзивните договори се промена на Скриптата што долго време се разгледуваше од заедницата на биткоин. Сепак, во моментов нема конкретни предлози што постигнале широк консензус меѓу заедницата на развивачи на биткоин за спроведување на рекурзивни договори.

Концептуално ова звучи едноставно. Рекурзивните договори се занимаваат со делот за заклучување, или трансферот на средства во и надвор од списокот, додека некои други промени се потребни за да се интегрираат доказите.

Сепак, биткоинот е познато бавно да се менува, но Лајт вели дека предлогот е целосно компатибилен со етосот на биткоинот, кажувајќи им на списокот за испраќање на развивачите на биткоин:

„Збирките за валидност имаат потенцијал да ја подобрат приспособливоста, приватноста и програмибилноста на биткоинот без да се жртвуваат основните вредности или функционалноста на биткоинот како систем за електронски готовина peer-to-peer.

Со оглед на „недоверливата“ природа на собирите на валидност како криптографски обезбедени екстензии на нивниот родителски синџир и со оглед на статусот на биткоин како најсигурен слој за порамнување, може да се каже дека овие протоколи се „совршено совпаѓање“ еден за друг“.

Тие не бараат дополнителен опсег или складирање, така што обезбедуваат приспособливост без забележителни компромиси.

Сепак, нивната имплементација во биткоинот најверојатно ќе биде многу бавна, а Light наместо тоа сугерира:

„Проектот за страничен синџир Elements (и течниот блокчејн кој се базира на Елементи) сè уште нема поддршка за доказите за валидност потребни за поддршка на собирање валидност, но има поддршка за рекурзивни договори.

Спроведувањето на поддршка за докази за валидност во Elements, заедно со некои од другите промени што Дел Бонис ги идентификуваше како убави да се има, затоа би можело да биде пат кон тестирање на протокол за собирање валидност што на крајот е наменет да се распореди на биткоин.

Течноста ја одржува Blockstream со Грег Сандерс од тој Blockstream кој наведува на дискусијата за мејлинг листата:

„Дали постои лист за измама на една страница со „прашања“ за интроспекција на трансакцијата/OP_ZKP(?) и нивна употреба и одделно и заедно за различни архитектури за собирање?

Op_ZKP не постои баш, и затоа можеби го стави прашалникот, но прашањето може добро да укаже дека иако концептуално звучи лесно, всушност спроведувањето на ова во многу ограничениот јазик за биткоин скрипта веројатно нема да биде воопшто лесно.

Не само затоа што тоа ќе биде беспрекорен развој, иако не е целосно оригинален бидејќи развивачите во ethereum работат на овие zk системи од 2019 година.

Пренесувањето што сега е достигнато до точка каде што скелетот е поставен за биткоин. Целосната имплементација сепак може да биде доста време далеку.