Aptos has become the first Layer-1 blockchain to support AI-assisted formal verification for dynamically scheduled Move smart contracts using its Move Prover tool. This technology mathematically proves contract behavior, acting as an on-chain "oracle" to ensure trust between markets and AI-driven trading systems. The upgrade is part of a $50 million initiative to enhance AI-driven markets and on-chain finance infrastructure, aiming to create secure, institution-friendly trading environments. Aptos emphasizes that its Move smart contract language uniquely integrates native formal verification, now extended to support complex dynamic dispatch functions, enhancing contract reliability amid AI automation.
Sui Network experienced a 60% surge in daily transactions, processing 4.38 million in 24 hours with a fast 79 ms block time. Its market cap stands at $4.11 billion, over five times Aptos' $757 million, while Sui's DeFi total value locked (TVL) is $2....
Aptos has introduced an encrypted mempool feature that encrypts transactions until block confirmation, preventing validators and front-runners from seeing transaction details early. This native protocol-level solution uses batched threshold encryptio...
