Hazync’ning dasturchisi 1 dan 1,789 gacha bo‘lgan bloklar uchun millisekundlik verifikatsiyani qayd etadi, biroq to‘liq zanjir bo‘ylab proving kampaniyasi hali tugallanmagan.
Hazync’ning dasturchisi 1.7 MB hajmdagi mustaqil verifier 226,434 baytli kriptografik receipt’ni tekshirganini, bu receipt Bitcoin’ning dastlabki 1,789 blokini qamrab olganini va 27 millisekundda bajarilganini ma’lum qildi. 15-avgustdagi e’lon natijani Bitcoin tarixining dastlabki qismigacha cheklaydi. Genesistan (boshlanish) tortib to tip’gacha (yakuniy nuqta) bo‘lgan to‘liq proof kampaniyasi hali tugallanmagan.
Hazync — bu RISC Zero’ning nol bilimga asoslangan virtual mashinasi yoki zkVM’dan foydalanadigan tadqiqot prototipi bo‘lib, Bitcoin validatsiyasini qayta ishlatishni osonlashtiradi. zkVM validatsiya dasturini bajaradi va hosil bo‘lgan receipt (tasdiqnoma) boshqa foydalanuvchilarga tekshirish uchun ixcham fayl beradi. Dasturchining dizayni isbot (proof) generatsiyasini proverlar orasida jamlaydi va receipt verifikatsiyasini ancha katta miqyosdagi aholiga qoldiradi.
Bu ikkala ishning narxi keskin farq qiladi. Dasturchi tarixiy qayta to‘ldirish uchun taxminan 17 ta GPU-yil kerak bo‘lishini baholaydi; so‘ng esa yangi bloklar tempiga yetib borish uchun taxminan olti Nvidia L40S GPUʼga teng quvvat talab qilinadi. Arzon kvitansiya tekshiruvlari provayderlar, auditorlar va arxiv operatorlari yuqorida (upstream) qimmat ishni taqdim etganidan keyin keladi.
Ommaviy Hazync repozitoriyasida Bitcoin Core v28 konsensus kodining muhim qismlaridan hamda libsecp256k1 kutubxonasidan yig‘ilgan, 32-bit RISC-V uchun kompilyatsiya qilingan mehmon dasturi tasvirlangan. Core kodini qayta ishlatish alohida sxemada (konstruktsiyada) qayta bayon qilinishi kerak bo‘lgan konsensus xatti-harakatlari miqdorini kamaytiradi.
Bu o‘lchov ishlab chiquvchining genezisdan tipgacha bo‘lgan qayta to‘ldirish uchun taxminan 17 ta GPU-yil kerakligi haqidagi bahosini asoslaydi. Mavjud materiallar Bitcoin tarixining har bir davri bo‘yicha audit qilingan o‘lchov emas, balki loyihaning vakillik benchmarklarini beradi. Shuning uchun Hazyncʼning butun zanjir bo‘yicha ishlashi, kampaniya yakunlanguncha, taxminiy bo‘lib qoladi.
Dasturiy taʼminotdagi o‘zgarishlar ham yakunlangan ishni o‘chirib yuborishi mumkin. Har bir Hazync kvitansiyasi kompilyatsiya qilingan mehmon dasturiga bog‘langan METHOD_ID — yaʼni identifikatorni biriktiradi. Yangi mehmon buildʼi yangi identifikator oladi va avvalgi kvitansiyalar oldingi versiyaga bog‘lanib qoladi.
Loyiha genezis doskasini 4-avgust kuni ichki audit yangi bazani majbur qilganidan keyin qayta ishga tushirdi. Keyinroq kiritiladigan tovushlik (soundness) tuzatishi, ancha ko‘proq GPU vaqti to‘plangach, xuddi shunday resetʼni keltirib chiqarishi mumkin. Shuning uchun proving byudjeti barqaror kod, tarixiy qayta to‘ldirish va tip uchun uzluksiz quvvatni qamrab oladi.
Mehmon dasturining o‘zi muhim ko‘rib chiqish chegarasini o‘z ichiga oladi: chunki unda yirik Core konsensus kodi ishlaydi, shuningdek subsidiyalar jadvali va script-aktivatsiya balandliklari uchun loyiha tomonidan saqlanadigan bo‘laklar mavjud. Loyiha o‘zining script-flag jadvali Core qoidalarining tovush (sound) superset’i sifatida differensial sinovdan o‘tkazilganini aytadi, yaʼni tovushligini saqlash uchun mo‘ljallangan yo‘nalishda qo‘shimcha rad etish imkonini beradi.
C++ portativlik qatlami Coreʼni zkVM uchun moslashtiradi, shuningdek Corega bog‘liq bo‘lmagan Utreexo accumulator Bitcoinʼning sarflanmagan tranzaksiya chiqimlari (UTXO) to‘plamiga o‘zgarishlarni biriktiradi. Oshkor qilingan taxminlar RISC Zeroʼning isbot tizimi, SHA-256 va secp256k1ʼni ham qamrab oladi. Hazync portativlik “shims”lari va accumulatorʼni eng yuqori ustuvorlikdagi qolgan ko‘rib chiqish (review) yo‘nalishlari sifatida ko‘rsatadi.
Repozitoriyada avgust oyida AI yordamidagi ikkita tashqi ko‘rib chiqish noto‘g‘ri zanjirni qabul qilish uchun mehmon uchun yo‘l topilmadi, degan xulosaga kelgani aytiladi. Buyurtma qilingan professional audit hali ham yakunlanmagan. Ommaviy kod tashqaridan tekshiruvga imkon beradi, ammo ishlab chiqarish kafolati esa aniq mehmon va uning isbot chegarasidagi har bir komponentni adverser (raqibona) tekshiruvdan o‘tkazishga tayanadi.
Hazync ishonchsiz (trustless) sinxronlashni bir nechta ishga bo‘lib, ularning har biri turli operatorlar va byudjetlarga ega. Kvitansiya verifikatsiyasi isbotlangan diapazon bo‘yicha millisekundlargacha yetishi mumkin. Proving (isbotlash) GPU quvvatini sarflaydi; arxiv operatorlari esa asosiy maʼlumotlarni saqlaydi; tugunlar tiplarni solishtiradi; auditorlar esa mehmonni baholaydi.
Yetarli hisoblash resursi va tashqi ko‘rib chiqish bilan barqaror implementatsiya yangi tugunlar bo‘yicha takroriy validatsiyani kamaytirishi mumkin. Loyiha hozirgi bosqichida ishlab chiquvchi xabar bergan 27 millisekundlik tekshiruv faqat cheklangan “umurtqa” (spine)ni qamrab oladi, 17 GPU-yil bahosi esa Bitcoinʼning tipʼigacha bo‘lgan hali tugallanmagan yo‘lni tasvirlaydi.