Përmbledhjet e vlefshmërisë të propozuara për Bitcoin - Trustnodes

Zgjidhjet e shtresës së dytë të bazuara në teknologjinë ZK mund të vijnë në bitcoin me John Light nga Fondacioni për të Drejtat e Njeriut ZK-Rollup Research Fellowship, duke paraqitur një propozim që ka tërhequr vëmendjen e disa zhvilluesve të bitcoin.

Në një përmbledhje të gjatë të grumbullimeve të vlefshmërisë dhe se si ato mund të zbatohen në gjuhën shumë të kufizuar të skriptit të bitcoin, Light fillimisht përmbledh në mënyrë të dobishme se cilat janë këto shpikje ende shumë të reja:

"Një përmbledhje është një blockchain që ruan rrënjën e gjendjes dhe të paktën të dhëna të mjaftueshme të transaksionit për të rillogaritur gjendjen aktuale nga gjeneza brenda bllokut të një blockchain tjetër 'prind', ndërkohë që e zhvendos "offchain" të ekzekutimit të transaksionit në një rrjet të veçantë nyjesh.

Përmbledhjet e vlefshmërisë përmbajnë të dhëna të mjaftueshme në zinxhir për "provat e vlefshmërisë" për të siguruar që blloqet e reja të grumbullimit të ndjekin rregullat e protokollit të grumbullimit.

Këto prova krijohen përmes ZK-tech, në ditët e sotme kryesisht STARK, dhe kështu në fakt ju merrni një metodë kompresimi ku mund të përfundoni të themi 100x transaksione në këtë shtresë të dytë, me shumicën dërrmuese të sigurisë së shtresës bazë, dhe e gjitha përkthehet vetëm në një transaksion në zinxhir.

Kjo ka përfitime të rëndësishme të përdorshmërisë ndaj diçkaje si Rrjeti Lightning sepse nuk keni nevojë për gjëra të tilla si kolaterale, ruter, etj., thjesht depozitoni në përmbledhje.

Për transferime të thjeshta, ato janë zbatuar kryesisht në ethereum, ku tani po punojnë në një të tërë makina virtuale Ethereum të bazuar në zk me shpresën se përfundimisht zgjidhja ZK mund të aplikohet në vetë shtresën bazë.

Megjithatë, në bitcoin nuk ka pasur shumë punë deri në këtë pranverë, kur Trey Del Bonis, një zhvillues i bitcoin, publikuar Shembuj kodesh se si mund të zbatohen grumbullimet e vlefshmërisë në bitcoin. Drita thotë:

“Do të ishte e mundur të ndërtohet një grumbullim vlefshmërie në bitcoin duke përdorur gjuhën e programimit amtare të bitcoin-it jo të plotë, Script, me ndryshime relativisht të vogla (përsa i përket gjurmës së kodit) në kodet optike që Script mbështet…

Sipas Del Bonis, ndryshimet e nevojshme për të mbështetur grumbullimet e vlefshmërisë në bitcoin janë disa opcode shtesë që mundësojnë dy primitivet kryesore të dizajnit të tij të grumbullimit - verifikimin e vërtetimit të vlefshmërisë dhe besëlidhjet rekursive…

Besëlidhjet rekursive janë një lloj kontrate inteligjente që kufizon llojin e skriptit në të cilin mund të dërgohet BTC pasi të shpenzohet.

Del Bonis përdor besëlidhjet rekursive për të përhapur ndërtimin e grumbullimit përpara me çdo përditësim të gjendjes, duke siguruar që BTC që është i kyçur në një skript grumbullimi dhe nuk është tërhequr nga pronari i tyre ende të mbetet në skenar nga një përditësim i gjendjes së grumbullimit në tjetrin.

Pasi pronari i BTC në grumbullim konfirmon një transaksion të vlefshëm tërheqjeje në grumbullim, atëherë ata mund të dalin nga skripti i besëlidhjes rekursive me BTC-në e tyre në adresën e tërheqjes L1 që ata specifikuan.

Besëlidhjet rekursive janë një ndryshim në Script që është konsideruar prej kohësh nga komuniteti i bitcoin. Sidoqoftë, aktualisht nuk ka propozime specifike që kanë arritur konsensus të gjerë midis komunitetit të zhvilluesve të bitcoin për të zbatuar besëlidhjet rekursive.

Konceptualisht kjo tingëllon e thjeshtë. Kontratat rekursive kanë të bëjnë me pjesën mbyllëse, ose transferimin e fondeve brenda dhe jashtë përmbledhjes, ndërkohë që kërkohen disa ndryshime të tjera që provat të integrohen.

Bitcoin megjithatë është dukshëm i ngadalshëm në ndryshim, por Light thotë se propozimi është plotësisht i pajtueshëm me etikën e bitcoin, duke i thënë listës së postimeve të zhvilluesve të bitcoin:

“Përmbledhjet e vlefshmërisë kanë potencialin për të përmirësuar shkallëzueshmërinë, privatësinë dhe programueshmërinë e bitcoin pa sakrifikuar vlerat bazë ose funksionalitetin e bitcoin si një sistem elektronik i parave të gatshme nga kolegët.

Duke pasur parasysh natyrën 'të pabesueshme' të grumbullimeve të vlefshmërisë si zgjatime të siguruara kriptografikisht të zinxhirit të tyre mëmë, dhe duke pasur parasysh statusin e bitcoin si shtresa më e sigurt e shlyerjes, mund të thuhet se këto protokolle janë një _përputhje e përsosur_ me njëri-tjetrin.”

Ata nuk kërkojnë gjerësi bande ose ruajtje shtesë, kështu që ofrojnë shkallëzim pa kompensime të rëndësishme.

Megjithatë, zbatimi i tyre në bitcoin ka të ngjarë të jetë shumë i ngadalshëm, me Light që në vend të kësaj sugjeron:

“Projekti i zinxhirit anësor Elements (dhe bllokimi i lëngshëm që bazohet në Elements) nuk ka ende mbështetje për provat e vlefshmërisë të nevojshme për të mbështetur një grumbullim vlefshmërie, por ka mbështetje për besëlidhjet rekursive.

Zbatimi i mbështetjes për provat e vlefshmërisë në Elements, së bashku me disa nga ndryshimet e tjera që Del Bonis i identifikoi si të mira për t'u pasur, mund të jetë një rrugë për të testuar një protokoll grumbullimi të vlefshmërisë që synohet përfundimisht të vendoset në bitcoin.

Liquid mirëmbahet nga Blockstream me Greg Sanders të atij Blockstream duke deklaruar në diskutimin e listës së postimeve:

"A ka një fletë mashtrimi me një faqe "kërkon" për introspeksionin e transaksionit/OP_ZKP(?) dhe përdorimet e tyre veçmas dhe së bashku për arkitektura të ndryshme të grumbullimit?"

Op_ZKP nuk ekziston plotësisht, kjo është ndoshta arsyeja pse ai vendosi pikëpyetjen, por pyetja mund të tregojë fare mirë se megjithëse konceptualisht tingëllon e lehtë, zbatimi i kësaj në gjuhën shumë të kufizuar të skriptit të bitcoin ndoshta nuk do të jetë aspak e lehtë.

Jo më pak për shkak se do të ishte zhvillim i rrjedhshëm, megjithëse jo plotësisht origjinal pasi zhvilluesit në ethereum kanë punuar në këto sisteme zk që nga viti 2019.

Transporti që tani ka arritur në pikën ku skeleti është shtruar për bitcoin. Megjithatë, zbatimi i plotë mund të jetë mjaft kohë larg.