MoveBit（莫比安全）作为专注于服务Move生态的安全公司，近期和 Aptos 合作开展了 Aptos Framework 的形式化验证工作。

经过6个工作日的代码审查和分析， MoveBit 完成了对 OmniBTC Sui AMM Swap 的安全审计报告。