TechFlow news: Recently, MoveBit, an early contributor to the Move ecosystem, and Wolfgang Grieskamp, head of Aptos Move, jointly published an academic paper at FMBC-24 (Formal Methods for Blockchains). The paper highlights how formal verification methods ensure the security of smart contracts on the Aptos chain, enabling robust safety performance across various application scenarios. MoveBit core developers Luis Loh and Zorrot Chen were deeply involved in the development and made significant contributions to securing the Aptos Framework. Notably, Wolfgang will also present the Aptos formal verification work—deeply contributed by MoveBit—at the ETAPS Conferences.
Add to Favorites
Share to Social Media
