#dusk $DUSK @Dusk
Hanya butuh empat angka. Jalur Phoenix milik Dusk yang dilindungi—bagian yang membawa seluruh materi privasinya—memverifikasi bukti hanya lewat satu panggilan, dan panggilan itu tidak pernah memeriksa empat nilai selector terhadap komitmen yang berada tepat di dalam verifier key. $DUSK #dusk @Dusk sudah melewati tiga audit terpisah sebelum ini ditemukan pada bulan Februari.
Yang membuatku terkejut adalah bentuk “miss”-nya. Selector seharusnya berupa data publik yang tetap di sisi verifier dalam PLONK standar. widget kustom dusk-plonk memaksa selector itu menjadi angka yang disuplai prover, dan tidak ada yang memperbarui model mental yang menentukan apa yang perlu diikat secara kriptografis. Logika sirkuitnya sendiri baik dari ujung ke ujung—celahnya berada satu lapis di bawahnya, pada pengkabelan verifikasinya.
Yang berubah bagiku adalah menyadari bahwa “diaudit tiga kali” tidak sama dengan “diaudit terhadap model ancaman yang tepat.” Seorang peninjau yang memeriksa logika constraint bisa saja melewatkan asumsi struktural yang diam-diam berhenti berlaku. Ini lebih sulit ditangkap dibanding bug kode biasa, dan ini tidak unik untuk Dusk—pola yang sama muncul secara independen di Jellyfish milik Espresso.
Langkah berikutnya yang akan kuperiksa: apakah dorongan Dusk untuk spesifikasi verifikasi PLONK yang distandardisasi benar-benar dirilis, atau hanya tetap menjadi utas diskusi.
Hanya butuh empat angka. Jalur Phoenix milik Dusk yang dilindungi—bagian yang membawa seluruh materi privasinya—memverifikasi bukti hanya lewat satu panggilan, dan panggilan itu tidak pernah memeriksa empat nilai selector terhadap komitmen yang berada tepat di dalam verifier key. $DUSK #dusk @Dusk sudah melewati tiga audit terpisah sebelum ini ditemukan pada bulan Februari.
Yang membuatku terkejut adalah bentuk “miss”-nya. Selector seharusnya berupa data publik yang tetap di sisi verifier dalam PLONK standar. widget kustom dusk-plonk memaksa selector itu menjadi angka yang disuplai prover, dan tidak ada yang memperbarui model mental yang menentukan apa yang perlu diikat secara kriptografis. Logika sirkuitnya sendiri baik dari ujung ke ujung—celahnya berada satu lapis di bawahnya, pada pengkabelan verifikasinya.
Yang berubah bagiku adalah menyadari bahwa “diaudit tiga kali” tidak sama dengan “diaudit terhadap model ancaman yang tepat.” Seorang peninjau yang memeriksa logika constraint bisa saja melewatkan asumsi struktural yang diam-diam berhenti berlaku. Ini lebih sulit ditangkap dibanding bug kode biasa, dan ini tidak unik untuk Dusk—pola yang sama muncul secara independen di Jellyfish milik Espresso.
Langkah berikutnya yang akan kuperiksa: apakah dorongan Dusk untuk spesifikasi verifikasi PLONK yang distandardisasi benar-benar dirilis, atau hanya tetap menjadi utas diskusi.