Certora–Aliansi Aave Mempublikasikan Model Keamanan Komprehensif di Balik Aave V4 - Crypto Economy

Certora dan Aave Labs mengungkap detail kerangka keamanan yang dikembangkan bersama untuk Aave V4, generasi berikutnya dari protokol peminjaman terdesentralisasi.

Kolaborasi kedua perusahaan ini berlangsung lebih dari enam tahun dan mencakup beberapa versi protokol. Untuk Aave V4, Certora bergabung dalam proses pengembangan lebih dari satu tahun sebelum peluncuran, mengintegrasikan keamanan langsung ke dalam arsitektur sistem sejak tahap desain awal.

Pekerjaan tersebut mencakup verifikasi formal berkelanjutan, pengujian adversarial, dan audit manual yang dilakukan oleh para peneliti dengan pengalaman dalam protokol pinjaman, sistem oracle, dan mekanisme tata kelola.

Secara konkret, tim Certora meninjau 169 kontrak pintar, menganalisis lebih dari 51.000 baris kode, menghasilkan lebih dari 800 aturan verifikasi formal dan mencegah 28 kerentanan kritis** sebelum penerapan. Selain itu, selama kontes keamanan eksternal dengan peneliti independen, tidak ada kerentanan kritis atau berdampak tinggi yang teridentifikasi.

“Keamanan tidak lagi bisa bergantung pada audit sekali jalan,” kata Mooly Sagiv, pendiri dan chief scientist di Certora. Hanya pada tahun 2025 saja, perusahaan ini secara aktif berkontribusi untuk melindungi $196,5 miliar dalam total nilai yang terkunci di seluruh protokol DeFi dan mencegah lebih dari 720 kerentanan sebelum mencapai produksi.

Sumber: https://chainwire.org/2026/03/30/certora-and-aave-reveal-security-framework-behind-aave-v4-following-six-year-collaboration/?mfk=rpvtAlMW9%2FoHf0N2EGpyPX7YYmOhAn2m735m%2B2w%2FzN%2Bm%2BM%2F9Q0SsJTo828N1GGiS81rK6UBY2vGtYRqTP6HXiQrorBUk5ESIaqAbRRN7tN8PFIJvJkNlj28ateMl7UVeL6fBNV3wiwdA%2BinqpTWDJxM72ZM72Ng%3D

Pernyataan penyangkalan: Crypto Economy Flash News didasarkan pada sumber publik dan resmi yang telah diverifikasi. Tujuannya adalah memberikan pembaruan cepat dan faktual tentang peristiwa yang relevan dalam ekosistem kripto dan blockchain.

Informasi ini tidak merupakan nasihat keuangan atau rekomendasi investasi. Pembaca dianjurkan untuk memverifikasi semua detail melalui kanal resmi proyek sebelum membuat keputusan apa pun yang terkait