DETAIL DUSK SAAT SENJA YANG MUNGKIN LEBIH PENTING SAAT BEBAN PRIVASI TERUS MENINGKAT
Saya meninjau kembali arsitektur eksekusi Dusk, dan satu pilihan desain menonjol: Dusk tidak memaksa setiap operasi kriptografi yang mahal untuk dilakukan sepenuhnya di dalam VM. Piecrust menyediakan lingkungan eksekusi WASM, tetapi Dusk menggunakan fungsi host untuk menangani operasi seperti hashing, verifikasi proof, dan validasi tanda tangan. Whitepaper menyebutkan bahwa ini memungkinkan tugas kriptografi yang kompleks dieksekusi lebih efisien dibandingkan jika hanya dilakukan di dalam VM saja.
Jaringan keuangan yang berfokus pada privasi tidak sekadar memproses transfer biasa. Arsitekturnya sangat bergantung pada verifikasi kriptografis, dan operasi-operasi itu dapat menjadi beban komputasi yang signifikan seiring pemakaian meningkat.
Memindahkan primitif yang mahal ke fungsi host menciptakan pemisahan: VM menangani eksekusi kontrak, sementara infrastruktur khusus menangani operasi kriptografi yang berat.
Whitepaper juga menegaskan bahwa hasilnya direplikasi di seluruh node, jadi optimasi ini tidak dimaksudkan untuk menghapus kebutuhan verifikasi terdesentralisasi.
Namun, ada satu kompromi yang menurut saya layak untuk terus dipantau. Semakin banyak fungsionalitas dipindahkan ke kapabilitas host yang terspesialisasi, semakin penting antarmuka antara VM dan kapabilitas tersebut. Anda mendapatkan performa dan efisiensi, tetapi lingkungan eksekusinya juga menjadi lebih bergantung pada infrastruktur yang spesifik protokol.
Bagi Dusk, itu mungkin kompromi yang masuk akal. Jika jaringan ingin aplikasi yang menjaga privasi dengan beban ZK yang signifikan, memperlakukan komputasi kriptografi sebagai perhatian infrastruktur kelas utama lebih masuk akal daripada berpura-pura setiap operasi hanyalah instruksi WASM lainnya.
Uji yang sesungguhnya adalah apakah arsitektur itu terus memberikan efisiensi ketika beban privasi berkembang.
Apakah eksekusi kriptografi yang terspesialisasi adalah cara yang tepat untuk membuat privasi menjadi praktis pada skala jaringan? @Dusk $DUSK #dusk
Saya melihat model transaksi transparan Dusk dan awalnya melewatkan sesuatu yang terdengar hampir terlalu mendasar: nonce.
Moonlight adalah model transaksi berbasis akun milik Dusk. Setiap akun memiliki kunci publik, saldo, dan sebuah nonce, dengan nonce berperan sebagai penghitung untuk transaksi yang dikirim dari akun tersebut.
Pencacah kecil itu punya tugas yang lebih besar daripada yang terlihat pertama kali.
Whitepaper secara eksplisit mengaitkan nonce dengan perlindungan terhadap replay. Sebuah transaksi tidak hanya dianggap diotorisasi karena tanda tangan valid; urutan transaksi milik akun itu juga harus masuk akal.
Ini adalah salah satu bagian infrastruktur blockchain yang hampir tidak pernah diperhatikan pengguna ketika semuanya berjalan dengan benar.
Anda menandatangani transaksi, jaringan memprosesnya, saldo Anda berubah, lalu Anda lanjut. Namun tanpa mekanisme yang mencegah transaksi valid lama diterima lagi, otorisasi yang sama berpotensi menjadi masalah keamanan yang sama sekali berbeda. Yang menarik bagi saya tentang Dusk adalah bahwa Moonlight dan Phoenix menyelesaikan kebutuhan dasar transaksi yang sama melalui model yang sangat berbeda.
Moonlight mempublikasikan status akun, saldo, dan metadata transaksi secara terbuka. Phoenix memindahkan verifikasi saldo dan perlindungan double-spend ke dalam bukti ZK dan nullifier. Namun keduanya tetap harus membangun kepemilikan, mencegah malleability, dan menghentikan double spending.
Jadi, keputusan desain yang sesungguhnya bukan sekadar publik vs privat.
Melainkan seberapa besar transisi keadaan yang dapat diverifikasi langsung oleh jaringan versus seberapa banyak yang harus dibuktikan secara kriptografis. Itu membuat nonce yang sederhana menjadi lebih menarik daripada yang terdengar.
Transaksi yang terlihat hanya permukaannya. Di bawahnya ada kumpulan aturan yang memastikan otorisasi yang sama tidak bisa begitu saja diputar ulang.
Berapa banyak “fitur” blockchain yang sebenarnya merupakan asumsi keamanan yang tak terlihat—dan baru disadari pengguna ketika fitur itu gagal?
BAGIAN YANG PALING MENARIK DARI MODEL PRIVASI DUSK MUNGKIN ADALAH HAL YANG TIDAK DITARuh DI ONCHAIN
Saya terus memikirkan arsitektur privasi Dusk dari arah yang berlawanan: bukan apa yang disembunyikannya, melainkan apa yang masih perlu diketahui jaringan. Phoenix menggunakan shielded UTXO, di mana catatan dikomitkan ke dalam pohon Merkle dan dibelanjakan menggunakan nullifier. Transaksi yang mendasarinya dapat tetap dirahasiakan sementara jaringan memverifikasi aturan yang diperlukan untuk transisi status yang valid.
Itu menciptakan pembagian informasi yang sangat spesifik.
Whitepaper menjelaskan struktur transaksi berisi Merkle root, nullifier, catatan baru, setoran/data opsional, parameter gas, serta bukti ZK. Jaringan memverifikasi bukti tersebut terhadap public inputs, bukan dengan memeriksa langsung detail transaksi yang disembunyikan.
Tapi ada detail yang saya anggap lebih penting. Dusk tidak berusaha membuat semuanya benar-benar tak terlihat secara permanen.
Arsitektur ini juga mencakup Citadel 2, di mana pengguna dapat mengungkap kredensial secara selektif ketika sebuah aplikasi membutuhkan bukti kelayakan. Executive Summary menjelaskannya sebagai memungkinkan pengguna membuktikan kepemilikan lisensi yang terdaftar tanpa mengungkap isi lisensinya.
Jadi desainnya sebenarnya bukan: pribadi vs publik. Lebih dekat ke: pribadi secara bawaan + buktikan hanya yang dibutuhkan oleh aplikasinya.
Model itu jauh lebih berguna untuk keuangan yang teregulasi.
Namun masih ada pertanyaan operasional yang belum terselesaikan. Penelitian secara spesifik menyoroti kemungkinan bahwa integrasi dengan sistem KYC dan informasi sesi dapat menciptakan linkabilitas meskipun data pribadi yang mendasarinya tidak disimpan di onchain.
Kriptografi bisa melindungi transaksi. Ia tidak bisa secara otomatis menjamin bahwa setiap aplikasi yang dibangun di sekitar transaksi tersebut mempertahankan properti privasi yang sama. Itulah bagian yang menurut saya perlu diwaspadai.
Bisakah Dusk mempertahankan selective disclosure tanpa memungkinkan infrastruktur kepatuhan di sekitarnya diam-diam merekonstruksi pengawasan yang memang dirancang untuk dihindari? @Dusk $DUSK #dusk
MENGAPA SERTIFIKAT BLOK DUSK LEBIH MENARIK DIBANDING “FAST FINALITY” Saya terus melihat konsensus Dusk dijelaskan melalui finalitas deterministik, tetapi mekanisme di baliknya punya detail yang menurut saya layak mendapat perhatian lebih: jaringan perlu mengetahui secara tepat pemilih mana yang bertanggung jawab atas sebuah blok yang sudah difinalisasi.
Succinct Attestation milik Dusk menggunakan komite pemungutan suara untuk validasi dan ratifikasi. Setiap komite saat ini memiliki parameter global sebesar 64 kredit, dan suara diberi bobot sesuai dengan kredit yang diberikan kepada setiap provisioner. Bagian yang menarik muncul ketika jumlah suara yang tersedia melebihi ambang batas kuorum. Whitepaper menjelaskan bahwa tanpa itu, beberapa attestation yang valid bisa saja ada untuk iterasi yang sama. Karena itu, Dusk menyertakan attestation untuk blok sebelumnya di dalam setiap blok, sehingga tercipta block certificate yang menentukan kumpulan pemilih yang unik. Kumpulan pemilih unik itulah yang kemudian digunakan untuk perhitungan reward dan penalty. Kedengarannya seperti detail implementasi kecil sampai Anda memikirkan sistem insentifnya. Konsensus bukan hanya memutuskan: “Apakah blok ini valid?” Ia juga menetapkan: “Peserta persis mana yang seharusnya mendapat kredit atau dikenai penalti untuk hasil ini?” Dusk lalu menggunakan tanda tangan BLS agar suara untuk langkah tertentu dapat diagregasikan menjadi satu tanda tangan, sementara bitset mengidentifikasi anggota komite mana yang benar-benar ikut berpartisipasi. Menurut saya pemisahan ini penting karena ekonomi validator dan kebenaran konsensus biasanya dibahas seolah-olah keduanya independen.
Di sini, keduanya terhubung melalui struktur attestation.
Pertanyaan yang tersisa adalah apa yang terjadi secara operasional ketika komite berulang kali gagal mencapai kuorum. Whitepaper mengatakan sebuah putaran bisa melakukan iterasi lagi, dengan batas maksimum saat ini ditetapkan 50 iterasi, tetapi uji nyata yang menarik adalah seberapa sering jaringan benar-benar mendekati kondisi tepi tersebut dalam situasi yang merugikan.
Fast finality menjadi judul utamanya. Perhitungan siapa yang benar-benar mengamankan finalitas itu adalah bagian yang menurut saya lebih mengungkap. @Dusk $DUSK #dusk
MODEL IDENTITAS SENJA YANG SAYA TEMUKAN LEBIH MENARIK DARIPADA KYC Saya terus memikirkan masalah tidak nyaman yang dimiliki oleh keuangan teregulasi di blockchain publik: institusi perlu mengetahui bahwa seorang pengguna memenuhi syarat, tetapi mempublikasikan identitas pengguna dan kredensial finansialnya justru menghilangkan banyak argumen privasi. Citadel 2 dari Dusk mendekatinya dengan cara yang berbeda. Seorang pengguna pertama-tama memperoleh lisensi dari Penyedia Lisensi tepercaya setelah KYC dilakukan di luar rantai (off-chain). Kredensial tersebut didaftarkan di on-chain, tetapi ketika pengguna kemudian berinteraksi dengan sebuah layanan, mereka dapat membuktikan kepemilikan kredensial yang diperlukan menggunakan zero-knowledge proofs tanpa mengekspos isi lisensinya. Detail yang menarik perhatian saya adalah apa yang sebenarnya ditaruh di on-chain. Menurut riset, rantai (chain) tidak perlu data pribadi pengguna, kunci spesifik dari Penyedia Lisensi, atau detail lisensinya. Sebagai gantinya, Citadel memverifikasi bukti generik dan membuat sesi yang bersifat sementara (ephemeral) yang dapat digunakan Penyedia Layanan untuk menegakkan kebijakannya sendiri. Jadi sebuah aplikasi secara teoretis bisa meminta: “Apakah Anda peserta yang terakreditasi/memenuhi syarat?” tanpa harus: “Tunjukkan seluruh catatan identitas Anda.” Itu menciptakan hubungan yang jauh lebih menarik antara kepatuhan dan privasi. Namun ada trade-off yang tidak akan saya abaikan. Jaminan privasi bergantung pada bagaimana penyedia layanan mengintegrasikan lapisan identitas tersebut. Jika aplikasi mulai menambahkan metadata yang dapat ditautkan (linkable) di sekitar sesi-sesi itu, privasi kriptografis dari kredensial tidak otomatis menjamin privasi di seluruh pengalaman pengguna. Itulah mengapa saya lebih tertarik pada lapisan aplikasi daripada klaim zero-knowledge itu sendiri. Dusk tampaknya berupaya memisahkan pembuktian kelayakan dari pengungkapan identitas. Bisakah selective disclosure menjadi titik tengah yang hilang antara sepenuhnya DeFi yang terbuka dan sistem keuangan yang hanya untuk institusi? @Dusk $DUSK #dusk
Saya biasanya melihat sekuritas yang ditokenisasi dibahas seolah bagian yang sulit adalah menaruh kepemilikan di onchain.
Melihat desain Zedger milik Dusk membuat saya fokus pada apa yang terjadi ketika penerbit masih memiliki tanggung jawab setelah suatu aset telah diterbitkan. Zedger dirancang untuk sekuritas dan aset dunia nyata yang bisa ditokenisasi atau diterbitkan secara native di Dusk. Model kontraknya mencakup minting dan burning, aksi korporat seperti dividen, audit transaksi, bahkan transfer paksa yang diprakarsai oleh penerbit.
Kemampuan terakhir itulah yang terus membuat saya kembali berpikir.
Narasi kripto yang normal cenderung menyamakan kepemilikan token dengan transfer yang tidak dapat dibalikkan dari dompet ke dompet. Sekuritas yang teregulasi tidak selalu bekerja seperti itu. Perintah hukum, aksi korporat, prosedur pemulihan, atau persyaratan yang spesifik pada yurisdiksi dapat menciptakan situasi di mana penerbit memerlukan intervensi yang terkontrol.
Karena itu, Zedger tidak sekadar mencoba meniru model transfer kriptocurrency untuk sekuritas. Zedger dirancang dengan kenyataan yang tidak nyaman bahwa aset terregulasi bisa memiliki aturan mengenai siapa yang boleh memegangnya dan bagaimana kepemilikan dapat berubah.
Namun ada kompromi yang jelas.
Mekanisme transfer yang dikendalikan penerbit dapat membuat sekuritas terregulasi lebih kompatibel dengan kerangka kerja hukum yang ada, sekaligus memperkenalkan tingkat otoritas yang mungkin tidak disukai pengguna kripto tanpa izin. Itu bukan berarti sebuah kekurangan. Itu adalah keputusan desain.
Pertanyaan sebenarnya adalah apakah Dusk bisa membuat kontrol ini cukup transparan dan terkendali sehingga institusi mempercayainya tanpa membuat pengguna merasa bahwa sekuritas yang ditokenisasi hanyalah basis data dengan dompet yang menempel. Mungkin masa depan infrastruktur RWA bukanlah menghapus otoritas manusia.
Mungkin justru menjadikannya dapat diprogram, bisa diaudit, dan eksplisit.
Seberapa besar kontrol penerbit yang seharusnya dimiliki oleh sekuritas yang benar-benar onchain? @Dusk $DUSK #dusk
Awalnya, saya melihat token FT dan XT TermMax sebagai cara lain untuk memisahkan posisi pinjaman. Semakin dalam saya mempelajari mekanismenya, semakin penting hubungan akuntansinya.
Ketika seorang pemberi pinjaman menyetor satu unit aset dasar, TermMax membuat masing-masing satu FT dan satu XT. FT merepresentasikan pokok plus klaim bunga tetap, sedangkan XT merepresentasikan komponen mengambang yang tersisa. Bersama-sama, 1 FT + 1 XT = 1 unit aset dasar, dengan nilai XT yang bergerak menuju nol seiring mendekatnya jatuh tempo.
Itu menciptakan cara yang tidak biasa untuk memisahkan paparan tetap dan variabel tanpa berpura-pura bahwa aset yang mendasarinya secara ajaib berubah menjadi pendapatan tetap.
FT dapat diperdagangkan di bawah nilai penebusan satu unitnya sebelum jatuh tempo, dan diskon tersebut secara efektif mengekspresikan tingkat bunga tetap. XT menangkap nilai sisa yang tidak tercakup oleh klaim tetap.
Bagian yang menurut saya menarik adalah apa yang memungkinkan hal ini. Alih-alih memperlakukan posisi pinjaman sebagai satu objek yang tidak terpisahkan, TermMax mengubah komponen ekonominya menjadi representasi ERC-20 yang terpisah. Komponen-komponen tersebut kemudian dapat berpartisipasi dalam strategi pasar yang berbeda. Riset juga mencatat bahwa XT dapat berfungsi sebagai token premi opsi di pasar Alpha.
Namun, fleksibilitas ini datang dengan biaya: kompleksitas. Sistem harus menjaga agar hubungan FT/XT tetap konsisten secara ekonomi melalui perdagangan, jatuh tempo, dan penyelesaian. Mekanisme yang memberi pengguna lebih banyak cara untuk mengekspresikan paparan tingkat bunga juga menimbulkan lebih banyak asumsi yang harus dipelihara dengan benar oleh kontrak pintar dan pasar.
Itulah sebabnya saya kurang tertarik untuk menyebut FT/XT sebagai inovatif. Uji yang sesungguhnya adalah apakah pengguna memahami apa yang mereka pegang ketika pasar mulai tertekan.
Apakah pemisahan paparan tetap dan mengambang benar-benar menciptakan primitif keuangan yang berguna, atau hanya memindahkan kompleksitas dari protokol ke pengalaman pengguna? @TermMax #TermMax
🚀 Bitcoin menembus $75K! $BTC baru saja melonjak melewati tonggak 75.000 USDT, saat ini diperdagangkan di 75.523 USDT.📈 Naik 8,23% dalam 24 jam terakhir!Apakah ini awal dari reli besar berikutnya?