深潮 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 形式化驗證工作。