Natapos ng Aave V4 ang 345-araw na security audit na walang critical vulnerabilities ang natuklasan

Kamakalawian ng Aave Labs ang pagkumpleto ng komprehensibong pagsusuri sa kaligtasan ng Aave V4 protocol na tumagal ng halos 345 araw, na may kabuuang pagsisikap na $1.5 milyon. Gumamit ang proyekto ng "security-first" na estratehiya mula sa pagdidisenyo ng arkitektura, na naglalapat ng maraming antas ng kontrol sa kaligtasan. Ang pagsusuri sa kaligtasan ay kasama ang manual na audit, formang pagpapatotoo, pagsubok sa invariant, fuzz testing, at isang pampublikong security competition na tumagal ng anim na linggo, na nakakuha ng higit sa 900 na kalahati at nagbigay ng higit sa 950 na ulat. Ang mga resulta ng audit ay nagpakita na walang malubhang vulnerabilities ang natuklasan ng lahat ng pangunahing audit firms (kabilang ang ChainSecurity, Trail of Bits, at Blackthorn). Ang Aave V4 ay gumagamit ng bagong hub-and-spoke module design na nagiging sanhi ng mas maliit na codebase kumpara sa V3, na nagpapabuti sa epektibong pagsusuri. Sinabi ng Aave Labs na patuloy nilang aasikasuhin ang framework para sa formal verification at ang suite ng invariant testing, at plano nilang itatag ang isang patuloy na bug bounty program upang siguraduhin ang pangmatagalang kaligtasan ng protocol.