Cardano ZK alat za oporavak dovršava potpuni zahtjev novčanika na Preview testnetu

Cardano alat za oporavak temeljen na dokazima s nultim znanjem dovršio je potpuni zahtjev na Preview testnetu, prenijevši imovinu iz skrbničkog ugovora nakon potvrde da je podnositelj zahtjeva kontrolirao izvorni glavni seed.

Otvoreni izvorni izdanak uključuje kriptografski krug, lokalni dokazivač, validator Plutus V3, rad na formalnoj verifikaciji, testne transakcije i prototip sučelja nazvan ReclaimGlobal. Proširuje raniji eksperiment koji je objavio Charles Hoskinson u javno preglediv tijek oporavka s funkcionalnim rezultatima na lancu.

Repozitorij je privukao dodatnu pažnju nakon što je razvijatelj Phil istaknuo njegovu arhitekturu, dokumentaciju i sustav dokazivanja. Hoskinson je kasnije ponovno objavio tu ocjenu.

ReclaimGlobal povezuje vlasništvo nad novčanikom sa spašenom imovinom

ReclaimGlobal je osmišljen za situacije u kojima je imovina već uklonjena iz kompromitiranih vjerodajnica i smještena unutar ugovora za oporavak.

Pogođeni korisnik povezuje kompromitirani novčanik u načinu samo za čitanje, lokalno generira dokaz o vlasništvu i odabire novi novčanik za primanje imovine. Fraza za oporavak ostaje na korisničkom uređaju i ne šalje se ugovoru, operateru oporavka ni vanjskom poslužitelju.

Poseban tijek zaključavanja omogućuje operateru, spasitelju ili donatoru deponiranje imovine u Cardano UTxO vezan uz vlasnika. Sredstva tada može zatražiti samo korisnik koji može dokazati da je pogođena platna vjerodajnica izvedena iz odgovarajućeg glavnog seeda.

Alat nije namijenjen korisnicima koji su izgubili svoju frazu za oporavak. Podnositelj zahtjeva i dalje mora kontrolirati izvorni seed, a imovina prvo mora biti osigurana unutar skrbničke strukture. Sredstva koja su već prenesena izvan tog procesa oporavka ugovor ne može povratiti.

Repozitorij opisuje incident koji uključuje približno 8 823 pogođene platne vjerodajnice. U tehničkom objašnjenju navodi se da fraze za oporavak, glavni seedovi i chain kodovi nisu bili izloženi. Umjesto toga, izvedeni potpisni ključevi bili su kompromitirani zbog greške determinističkog noncea u potpisivaču transakcija.

Budući da se pojedine vjerodajnice novčanika izvode iz glavne tajne jednostranim operacijama, ukradeni izvedeni ključ može omogućiti neovlašteno potpisivanje transakcija bez otkrivanja izvornog seeda. Sustav oporavka koristi tu razliku kako bi odvojio legitimnog vlasnika novčanika od napadača koji drži samo kompromitiranu vjerodajnicu.

Plutus V3 verificira vlasništvo bez otkrivanja seeda

Dokaz o vlasništvu generira se lokalno putem Groth16 sustava dokazivanja koji radi nad krivuljom BLS12-381. Dobiveni dokaz ima 336 bajtova, dok temeljni krug sadrži približno 3,45 milijuna ograničenja.

Okruženje Plutus V3 na Cardanu verificira dokaz prije nego što skrbnički ugovor oslobodi bilo kakvu imovinu. Fraza za oporavak, privatni ključevi i potpuna derivacijska staza podnositelja zahtjeva ne objavljuju se na lancu.

Nova odredišna vjerodajnica kriptografski je vezana uz dokaz. Promatrač ne može kopirati transakciju i zamijeniti adresu primatelja jer promjena odredišta poništava zahtjev.

Validator također potvrđuje da tražena isplata odgovara pravu pohranjenom u podatku skrbništva. Dodatni uvjeti sprječavaju ugovor da isplati samome sebi ili da vrati imovinu kompromitiranoj vjerodajnici.

Dvije početne prekretnice dovršene su na Preview testnetu. U prvoj je pet testnih ADA zaključano iza verifikacijske barijere i pušteno nakon što je čvor prihvatio valjan dokaz. Druga transakcija koja je koristila isti dokaz s izmijenjenim jednim bajtom odbijena je.

Potpuni tijek oporavka zatim je testiran putem cjelovitog skrbničkog validatora. Položeno je pet testnih ADA, generiran je dokaz za novostvoreni odredišni novčanik, a ugovor je prije oslobađanja imovine verificirao vlasništvo, pravo i vezivanje odredišta.

Kasniji zahtjev dodao je dodatne zaštite, uključujući pravilo koje sprječava isplatu natrag pogođenoj vjerodajnici i mehanizam temeljen na ulaznicama za praćenje potrošenih zahtjeva. Transakcija se namirila unutar Cardano ograničenja izvršavanja.

Repozitorij također uključuje Lean 4 dokaze koji pokrivaju logiku odlučivanja validatora, zajedno s tehničkim specifikacijama, kodom kruga i nekoliko rundi recenzije. Jedna formalna veza ostaje otvorena između potpunog R1CS sustava ograničenja i kanonskog odnosa svjedoka, uključujući komponente SHA-512 i Ed25519.

Uporaba na mainnetu zahtijeva dodatne sigurnosne i upravljačke kontrole

ReclaimGlobal trenutačno djeluje kao prototip na Preview testnetu, pri čemu je nekoliko produkcijskih zaštitnih mjera još u razvoju.

Verifikacijski ključ korišten u postojećem uvođenju proizveden je putem trusted setupa s jednim operaterom. Repozitorij navodi da je taj model prikladan za razvoj na testnetu, ali ne i za sustav odgovoran za stvarnu korisničku imovinu.

Groth16 zahtijeva strukturirani proces postavljanja za izradu dokaznih i verifikacijskih ključeva. Sudionik koji zadrži sav tajni materijal postavljanja mogao bi teoretski proizvesti nevaljane dokaze koji ipak prolaze verifikaciju.

Predloženi produkcijski model stoga koristi višestranačku ceremoniju u kojoj neovisni doprinositelji dodaju vlastitu nasumičnost i uništavaju svoje pojedinačne tajne. Repozitorij opisuje proces koji uključuje javnu nasumičnost, objavljen transkript doprinosa i neovisnu verifikaciju dovršene ceremonije.

Operativne kontrole također ostaju neriješene. Dokumentacija navodi potrebu definiranja tko kreira popis podobnosti, kako se dodijeljeni iznosi mogu neovisno verificirati i kako se skrbnička imovina štiti dok se zahtjevi obrađuju.

Daljnji rad uključuje dovršetak sustava stanja potrošnje i nullifiera na lancu, jačanje zaštita kodiranja, pretvaranje prototipa u produkcijsku CIP-30 aplikaciju te naručivanje potpune vanjske revizije sklopa, ugovora i ceremonije postavljanja.

Transakcije na Previewu utvrdile su da Cardano može verificirati dokaz o vlasništvu s više milijuna ograničenja i dovršiti isplatu oporavka unutar jedne transakcije. Daljnje približavanje sustava produkciji sada ovisi o uklanjanju povjerenja u jednog operatera i uspostavi transparentnih pravila za skrbništvo, podobnost i autorizaciju zahtjeva.