MoveBit 与 Aptos 协作 MoveVM 安全审计

近期，Aptos 官方发表了一篇名为《Securing Move》的文章，文章描述了 Aptos 如何与合作伙伴一起通过审计、Bug 赏金计划、模糊测试等方式来强化 Aptos 的底层安全。

Move VM 与以太坊的 EVM 虚拟机一样重要。Move程序需要将源码编译成字节码，然后在虚拟机中执行。这意味着 Move VM 的安全事关整个 Aptos 生态应用的安全，其所需的安全等级不言而喻。MoveVM 是所有 Move 公链依赖的核心组件 ，交易在 Move VM runtime 上按顺序验证和执行。如果把 Move VM runtime看成一个黑盒，那么它的输入就是交易和区块链状态，它的输出则是交易执行后的区块链状态。

在和 Aptos、MystenLabs 的合作过程中，MoveBit 团队负责了 Move VM 中 Bytecode Verifier的 Phontom Type Check、Control Flow Graph 等模块的安全审计，重点审计了类型安全、引用安全等安全风险，并在审计过程中发现编译器 Bug 等问题和改善点。

Aptos 主网启动之后，MoveBit 又对 Aptos Framework 展开了形式化验证, Aptos Framework 是 Aptos 公链生态建设的重要基础设施，并且其安全性是 Aptos 上开发各种 Move 项目应用安全的基础。

Aptos 十分重视 Move 生态的安全性，MoveBit 作为专注于 Move 生态安全的安全审计公司，将持续协助 Aptos 为 Move 生态提供专业的安全审计服务，并且配合 Aptos 推动区块链可靠性和安全性的研究。