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
DeepSeek meluncurkan dua fitur baru: mode cepat dan mode ahli
Berita Gate, 8 April, situs web dan aplikasi DeepSeek mulai meluncurkan dua mode baru pada dini hari ini. Di antaranya, mode cepat cocok untuk skenario percakapan sehari-hari, memberikan respons instan; mode ahli dirancang untuk masalah yang kompleks, mendukung fitur pemikiran mendalam, tetapi pada jam sibuk perlu menunggu, dan tidak mendukung unggahan lampiran atau unggahan suara.
GateNews49menit yang lalu
Protokol pinjam-meminjam DeFi Seamless Protocol mengumumkan penghentian layanan, pengguna harus menarik aset sebelum 30 Juni
Protokol DeFi pinjaman dan peminjaman di Base Chain, Seamless Protocol, mengumumkan penghentian operasional setelah beroperasi selama lebih dari dua setengah tahun. Pengguna perlu menarik aset sebelum 30 Juni 2026. Alasan penghentian adalah token ber-leverage tidak mampu menemukan kecocokan pasar, sekaligus karena kurangnya likuiditas dan pendapatan yang berkelanjutan. Tim akan mengajukan proposal untuk membagikan aset yang tersisa kepada pemegang token SEAM.
GateNews56menit yang lalu
Platform infrastruktur dompet privasi Privy mendukung transaksi penukaran dompet
Berita Gate News, pada 7 April, platform infrastruktur dompet privasi Privy memposting di X (Twitter) bahwa pihaknya telah mendukung fitur transaksi penukaran dompet, di mana fungsionalitas tersebut didukung secara teknis oleh Uniswap API.
GateNews9jam yang lalu
Velora（dulu Paraswap） merilis proposal tata kelola baru, menutup perbendaharaan DAO, dan mengakhiri rencana staking
Velora (sebelumnya Paraswap) meluncurkan proposal tata kelola baru; penyesuaian utamanya mencakup fokus pada keputusan struktural terkait token VLR, menghentikan rencana staking, menutup perbendaharaan DAO dan membayar layanan infrastruktur dasar, serta menghentikan perutean biaya. Ke depan, tata kelola akan berfokus pada keputusan-keputusan yang terkait dengan token VLR, dan pengoperasian protokol akan didukung oleh tim pengembang.
GateNews10jam yang lalu
Proposal standar baru Ethereum ERC-8211 dirilis, mendukung AI agent untuk menjalankan transaksi DeFi yang kompleks
Biconomy mengusulkan standar baru Ethereum ERC-8211 yang memperkenalkan mekanisme “batching cerdas”, memungkinkan agen AI mengeksekusi beberapa langkah operasi DeFi secara dinamis dalam satu transaksi, secara efektif mengatasi masalah fluktuasi harga dan perubahan biaya transaksi, serta sejalan dengan strategi Ethereum Foundation untuk meningkatkan pengalaman pengguna.
GateNews11jam yang lalu
Mainnet publik Rayls akan diluncurkan pada 30 April
Berita Gate, tanggal 7 April, proyek blockchain publik Rayls mengumumkan bahwa mainnet-nya akan diluncurkan pada 30 April pukul 23:00. Selain itu, rencana penyertaan (staking) Rayls dan stablecoin asli USDr juga akan diluncurkan secara bersamaan. USDr adalah stablecoin asli Rayls yang didukung oleh dolar AS, digunakan untuk membayar biaya transaksi jaringan.
GateNews11jam yang lalu
