Saya terus mengira “kontrak rahasia” itu artinya kode dan data semuanya dikunci rapat—orang luar takkan tahu apa yang terjadi di dalamnya—sampai saya menelusuri standar Dusk bernama XSC dan akhirnya sadar saya salah arah memahami.

Begini, analoginya mirip seperti kotak suara tersegel dalam pemilu: setelah setiap surat suara dimasukkan, orang di luar tak bisa melihat surat suara mana yang Anda pilih. Namun ketika penghitungan selesai dan hasil diumumkan, semua orang bisa memastikan bahwa hasil itu benar-benar terhitung secara sah—tak ada yang bisa menyelundupkan suara atau memalsukan jumlah secara diam-diam. Karena seluruh proses didukung oleh serangkaian metode verifikasi yang diakui semua pihak, jadi tak perlu membuka setiap surat suara untuk bisa percaya hasilnya. Yang dilakukan XSC mirip—isi spesifik eksekusi kontrak rahasia tidak diumumkan ke publik, tapi bukti nol-pengetahuan dapat memastikan kontrak itu benar-benar dijalankan sesuai aturan. Tak ada pihak yang bisa berbuat curang di tempat yang tak terlihat. Saat audit, regulator juga bisa memverifikasi kepatuhannya, tanpa harus benar-benar membentangkan isi untuk dilihat semua orang.

Saya merasa ini jauh lebih cerdas daripada sekadar “menyembunyikan”, karena “menyembunyikan” dan “bisa dipercaya” sejak awal sebenarnya agak bertentangan—kalau Anda menyembunyikannya terlalu rapat, mengapa orang lain harus percaya Anda tidak berbuat curang? Yang ingin diselesaikan XSC justru pertentangan itu: supaya “tidak terlihat” dan “dapat dipercaya” bisa ada bersamaan. Tapi di kepala saya muncul pertanyaan baru: verifikasi ini sebenarnya bergantung pada logika kode, atau pada akhirnya tetap perlu ada semacam lembaga yang membubuhkan cap/otorisasi untuk mengonfirmasi? Ini masih belum sepenuhnya saya pahami, jadi saya perlu terus menggali.

Kalau Anda, Anda lebih cenderung percaya mekanisme “tidak terlihat tapi bisa dipercaya” yang seperti apa?

@Dusk_Foundation $DUSK #dusk