Aptos 成為首個支持動態調度形式化驗證的 L1
ChainCatcher 1 小時前 ChainCatcher 消息，Aptos 在 X 平臺發文表示，Aptos 是首個支持動態調度形式化驗證的 L1，可數學證明其按設計運行。Aptos 稱，AI 編寫規范，數學證明其正確性，Move Prover 即為預言機，這是市場與機器的信任層。
- 喜歡使用社交軟體關注？關注我們的 Twitter，或者加入 Telegram！
- 想關注最新資訊？ 下載CoinCarp App吧
- 有新聞需要爆料，官方公告需要發布? 來給我們發郵件吧！[email protected]
免責聲明：CoinCarp 上的信息均為作者引用。這並不代表CoinCarp對是否購買、出售或持有任何投資的意見。建議您在做出任何投資決策前自行研究。使用所提供的信息，風險自擔。更多信息請參閱免責聲明。
Circle 第二增長曲線：Arc 2.22 億美元融資后，CRCL 還是 ARC？ 
SwarmBase 完成 300 萬美元融資，構建 AI Agent Swarm 經濟的底層基礎設施 
NeoSoul 正式上線 EvoEvo，同期啟動 0G AI 聯盟百萬 Token 嘉年華 
火幣HTX上新資產一周回顧（5.4—5.10）：PAYAI暴漲248%，TON、ZEC成市場最強主線