帖子

Aptos 成为首个支持动态调度形式化验证的 L1

ChainCatcher
ChainCatcher

ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。

APT+2.24%
00:31 · 26/05/15·2.15萬 瀏覽量·
查看來源
0
0

免責聲明：OKX 星球內容僅供參考。 瞭解更多

回覆

暫無評論，快來搶沙發！

相關快訊

來源頭像Odaily•2 小時前

韓元穩定幣KRW1將上線Aptos

來源頭像ChainCatcher•3 小時前

Aave 升級漏洞賞金計劃：V4 及 Core V3 關鍵漏洞賞金上限提升 5 倍

來源頭像ChainCatcher•5 小時前

TownSquare 宣佈推出 1 億美元的 USD1 穩定幣流動性計劃

來源頭像ChainCatcher•2 天前

tZERO 將合規代幣化平臺接入Aptos，機構 RWA發行加速擴展至高性能公鏈

來源頭像ChainCatcher•2 天前

Aptos 擬推出原生加密記憶體池，成為首個具備該功能的 L1 公鏈

來源頭像Odaily•6 天前

Aptos基金會與日本NETSTARS合作探索多鏈支付解決方案

來源頭像TechFlow•7 天前

Aptos Foundation 和 Aptos Labs 將投入逾 5000 萬美元支援生態建設

來源頭像ChainCatcher•9 天前

數據：Aptos 鏈上穩定幣市值突破 19 億美元，創歷史新高

來源頭像ChainCatcher•13 天前

Aptos 生態 DEX Tapp Exchange 宣佈停運，5 月 31 日前可正常提款

來源頭像TechFlow•14 天前

Paxos、Solana 等多領域機構宣布支援OKX Agent支付協定