经过严格验证。 🛡️ 感谢@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相关的任何投资建议。
喜欢
收藏
评论
分享
