Norint pasiekti momentinį 27 ms patvirtinimą Bitcoin, prireiks 17 GPU metų skaičiavimo galios
„Hazync“ kūrėjas praneša, kad 1,7 MB atskiras tikrintuvas per 27 milisekundes patikrino 226 434 baitų kriptografinį kvitą, apimantį pirmuosius 1 789 Bitcoin blokus. Rugpjūčio 15 d. paskelbimas apriboja tai ankstyvą Bitcoin istorijos atkarpą. Visiška genezės iki galo įrodymo kampanija lieka nebaigta.
„Hazync“ yra tyrimo prototipas, kuris naudoja RISC Zero virtualią mašiną be žinių arba zkVM, kad Bitcoin patvirtinimą būtų galima pakartotinai naudoti. zkVM vykdo patvirtinimo programą, o gautas kvitas suteikia kitiems vartotojams kompaktišką failą, kurį reikia patikrinti. Kūrėjo dizainas sutelkia įrodymų generavimą tarp bandytojų ir palieka kvitų patikrinimą daug didesnei gyventojų grupei.
Šių dviejų darbų išlaidos kardinaliai skiriasi. Kūrėjas skaičiuoja, kad istorinis užpildymas užtruks maždaug 17 GPU metų, o vėliau – maždaug šešių Nvidia L40S GPU pajėgumų, kad neatsiliktų nuo naujų blokų. Pigūs kvitų čekiai gaunami po to, kai tikrintojai, auditoriai ir archyvų operatoriai pateikia brangų darbą.
Tikrinimas yra pigus; įrodyti yra brangu
Įprastas naujas Bitcoin mazgas savarankiškai atkuria grandinę. „Hazync“ paleidžia „Bitcoin“ taisykles zkVM viduje, įrodo, kad tos taisyklės priėmė kiekvieną uždengtą bloką, ir rekursyviai sujungia blokų įrodymus į vieną kvitą.
Viešojoje „Hazync“ saugykloje aprašoma svečių programa, sukurta iš svarbių „Bitcoin Core v28“ konsensuso kodo dalių ir „libsecp256k1“, sudarytos 32 bitų RISC-V. Pakartotinis „Core“ kodo naudojimas sumažina konsensuso elgseną, kurią reikia iš naujo nustatyti atskiroje grandinėje.
741 000 bloko etalonas matuoja naujausių „Bitcoin“ duomenų įrodymo generavimo išlaidas. Kūrėjas praneša, kad bloke buvo 670 įvesčių ir reikėjo 394 UTXO lapų. Įrodyti kaip 16 dalių dviejuose L40S GPU užtruko apie 55 minutes, įskaitant 27 minutes agregacijai.
Šis matavimas informuoja kūrėją apie 17 GPU metų užpildymui nuo pradžios iki galo. Turima medžiaga pateikia reprezentatyvius projekto etalonus, o ne audituotą matavimą visose Bitcoin istorijos erose. Todėl „Hazync“ visos grandinės našumas lieka apytikslis, kol kampanija bus baigta.
Programinės įrangos pakeitimai taip pat gali ištrinti užbaigtą darbą. Kiekvienas „Hazync“ kvitas priskiriamas METHOD_ID, sudarytos svečio programos piršto atspaudui. Nauja svečių versija gauna naują identifikatorių, todėl ankstesni kvitai lieka susieti su ankstesne versija.
Rugpjūčio 4 d. po to, kai vidaus auditas privertė nustatyti naują pradinį tašką, projektas buvo paleistas iš naujo. Vėlesnis patikimumo pataisymas gali suaktyvinti tą patį atstatymą, kai sukaups daug daugiau GPU laiko. Todėl patikrinamas biudžetas apima stabilų kodą, istorinį užpildymą ir nuolatinį antgalio pajėgumą.
Patvirtinimo greitis yra dalis, kurią mato galutinis vartotojas. 17 GPU metų įvertinimas įvertina sutelktas pramonės pastangas, reikalingas tokiai patirčiai sukurti.
Ko kvitas nepakeičia
Kvite suspaudžiamas galiojimo patikrinimas. Archyvo operatoriai vis dar teikia operacijų prieinamumą ir išsaugo istorinius liudijimo ir parašo baitus. Būsimoms svečių versijoms reikės tų baitų, kad būtų vėl įrodyta grandinė, todėl glaustas patikrinimas išsaugo ilgalaikį archyvų infrastruktūros saugojimo vaidmenį.
Geriausios grandinės pasirinkimas išlieka pagal Bitcoin daugiausiai darbo taisyklę. Hazync įtraukia kaupiamąjį darbą į kvito viešą išvestį, suteikdamas tikrintojui vertę, reikalingą konkuruojantiems patarimams palyginti. Kvitas nustato jos grandinės segmento taisyklių atitiktį; mazgas vis tiek pasirenka, kurią galiojančią grandinę sekti.
Archyvo tiltas taip pat išlaiko galią eikvoti tikrinimo išteklius. Projekte nurodytos kompozicijos taisyklės sujungia kiekvieną būsenos ribą su genezės kaiščiu, todėl suklastota būsena sugenda, kai kvitas prisijungia prie stuburo. Vietoj to, priešiškas tiltas gali aptarnauti netinkamas įvestis ir sunaudoti darbuotojo GPU laiką, todėl pasiekiamumas gali virsti ekonomine paslaugų atsisakymo rizika.
Kūrėjas apibūdina įrodymą, sudarytą iš genezės, kaip besąlyginį Hazync programinėje įrangoje ir kriptografinėse prielaidose. Vėlesnis kontrolinis taškas patenka į sistemą kaip aiškus pasitikėjimo įvestis.
Pačiame svečie yra svarbi peržiūros riba, nes jame veikia esminis pagrindinis sutarimo kodas, kartu su projekto palaikomomis subsidijų grafiko ir scenarijaus aktyvinimo aukščių dalimis. Projekte teigiama, kad jo scenarijaus žymėjimo grafikas yra skirtingai išbandytas kaip patikimas Core taisyklių viršelis, leidžiantis papildomai atmesti ta kryptimi, kuria siekiama išsaugoti patikimumą.
C++ perkeliamumo sluoksnis pritaiko Core zkVM, o ne Core Utreexo akumuliatorius atlieka Bitcoin nepanaudotų operacijų išvesties rinkinio pakeitimus. Atskleistos prielaidos taip pat apima RISC Zero patikrinimo sistemą SHA-256 ir secp256k1. „Hazync“ nurodo, kad perkeliamumo tarpikliai ir akumuliatorius yra didžiausio prioriteto likutinės peržiūros tikslai.
Saugykla praneša apie dvi AI padedamas išorines apžvalgas rugpjūčio mėn., kuriose nepavyko rasti kelio svečiui priimti netinkamą grandinę. Užsakytas profesionalus auditas lieka nebaigtas. Viešasis kodas leidžia atlikti išorinį patikrinimą, o gamybos užtikrinimas vis dar priklauso nuo tikslaus svečio ir kiekvieno komponento, esančio jo įrodymo ribose, prieštaringo patikrinimo.
„Hazync“ suskaido patikimą sinchronizavimą į keletą darbų su skirtingais operatoriais ir skirtingais biudžetais. Kvito patvirtinimas gali pasiekti milisekundes, kai yra patikrintas diapazonas. Įrodymų generavimui sunaudojama GPU talpa, archyvų operatoriai išsaugo pagrindinius duomenis, mazgai lygina patarimus, o auditoriai vertina svečią.
Stabilus diegimas su pakankamu skaičiavimu ir išorine peržiūra gali sumažinti pakartotinį naujų mazgų patvirtinimą. Dabartiniame projekto etape kūrėjo pranešta 27 milisekundžių patikra apima ribotą stuburą, o 17 GPU metų įvertinimas apibūdina nebaigtą kelią iki Bitcoin galo.
