新聞
快訊
Aptos 宣稱首個支援動態排程的第一層(Layer 1)正式驗證
Aptos 宣稱首個支援動態排程的第一層(Layer 1)正式驗證
GateNews
專案進展
2026-05-14 17:01:11
APT
1.93%
MOVE
2.68%
ORCL
1.19%
TRUST
-0.14%
根據 Aptos 的說法,該區塊鏈已成為首個支援動態排程形式化驗證的第一層(Layer 1),能夠提供數學證明,證明其系統按設計運作。Aptos 表示,結合 AI 生成的規格與以 Move Prover 作為預言機機制,能在市場參與者與協議之間建立一層信任。
View Source
免責聲明:本頁面資訊可能來自第三方來源,僅供參考,不代表 Gate 的立場或觀點,亦不構成任何財務、投資或法律建議。虛擬資產交易具有高風險,請勿僅依賴本頁資訊作出決策。詳情請參閱
免責聲明
。
相關新聞
05-14 16:02
Microsoft Azure 早在數年前就曾在區塊鏈基礎設施實驗中,運行了 Ripple 驗證節點的即時運作
05-14 14:22
Algorand 推出 AlgoKit Utils Beta,提供整合型開發者工具包,支援 TypeScript 與 Python
05-13 08:22
x402 推出針對 AI 代理的批次結算,將成本削減至一分之幾的百萬分之一
05-13 06:11
XYO 於 5 月 12 日推出 AI SDK,讓不具備 Solidity 專業知識的開發者也能進行區塊鏈開發
05-13 02:02
BDACS 與 Aptos 合作以擴展 KRW1 穩定幣,首個非 EVM 主網整合
深度解析
Virtex 與 Gold-i 合作以整合加密與外匯經紀基礎設施
Crypto Frontier
05-14 13:42
BNB Chain 推出 ERC-8004 AI 代理身份與支付框架
Market Whisper
05-14 03:24
DAO 社群嘗試去中心化治理解決方案
Crypto Frontier
05-13 17:23
回覆
0/400
回覆
暫無回覆