两次审计，搞定。 @osec_io 手工审查了 @AftermathFi 的永续合约引擎。@Certora 用数学验证了它。 两家公司，两种方法，一个代码库。这种组合在 DeFi 中非常罕见。 市场明天开放，两份报告都已公开。