BitsLab 旗下 MoveBit 和 Aptos 联合发表 Aptos Framework 形式化验证论文

深潮 TechFlow 消息，近日，Move 生态最早期贡献者 MoveBit 和 Aptos Move 负责人 Wolfgang Grieskamp 联合发表了 FMBC-24（Formal Methods for Blockchains）学术论文。该论文指出，通过形式化验证方法保障 Aptos 链合约的安全性，使其能够在多种应用场景下保障安全性能。MoveBit 核心开发者 Luis Loh 和 Zorrot Chen 深度参与建设，为确保 Aptos Framework 安全性做出了显著贡献。值得一提的是，Wolfgang 还将在 ETAPS Conferences 展示 MoveBit 深度参与的 Aptos 形式化验证工作。