#dusk $DUSK @Dusk Ada temuan audit Dusk yang membuat gagasan “verifikasi dengan aritmetika” terlihat lebih menarik daripada yang tampak pada awalnya.
Argumennya sederhana: emisi tetap, imbalan sebanding dengan stake, jadi siapa pun dapat merekonstruksi apa yang diperoleh seorang validator dari angka-angka publik. Tidak ada dasbor. Tidak ada rasa percaya. Hanya aritmetika.
Namun ada lapisan di bawah asumsi itu: apakah angkanya sendiri benar?
Tinjauan Oak Security terhadap lapisan konsensus Dusk dan pustaka node Rusk menemukan masalah pada logika validasi di lapisan yang bertanggung jawab untuk menentukan apakah transisi status valid.
Masalah itu tertangkap sebelum mainnet dan diperbaiki, dengan semua isu kritis/utama terselesaikan sebelum peluncuran.
Itu kabar baik. Tapi ini menyoroti perbedaan penting:
Transparansi dan kebenaran bukanlah jaminan yang sama.
Sebuah buku besar bisa membuat angkanya sepenuhnya terlihat. Itu tidak otomatis berarti logika yang menghasilkan angka-angka tersebut benar-benar bebas dari kekeliruan.
Sifat “verifikasi dengan aritmetika” bernilai justru karena aturan konsensus yang mendasarinya benar. Audit membantu membuktikan itu — tetapi temuan audit juga menunjukkan mengapa jaminan tersebut tidak bisa begitu saja diasumsikan.
Jadi, di mana Anda akan menarik garis kepercayaan?
Audit independen kedua, bertahun-tahun produksi yang bersih, atau yang lainnya?
#dusk @Dusk $DUSK
Argumennya sederhana: emisi tetap, imbalan sebanding dengan stake, jadi siapa pun dapat merekonstruksi apa yang diperoleh seorang validator dari angka-angka publik. Tidak ada dasbor. Tidak ada rasa percaya. Hanya aritmetika.
Namun ada lapisan di bawah asumsi itu: apakah angkanya sendiri benar?
Tinjauan Oak Security terhadap lapisan konsensus Dusk dan pustaka node Rusk menemukan masalah pada logika validasi di lapisan yang bertanggung jawab untuk menentukan apakah transisi status valid.
Masalah itu tertangkap sebelum mainnet dan diperbaiki, dengan semua isu kritis/utama terselesaikan sebelum peluncuran.
Itu kabar baik. Tapi ini menyoroti perbedaan penting:
Transparansi dan kebenaran bukanlah jaminan yang sama.
Sebuah buku besar bisa membuat angkanya sepenuhnya terlihat. Itu tidak otomatis berarti logika yang menghasilkan angka-angka tersebut benar-benar bebas dari kekeliruan.
Sifat “verifikasi dengan aritmetika” bernilai justru karena aturan konsensus yang mendasarinya benar. Audit membantu membuktikan itu — tetapi temuan audit juga menunjukkan mengapa jaminan tersebut tidak bisa begitu saja diasumsikan.
Jadi, di mana Anda akan menarik garis kepercayaan?
Audit independen kedua, bertahun-tahun produksi yang bersih, atau yang lainnya?
#dusk @Dusk $DUSK