Aave Labs, Aave V4 Güvenlik Planı Tam Şeffaflık Denetim Raporu'nu Yayınladı

BlockBeats Haberi, 5 Mart, resmi açıklamaya göre, Aave Labs, Aave V4 Güvenlik Planı'nın kapsamlı şeffaflık raporunu yayınladı, yöntemleri, süreçleri ve sonuçları gibi alanları içerir; Trail of Bits, Blackthorn, Certora gibi birçok güvenlik kuruluşu tarafından (endorse) desteklendi. Manuel inceleme, formal doğrulama, değişmezlik testi, bulanık test ve açık güvenlik yarışması yoluyla toplamda yaklaşık 345 gün süren bir güvenlik incelemesi yapıldı. Bu plan, DAO tarafından onaylanan 1.5 milyon dolarlık özel güvenlik bütçesi tarafından desteklenmektedir.

Aave Labs, Aave V4 Güvenlik Planı'ndan beş temel taahhüdü devam ettireceğini duyurdu: Erken geliştirme aşamasında formal doğrulamayı gömme, mimari tasarımın sadece doğrulamayı değil aynı zamanda güvenli yöntemler rehberliğini aldığından emin olmak için; Manuel inceleme, formal doğrulama, değişmezlik testi, AI destekli denetim, bulanık test ve açık güvenlik yarışmasını içeren katmanlı güvenlik yaklaşımını benimseme, potansiyel açıkları kapsamak için; Sürekli güvenlik kapsamını koruma, formal doğrulama çerçevesi ve değişmezlik test süitinin protokolün iterasyonlarıyla sürekli çalışmasını sağlama; Uzun vadeli açık hata ödül programı oluşturma, daha geniş güvenlik topluluğundan sürekli izleme sağlama; ve mevcut test deneyimine dayanarak AI tarama yeteneklerini optimize etme, gelecekteki sürümlerin zeka güvenlik taraması seviyesini sürekli olarak geliştirme.