Agar siz Ironwood taklifi ostida Zcash’ning muomaladagi ta’minotini (circulating supply) tekshirish haqida so‘rayotgan bo‘lsangiz, asosiy g‘oya shundan iboratki:
Fon
Zcash’ning Orchard himoyalangan poolida (shielded pool) soxtalashtirishga (counterfeiting) oid muhim zaiflik topildi va favqulodda yangilanishda tuzatildi. Hozircha bu xato ishlatilgani haqida hech qanday dalil yo‘q bo‘lsa-da, Orchard’ning maxfiylik xususiyatlari foydalanuvchilarga hech qachon noqonuniy $ZEC yaratilmaganini mustaqil ravishda isbotlashga imkon bermaydi.
Ironwood’ning o‘zgarishlari
Tavsiya etilayotgan Ironwood yangilanishi yangi himoyalangan (shielded) havzani yaratadi va eski Orchard havzasining yangi ichki natijalar (internal outputs)ni ishlab chiqarishini samarali tarzda to‘xtatib qo‘yadi. Mablag‘lar faqat Orchard’dan Zcash’ning mavjud Turnstile hisob-kitob mexanizmi orqali chiqib, Ironwood’ga o‘tishi mumkin.
Aylanayotgan supply tekshiruvi qanday ishlaydi
Ironwood ostida:
Foydalanuvchilar node ishga tushirib, faol pool’larning balanslarini jamlashlari mumkin.
Turnstile mexanizmi Orchard’dan ZEC faqat unga qonuniy ravishda kirganidan ko‘p chiqolmasligini ta’minlaydi.
Shuning uchun, Ironwood ishga tushgach, protokolning o‘zi aylanayotgan supply uchun tekshirib bo‘ladigan yuqori chegarani taqdim etadi.
Foydalanuvchilar endi Orchard’dagi bug’ ekspluatatsiya qilingan-qilinmaganligi haqida ishlab chiquvchi bayonotlariga ishonishlari shart emas; ular konsensus qoidalari va pool balanslaridan ta’minot (supply) muvofiqligini tekshirib olishlari mumkin.
Nega bu muhim?
Orchard’ni patchlashdan keyin qolgan hal etilmagan muammo zaiflikning o‘zi emas, balki aylanayotgan supply to‘g‘ri qolayotganini mustaqil ravishda tekshirib bo‘lmasligidir. Ironwood aynan shu xususiyatni tiklash uchun mo‘ljallangan.
O‘tgan ekspluatatsiya ehtimoliga oid dalillar
Ironwood, shuningdek, soxtalashtirilgan ZEC hech qachon mavjud bo‘lgan-bo‘lmaganini ham aniqlab berishi mumkin:
Agar migratsiya davom etsa va hech qanday ortiqcha ZEC Orchard’dan chiqishga urinmasa, bu soxtalashtirish sodir bo‘lmaganiga kuchli dalil bo‘lardi.
Agar ortiqcha ZEC migratsiyaga urinsa, Turnstile mexanizmi uni yangi poolga kirishga qo‘ymaydi va ekspluatatsiya bo‘lganini ko‘rsatadigan kuzatiladigan on-chain dalil paydo bo‘ladi.
Qisqa tekshiruv bayonoti
Ironwood taklifi Orcharddagi barcha mablag‘larni konsensus majburlagan Turnstile orqali yangi shielded pool’ga o‘tkazish yo‘li bilan aylanayotgan supply tekshiruvini tiklaydi; shu tariqa istalgan node ishga tushirgan kishi, muomaladagi ZEC miqdori protokol tomonidan qonuniy hisobga olingan miqdordan oshib ketmasligini tekshirishi mumkin.
Agar siz supply accounting modeli uchun rasmiy audit uslubidagi tekshiruvni yoki Turnstile mexanizmi bo‘yicha matematik yurish-tahlilni izlayotgan bo‘lsangiz, accounting tenglamalarini batafsil ajratib bera olaman.