Aave Labs merilis laporan audit transparansi lengkap dari rencana keamanan Aave V4

AAVE1,32%

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

Hana Financial, Posco International, dan Dunamu Bermitra untuk Meluncurkan Platform Blockchain Pengiriman Uang Lintas Negara

Berita Gate pada 29 April — Grup Keuangan Hana Korea Selatan, perusahaan perdagangan Posco International, dan perusahaan aset digital Dunamu menandatangani nota kesepahaman (MOU) untuk membangun platform blockchain bagi pengiriman lintas negara pada 2026 guna mempercepat transfer dan meningkatkan pelacakan. Posco Int

GateNews55menit yang lalu

Lido DAO Mengusulkan Pengurangan Sementara Ambang Perlindungan First-Loss EarnETH untuk Menutup Kerugian Akibat Peristiwa Kelp

Pesan Berita Gate, 29 April — Lido DAO telah mempublikasikan proposal baru di forum penelitiannya, menyarankan agar DAO mengizinkan pengurangan sementara pada ambang pemicu perlindungan first-loss untuk vault EarnETH guna menutup kerugian yang terkait dengan peristiwa Kelp. Berdasarkan aturan saat ini, mekanisme perlindungan

GateNews1jam yang lalu

EVAA Meluncurkan E-Mode di TON, Meningkatkan Imbal Hasil Tahunan hingga 41% dan Meningkatkan Efisiensi Modal

Berita Gerbang, 29 April — EVAA mengumumkan peluncuran E-Mode (Efficiency Mode) pada 29 April, menandai era baru efisiensi modal dalam ekosistem TON. Berdasarkan suku bunga TON saat ini yang sekitar 24%, E-Mode dapat meningkatkan imbal hasil tahunan strategi hingga setinggi 41%, secara signifikan

GateNews1jam yang lalu

Hedera Africa Hackathon Dinobatkan sebagai yang Terbesar di Dunia, Mendistribusikan $1M Dana Hadiah ke Lebih dari 13.000 Pengembang

Gate News pesan, 29 April — Hashgraph Association dan Exponential Science telah mengumumkan para pemenang Hedera Africa Hackathon, yang secara resmi telah menjadi hackathon terbesar di seluruh dunia. Acara ini menarik lebih dari 13.000 pengembang, 1.300 pengajuan proyek, dan 45.000 peserta sertifikasi

GateNews1jam yang lalu

Ronin Akan Bermigrasi ke Ethereum sebagai OP Stack L2, Inflasi Tahunan RON Akan Turun di Bawah 1%

Gate News, 29 April — Ronin, sebuah blockchain gim, mengumumkan bahwa pihaknya akan bermigrasi ke Ethereum Layer 2 pada 12 Mei 2026. Migrasi tersebut akan melibatkan sekitar 10 jam waktu henti di rantai (on-chain), setelah itu operasi normal akan dilanjutkan. Arsitektur yang mendasari akan dibangun di atas OP Stack dan akan mengintegrasikan EigenDA sebagai lapisan ketersediaan data. Pengguna disarankan untuk melepas staking RON sebelum tanggal migrasi, atau sistem akan secara otomatis melepas staking untuk mereka setelah migrasi selesai. Aku

GateNews2jam yang lalu

Avalanche Foundation Mendukung W3 saat 200K Workflows Mulai Tayang, Mempercepat Peralihan Keuangan AI

W3 telah meluncurkan platform kontrol di jaringan Avalanche yang dirancang untuk mengelola keuangan bertenaga agen. Poin Penting W3.io meluncurkan platform kontrol AI di Avalanche, yang sudah memproses 200.000 alur kerja perusahaan harian. W3 dan Avalanche menjembatani kesenjangan akuntabilitas untuk 70+ blockchain melalui

Coinpedia2jam yang lalu
Komentar
0/400
Tidak ada komentar