经过 5 个工作日的代码审查和分析，MoveBit （莫比安全）完成了对 Transit Finance Aptos 聚合合约的安全审计报告。我们很高兴与社区分享这个报告，您可以通过下面的链接下载 PDF 版本的安全审计报告：https://www.movebit.xyz/file/Transit-Finance-Audit-Report.pdf
Transit Finance Contract 中所有不同参与者触发智能合约行为的时序图：
（1）Admin：
（2) User:
MoveBit 旨在评估代码仓库的安全相关问题、代码质量以及是否符合规范和最佳实践。我们寻找的可能问题包括（但不限于）：
- 从合约对外接口函数维度，MoveBit 审计了合约对外管理接口函数权限和逻辑，审计了用户需要调用对外合约接口函数，审计了用户所有会调用对外接口函数逻辑。
- 从合约执行逻辑 Gas 角度，MoveBit 对合约中一些消耗 Gas 代码给出了优化建议。
- 从合约代码优化角度，MoveBit 对合约中函数逻辑，提出了优化建议，保证了合约代码简洁性。
- 从合约业务执行逻辑角度，经过 MoveBit 工程师和 Transit Finance 团队多次沟通，对业务逻辑以及代码执行逻辑进行了梳理，对合约执行消耗 Gas 行为进行梳理，确保合约执行过程逻辑正确性、确保执行过程不会存在过度授权使用问题和过度授权调用第三方合约问题。
MoveBit 审计团队采用“测试和自动化分析”、“代码审查”和“形式化验证”策略，以最接近真实攻击的方式对代码进行完整的安全测试。安全测试的主要入口和范围在“审计目标”中被清晰表明，可以根据实际测试需要扩展到超出范围的上下文。本次安全审计的主要类型包括：检查项目：状态一致性 / 故障回滚 / 单元测试 / 值溢出 / 参数验证 / 未处理错误 / 边界检查 / 编码规范使用 Move Prover 对关键功能进行形式验证 ● 审核过程中如有问题，及时与 Transit Finance 沟通。Transit Finance 应积极配合（这可能包括提供最新的稳定源代码、相关部署脚本或方法、交易签名脚本、交易所对接方案等）● 审计过程中的必要信息将可以及时地为审计团队和代码所有者提供完整的文档Transit Finance 技术团队成员 Ghost Chen 表示：“ Transit Finance 和 MoveBit 的这次合作体现了 MoveBit 技术团队的高度专业性，我们十分期待下一次的合作。”Transit Finance 是一个聚合多个区块链的 DeFi 平台。它使 DeFi 用户能够轻松地在各种网络和 DEX 之间转移资产，从而让他们的生活变得轻松。在智能合约的支持下，它支持用户高效、安全地获得最佳投资回报。其强大的 API 可以为多种公链上的任意代币之间的交换提供实时报价。此外，它应用二进制接口 (ABI) 数据与公链上的智能合约进行交互。这为用户提供了一种体验去中心化交易所的新方式，并可以产生更好的流动性和回报。总的来说，Transit Finance 始终将“为 Web3 用户提供便利性”的理念贯彻于他们的发展之中。对于 Transit Finance Aptos 聚合合约的审计，是 MoveBit 与 Transit Finance 合作的起点，我们期待着下一次的愉快合作，为 Transit Finance 上的用户的交易环境持续提供一个安全保障，共同维护 Web3 用户资产安全，让 Move 生态成为最安全的 Web3 生态系统。Transit Finance 是集 DEXs、聚合交易、一站式跨链于一体的跨链交换平台。无需认证，用户可以实时地完成去中心化交易，并在 Transit Finance 支持的网络之间进行即时交换资产。官方网址：https://www.transit.finance/Twitter：https://twitter.com/TransitFinanceTelegram：https://t.me/Transit_FinanceMoveBit ( 莫比安全 ) 团队是一家服务于 Move 生态的安全公司，其愿景是让 Move 生态成为最安全的 Web3 生态系统。MoveBit 团队由学术界安全大牛和企业界安全领军人物组成，具有 10 年的安全经验，在 NDSS、CCS 等顶级国际安全学术会议上发表安全研究成果。团队是 Move 生态最早期的贡献者，与 Move 开发者共同制定安全 Move 应用的标准。MoveBit 已经陆续与全球多家知名交易所、公链项目合作，为合作伙伴提供安全审计服务。官方网址：https://www.movebit.xyz/Twitter：https://twitter.com/MoveBit_Medium：https://movebit.medium.com/
