BlockBeats melaporkan bahwa pada 5 Maret, menurut pengumuman resmi, Aave Labs merilis laporan transparansi lengkap tentang Rencana Keamanan Aave V4, termasuk metode, proses, dan hasilnya, yang didukung bersama oleh beberapa lembaga keamanan seperti Trail of Bits, Blackthorn, Certora, dan lainnya. Melalui audit manual, verifikasi formal, pengujian invariansi, pengujian fuzz, serta kompetisi keamanan terbuka, telah dilakukan sekitar 345 hari pemeriksaan keamanan secara kumulatif. Rencana ini didukung oleh anggaran keamanan khusus sebesar 1,5 juta dolar yang disetujui oleh DAO.
Aave Labs mengumumkan akan melanjutkan lima komitmen inti dari Rencana Keamanan Aave V4: mengintegrasikan verifikasi formal sejak tahap pengembangan awal untuk memastikan bahwa desain arsitektur didasarkan pada pendekatan keamanan, bukan hanya verifikasi; menerapkan pendekatan keamanan berlapis, termasuk tinjauan manual, verifikasi formal, pengujian invariansi, pemeriksaan berbantuan AI, pengujian fuzz, dan kompetisi keamanan terbuka, untuk menutupi lebih banyak potensi kerentanan; menjaga cakupan keamanan yang berkelanjutan, kerangka kerja verifikasi formal dan paket pengujian invariansi akan terus berjalan seiring iterasi protokol; menetapkan program bounty kerentanan jangka panjang untuk memanfaatkan komunitas keamanan yang lebih luas dalam pemantauan berkelanjutan; serta mengoptimalkan kemampuan pemindaian AI, dengan terus meningkatkan tingkat deteksi keamanan cerdas untuk versi mendatang berdasarkan pengalaman pengujian yang ada.
Penafian: Informasi di halaman ini dapat berasal dari pihak ketiga dan tidak mewakili pandangan atau opini Gate. Konten yang ditampilkan hanya untuk tujuan referensi dan bukan merupakan nasihat keuangan, investasi, atau hukum. Gate tidak menjamin keakuratan maupun kelengkapan informasi dan tidak bertanggung jawab atas kerugian apa pun yang timbul akibat penggunaan informasi ini. Investasi aset virtual memiliki risiko tinggi dan rentan terhadap volatilitas harga yang signifikan. Anda dapat kehilangan seluruh modal yang diinvestasikan. Harap pahami sepenuhnya risiko yang terkait dan buat keputusan secara bijak berdasarkan kondisi keuangan serta toleransi risiko Anda sendiri. Untuk detail lebih lanjut, silakan merujuk ke
Penafian.
Artikel Terkait
XRP di Ambang Terobosan Privasi: Kontributor Utama XRPL Merinci Bagaimana Fitur Ini Akan Terwujud - U.Today
Ekosistem XRP siap bertransformasi dengan implementasi teknologi zero-knowledge proof (ZKP) untuk meningkatkan privasi. Ini akan memungkinkan transaksi diverifikasi tanpa mengungkapkan detail sensitif. Selain itu, pengembangan mendatang mencakup integrasi AI, stablecoin baru, smart contract, dan XRP Alphanetwork untuk menguji algoritma canggih.
UToday19menit yang lalu
MoonPay memperkenalkan dukungan penandatanganan perangkat keras asli untuk alat agen AI
MoonPay mengumumkan pada 15 Maret untuk memperkenalkan dukungan penandatanganan perangkat keras bagi alat agen AI-nya, memungkinkan pelaksanaan strategi transaksi di berbagai blockchain, pengguna perlu mengonfirmasi transaksi melalui perangkat Ledger, memastikan keamanan kunci privat.
GateNews24menit yang lalu
Foundry Meluncurkan Mining Pool Tingkat Institusional untuk Zcash
Foundry akan meluncurkan pool penambangan Zcash bulan depan, memperluas operasi penambangan mereka di luar Bitcoin.
Pool ini akan menawarkan pembayaran yang dapat diaudit dan infrastruktur yang dapat diskalakan saat Foundry berkembang ke penambangan ZEC untuk pengguna institusional.
Foundry Digital berencana meluncurkan pool penambangan Zcash dalam
CryptoNewsFlash42menit yang lalu
Kraken Mengumumkan Listing Token Pi Network Mendatang Menjelang Pi Day 2026 dan Upgrade Kunci
Kraken berencana meluncurkan PI karena Pi Network memajukan peningkatan protokol terbaru dan bergerak lebih dekat ke batas waktu peningkatan 12 Maret.
PI sudah terdaftar di OKX, Bitget, HTX, dan BitMart, sementara pembukaan kunci token mulai 12 Maret dapat meningkatkan pasokan jangka pendek.
Kraken telah bergerak menuju peluncuran Pi Network
CryptoNewsFlash1jam yang lalu
Daftar "Lisensi Stablecoin" pertama Hong Kong akan segera diumumkan! Dikabarkan jatuh kepada "HSBC, Standard Chartered dan OSL"
Daftar pertama "Lisensi Penerbit Stablecoin" Hong Kong akan diumumkan minggu depan, dengan tiga pemohon utama adalah HSBC, Standard Chartered Bank, dan platform aset virtual OSL. Penerbitan lisensi ini mungkin cenderung menguntungkan bank karena kekuatan modal dan keuntungan regulasi mereka, sementara OSL memiliki pengalaman praktis yang kaya. Meskipun ada rumor bahwa daftar utama telah keluar, situasi sebenarnya dapat berubah.
区块客1jam yang lalu
Brave Memperkenalkan Pertukaran Cross-Chain untuk Bitcoin, Solana, Zcash, dan Cardano yang Didukung oleh NEAR Intents
Dompet Brave v1.88 menambahkan NEAR Intents, memungkinkan pertukaran lintas rantai di Bitcoin, Solana, Zcash, Cardano, dan jaringan EVM.
NEAR Intents telah memproses lebih dari 19 juta pertukaran dan lebih dari $14 miliar dalam volume di 35 rantai sebelum integrasi dompet ini.
Brave telah menambahkan NEAR Intents ke
CryptoNewsFlash1jam yang lalu
