Cannes, Prancis, 30 Maret 2026, Chainwire
Dibangun selama enam tahun kolaborasi, Certora dan Aave menanamkan keamanan langsung ke dalam arsitektur Aave V4, menciptakan salah satu kerangka keamanan terkuat di DeFi.
Certora, penyedia utama alat verifikasi formal dan audit smart contract untuk protokol Web3, mengungkap detail kerangka keamanan yang dikembangkan bersama Aave Labs untuk mengamankan Aave V4, generasi berikutnya dari salah satu protokol peminjaman terbesar di keuangan terdesentralisasi.
“Protokol DeFi semakin beroperasi pada skala dan kompleksitas infrastruktur keuangan,” kata Mooly Sagiv, Pendiri dan Chief Scientist Certora. “Keamanan tidak lagi bisa bergantung pada audit satu kali. Dengan Aave V4, kami bekerja bersama para insinyur sepanjang pengembangan, terus-menerus memverifikasi properti sistem yang kritis untuk memastikan protokol berperilaku persis seperti yang dimaksudkan.”
Alih-alih masuk dalam proses pada tahap akhir pengembangan, Certora bergabung dalam upaya Aave V4 lebih dari satu tahun sebelum peluncuran. Bekerja erat dengan para insinyur Aave, tim meninjau arsitektur sistem, jalur tata kelola, dan asumsi ekonomi sejak awal proses desain, memungkinkan pertimbangan keamanan memengaruhi struktur protokol sejak awal.
Pekerjaan ini dibangun di atas hubungan antara Certora dan Aave yang telah berlangsung lebih dari enam tahun dan beberapa versi protokol. Sepanjang pengembangan Aave V4, para peneliti Certora bekerja bersama para insinyur Aave untuk menerapkan verifikasi formal berkelanjutan, pengujian adversarial, dan audit manual guna mengidentifikasi isu sejak dini dan memperkuat sistem sebelum penerapan.
Selama pengembangan, Certora menerapkan verifikasi formal, pendekatan matematis yang digunakan untuk membuktikan bahwa perangkat lunak memenuhi properti keamanan tertentu. Keterlibatan ini mencakup:
- Verifikasi jaminan utama protokol, termasuk konservasi aset, aturan kolateralisasi, ketepatan likuidasi, keamanan perizinan, keamanan peningkatan, dan konsistensi lintas pasar
- Tinjauan manual berkelanjutan oleh auditor senior dengan keahlian dalam protokol peminjaman, sistem oracle, mekanisme tata kelola, dan pola eksploitasi DeFi
- Kontes keamanan eksternal skala besar yang melibatkan peneliti independen, di mana tidak ada kerentanan kritis atau berdampak tinggi yang teridentifikasi, memberikan validasi tambahan terhadap arsitektur keamanan protokol.
Sepanjang kemitraan jangka panjang ini, Certora dan Aave telah mengamankan berbagai generasi protokol dan miliaran dolar likuiditas on-chain, termasuk:
- 169 smart contract ditinjau
- Lebih dari 51.000 baris kode dianalisis
- 800+ aturan verifikasi formal dibuat dan diuji secara berkelanjutan
- 28 kerentanan signifikan dicegah sebelum penerapan.
Seiring keuangan terdesentralisasi terus matang dan menarik modal institusional, jaminan keamanan yang lebih kuat menjadi prasyarat untuk adopsi skala besar. Pekerjaan Certora dengan Aave mencerminkan pergeseran yang lebih luas di industri menuju rekayasa keamanan berkelanjutan. Hanya pada tahun 2025, Certora membantu secure nilai terkunci total sebesar $196,5 miliar di berbagai protokol DeFi dan mencegah lebih dari 720 kerentanan mencapai produksi.
Untuk informasi lebih lanjut, silakan kunjungi certora.com/blog/certora-x-aavev4 atau ikuti @Certora.
Tentang Certora
Certora adalah mitra penjaminan keamanan yang dipercaya oleh tim-tim paling maju di Web3. Didirikan pada 2018 oleh para pelopor bahasa pemrograman dan metode formal, Certora membantu protokol terkemuka seperti Lido, Aave, Uniswap, dan Compound mengamankan miliaran nilai dengan keyakinan.
Kontak
PR Manager
Aarya Shah
[email protected]