BitsLab 旗下 MoveBit 和 Aptos 联合发表 Aptos Framework 形式化验证论文
文摘
科技
2024-04-26 14:34
美国
近期，Move 生态最早期贡献者 MoveBit（BitsLab 旗下品牌）和 Aptos Move 负责人 Wolfgang Grieskamp 联合发表了 FMBC-24（Formal Methods for Blockchains）学术论文。
在论文的第 127 页《Securing Aptos Framework with Formal Verification》章节中指出，通过形式化验证（Formal Verification）方法保障了 Aptos 链合约的安全性，使其能够在多种应用场景下确保安全性能。MoveBit 核心开发者 Luis Loh 和 Zorrot Chen 等作为 Aptos Framework 形式化验证的主要贡献力量，通过使用 Move Prover 完成了对 Aptos Framework 的形式化验证工作。
同时，Wolfgang 还在 ETAPS Conferences 上展示了 MoveBit 深度参与的 Aptos 形式化验证工作。MoveBit 作为服务于 Move 生态的头部安全公司，与 Aptos 合作推进了区块链形式化方法从需求指定到持续验证的全流程工作开展。
作为 Aptos 官方认可的安全审计伙伴，MoveBit 向多个 Aptos 链项目提供了专业和细致的安全审计服务，覆盖 Move 生态达 80% 以上。同时，凭借在 Aptos 链过硬的技术实力和丰富的安全实践，开发了 Aptos Move Analyzer 和 Aptos Move Formatter 两个工具：前者是是一个 Visual Studio Code 插件，可增强 Aptos 链上 Move 语言的开发体验；后者是一个用于格式化 Move 代码的工具，是 Aptos 工具链的一部分，并能够与其他 IDE 集成。
MoveBit，BitsLab 旗下品牌，作为服务于 Move 生态的领先安全公司，分布于硅谷、新加坡、香港、台湾等地。作为 Aptos、Sui 等主流生态官方认可的安全审计伙伴，我们已为全球 100+ 个机构和项目提供了区块链安全解决方案，覆盖 Move 生态达 80% 以上，累计审计代码 150，000+ 行，累计保护用户资产超过 20亿+ 美元；同时深度参与到 Move 生态的核心建设，主办了 Move DevConf、MoveCTF 等一系列重要活动。若您有任何安全审计需要，欢迎随时与我们取得联系，我们将为您定制细致、全面、专业的安全解决方案，一起 Build on Move！
MoveBit，BitsLab 旗下品牌，是一家服务于 Move 生态的安全公司，已经陆续与全球多家知名项目合作，为合作伙伴提供安全审计服务，其愿景是让 Move 生态成为最安全的 Web3 生态系统。
其团队由学术界安全大牛和企业界安全领军人物组成，具有 10 年的安全经验，在 NDSS、CCS 等顶级国际安全学术会议上发表安全研究成果，并且是 Move 生态最早期的贡献者，与 Move 开发者共同制定 Move 应用的安全标准和形式化验证的最佳实践。
- Website: https://www.movebit.xyz/
- Twitter: https://twitter.com/MoveBit_
