zk proofs saja dapat membuktikan sebuah pernyataan itu benar tanpa mengungkap alasannya. biasanya itu sudah cukup untuk privasi. jadi mengapa Hedger, modul kerahasiaan Dusk untuk EVM, repot memasangkan zk proofs dengan homomorphic encryption di atasnya, alih-alih hanya memakai zk saja?
tjawabannya bermuara pada kemampuan masing-masing alat. zk proof dapat membuktikan bahwa sebuah transaksi valid, saldo benar, tidak ada dana yang diciptakan begitu saja tanpa asal, tanpa mengungkap jumlah yang terlibat. tetapi membuktikan validitas tidak sama dengan membiarkan nilai terenkripsi tetap bisa dihitung. di sinilah homomorphic encryption berperan, khususnya konstruksi ElGamal di atas kurva elips. ini memungkinkan saldo tetap terenkripsi sambil tetap bisa dijumlahkan, dikurangkan, dan diperbarui langsung dalam bentuk terenkripsi tersebut, tanpa perlu langkah dekripsi hanya untuk memperbarui saldo setelah transfer.
kalau digabungkan, perannya terpisah dengan rapi. ZK membuktikan bahwa operasi apa pun yang baru saja terjadi pada nilai terenkripsi itu sah, tanpa mengekspos angka yang mendasarinya. tidak satu pun menanggung dua pekerjaan sekaligus, jadi Dusk tidak memilih salah satu; melainkan menggunakan masing-masing sesuai hal spesifik yang dikerjakannya dengan baik.
yang menonjol adalah sisi performa yang tampaknya menjadi fondasinya. dokumentasinya menyoroti pembuatan proof terjadi di sisi klien, di dalam browser, dalam waktu kurang dari dua detik. itu bukan detail teknis kecil—itu perbedaan antara confidential transactions yang terasa bisa digunakan dalam aplikasi keuangan langsung, versus terasa seperti sesuatu yang hanya dapat ditoleransi oleh batch settlement.
tetapi menyusun dua primitive kriptografis yang berbeda alih-alih mengandalkan satu sistem terpadu justru memunculkan pertanyaan tersendiri. setiap tambahan primitive berarti tambahan permukaan serangan, tambahan asumsi yang keduanya harus sama-sama terpenuhi agar keseluruhan sistem tetap aman.
jadi, apakah menggabungkan HE dan ZK benar-benar desain yang lebih resilien karena masing-masing menutupi celah yang lain, atau apakah menumpuk dua sistem kriptografi yang terpisah berarti sekarang ada dua tempat dibanding satu tempat di mana suatu saat sesuatu bisa saja salah.
#dusk @Dusk $DUSK
tjawabannya bermuara pada kemampuan masing-masing alat. zk proof dapat membuktikan bahwa sebuah transaksi valid, saldo benar, tidak ada dana yang diciptakan begitu saja tanpa asal, tanpa mengungkap jumlah yang terlibat. tetapi membuktikan validitas tidak sama dengan membiarkan nilai terenkripsi tetap bisa dihitung. di sinilah homomorphic encryption berperan, khususnya konstruksi ElGamal di atas kurva elips. ini memungkinkan saldo tetap terenkripsi sambil tetap bisa dijumlahkan, dikurangkan, dan diperbarui langsung dalam bentuk terenkripsi tersebut, tanpa perlu langkah dekripsi hanya untuk memperbarui saldo setelah transfer.
kalau digabungkan, perannya terpisah dengan rapi. ZK membuktikan bahwa operasi apa pun yang baru saja terjadi pada nilai terenkripsi itu sah, tanpa mengekspos angka yang mendasarinya. tidak satu pun menanggung dua pekerjaan sekaligus, jadi Dusk tidak memilih salah satu; melainkan menggunakan masing-masing sesuai hal spesifik yang dikerjakannya dengan baik.
yang menonjol adalah sisi performa yang tampaknya menjadi fondasinya. dokumentasinya menyoroti pembuatan proof terjadi di sisi klien, di dalam browser, dalam waktu kurang dari dua detik. itu bukan detail teknis kecil—itu perbedaan antara confidential transactions yang terasa bisa digunakan dalam aplikasi keuangan langsung, versus terasa seperti sesuatu yang hanya dapat ditoleransi oleh batch settlement.
tetapi menyusun dua primitive kriptografis yang berbeda alih-alih mengandalkan satu sistem terpadu justru memunculkan pertanyaan tersendiri. setiap tambahan primitive berarti tambahan permukaan serangan, tambahan asumsi yang keduanya harus sama-sama terpenuhi agar keseluruhan sistem tetap aman.
jadi, apakah menggabungkan HE dan ZK benar-benar desain yang lebih resilien karena masing-masing menutupi celah yang lain, atau apakah menumpuk dua sistem kriptografi yang terpisah berarti sekarang ada dua tempat dibanding satu tempat di mana suatu saat sesuatu bisa saja salah.
#dusk @Dusk $DUSK