安全在DeFi協議的成功中扮演着關鍵角色。

作爲web3中最複雜的借貸平臺之一，@$aave的成功在很大程度上依賴於防止漏洞和安全隱患。

自2020年以來，Certora一直在通過持續的形式化驗證幫助該協議保持高安全標準。 🫡🛡️

我們很高興地宣佈，Certora服務的續約將很快在$DAO中投票。

來看看我們與$Aave的過去合作：🧵