Saya menemukan isu AEGIS yang paling mengungkapkan di luar bukti zero-knowledge itu sendiri. Nilai di sampingnya tidak sepenuhnya dikendalikan.
Pada jalur transaksi Phoenix milik Dusk Network, seorang pengguna bisa melakukan komitmen pada max_fee yang sah, sementara eksekusi tetap menggunakan field fee yang tidak terikat dalam kisah keamanan yang sama. Parameter gas yang berbahaya bisa memicu inflasi refund atau overflow. Alamat refund yang bisa dimutasi dapat mengalihkan nilai.
Buktinya valid. Semantik transaksi tidak sepenuhnya terhubung dengannya.
Sebuah fee bukanlah metadata yang tidak berbahaya ketika jalur refund dapat menciptakan atau mengarahkan nilai.
Itu peringatan yang berguna bagi protokol privasi mana pun. Membuktikan satu pernyataan dengan sempurna tidak mengamankan field-field yang berdekatan yang kemudian dipercaya oleh eksekusi. Sistem harus mengikat bukti, tanda tangan, perhitungan fee, tujuan, dan jalur refund menjadi satu invarian.
AEGIS menambahkan perkalian terverifikasi untuk gas_limit dikali gas_price dan mengharuskan hasilnya sama dengan max_fee yang dibuktikan. Dusk menerapkan pemeriksaan itu dua kali: saat penerimaan di mempool dan sekali lagi di dalam eksekusi VM. Ia juga mengikat alamat stealth refund sehingga upaya perusakan akan membuat transaksi menjadi tidak valid.
Pemeriksaan kedua adalah detail yang saya pedulikan. Penyusun blok yang beritikad buruk tidak harus mematuhi asumsi dari mempool yang jujur. Jika invarian hanya ada di tepi jaringan, konsensus tetap dapat mengeksekusi transaksi yang melewati tepi tersebut.
Sekarang saya akan mengawasi pola pertahanan yang sama di Dusk: penolakan murah sebelum masuk, validasi otoritatif saat eksekusi, serta pengujian regresi yang memutasi setiap field di sekitar sebuah bukti.
AEGIS menutup jalur-jalur kritis yang diketahui. Pertanyaan yang lebih besar adalah apakah kontrak-kontrak Dusk lainnya berisi nilai yang “diperiksa” di satu lapisan dan hanya dipercaya di lapisan berikutnya.
Kriptografi bisa membuktikan persis apa yang diminta untuk dibuktikan. Keamanan bergantung pada Dusk untuk meminta pernyataan yang lengkap.
#dusk $DUSK @Dusk
Pada jalur transaksi Phoenix milik Dusk Network, seorang pengguna bisa melakukan komitmen pada max_fee yang sah, sementara eksekusi tetap menggunakan field fee yang tidak terikat dalam kisah keamanan yang sama. Parameter gas yang berbahaya bisa memicu inflasi refund atau overflow. Alamat refund yang bisa dimutasi dapat mengalihkan nilai.
Buktinya valid. Semantik transaksi tidak sepenuhnya terhubung dengannya.
Sebuah fee bukanlah metadata yang tidak berbahaya ketika jalur refund dapat menciptakan atau mengarahkan nilai.
Itu peringatan yang berguna bagi protokol privasi mana pun. Membuktikan satu pernyataan dengan sempurna tidak mengamankan field-field yang berdekatan yang kemudian dipercaya oleh eksekusi. Sistem harus mengikat bukti, tanda tangan, perhitungan fee, tujuan, dan jalur refund menjadi satu invarian.
AEGIS menambahkan perkalian terverifikasi untuk gas_limit dikali gas_price dan mengharuskan hasilnya sama dengan max_fee yang dibuktikan. Dusk menerapkan pemeriksaan itu dua kali: saat penerimaan di mempool dan sekali lagi di dalam eksekusi VM. Ia juga mengikat alamat stealth refund sehingga upaya perusakan akan membuat transaksi menjadi tidak valid.
Pemeriksaan kedua adalah detail yang saya pedulikan. Penyusun blok yang beritikad buruk tidak harus mematuhi asumsi dari mempool yang jujur. Jika invarian hanya ada di tepi jaringan, konsensus tetap dapat mengeksekusi transaksi yang melewati tepi tersebut.
Sekarang saya akan mengawasi pola pertahanan yang sama di Dusk: penolakan murah sebelum masuk, validasi otoritatif saat eksekusi, serta pengujian regresi yang memutasi setiap field di sekitar sebuah bukti.
AEGIS menutup jalur-jalur kritis yang diketahui. Pertanyaan yang lebih besar adalah apakah kontrak-kontrak Dusk lainnya berisi nilai yang “diperiksa” di satu lapisan dan hanya dipercaya di lapisan berikutnya.
Kriptografi bisa membuktikan persis apa yang diminta untuk dibuktikan. Keamanan bergantung pada Dusk untuk meminta pernyataan yang lengkap.
#dusk $DUSK @Dusk
