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.
The Aptos Foundation announced a permanent pledge of 210 million APT tokens, signaling a long-term commitment that could significantly reduce circulating supply and influence governance. However, key details such as enforcement mechanisms, recipient,...
The Aptos Foundation has proposed a major tokenomics overhaul that would reduce annual staking rewards from 5.19% to 2.6% and cap the total token supply at 2.1 billion APT. The plan includes permanently locking and staking 210 million APT tokens, whi...
The Aptos Foundation announced it will permanently lock and stake 210 million APT tokens, representing 18% of circulating supply, to shift its operating model toward earning staking rewards and reduce token supply growth. This move lowers the annual ...
The Aptos Foundation has locked 210 million APT tokens, about 18% of circulating supply, and will fund its operations solely from staking rewards instead of selling tokens. This move aims to enhance network security and ensure long-term funding susta...
APT token fell sharply by 10.03% within an hour on October 8, dropping from $0.796 to $0.7162 as trading volume reached $12.64 million. The token's price fluctuated between $0.7112 and $0.7963 during the session, reflecting market uncertainty. This d...
