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

ChainCatcher 消息,Aptos 在 X 平台发文表示,Aptos 是首个支持动态调度形式化验证的 L1,可数学证明其按设计运行。Aptos 称,AI 编写规范,数学证明其正确性,Move Prover 即为预言机,这是市场与机器的信任层。
Ansvarsfriskrivning: OKX Orbit-innehåll tillhandahålls endast i informationssyfte. Läs mer
Svar
Related Flash News
Den koreanska vunna stablecoinen KRW1 kommer att listas på Aptos
Aave Upgrade Bug Bounty Program: Den maximala belöningen för kritiska sårbarheter i V4 och Core V3 kommer att ökas med 5 gånger
TownSquare har meddelat lanseringen av ett stablecoin-likviditetsprogram på 100 miljoner USD 1
tZERO kopplar den kompatibla tokeniseringsplattformen till Aptos, och utfärdandet av institutionella RWA:er påskyndas till högpresterande publika kedjor
Aptos planerar att lansera en inbyggd kryptografisk mempool och bli den första L1-offentliga kedjan med denna funktion
Aptos Foundation har samarbetat med Japans NETSTARS för att utforska lösningar för multikedjor för betalningar
Aptos Foundation och Aptos Labs kommer att investera mer än 50 miljoner dollar för att stödja ekosystemet
Data: Börsvärdet av stablecoins på Aptoskedjan översteg 1,9 miljarder dollar, en rekordhög
Aptos ekologiska DEX Tapp Exchange meddelade sin avstängning, och uttag kommer att vara normalt tillgängliga till och med den 31 maj
Paxos, Solana och andra institutioner inom olika områden har meddelat stöd för OKX Agents betalningsprotokoll

