@Dusk_Foundation Mencari apa yang sebenarnya terjadi ketika sebuah bukti zero-knowledge Phoenix gagal verifikasi, karena kebanyakan penjelasan berhenti di "bukti dicek".
Arsitektur Dusk menegaskan bahwa bukti harus mendemonstrasikan properti-properti spesifik sekaligus — kepemilikan atas catatan (note) yang sedang dibelanjakan, integritas saldo di seluruh input dan output, serta tidak terjadi double-spend — semuanya dikodekan di dalam satu bukti yang sama, bukan diverifikasi melalui side-check terpisah. $DUSK
Bagian itulah yang layak direnungkan. Jika satu saja dari properti tersebut tidak terpenuhi, seluruh bukti gagal sebagai satu kesatuan. Tidak ada jalur partial-credit ketika pengecekan saldo lolos tetapi kepemilikan gagal secara diam-diam.
Saya menelusuri apa artinya secara praktis: bukti yang ditolak berarti transaksi sama sekali tidak pernah dimasukkan. Runtime tidak mencoba menyelamatkan atau memproses sebagian. Transaksinya tidak terjadi, dan tidak ada upaya yang gagal itu tercatat sebagai perubahan status. #dusk
Yang belum saya konfirmasi dari materi resmi Dusk adalah apakah bukti yang gagal meninggalkan jejak di log mempool yang bisa diperiksa operator node setelahnya, atau apakah langsung dibuang tanpa catatan diagnostik sama sekali.
Hal berikutnya yang akan saya periksa: apakah perangkat tooling dompet (wallet) Dusk yang saat ini ada menampilkan alasan spesifik untuk bukti yang gagal, atau hanya penolakan generik, karena pembedaan itu sangat penting bagi siapa pun yang benar-benar melakukan debugging transaksi yang tidak jadi berjalan.
#dusk $DUSK @Dusk
Arsitektur Dusk menegaskan bahwa bukti harus mendemonstrasikan properti-properti spesifik sekaligus — kepemilikan atas catatan (note) yang sedang dibelanjakan, integritas saldo di seluruh input dan output, serta tidak terjadi double-spend — semuanya dikodekan di dalam satu bukti yang sama, bukan diverifikasi melalui side-check terpisah. $DUSK
Bagian itulah yang layak direnungkan. Jika satu saja dari properti tersebut tidak terpenuhi, seluruh bukti gagal sebagai satu kesatuan. Tidak ada jalur partial-credit ketika pengecekan saldo lolos tetapi kepemilikan gagal secara diam-diam.
Saya menelusuri apa artinya secara praktis: bukti yang ditolak berarti transaksi sama sekali tidak pernah dimasukkan. Runtime tidak mencoba menyelamatkan atau memproses sebagian. Transaksinya tidak terjadi, dan tidak ada upaya yang gagal itu tercatat sebagai perubahan status. #dusk
Yang belum saya konfirmasi dari materi resmi Dusk adalah apakah bukti yang gagal meninggalkan jejak di log mempool yang bisa diperiksa operator node setelahnya, atau apakah langsung dibuang tanpa catatan diagnostik sama sekali.
Hal berikutnya yang akan saya periksa: apakah perangkat tooling dompet (wallet) Dusk yang saat ini ada menampilkan alasan spesifik untuk bukti yang gagal, atau hanya penolakan generik, karena pembedaan itu sangat penting bagi siapa pun yang benar-benar melakukan debugging transaksi yang tidak jadi berjalan.
#dusk $DUSK @Dusk