Seorang teman tukang kunci pernah memberitahuku bahwa kunci tersulit untuk dibobol bukanlah yang memiliki pin lebih banyak—melainkan yang ketika satu pin saja diubah, seluruh mekanismenya menjadi tidak valid, bukan hanya pin itu. Aku mengira bukti-bukti keamanan Phoenix milik Dusk melindungi dari hal-hal yang jelas—kepemilikan, keseimbangan, double-spend—dan bahwa sifat yang mudah dimodifikasi adalah masalah pihak lain, yang ditangani di tempat lain dalam tumpukan.
Asumsi itu runtuh ketika aku menemukan makalah bukti keamanan formal milik Dusk sendiri untuk Phoenix.
Makalah itu menyatakan langsung: Dusk mempublikasikan model keamanan dan bukti yang mencakup non-malleability, ledger-indistinguishability, serta balance-plus-note-spendability—semuanya sebagai sifat yang dipenuhi Phoenix secara bersamaan, bukan sebagai pemeriksaan tambahan yang terpisah. Perlindungan terhadap malleability berarti sebuah transaksi tidak bisa diubah setelah kejadian dan tetap lolos sebagai bukti valid yang sama—seseorang yang menyadap transaksi siaran tidak bisa mengakali dan mengirim ulang versi modifikasi yang tetap terverifikasi.
Perlu disebutkan apa yang membuat ini benar-benar langka: makalah yang sama menyatakan Zcash pernah mencoba pendekatan keamanan formal yang serupa untuk model transaksinya sendiri, namun akhirnya ditinggalkan. Materi Dusk menggambarkan Phoenix sebagai model transaksi yang menjaga privasi pertama yang berhasil mengirimkan bukti keamanan lengkap untuk semua properti ini sekaligus.
Uji nyata untuk DUSK adalah apakah cakupan bukti formal tersebut tetap bertahan saat pengembangan Phoenix 2.0, yang disebut dalam pembaruan yang sama untuk alasan kepatuhan MiCA, mengubah implementasi yang mendasarinya.
Jaminan non-malleability yang terbukti secara formal—lebih penting bagimu daripada jaminan yang sekadar belum pernah rusak dalam praktik?
#dusk $DUSK @Dusk
Asumsi itu runtuh ketika aku menemukan makalah bukti keamanan formal milik Dusk sendiri untuk Phoenix.
Makalah itu menyatakan langsung: Dusk mempublikasikan model keamanan dan bukti yang mencakup non-malleability, ledger-indistinguishability, serta balance-plus-note-spendability—semuanya sebagai sifat yang dipenuhi Phoenix secara bersamaan, bukan sebagai pemeriksaan tambahan yang terpisah. Perlindungan terhadap malleability berarti sebuah transaksi tidak bisa diubah setelah kejadian dan tetap lolos sebagai bukti valid yang sama—seseorang yang menyadap transaksi siaran tidak bisa mengakali dan mengirim ulang versi modifikasi yang tetap terverifikasi.
Perlu disebutkan apa yang membuat ini benar-benar langka: makalah yang sama menyatakan Zcash pernah mencoba pendekatan keamanan formal yang serupa untuk model transaksinya sendiri, namun akhirnya ditinggalkan. Materi Dusk menggambarkan Phoenix sebagai model transaksi yang menjaga privasi pertama yang berhasil mengirimkan bukti keamanan lengkap untuk semua properti ini sekaligus.
Uji nyata untuk DUSK adalah apakah cakupan bukti formal tersebut tetap bertahan saat pengembangan Phoenix 2.0, yang disebut dalam pembaruan yang sama untuk alasan kepatuhan MiCA, mengubah implementasi yang mendasarinya.
Jaminan non-malleability yang terbukti secara formal—lebih penting bagimu daripada jaminan yang sekadar belum pernah rusak dalam praktik?
#dusk $DUSK @Dusk