本文介绍了Move语言的二进制格式和汇编语言,强调了智能合约审计人员需要了解此类低级编程的必要性。文章详细讨论了Move虚拟机模型、主要的类型规则以及Move的验证器,提供了实例和工具来简化Move汇编的编写过程。最后,文中展示了如何在Move沙箱中部署和测试模块,包括添加逻辑炸弹后门的示例。