Belakangan ini aku terus masuk ke lubang kelinci jaringan $DUSK , dan ada sesuatu tentang pengaturan smart contract mereka yang sangat rahasia yang terus mengganggu pikiranku.
Biasanya, pada blockchains—bahkan yang berfokus pada privasi—jaringan tetap memverifikasi transisi keadaan secara publik. Kamu menyembunyikan input dan output, tapi semua orang bisa memeriksa bahwa transisinya sendiri valid.
Dusk membalik ini. Dengan bulletproofs dan Rusk VM mereka, jaringan memverifikasi perubahan keadaan secara membabi buta melalui bukti kriptografis. Para validator sebenarnya tidak pernah melihat apa yang sedang dieksekusi.
Ini yang membuatku ragu: kalau ada bug di Rusk yang memungkinkan seseorang menghasilkan bukti yang valid untuk perubahan keadaan yang tidak valid, jaringan tinggal... menerimanya. Tidak ada cara untuk mengaudit jejak eksekusinya nanti karena jejak itu sama sekali tidak terlihat sejak awal.
Jadi kita sudah beralih dari "jangan percaya, verifikasi" menjadi "jangan percaya, tapi sepenuhnya percaya pada sistem pembuktian dan VM yang menghasilkan bukti-bukti tersebut."
Itu terasa seperti model keamanan yang benar-benar berbeda. Aku tidak bilang itu salah—privasi memang punya biaya nyata—tapi aku benar-benar penasaran bagaimana orang memandang trade-off ini. Apakah privasi sepadan dengan pergeseran ke tingkat kepercayaan sebesar itu ke infrastruktur pembuktian? Atau aku terlalu overthinking?
@Dusk #dusk #DUSK $DUSK
Biasanya, pada blockchains—bahkan yang berfokus pada privasi—jaringan tetap memverifikasi transisi keadaan secara publik. Kamu menyembunyikan input dan output, tapi semua orang bisa memeriksa bahwa transisinya sendiri valid.
Dusk membalik ini. Dengan bulletproofs dan Rusk VM mereka, jaringan memverifikasi perubahan keadaan secara membabi buta melalui bukti kriptografis. Para validator sebenarnya tidak pernah melihat apa yang sedang dieksekusi.
Ini yang membuatku ragu: kalau ada bug di Rusk yang memungkinkan seseorang menghasilkan bukti yang valid untuk perubahan keadaan yang tidak valid, jaringan tinggal... menerimanya. Tidak ada cara untuk mengaudit jejak eksekusinya nanti karena jejak itu sama sekali tidak terlihat sejak awal.
Jadi kita sudah beralih dari "jangan percaya, verifikasi" menjadi "jangan percaya, tapi sepenuhnya percaya pada sistem pembuktian dan VM yang menghasilkan bukti-bukti tersebut."
Itu terasa seperti model keamanan yang benar-benar berbeda. Aku tidak bilang itu salah—privasi memang punya biaya nyata—tapi aku benar-benar penasaran bagaimana orang memandang trade-off ini. Apakah privasi sepadan dengan pergeseran ke tingkat kepercayaan sebesar itu ke infrastruktur pembuktian? Atau aku terlalu overthinking?
@Dusk #dusk #DUSK $DUSK
