Saya terus kembali pada satu pertanyaan sederhana tentang sistem privat: sebenarnya apa yang perlu diketahui semua orang agar semua orang sepakat bahwa sesuatu telah terjadi?

Dengan model Phoenix milik Dusk, jawabannya ternyata sangat kecil. Dana yang sebenarnya hidup sebagai catatan terenkripsi. Sebuah transaksi dapat membuktikan bahwa pengeluaran itu valid, bahwa pengirim memiliki nilai yang cukup, dan bahwa catatan yang sama belum pernah dibelanjakan sebelumnya, tanpa mengungkap jumlah atau catatan spesifik yang digunakan. Rantai tetap bisa memverifikasi aturan tanpa mendapatkan data dasarnya.

Awalnya saya mengira bagian privasinya adalah hal yang paling menarik. Sekarang saya tidak terlalu yakin. Perbedaan yang lebih penting tampaknya adalah apa yang tetap privat sementara validitas tetap publik.

Moonlight mengambil jalan yang jelas. Saldo, pengirim, penerima, jumlah. Semua orang bisa melihat statusnya. Phoenix membalik model keterlihatannya, tetapi logika di bawahnya tetap harus konsisten. Status privat tidak bisa berarti konsep kebenaran yang privat.

Di situlah bukti ZK menjadi penting. Jaringan tidak diminta untuk mempercayai transaksi tersembunyi hanya karena tidak ada yang bisa memeriksanya. Jaringan mendapatkan bukti bahwa kondisi tertentu memang benar, sementara status sensitif tetap tersembunyi.

Namun, masih ada asumsi yang tersembunyi di sana. Sistem pembuktian harus sound, transisi status harus diperiksa dengan benar, dan struktur catatan harus mencegah pengeluaran ganda.

Jadi saya terus menyederhanakan Phoenix menjadi satu primitif: seberapa banyak status yang bisa menghilang dari pandangan sebelum verifikasi berhenti menjadi bermakna?

#dusk $DUSK @Dusk $ACE