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
Fluid Muncul sebagai Alternatif DeFi Setelah Insiden KelpDAO Menguras $10B dari Aave
Abstrak: KelpDAO terkena dampak Aave; TVL turun dari $26,3 miliar menjadi $16,4 miliar. Fluid meluncurkan penebusan WETH yang memungkinkan swap ETH-ke-wstETH saat TVL DeFi menurun; Aave masih memiliki TVL terbesar dan dukungan institusional.
GateNews2jam yang lalu
Circle Mengusulkan Restrukturisasi Darurat Tarif untuk Pool USDC Aave yang Dibekukan
Circle telah mengusulkan perombakan darurat terhadap parameter tingkat bunga pada kumpulan USDC Aave V3 Ethereum Core, yang telah ditetapkan pada tingkat utilisasi 99,87% selama empat hari setelah eksploit KelpDAO pada 18 April, menurut sebuah posting tata kelola yang diterbitkan pada hari Selasa. Kepala Ekonom Circle, Gordon Liao, berargumen th
CryptoFrontier3jam yang lalu
Prakiraan Harga ADA saat Cardano Menghadirkan Kesepakatan Tokenized LSE
Wawasan Utama
Token Cardano melakukan tokenisasi produk reasuransi Hannover Re dan mencantumkannya di Bursa Efek London, sehingga memperluas penggunaan blockchain di pasar institusional yang teregulasi.
Harga ADA bertahan dalam pola wedge menurun karena support di $0.2400 tetap utuh sementara resistensi di dekat $0.2550 dan $0.2824 l
CryptoNewsLand4jam yang lalu
XRP Tembus Batas Tetap Bertahan saat Suara Pinjaman XRPL Mendapat Momentum
XRP menunjukkan kekuatan mingguan, diperdagangkan di atas EMA setelah keluar dari descending wedge; XRPL melangkah maju dengan peningkatan pinjaman XLS-65/66 menggunakan pooled vaults dan fixed-term loans; derivatif meningkat dari segi volume, open interest, dan aktivitas opsi.
Abstrak: Laporan ini mencatat momentum mingguan XRP yang terus berlanjut dan kekuatan harga di atas rata-rata pergerakan utama setelah terjadi breakout dari descending wedge. Laporan ini membahas validator XRPL yang memberikan suara untuk XLS-65 dan XLS-66, memungkinkan pinjaman native, pooled liquidity vaults, dan fixed-term loans untuk memperluas aktivitas keuangan on-chain. Laporan ini juga melaporkan meningkatnya partisipasi derivatif, dengan volume perdagangan yang lebih tinggi, open interest, dan lonjakan aktivitas opsi, yang menandakan semakin meningkatnya penempatan trader untuk kelanjutan breakout.
CryptoNewsLand7jam yang lalu
XRP Breakout Bertahan saat Suara Pinjaman XRPL Mendapat Momentum
XRP menunjukkan kekuatan mingguan, diperdagangkan di atas EMA setelah keluar dari wedge menurun; XRPL maju dengan peningkatan pinjaman XLS-65/66 melalui vault terpooling dan pinjaman berjangka tetap; derivatif naik dalam volume, open interest, dan aktivitas opsi.
Abstrak: Laporan ini mencatat momentum mingguan XRP yang terus berlanjut dan kekuatan harga di atas rata-rata bergerak kunci setelah terjadinya breakout dari wedge menurun. Laporan ini membahas validator XRPL yang memberikan suara pada XLS-65 dan XLS-66, yang memungkinkan pinjaman native, vault penampung likuiditas terpooling, dan pinjaman berjangka tetap untuk memperluas aktivitas keuangan di rantai. Laporan ini juga melaporkan meningkatnya partisipasi derivatif, dengan volume perdagangan yang lebih tinggi, open interest, dan lonjakan aktivitas opsi, yang menunjukkan meningkatnya posisi trader untuk kelanjutan breakout.
CryptoNewsLand7jam yang lalu
Pendiri Aave Stani: Tim Mendorong Berbagai Solusi, Pulih $70M dalam ETH
Pesan Berita Gate, 22 April — Pendiri Aave, Stani, mengatakan timnya telah secara aktif mendorong penyelesaian insiden dalam beberapa hari terakhir, dengan fokus utama pada melindungi kepentingan pengguna dan memastikan pemulihan pasar yang tertib. Menurut Stani, timnya bekerja sama dengan beberapa mitra untuk mendorong beberapa jalur solusi,
GateNews8jam yang lalu