經過嚴格驗證。 🛡️ 感謝@CertoraInc為我們@cantinaxyz審計的正式驗證競賽提供支援——Aquarius AMM的數百項屬性經過檢查、驗證並證明正確。 推動DeFi基礎設施向前發展，一次一個證明。
本文為機器翻譯
展示原文
Certora
@CertoraInc
09-01
Our report for the @AquariusDeFi formal verification contest on @cantinaxyz is also now public!
Thanks to all participants who together verified hundreds of properties of the Aquarius AMM infrastructure for @StellarOrg.
Learn more 👇 x.com/cantinaxyz/sta…
相关赛道:
來自推特
免責聲明：以上內容僅為作者觀點，不代表Followin的任何立場，不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
