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

ChainCatcher 消息,Aptos 在 X 平台发文表示,Aptos 是首个支持动态调度形式化验证的 L1,可数学证明其按设计运行。Aptos 称,AI 编写规范,数学证明其正确性,Move Prover 即为预言机,这是市场与机器的信任层。
Ansvarsfraskrivelse: OKX Orbit-innholdet er kun gitt for informasjonsformål. Finn ut mer
Svar
Related Flash News
Aptos vil lansere den første koreanske stablecoinen KRW1 for å fremme utformingen av on-chain betalinger i Sør-Korea
Den koreanske vunne stablecoinen KRW1 vil bli notert på Aptos
Aave Upgrade Bug Bounty Program: Maksimal dusør for kritiske sårbarheter i V4 og Core V3 vil økes med 5 ganger
TownSquare har kunngjort lanseringen av et stablecoin-likviditetsprogram til en verdi av 100 millioner USD1
tZERO kobler den kompatible tokeniseringsplattformen til Aptos, og utstedelsen av institusjonelle RWA-er akselereres til høyytelses offentlige kjeder
Aptos planlegger å lansere en innebygd kryptografisk mempool, og blir dermed den første L1-offentlige kjeden med denne funksjonen
Aptos Foundation har inngått samarbeid med Japans NETSTARS for å utforske løsninger for betalingsløsninger med flere lenker
Aptos Foundation og Aptos Labs vil investere mer enn 50 millioner dollar for å støtte økosystemet
Data: Markedsverdien til stablecoins på Aptos-kjeden oversteg 1,9 milliarder dollar, et rekordhøyt nivå
Aptos økologiske DEX Tapp Exchange kunngjorde sin suspensjon, og uttak vil være tilgjengelig som normalt til 31. mai


