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

AAVE4,81%

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.

Lihat Asli
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

Venice Pendiri: Saat ini platform menggunakan desain privat, pemberitahuan dan balasan tidak akan disimpan di server

Pendiri Venice, proyek AI Base Chain Erik Voorhees menyatakan bahwa platform ini dirancang secara privat, masukan dan balasan pengguna tidak disimpan, memastikan perlindungan privasi. Selain itu, komunitas pengguna tidak didominasi oleh bidang kripto, perlindungan privasi adalah fokus utama pengembangan di masa depan, dan langkah-langkah terkait akan segera direalisasikan.

GateNews4menit yang lalu

Gate Research Institute: Aset TradFi yang Berkelanjutan, Sistem Penumpukan Keunggulan Kontrak Makro Berkelanjutan Gate

Lembaga Penelitian Gate merilis laporan yang menunjukkan bahwa pada tahun 2026, para trader kripto akan meningkat permintaan terhadap alat risiko makro berbasis stablecoin. Gate meluncurkan dua jalur perdagangan: melalui Gate TradFi yang menyediakan akses ke pasar tradisional, dan meluncurkan kontrak perpetual makro dengan settlement USDT, mencakup berbagai aset makroekonomi, guna meningkatkan keberlaksanaan strategi perdagangan.

GateNews21menit yang lalu

Hyperdrive Menargetkan DeFi Institusional Dengan Protokol Penyelesaian Berbasis Penebusan Baru

Hyperdrive meluncurkan protokol pasar leverage baru untuk mengakhiri “lingkaran kematian” keuangan terdesentralisasi. Dengan menggunakan penetapan harga berbasis penebusan alih-alih data pasar yang volatil, Hyperdrive membawa kredit terstruktur tingkat institusi ke pasar aset dunia nyata dan token staking likuid. Mengatasi masalah tersebut

Coinpedia31menit yang lalu

Rebound pasar saham Jepang-Korea》Dompet Phantom diluncurkan, ETF Jepang-Korea BlackRock, kontrak berkelanjutan, leverage hingga 20 kali

Dompet Phantom mengumumkan penambahan perdagangan kontrak berkelanjutan ETF Korea dan Jepang, dan dapat berpartisipasi dalam perdagangan panjang dan pendek pasar Korea dan Jepang dengan leverage hingga 20 kali. Pengguna dapat langsung melakukan operasi di dalam dompet tanpa perlu platform eksternal. ETF ini diterbitkan oleh BlackRock dan masing-masing mengikuti indeks utama Korea dan Jepang.

動區BlockTempo1jam yang lalu

X Money meluncurkan pengujian terbatas "menyimpan dengan tingkat bunga tahunan 6%", Star Wars Shatner menawar undangan dengan harga 1000 dolar

Aplikasi pembayaran Elon Musk, X Money, memulai pengujian eksternal minggu ini, menawarkan suku bunga deposito 6% per tahun dan dilindungi oleh FDIC, menantang bank tradisional dan PayPal. Pengguna dapat memperoleh kartu logam Visa bertuliskan nama dan cashback saat berbelanja. Selain itu, X Money juga berencana untuk secara bertahap mengintegrasikan cryptocurrency, meskipun saat ini belum ada langkah konkret.

動區BlockTempo1jam yang lalu

Yayasan Ethereum: Tujuan strategis AI Ethereum adalah menjadi lapisan koordinasi dan verifikasi di dunia AI

Davide Crapis, kepala AI di Yayasan Ethereum, menyatakan bahwa Ethereum bertujuan menjadi lapisan koordinasi dan verifikasi AI, menekankan pentingnya desentralisasi dan privasi. Strategi AI Ethereum berfokus pada koordinasi AI yang terdesentralisasi dan membawa nilai inti ke bidang AI, untuk melindungi data dan identitas pengguna.

GateNews1jam yang lalu
Komentar
0/400
Tidak ada komentar
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)