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
Bitdeer mengosongkan cadangan Bitcoin dan beralih ke AI, menandatangani kontrak dengan DCI Norwegia untuk membangun pusat data AI terbesar di negara tersebut
Perusahaan penambang Bitcoin Bitdeer mengumumkan telah mencapai kesepakatan dengan kontraktor Norwegia untuk mengubah fasilitas yang ada menjadi pusat data AI terbesar di Norwegia, yang mendukung teknologi AI dari NVIDIA. Selain itu, Bitdeer mengosongkan cadangan Bitcoin, dan berencana menggalang dana sebesar 300 juta USD melalui penerbitan surat utang preferen konversi untuk mendorong transformasi infrastruktur komputasi berkinerja tinggi dan AI.
GateNews16menit yang lalu
Inisiatif Kripto Eropa (EUCI) berganti nama menjadi Institut Riset Ethereum Eropa (EEI)
Inisiatif kripto Eropa secara resmi berganti nama menjadi European Ethereum Institute, menekankan pentingnya Ethereum dalam ekonomi digital Eropa. EEI akan menyediakan analisis independen, membahas isu regulasi terkait, serta menghubungkan pengembang dengan pembuat kebijakan.
GateNews1jam yang lalu
Protokol stablecoin abstraksi likuiditas River diperluas ke jaringan Base
Protokol stablecoin River yang melakukan abstraksi likuiditas telah diperluas ke jaringan Base, sebelumnya di Ethereum dan BNB Chain. Base adalah jaringan L2 terdepan di Ethereum dalam hal aktivitas, dengan DeFi TVL lebih dari 4 miliar, kapitalisasi stablecoin 4,7 miliar, alamat aktif harian hampir 500.000, dan pengguna dapat memiliki serta menggunakan River di ekosistemnya.
GateNews1jam yang lalu
Ethereum Foundation Menambah Lebih Banyak ETH, Meningkatkan Total Menjadi $50 Juta
Yayasan Ethereum mengunci ETH senilai $46,2 juta, sehingga total staking-nya menjadi sekitar $50 juta. Inisiatif ini merupakan bagian dari strategi kas yang bertujuan meningkatkan keberlanjutan keuangan dan mendukung ekosistem Ethereum.
Decrypt5jam yang lalu
Aave Meluncurkan V4 di Ethereum dengan Desain Modular Baru
_Aave meluncurkan V4 di Ethereum dengan sistem modular baru untuk meningkatkan layanan pinjam-meminjam kripto, pengendalian risiko, dan efisiensi modal bagi pengguna secara global._
Aave secara resmi meluncurkan peningkatan V4 di mainnet Ethereum. Pembaruan ini memperkenalkan desain modular baru untuk pinjam-meminjam kripto. Platform ini ditujukan untuk pengguna global yang menginginkan solusi yang lebih fleksibel dan efisien dalam pengelolaan aset digital mereka.
LiveBTCNews5jam yang lalu
Square milik Jack Dorsey secara otomatis mengaktifkan pembayaran Bitcoin untuk jutaan penjual
Square telah menjadikan pembayaran Bitcoin sebagai opsi default untuk penjual A.S. yang memenuhi syarat, sehingga memengaruhi 4 juta pedagang yang kini dapat menerima Bitcoin dengan biaya nol. Penjual akan menerima USD secara default; namun, mereka dapat memilih untuk menonaktifkan fitur tersebut.
Decrypt5jam yang lalu
