安全在DeFi协议的成功中扮演着关键角色。

作为web3中最复杂的借贷平台之一，@$aave的成功在很大程度上依赖于防止漏洞和安全隐患。

自2020年以来，Certora一直在通过持续的形式化验证帮助该协议保持高安全标准。 🫡🛡️

我们很高兴地宣布，Certora服务的续约将很快在$DAO中投票。

来看看我们与$Aave的过去合作：🧵