AftermathFi 永续合约引擎完成双重审计

经人工与形式化验证双重审查，该引擎代码库确认安全，市场即将开放。

据 Woofun AI 消息，Sui 生态项目 AftermathFi 的永续合约引擎已完成两项独立审计。osec_io 团队对代码进行了人工审查，Certora 则通过数学方法完成了形式化验证。两家机构针对同一代码库采用了不同的审查路径，以确保安全性。相关市场计划于明日正式开放，两份审计报告将同步对外发布。