Aptos Labs(@AptosLabs):Aptos Labs has been formally verifying the @Aptos Framework since before mainnet. Now, the Move Prover is leveling up the full stack for markets and machines: AI-assisted spec generation, first-class function verification, and proof hints. @DecibelTrade is the next major target.

Aptos Labs

@AptosLabs

Accelerating the future on @Aptos. Committed to bringing decentralization to the masses.

Joined October 2022

116 Following 155.6K Followers

Aptos Labs@AptosLabs

2026.05.13 19:00

Aptos Labs has been formally verifying the @Aptos Framework since before mainnet. Now, the Move Prover is leveling up the full stack for markets and machines: AI-assisted spec generation, first-class function verification, and proof hints. @DecibelTrade is the next major target.