Cannes, Fransa, 30 Mart 2026, Chainwire
Altı yıllık bir iş birliği boyunca inşa edilen Certora ve Aave, güvenliği doğrudan Aave V4’ün mimarisine yerleştirerek DeFi’deki en güçlü güvenlik çerçevelerinden birini oluşturdu.
Certora, Web3 protokolleri için biçimsel doğrulama araçları ve akıllı sözleşme denetimleri alanında lider sağlayıcı olarak, merkeziyetsiz finansın en büyük kredi protokollerinden birinin yeni nesli olan Aave V4’ü güvence altına almak için Aave Labs ile birlikte geliştirdiği güvenlik çerçevesinin ayrıntılarını açıkladı.
“DeFi protokolleri giderek finansal altyapı ölçeğinde ve karmaşıklığında çalışıyor,” dedi Certora Kurucusu ve Baş Bilim İnsanı Mooly Sagiv. “Güvenlik artık anlık denetimlere dayanamaz. Aave V4 ile geliştirme boyunca mühendislerle yan yana çalıştık, protokolün tam olarak tasarlandığı gibi davrandığından emin olmak için kritik sistem özelliklerini sürekli olarak doğruladık.”
Geliştirme sürecinin sonuna yakın bir aşamada sürece dahil olmak yerine, Certora Aave V4 çalışmasına lansmandan bir yıldan fazla süre önce katıldı. Aave mühendisleriyle yakın çalışarak, ekip tasarım sürecinin erken safhalarında sistem mimarisini, yönetişim yollarını ve ekonomik varsayımları inceledi; böylece güvenlik hususlarının en baştan protokolün yapısını şekillendirmesine olanak sağlandı.
Bu çalışma, Certora ve Aave arasında altı yılı ve protokolün birkaç sürümünü kapsayan bir ilişki üzerine inşa edildi. Aave V4’ün geliştirilmesi boyunca Certora araştırmacıları, sorunları erken tespit etmek ve dağıtımdan önce sistemi güçlendirmek amacıyla Aave mühendisleriyle birlikte sürekli biçimsel doğrulama, saldırgan testleri ve manuel denetim uyguladı.
Geliştirme süreci boyunca Certora, yazılımın belirli güvenlik özelliklerini sağladığını ispatlamak için kullanılan matematiksel bir yaklaşım olan biçimsel doğrulamayı uyguladı. Çalışma şunları içerdi:
- Varlık korunumunu, teminatlandırma kurallarını, tasfiye doğruluğunu, izin güvenliğini, yükseltme güvenliğini ve çapraz piyasa tutarlılığını da içeren temel protokol garantilerinin doğrulanması
- Kredi protokolleri, oracle sistemleri, yönetişim mekanikleri ve DeFi istismar kalıpları konusunda uzman kıdemli denetçiler tarafından sürekli manuel inceleme
- Bağımsız araştırmacıların katıldığı, hiçbir kritik veya yüksek etkili güvenlik açığının tespit edilmediği geniş kapsamlı bir dış güvenlik yarışması; bu da protokolün güvenlik mimarisine ek bir doğrulama sağladı.
Bu uzun vadeli ortaklık boyunca Certora ve Aave, birden fazla protokol neslini ve zincir üzerindeki milyarlarca dolarlık likiditeyi güvence altına aldı; bunlar arasında şunlar yer alıyor:
- 169 akıllı sözleşme incelendi
- 51.000’den fazla satır kod analiz edildi
- 800+ biçimsel doğrulama kuralı oluşturuldu ve sürekli test edildi
- Dağıtımdan önce 28 önemli güvenlik açığı önlendi.
Merkeziyetsiz finans olgunlaşmaya ve kurumsal sermayeyi çekmeye devam ettikçe, daha güçlü güvenlik garantileri geniş ölçekli benimseme için ön koşul haline geliyor. Certora’nın Aave ile çalışması, sektörde sürekli güvenlik mühendisliğine yönelik daha geniş bir değişimi yansıtıyor. Yalnızca 2025’te Certora, DeFi protokollerinde kilitlenen toplam 196,5 milyar dolarlık değeri secure etmeye yardımcı oldu ve üretime ulaşmadan önce 720’den fazla güvenlik açığını engelledi.
Daha fazla bilgi için lütfen certora.com/blog/certora-x-aavev4 adresini ziyaret edin veya @Certora hesabını takip edin.
Certora Hakkında
Certora, Web3’teki en ileri ekiplerin güvendiği güvenlik güvencesi ortağıdır. 2018 yılında programlama dilleri ve biçimsel yöntemler alanında öncüler tarafından kurulan Certora, Lido, Aave, Uniswap ve Compound gibi önde gelen protokollerin milyarlarca dolarlık değeri güvenle korumasına yardımcı olur.
İletişim
PR Müdürü
Aarya Shah
[email protected]