#dusk $DUSK @Dusk
Sungguh,... perbedaan yang selama ini saya lewatkan adalah ini: menyembunyikan sebuah transaksi dan menyembunyikan keadaan internal dari sebuah smart contract adalah dua masalah yang benar-benar berbeda, dan kebanyakan orang yang membahas Dusk mencampuradukkan keduanya.
Privacy coin sudah menyelesaikan masalah pertama sejak bertahun-tahun lalu — menyembunyikan siapa mengirim apa kepada siapa. Itu tugas Phoenix di Dusk. Tapi smart contract bukan sekadar transaksi; ia adalah program yang berjalan dengan variabel internal. Kontrak pinjaman perlu mengetahui rasio jaminan Anda. Kontrak lelang perlu melacak penawaran. Jika keadaan itu berada di public chain secara terbuka, privasi transaksi yang menciptakannya hampir tidak berarti — siapa pun bisa membaca memori kontraknya.
Dusk membangun eksekusi kontrak yang bersifat rahasia secara khusus untuk masalah kedua itu, sehingga keadaan kontrak tetap terenkripsi sementara kontraknya tetap berjalan dengan benar terhadapnya. Jaminan ini lebih sulit daripada sekadar menyembunyikan jumlah transfer. Kontrak harus membuktikan bahwa ia mengikuti aturannya sendiri — menerapkan penawaran yang valid, memeriksa ambang jaminan yang benar — tanpa pernah mengungkap angka-angka yang ia gunakan untuk melakukannya.
Yang memungkinkan adalah logika keuangan yang privat, bukan hanya pembayaran yang privat. Sebuah sekuritas teregulasi dengan pembatasan perdagangan bawaan dapat menegakkan pembatasan tersebut di-chain tanpa mengekspos siapa yang dibatasi atau alasannya, yang sangat mirip dengan apa yang sebenarnya dibutuhkan oleh hukum sekuritas dunia nyata — kontrol tanpa pengawasan.
Kendala utamanya adalah biaya verifikasi. Membuktikan bahwa sebuah komputasi terjadi dengan benar atas data yang disembunyikan membutuhkan pekerjaan kriptografis yang lebih besar daripada membuktikan bahwa sebuah transaksi biasa itu valid. Beban tambahan itu adalah harga dari kontrak yang bisa berpikir secara privat.
Ini adalah perbedaan kecil dengan konsekuensi besar: pembayaran privat adalah masalah yang mudah di ranah ini. Komputasi privat selalu menjadi masalah yang sebenarnya.
Sungguh,... perbedaan yang selama ini saya lewatkan adalah ini: menyembunyikan sebuah transaksi dan menyembunyikan keadaan internal dari sebuah smart contract adalah dua masalah yang benar-benar berbeda, dan kebanyakan orang yang membahas Dusk mencampuradukkan keduanya.
Privacy coin sudah menyelesaikan masalah pertama sejak bertahun-tahun lalu — menyembunyikan siapa mengirim apa kepada siapa. Itu tugas Phoenix di Dusk. Tapi smart contract bukan sekadar transaksi; ia adalah program yang berjalan dengan variabel internal. Kontrak pinjaman perlu mengetahui rasio jaminan Anda. Kontrak lelang perlu melacak penawaran. Jika keadaan itu berada di public chain secara terbuka, privasi transaksi yang menciptakannya hampir tidak berarti — siapa pun bisa membaca memori kontraknya.
Dusk membangun eksekusi kontrak yang bersifat rahasia secara khusus untuk masalah kedua itu, sehingga keadaan kontrak tetap terenkripsi sementara kontraknya tetap berjalan dengan benar terhadapnya. Jaminan ini lebih sulit daripada sekadar menyembunyikan jumlah transfer. Kontrak harus membuktikan bahwa ia mengikuti aturannya sendiri — menerapkan penawaran yang valid, memeriksa ambang jaminan yang benar — tanpa pernah mengungkap angka-angka yang ia gunakan untuk melakukannya.
Yang memungkinkan adalah logika keuangan yang privat, bukan hanya pembayaran yang privat. Sebuah sekuritas teregulasi dengan pembatasan perdagangan bawaan dapat menegakkan pembatasan tersebut di-chain tanpa mengekspos siapa yang dibatasi atau alasannya, yang sangat mirip dengan apa yang sebenarnya dibutuhkan oleh hukum sekuritas dunia nyata — kontrol tanpa pengawasan.
Kendala utamanya adalah biaya verifikasi. Membuktikan bahwa sebuah komputasi terjadi dengan benar atas data yang disembunyikan membutuhkan pekerjaan kriptografis yang lebih besar daripada membuktikan bahwa sebuah transaksi biasa itu valid. Beban tambahan itu adalah harga dari kontrak yang bisa berpikir secara privat.
Ini adalah perbedaan kecil dengan konsekuensi besar: pembayaran privat adalah masalah yang mudah di ranah ini. Komputasi privat selalu menjadi masalah yang sebenarnya.