安全在DeFi协议的成功中扮演着关键角色。作为web3中最复杂的借贷平台之一,@$aave的成功在很大程度上依赖于防止漏洞和安全隐患。自2020年以来,Certora一直在通过持续的形式化验证帮助该协议保持高安全标准。 🫡🛡️我们很高兴地宣布,Certora服务的续约将很快在$DAO中投票。来看看我们与$Aave的过去合作:🧵