Rilis Dual Governance sudah dekat dan pemungutan suara Aragon dimulai Rabu ini.
Untuk memastikan bahwa Dual Governance waras dan sehat, empat lapisan diaudit:
• Spesifikasi: desain mekanisme, siklus hidup proposal, keadaan tata kelola kritis.
• Kode: kontrak untuk pensinyalan escrow, penghentian kemarahan, penguncian waktu, komite.
• Parameter: ambang batas, penundaan, pemicu.
• Penyebaran & pemungutan suara: kontrak mainnet cocok dengan kode yang diaudit, skrip pemungutan suara.
Lihat siapa yang telah menguji, mengaudit & bersertifikat Dual Governance:
Tata Kelola Ganda dirancang untuk melindungi Lido DAO dan pemegang stETH dari serangan tata kelola. Namun, mekanismenya sangat kompleks sehingga bisa menjadi vektor serangan itu sendiri.
Untuk memastikan ini tidak terjadi, beberapa tim mencoba memecahkannya (berulang kali).
Ini termasuk kontributor Lido dan beberapa tim keamanan terbaik di ruang tersebut.
👇
Spesifikasi
Spesifikasi Teknis menguraikan detail implementasi utama dari mekanika sistem.
Ini telah menjalani dua tinjauan desain pihak ketiga:
• @CertoraInc:
• @rv_inc:
Kode
Versi kode final diterbitkan di GitHub:
Verifikasi formal dengan:
1. @CertoraInc
2. @rv_inc
Diaudit oleh:
1. @OpenZeppelin
2. @statemindio
Lebih lanjut tentang masing-masing 👇
@CertoraInc
Melakukan verifikasi formal dan penilaian keamanan sistem. Memodelkan logika lengkap, mengkodekan invarian kunci, dan menguji kondisi kritis untuk proposal berbahaya, secara terpisah menekankan vektor serangan yang diaktifkan flashloan.
🧾
@OpenZeppelin
Meninjau implementasi dalam dua putaran, mengidentifikasi risiko logika dan kelemahan implementasi. Asumsi dan kasus edge yang ditantang, termasuk mode kegagalan yang tidak jelas.
🧾
@statemindio
Membawa perspektif baru dan membantu memvalidasi ketahanan sistem terhadap perilaku tepi dan potensi penyalahgunaan. Mengaudit mekanisme inti dan interaksi antara kontur tata kelola + melakukan verifikasi penyebaran.
🧾
@rv_inc
Menjalankan analisis formal yang mendalam tentang perilaku sistem dari waktu ke waktu. Memeriksa jaminan keamanan dan keaktifan, terutama seputar Transisi Veto Signalling, Rage Quit, dan timelock.
🧾
Penelitian model berbasis agen oleh @CollectifDAO
Menjalankan simulasi stres menggunakan model publik untuk menilai bagaimana aktor yang berbeda dapat memanipulasi aliran proposal atau menghentikan keluar.
🧾
32,35 rb
0
Konten pada halaman ini disediakan oleh pihak ketiga. Kecuali dinyatakan lain, OKX bukanlah penulis artikel yang dikutip dan tidak mengklaim hak cipta atas materi tersebut. Konten ini disediakan hanya untuk tujuan informasi dan tidak mewakili pandangan OKX. Konten ini tidak dimaksudkan sebagai dukungan dalam bentuk apa pun dan tidak dapat dianggap sebagai nasihat investasi atau ajakan untuk membeli atau menjual aset digital. Sejauh AI generatif digunakan untuk menyediakan ringkasan atau informasi lainnya, konten yang dihasilkan AI mungkin tidak akurat atau tidak konsisten. Silakan baca artikel yang terkait untuk informasi lebih lanjut. OKX tidak bertanggung jawab atas konten yang dihosting di situs pihak ketiga. Kepemilikan aset digital, termasuk stablecoin dan NFT, melibatkan risiko tinggi dan dapat berfluktuasi secara signifikan. Anda perlu mempertimbangkan dengan hati-hati apakah trading atau menyimpan aset digital sesuai untuk Anda dengan mempertimbangkan kondisi keuangan Anda.