Saya menelusuri bagaimana Phoenix mencegah double spending dan mengira ceritanya akan sama seperti UTXO biasa: periksa input, tandai sebagai telah digunakan, lalu lanjut. Ternyata tidak persis seperti itu.
Setiap catatan yang Dusk lacak hidup sebagai sebuah hash di dalam pohon Merkle. Saat Anda membelanjakan satu catatan, Anda tidak menunjuk catatan itu secara langsung—Anda menghasilkan sebuah nullifier, nilai yang dihitung dari kunci rahasia Anda dan catatan tersebut. Nilai ini cukup deterministik untuk mencegah penggunaan ulang, tetapi cukup tak terlacak sehingga tidak ada pengamat yang bisa menautkannya kembali ke daun mana di pohon itu asalnya.
Bagian yang cerdik itu. Tetapi artinya jaringan tidak bisa memverifikasi sebuah pengeluaran seperti yang dilakukan rantai transparan: dengan hanya memeriksa catatan tertentu. Jaringan harus mempercayai satu bukti ZK yang teragregasi bahwa semua kepemilikan, pencegahan double-spend, dan keseimbangan terpenuhi sekaligus. Tidak ada cara untuk memeriksa klaim-klaim individual setelah kejadian, memang dengan desain.
Jadi, ketakterkaitan yang memberi Anda privasi juga yang membuat kebenaran sistem sepenuhnya bergantung pada sistem pembuktian, bukan pada keadaan yang bisa diaudit. Privasi dan verifiabilitas justru menjadi tarik-menarik, bukan penambahan.
Membuat saya bertanya-tanya bagaimana pendekatan Dusk dalam peninjauan sirkuit akan ber- skala saat Phoenix melihat lebih banyak volume institusional.
#dusk $DUSK @Dusk
Setiap catatan yang Dusk lacak hidup sebagai sebuah hash di dalam pohon Merkle. Saat Anda membelanjakan satu catatan, Anda tidak menunjuk catatan itu secara langsung—Anda menghasilkan sebuah nullifier, nilai yang dihitung dari kunci rahasia Anda dan catatan tersebut. Nilai ini cukup deterministik untuk mencegah penggunaan ulang, tetapi cukup tak terlacak sehingga tidak ada pengamat yang bisa menautkannya kembali ke daun mana di pohon itu asalnya.
Bagian yang cerdik itu. Tetapi artinya jaringan tidak bisa memverifikasi sebuah pengeluaran seperti yang dilakukan rantai transparan: dengan hanya memeriksa catatan tertentu. Jaringan harus mempercayai satu bukti ZK yang teragregasi bahwa semua kepemilikan, pencegahan double-spend, dan keseimbangan terpenuhi sekaligus. Tidak ada cara untuk memeriksa klaim-klaim individual setelah kejadian, memang dengan desain.
Jadi, ketakterkaitan yang memberi Anda privasi juga yang membuat kebenaran sistem sepenuhnya bergantung pada sistem pembuktian, bukan pada keadaan yang bisa diaudit. Privasi dan verifiabilitas justru menjadi tarik-menarik, bukan penambahan.
Membuat saya bertanya-tanya bagaimana pendekatan Dusk dalam peninjauan sirkuit akan ber- skala saat Phoenix melihat lebih banyak volume institusional.
#dusk $DUSK @Dusk
