According to TechFlow, MoveBit, the earliest contributor to the Move ecosystem, and Wolfgang Grieskamp, head of Aptos Move, recently jointly published the academic paper FMBC-24 (Formal Methods for Blockchains). The paper points out that the security of Aptos chain contracts can be guaranteed through formal verification methods, enabling it to ensure security performance in a variety of application scenarios.
MoveBit core developers Luis Loh and Zorrot Chen were deeply involved in the construction and made significant contributions to ensuring the security of Aptos Framework. It is worth mentioning that Wolfgang will also demonstrate the Aptos formal verification work that MoveBit is deeply involved in at ETAPS Conferences.
