Setelah saya memahami bahwa Dusk memiliki dua model transaksi yang berlawanan: satu sepenuhnya publik dan satu sepenuhnya tersembunyi, pertanyaan yang jelas justru adalah pertanyaan yang tidak tampak dijawab siapa pun: bagaimana mereka bisa hidup di satu buku besar yang sama tanpa saling menginjak. Ternyata jawabannya adalah sebuah kontrak tunggal yang melakukan sesuatu dengan cara yang diam-diam cerdik.
Moonlight (publik) dan Phoenix (pribadi) sama-sama melewati kontrak Transfer yang sama. Ini adalah titik masuk untuk setiap transaksi di Dusk. Tapi bagian yang menghubungkan semuanya bagi saya adalah: kontrak itu harus memverifikasi dua jenis kebenaran yang sepenuhnya berbeda.
#dusk
Untuk transaksi Moonlight, jaringan memeriksa hal-hal secara langsung. Ia bisa melihat akunnya, jadi ia memverifikasi pengecekan tanda tangan, memastikan saldonya cukup, dan menggunakan nonce untuk mencegah pengulangan (replay). Semuanya terbuka.
Untuk transaksi Phoenix, jaringan tidak bisa melihat apa pun—itulah tujuan utamanya. Jadi alih-alih memeriksa detail, ia memverifikasi bukti Zero Knowledge. Bukti tersebut menjamin properti yang sama: pemilik yang benar, dana yang cukup, tidak ada double spend tanpa mengungkap jumlah atau pihak yang terlibat. Double spend ditangkap oleh nullifier, bukan oleh saldo yang terlihat.
Jadi kontrak yang sama memverifikasi sebuah transaksi yang bisa dilihat sepenuhnya dan sebuah transaksi yang sengaja tidak bisa dilihat. Ia juga harus menjaga satu keadaan global yang konsisten di antara keduanya. Transfer publik dan transfer tersembunyi sama-sama mengambil dari DUSK yang sama, dan keduanya tidak dapat melakukan double spend meskipun jaringan mengetahui semuanya tentang satu hal dan hampir tidak mengetahui apa pun tentang yang lain.
@Dusk
Itulah sintesis yang terus saya pegang. Ini bukan "rantai publik ditambah fitur privasi". Ini adalah mesin penyelesaian (settlement) yang menampung dua model kepercayaan yang berlawanan dalam satu buku besar yang konsisten.
Satu hal yang mengganjal saya: kecantikan ini juga memusatkan banyak kebenaran (correctness) ke dalam satu kontrak saja. Seberapa yakin kita bahwa jalur publik dan jalur privat tidak akan pernah saling bertentangan tentang DUSK yang sama, mengingat keduanya divalidasi dengan cara yang sangat berbeda?
$DUSK
Moonlight (publik) dan Phoenix (pribadi) sama-sama melewati kontrak Transfer yang sama. Ini adalah titik masuk untuk setiap transaksi di Dusk. Tapi bagian yang menghubungkan semuanya bagi saya adalah: kontrak itu harus memverifikasi dua jenis kebenaran yang sepenuhnya berbeda.
#dusk
Untuk transaksi Moonlight, jaringan memeriksa hal-hal secara langsung. Ia bisa melihat akunnya, jadi ia memverifikasi pengecekan tanda tangan, memastikan saldonya cukup, dan menggunakan nonce untuk mencegah pengulangan (replay). Semuanya terbuka.
Untuk transaksi Phoenix, jaringan tidak bisa melihat apa pun—itulah tujuan utamanya. Jadi alih-alih memeriksa detail, ia memverifikasi bukti Zero Knowledge. Bukti tersebut menjamin properti yang sama: pemilik yang benar, dana yang cukup, tidak ada double spend tanpa mengungkap jumlah atau pihak yang terlibat. Double spend ditangkap oleh nullifier, bukan oleh saldo yang terlihat.
Jadi kontrak yang sama memverifikasi sebuah transaksi yang bisa dilihat sepenuhnya dan sebuah transaksi yang sengaja tidak bisa dilihat. Ia juga harus menjaga satu keadaan global yang konsisten di antara keduanya. Transfer publik dan transfer tersembunyi sama-sama mengambil dari DUSK yang sama, dan keduanya tidak dapat melakukan double spend meskipun jaringan mengetahui semuanya tentang satu hal dan hampir tidak mengetahui apa pun tentang yang lain.
@Dusk
Itulah sintesis yang terus saya pegang. Ini bukan "rantai publik ditambah fitur privasi". Ini adalah mesin penyelesaian (settlement) yang menampung dua model kepercayaan yang berlawanan dalam satu buku besar yang konsisten.
Satu hal yang mengganjal saya: kecantikan ini juga memusatkan banyak kebenaran (correctness) ke dalam satu kontrak saja. Seberapa yakin kita bahwa jalur publik dan jalur privat tidak akan pernah saling bertentangan tentang DUSK yang sama, mengingat keduanya divalidasi dengan cara yang sangat berbeda?
$DUSK
