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
Ripple memproses volume USD 13.000 triliun yang lama, Garlinghouse mengarah pada perpindahan on-chain
CEO Ripple, Brad Garlinghouse, menyoroti fase pertumbuhan perusahaan di tengah pasar crypto yang volatil, mengungkapkan akuisisi besar dan volume pembayaran yang substansial.
Dia melihat peluang signifikan dalam memindahkan keuangan tradisional ke solusi on-chain, menekankan keuntungan stablecoin untuk transaksi instan dan bertujuan untuk membangun infrastruktur keuangan digital di luar hanya XRP.
TapChiBitcoin12menit yang lalu
Salarvador meningkatkan cadangan Bitcoin menjadi 7605,37 koin, dengan nilai sekitar 5,06 miliar dolar.
El Salvador menambah cadangan Bitcoin menjadi 7605,37 BTC, bernilai sekitar 5,06 juta dolar AS. Analis menunjukkan bahwa kerugian pemegang Bitcoin jangka pendek semakin meluas, indikator MVRV berada di zona pasar beruang. Kakak Maji mengalami kerugian mencapai 31,3 juta dolar AS. Platform pembayaran Walmart OnePay menambahkan dukungan untuk berbagai token kripto. Gnosis dan Zisk meluncurkan kerangka Rollup zona ekonomi Ethereum.
GateNews15menit yang lalu
Akhiri kekacauan L2! Komunitas Ethereum mengusulkan “Zona Ekonomi Bersama EEZ”, agar transaksi lintas Rollup dan masalah likuiditas bisa dibereskan sekaligus
Gnosis dan Zisk mengusulkan kerangka Area Ekonomi Ethereum (EEZ), yang bertujuan untuk mengatasi masalah fragmentasi Ethereum L2, serta mewujudkan eksekusi sinkron lintas rantai untuk kontrak pintar di berbagai Rollup dalam satu transaksi tunggal tanpa perlu infrastruktur jembatan. EEZ mengurangi proses yang rumit melalui pemanggilan langsung kontrak pada mainnet, dan membentuk EEZ Alliance untuk mengoordinasikan berbagai pihak yang terlibat, namun menghadapi tantangan koordinasi ekosistem dan ujian untuk menyatukan standar.
動區BlockTempo34menit yang lalu
MicroStrategy menghentikan rekor pembelian Bitcoin selama 13 minggu, mempromosikan saham preferen STRC.
Michael Saylor, Ketua Eksekutif MicroStrategy, pada 29 Maret tidak merilis grafik pelacakan Bitcoin, mengakhiri sinyal pembelian selama 13 minggu berturut-turut, dan beralih untuk mempromosikan saham preferen permanen perusahaan, STRC. MicroStrategy telah mengakumulasi 762.099 Bitcoin, tetapi saat ini berada dalam keadaan kerugian di atas kertas. Perusahaan mengalihkan fokus pendanaannya ke STRC untuk mendukung rencana pembelian Bitcoin di masa depan.
MarketWhisper1jam yang lalu
APRO Meluncurkan SDK TypeScript untuk Memperluas Akses Data bagi Pengembang dan Agen AI
APRO telah meluncurkan alat baru, termasuk SDK TypeScript dan Keterampilan Integrasi, untuk meningkatkan akses pengembang ke data oracle di tujuh vertikal. Inisiatif ini menyederhanakan pengembangan aplikasi dan mendukung berbagai proyek dengan menawarkan sumber daya terpadu untuk data yang dapat diandalkan dan terstruktur.
BlockChainReporter1jam yang lalu
XRP mengadopsi AI untuk menangkap kerentanan protokol, memperkuat siklus hidup pengembangan perangkat lunak blockchain.
XRP sedang memanfaatkan kecerdasan buatan untuk meningkatkan siklus hidup pengembangan perangkat lunak blockchain-nya,
melalui pengujian keamanan, modifikasi kode, dan analisis kasus tepi,
untuk mengidentifikasi dan memperbaiki potensi kerentanan lebih awal.
Tim pengembang membentuk tim merah untuk melakukan pengujian,
dan menyediakan program hadiah bug serta standar keamanan transparan,
untuk memastikan stabilitas dan keamanan sistem.
XRP juga sedang melakukan pilot di Singapura,
mendorong bisnis pembayaran global dan penyebaran stablecoin.
ChainNewsAbmedia4jam yang lalu
