#dusk $DUSK @Dusk Dusk’da “aritmetika orqali tekshirish” g‘oyasini birinchi ko‘rinishidagidan ham qiziqroq qiladigan audit xulosasi bor.
Mantiq oddiy: emissiya belgilangan, mukofotlar esa ulushga (stake) mutanosib, shuning uchun hamma ommaviy raqamlardan validador qancha olganini qayta hisoblab chiqishi mumkin. Dashboard yo‘q. Ishonch ham yo‘q. Faqat arifmetika.
Lekin bu taxmin ostida yana bir qatlam bor: raqamlarning o‘zi to‘g‘rimi?
Oak Security Dusk’ning konsensus qatlamini va Rusk node kutubxonasini ko‘rib chiqishda, davlat o‘tishlari (state transitions) haqiqiyligini aniqlash uchun mas’ul bo‘lgan qatlamda validatsiya mantiqi bilan bog‘liq muammolar borligini aniqladi.
Bular mainnetdan oldin topilib, tuzatildi; ishga tushirishdan avval barcha kritik/major masalalar hal qilingan.
Bu yaxshi. Ammo muhim farqni ko‘rsatadi:
Shaffoflik va to‘g‘rilik bir xil kafolat emas.
Daftar (ledger) o‘z raqamlarini butunlay ko‘rsatishi mumkin. Bu esa, ushbu raqamlarni ishlab beradigan mantiq hech qanday nuqsonsiz degani emas.
“Arifmetika orqali tekshirish” xususiyati aynan shundan qimmatli: konsensusning asosiy qoidalari to‘g‘ri bo‘lgani uchun. Audit buni tasdiqlashga yordam beradi — ammo audit xulosasi, bu kafolatni shunchaki taxmin qilib bo‘lmasligini ham ko‘rsatadi.
Demak, ishonch chizig‘ini qayerdan tortasiz?
Ikkinchi mustaqil audit, yillar davomida muammosiz ishlab turgan tizimmi yoki boshqachami?
#dusk @Dusk $DUSK
Mantiq oddiy: emissiya belgilangan, mukofotlar esa ulushga (stake) mutanosib, shuning uchun hamma ommaviy raqamlardan validador qancha olganini qayta hisoblab chiqishi mumkin. Dashboard yo‘q. Ishonch ham yo‘q. Faqat arifmetika.
Lekin bu taxmin ostida yana bir qatlam bor: raqamlarning o‘zi to‘g‘rimi?
Oak Security Dusk’ning konsensus qatlamini va Rusk node kutubxonasini ko‘rib chiqishda, davlat o‘tishlari (state transitions) haqiqiyligini aniqlash uchun mas’ul bo‘lgan qatlamda validatsiya mantiqi bilan bog‘liq muammolar borligini aniqladi.
Bular mainnetdan oldin topilib, tuzatildi; ishga tushirishdan avval barcha kritik/major masalalar hal qilingan.
Bu yaxshi. Ammo muhim farqni ko‘rsatadi:
Shaffoflik va to‘g‘rilik bir xil kafolat emas.
Daftar (ledger) o‘z raqamlarini butunlay ko‘rsatishi mumkin. Bu esa, ushbu raqamlarni ishlab beradigan mantiq hech qanday nuqsonsiz degani emas.
“Arifmetika orqali tekshirish” xususiyati aynan shundan qimmatli: konsensusning asosiy qoidalari to‘g‘ri bo‘lgani uchun. Audit buni tasdiqlashga yordam beradi — ammo audit xulosasi, bu kafolatni shunchaki taxmin qilib bo‘lmasligini ham ko‘rsatadi.
Demak, ishonch chizig‘ini qayerdan tortasiz?
Ikkinchi mustaqil audit, yillar davomida muammosiz ishlab turgan tizimmi yoki boshqachami?
#dusk @Dusk $DUSK