Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Disclaimer: OKX Orbit content is provided for informational purposes only. Learn more
Replies
Related Flash News
Odaily•2h agoThe Korean won stablecoin KRW1 will be listed on Aptos
ChainCatcher•3h agoAave Upgrade Bug Bounty Program: The maximum bounty for critical vulnerabilities in V4 and Core V3 will be increased by 5 times
ChainCatcher•5h agoTownSquare has announced the launch of a $100 million USD1 stablecoin liquidity program
ChainCatcher•2d agotZERO connects the compliant tokenization platform to Aptos, and the issuance of institutional RWAs is accelerated to high-performance public chains
ChainCatcher•2d agoAptos plans to launch a native cryptographic mempool, becoming the first L1 public chain with this feature
Odaily•6d agoThe Aptos Foundation has partnered with Japan's NETSTARS to explore multi-chain payment solutions
TechFlow•7d agoThe Aptos Foundation and Aptos Labs will invest more than $50 million to support the ecosystem
ChainCatcher•9d agoData: The market capitalization of stablecoins on the Aptos chain exceeded $1.9 billion, a record high
ChainCatcher•13d agoAptos ecological DEX Tapp Exchange announced its suspension, and withdrawals will be available normally until May 31
TechFlow•14d agoPaxos, Solana and other institutions in various fields have announced support for the OKX Agent payment protocol