同时关联该项目与事件的快讯
Sui 在 X 平台发文表示，@osec_io 已人工审查 AftermathFi 的永续合约引擎，@Certora 已通过数学方法完成验证。两家机构采用两种方法审查同一代码库。市场将于明日开放，两份审计报告将公开发布。