Soluțiile bazate pe cel de-al doilea strat bazate pe tehnologie ZK ar putea veni la bitcoin cu John Light de la Bursa de cercetare ZK-Rollup a Fundației pentru Drepturile Omului, prezentând o propunere care a atras atenția unor dezvoltatori de bitcoin.
Într-o prezentare îndelungată a pachetelor de valabilitate și a modului în care pot fi implementate în limbajul de scripting foarte limitat al bitcoin, Light rezumă mai întâi cu ajutor care sunt aceste invenții încă foarte noi:
„Un rollup este un blockchain care stochează rădăcina de stat și cel puțin suficiente date de tranzacție pentru a recalcula starea curentă de la geneza din interiorul blocului unui blockchain „părinte” diferit, în timp ce trece execuția tranzacției „offchain” la o rețea de noduri separată.”
Rollup-urile de valabilitate conțin suficiente date în lanț pentru „dovezi de valabilitate” pentru a se asigura că noile blocuri de rollup respectă regulile protocolului de rollup.
Aceste dovezi sunt create prin ZK-tech, în prezent în mare parte STARK, și astfel, de fapt, obțineți o metodă de compresie în care puteți finaliza tranzacții de 100 de ori pe acest al doilea strat, cu marea majoritate a securității stratului de bază și totul se traduce doar prin o tranzacție în lanț.
Acest lucru are avantaje semnificative de utilizare față de ceva de genul Lightning Network, deoarece nu aveți nevoie de lucruri precum garanții, routere etc., doar depuneți în pachet.
Pentru transferuri simple, acestea au fost în mare parte implementate pe Ethereum, unde acum lucrează la o întreagă mașină virtuală Ethereum bazată pe zk, cu speranța că în cele din urmă soluția ZK poate fi aplicată la stratul de bază în sine.
Cu toate acestea, în bitcoin nu s-a lucrat prea mult până în această primăvară când Trey Del Bonis, un dezvoltator de bitcoin, publicat exemple de cod despre cum pot fi implementate pachetele de valabilitate în bitcoin. Ușoară spune:
„Ar fi posibil să se construiască un pachet de valabilitate pe bitcoin folosind limbajul de programare incomplet Turing nativ al bitcoin, Script, cu modificări relativ mici (în ceea ce privește amprenta codului) la codurile operaționale suportate de Script...
Potrivit lui Del Bonis, modificările necesare pentru a susține pachetele de valabilitate pe bitcoin sunt câteva coduri operaționale suplimentare care permit cele două primitive principale ale designului său cumulat - verificarea dovezii de valabilitate și acordurile recursive...
Convențiile recursive sunt un tip de contract inteligent care restricționează tipul de script la care poate fi trimis BTC odată ce este cheltuit.
Del Bonis folosește acorduri recursive pentru a propaga construcția rollup-ului înainte cu fiecare actualizare de stat, asigurându-se că BTC care este blocat într-un script de rollup și nu au fost retrase de proprietarul lor rămân încă în script de la o actualizare de stare de rollup la alta.
Odată ce proprietarul BTC din pachet confirmă o tranzacție de retragere validă în pachet, atunci poate părăsi scriptul recursiv de acord cu BTC la adresa de retragere L1 pe care a specificat-o.
Legămintele recursive sunt o schimbare a Script-ului care a fost mult timp luată în considerare de comunitatea bitcoin. Cu toate acestea, în prezent, nu există propuneri specifice care să fi obținut un consens larg în rândul comunității dezvoltatorilor de bitcoin pentru a implementa acorduri recursive.”
Conceptual, acest lucru sună simplu. Contractele recursive se ocupă de partea de blocare sau de transferul de fonduri în și în afara pachetului, în timp ce alte modificări sunt necesare pentru ca dovezile să fie integrate.
Cu toate acestea, Bitcoin este notoriu de încet să se schimbe, dar Light spune că propunerea este pe deplin compatibilă cu ethos-ul bitcoin, spunând listei de corespondență a dezvoltatorilor de bitcoin:
„Acumulările de valabilitate au potențialul de a îmbunătăți scalabilitatea, confidențialitatea și programabilitatea bitcoin fără a sacrifica valorile de bază sau funcționalitatea bitcoin ca sistem electronic de numerar peer-to-peer.
Având în vedere natura „fără încredere” a pachetelor de valabilitate ca extensii securizate criptografic ale lanțului lor părinte și având în vedere statutul bitcoin ca cel mai sigur nivel de soluționare, s-ar putea chiar spune că aceste protocoale se potrivesc perfect unul pentru celălalt.”
Nu necesită lățime de bandă suplimentară sau stocare, astfel încât oferă scalabilitate fără compromisuri demne de remarcat.
Cu toate acestea, implementarea lor în bitcoin este probabil să fie foarte lentă, Light sugerând în schimb:
„Proiectul Elements sidechain (și blockchain-ul Liquid care se bazează pe Elements) nu are încă suport pentru dovezile de validitate necesare pentru a susține un rollup de valabilitate, dar are suport pentru convenții recursive.
Implementarea suportului pentru dovezile de validitate în Elements, împreună cu unele dintre celelalte modificări pe care Del Bonis le-a identificat ca fiind plăcute, ar putea fi, prin urmare, o cale de testare a unui protocol de completare a validității care este destinat în cele din urmă să fie implementat pe bitcoin.”
Liquid este întreținut de Blockstream, iar Greg Sanders din acel Blockstream afirmând pe lista de discuții:
„Există o foaie de cheat de o pagină de „cere” pentru introspecția tranzacției/OP_ZKP(?) și utilizările lor atât separat, cât și împreună pentru diferite arhitecturi de acumulare?”
Op_ZKP nu prea există, motiv pentru care a pus semnul întrebării, dar întrebarea poate indica foarte bine că, deși conceptual sună ușor, implementarea acestui lucru în limbajul de script bitcoin foarte limitat probabil nu va fi deloc ușoară.
Nu în ultimul rând pentru că ar fi o dezvoltare de vârf, deși nu este complet originală, deoarece dezvoltatorii din Ethereum lucrează la aceste sisteme zk din 2019.
Transportul care a ajuns acum la punctul în care scheletul a fost așezat pentru bitcoin. Cu toate acestea, implementarea completă poate dura destul de mult.
Sursa: https://www.trustnodes.com/2022/10/12/validity-rollups-proposed-for-bitcoin