Saya sudah duduk memikirkan bagaimana transaksi Phoenix sebenarnya diverifikasi pada @Dusk lately, dan kebanyakan orang masih membayangkan proses biasa "lihat data dan setujui".

tapi faktanya, verifikator tidak pernah mendapatkan pengirim, penerima, atau jumlahnya. Yang diterima adalah bukti PLONK. Bukti itu mengenkode aturan yang penting: si pembelanja benar-benar memiliki note yang sedang dibelanjakan, jumlahnya seimbang dengan benar, dan tidak ada yang digunakan ulang. Pengecekan hanya memastikan bahwa matematikanya benar. Ia tidak pernah membangun ulang atau memeriksa transaksi tersembunyi itu sendiri.

Itu adalah perubahan nyata dalam arti dari verifikasi itu sendiri. Sistem ini mengonfirmasi bahwa suatu pernyataan matematis benar tanpa pernah melihat apa yang membuatnya benar.

Keterbatasannya adalah ketika sesuatu benar-benar berjalan salah, ketidakterlihatan yang melindungi privasi juga membuatnya lebih sulit untuk ditelusuri secara visual.

Namun, desainnya terasa disengaja. Menolak untuk melihat data adalah bagian 0f model keamanan di sini.

Apakah Anda nyaman dengan verifikasi yang bekerja tanpa pernah melihat hal yang sedang diverifikasi?
#dusk $DUSK