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.
Buzz, a former advisor and memer who helped boost Aptos' token value, has ended his one-year contract and sold his APT tokens. He is now focusing his meme-driven marketing efforts on Meta, Facebook's parent company, citing strong fundamentals and con...
Aptos (APT), a digital asset, saw its price decline by 2.32% over the past 24 hours, trading at $0.6812 as of 5:43 a.m. ET on October 27. This price movement reflects short-term market fluctuations in the cryptocurrency sector. Investors should monit...
