Efallai y bydd atebion ail haen sy'n seiliedig ar ZK-tech yn dod i bitcoin gyda John Light o Gymrodoriaeth Ymchwil ZK-Rollup y Sefydliad Hawliau Dynol, gan gyflwyno cynnig sydd wedi bachu sylw rhai datblygwyr bitcoin.
Mewn trosolwg hir o gofrestriadau dilysrwydd a sut y gellir eu gweithredu yn iaith sgriptio gyfyngedig iawn bitcoin, mae Light yn gyntaf yn crynhoi'n ddefnyddiol beth yw'r dyfeisiadau newydd iawn hyn o hyd:
“Mae rollup yn blockchain sy'n storio gwraidd y wladwriaeth ac o leiaf digon o ddata trafodion i ailgyfrifo'r cyflwr presennol o genesis y tu mewn i floc cadwyn blockchain 'rhiant' gwahanol, wrth symud gweithrediad trafodion 'offchain' i rwydwaith nod ar wahân."
Mae rholiau dilysrwydd yn cynnwys digon o ddata ar y gadwyn ar gyfer “profion dilysrwydd” i sicrhau bod blociau rholio newydd yn dilyn rheolau'r protocol rholio i fyny.
Mae'r proflenni hyn yn cael eu creu trwy ZK-tech, y dyddiau hyn STARKs yn bennaf, ac felly mewn gwirionedd rydych chi'n cael dull cywasgu lle gallwch chi gwblhau trafodion 100x dyweder ar yr ail haen hon, gyda mwyafrif helaeth y diogelwch haen sylfaenol, ac mae'r cyfan yn cyfateb i ddim ond un trafodiad ar gadwyn.
Mae gan hyn fanteision defnyddioldeb sylweddol dros rywbeth fel y Rhwydwaith Mellt oherwydd nad oes angen pethau fel cyfochrog, llwybryddion, ac ati, rydych chi'n adneuo i'r rholio i fyny.
Ar gyfer trosglwyddiadau syml maent wedi'u gweithredu i raddau helaeth ar ethereum lle maent bellach yn gweithio ar beiriannau rhithwir Ethereum cyfan sy'n seiliedig ar zk gyda'r gobaith yn y pen draw y gellir cymhwyso'r datrysiad ZK i'r haen sylfaenol ei hun.
Mewn bitcoin fodd bynnag, ni fu llawer o waith arno tan y gwanwyn hwn pan fydd Trey Del Bonis, datblygwr bitcoin, gyhoeddi enghreifftiau cod o sut y gellir gweithredu treigladau dilysrwydd mewn bitcoin. Ysgafn yn dweud:
“Byddai’n bosibl adeiladu treigl dilysrwydd ar bitcoin gan ddefnyddio iaith raglennu brodorol Turing-anghyflawn bitcoin, Script, gyda newidiadau cymharol fach (o ran ôl troed cod) i’r opcodes Script y mae’n eu cefnogi…
Yn ôl Del Bonis, mae'r newidiadau sydd eu hangen i gefnogi treigladau dilysrwydd ar bitcoin yn ychydig o godau op ychwanegol sy'n galluogi dau brif egwyddor ei ddyluniad rholio - dilysu prawf dilysrwydd a chyfamodau ailadroddus ...
Mae cyfamodau ailadroddus yn fath o gontract smart sy'n cyfyngu ar y math o sgript y gellir anfon BTC ato unwaith y caiff ei wario.
Mae Del Bonis yn defnyddio cyfamodau ailadroddus i luosogi'r gwaith adeiladu rholio ymlaen gyda phob diweddariad cyflwr, gan sicrhau bod BTC sy'n cael ei gloi mewn sgript rholio ac nad yw wedi'i dynnu'n ôl gan eu perchennog ond yn aros yn y sgript o un diweddariad cyflwr rholio i'r nesaf.
Unwaith y bydd perchennog BTC ar y rollup yn cadarnhau trafodiad tynnu'n ôl dilys ar y rollup, yna gallant adael y sgript cyfamod ailadroddus gyda'u BTC i'r cyfeiriad tynnu'n ôl L1 a nodwyd ganddynt.
Mae cyfamodau ailadroddus yn newid i Sgript sydd wedi'i ystyried ers amser maith gan y gymuned bitcoin. Fodd bynnag, ar hyn o bryd nid oes unrhyw gynigion penodol sydd wedi cyflawni consensws eang ymhlith y gymuned datblygwyr bitcoin i weithredu cyfamodau ailadroddus. ”
Yn gysyniadol mae hyn yn swnio'n syml. Mae contractau ailadroddus yn ymdrin â'r rhan gloi, neu drosglwyddo arian i mewn ac allan o'r treigl, tra bod angen rhai newidiadau eraill er mwyn integreiddio'r proflenni.
Fodd bynnag, mae Bitcoin yn hynod o araf i newid, ond dywed Light fod y cynnig yn gwbl gydnaws ag ethos bitcoin, gan ddweud wrth restr bostio datblygwyr bitcoin:
“Mae’n bosibl y bydd treigladau dilysrwydd yn gwella scalability, preifatrwydd a rhaglenadwyedd bitcoin heb aberthu gwerthoedd craidd neu ymarferoldeb bitcoin fel system arian parod electronig rhwng cymheiriaid.
O ystyried natur ‘ddi-ymddiried’ treigladau dilysrwydd fel estyniadau o’u rhiant-gadwyn wedi’u diogelu’n criptograffig, ac o ystyried statws bitcoin fel yr haen setlo fwyaf diogel, gallai rhywun hyd yn oed ddweud bod y protocolau hyn yn cyfateb _berffaith i’w gilydd.”
Nid oes angen lled band na storfa ychwanegol arnynt, gan ddarparu graddadwyedd heb gyfaddawdau nodedig.
Fodd bynnag, mae eu gweithrediad mewn bitcoin yn debygol o fod yn araf iawn, gyda Light yn lle hynny yn awgrymu:
“Nid oes gan brosiect sidechain Elements (a’r blockchain Hylif sy’n seiliedig ar Elfennau) gefnogaeth eto i’r proflenni dilysrwydd sydd eu hangen i gefnogi treigliad dilysrwydd, ond mae ganddo gefnogaeth ar gyfer cyfamodau ailadroddus.
Gallai gweithredu cefnogaeth ar gyfer proflenni dilysrwydd mewn Elfennau, ynghyd â rhai o’r newidiadau eraill y nododd Del Bonis eu bod yn braf eu cael, felly fod yn llwybr i brofi protocol treigl dilysrwydd y bwriedir ei ddefnyddio ar bitcoin yn y pen draw.”
Mae hylif yn cael ei gynnal gan Blockstream gyda Greg Sanders o'r Blockstream hwnnw yn nodi ar y drafodaeth ar y rhestr bostio:
“A oes taflen dwyllo un dudalen o 'gofynion' ar gyfer mewnsylliad trafodion/OP_ZKP(?) a'u defnydd ar wahân a gyda'i gilydd ar gyfer gwahanol saernïaeth rolio?”
Nid yw'r Op_ZKP yn bodoli'n llwyr, a dyna efallai pam y rhoddodd y marc cwestiwn, ond efallai y bydd y cwestiwn yn dangos, er ei fod yn swnio'n hawdd yn gysyniadol, mae'n debyg na fydd gweithredu hyn yn yr iaith sgript bitcoin gyfyngedig iawn yn hawdd o gwbl.
Yn anad dim oherwydd y byddai'n ddatblygiad ymyl gwaedlyd, er nad yw'n gwbl wreiddiol gan fod devs yn ethereum wedi bod yn gweithio ar y systemau zk hyn ers 2019.
Cludo sydd bellach wedi cyrraedd y pwynt lle mae'r sgerbwd wedi'i osod allan ar gyfer bitcoin. Fodd bynnag, efallai y bydd cryn amser i ffwrdd o'r gweithrediad llawn.
Ffynhonnell: https://www.trustnodes.com/2022/10/12/validity-rollups-proposed-for-bitcoin