@Dusk Mencari apa yang sebenarnya dijamin oleh "PLONK

proof verified" di tingkat node,

sebab kebanyakan penjelasan menganggap verifikasi sebagai gerbang lulus/gagal tunggal tanpa hal lain untuk dibahas.

Jalur pra-verifikasi Dusk memastikan setiap transaksi Phoenix

melalui fungsi verifikasi bukti khusus

sebelum diterima ke dalam mempool.
Itulah titik pemeriksaan yang menjadi sandaran seluruh model privasi —

tanpa bukti, tidak ada penerimaan. $DUSK

Itulah bagian yang layak direnungkan.

Sebuah tinjauan keamanan pihak ketiga menandai bahwa titik pemeriksaan ini punya celah:

sebagian evaluasi di dalam verifikasi PLONK

belum sepenuhnya diperiksa seperti yang diasumsikan oleh desain.
Perbaikannya mendarat sebagai komitmen spesifik lebih awal tahun ini.

Ini pengingat bahwa "diverifikasi dengan bukti ZK" bukan
jaminan yang tetap — kekuatannya hanya setara dengan kode

yang menjalankan verifikasi,
dan kode itu bisa punya blind spot yang ditujukan untuk ditemukan oleh audit.

Saya menelusuri artinya secara praktis:

celah itu tidak berarti bukti palsu lolos begitu saja

di produksi, karena stack Dusk

sudah melewati beberapa audit terdahulu

dari sistem pembuktian dan pustaka node.

Namun ini berarti klaim bahwa "bukti dicek"

bergantung pada pengawasan yang berkelanjutan,

bukan pada jaminan kriptografis sekali jadi

yang tidak perlu ditinjau lagi. #dusk
Yang belum saya konfirmasi dari materi resmi Dusk

adalah apakah audit independen terhadap jalur verifikasi

dijalankan dengan jadwal tetap ke depan,

atau apakah dilakukan secara oportunistik setiap kali sebuah firma keamanan memutuskan untuk melihat.@Dusk #dusk $DUSK