Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Vastuuvapauslauseke: OKX Orbit -sisältö on tarkoitettu ainoastaan tiedotustarkoituksiin. Lisätietoja
Vastaukset
Related Flash News
Odaily•2 h sittenKorean wonin vakaalikolikko KRW1 listataan Aptosissa
ChainCatcher•3 h sittenAave Upgrade Bug Bounty -ohjelma: V4:n ja Core V3:n kriittisten haavoittuvuuksien maksimipalkkio kasvaa viidellä kertaa
ChainCatcher•5 h sittenTownSquare on ilmoittanut käynnistäneensä 100 miljoonan dollarin USD1 stablecoin-likviditeettiohjelman
ChainCatcher•2 pv sittentZERO yhdistää yhteensopivan tokenisointialustan Aptosiin, ja institutionaalisten RWA:iden liikkeeseenlasku nopeutetaan suorituskykyisiin julkisiin ketjuihin
ChainCatcher•2 pv sittenAptos aikoo lanseerata natiivin kryptografisen muistipoolin, ja siitä tulee ensimmäinen L1-julkinen ketju, jolla on tämä ominaisuus
Odaily•6 pv sittenAptos-säätiö on tehnyt yhteistyötä Japanin NETSTARSin kanssa tutkiakseen moniketjuisia maksuratkaisuja
TechFlow•7 pv sittenAptos-säätiö ja Aptos Labs investoivat yli 50 miljoonaa dollaria ekosysteemin tukemiseen
ChainCatcher•9 pv sittenData: Aptos-ketjun stablecoinien markkina-arvo ylitti 1,9 miljardia dollaria, mikä on ennätyskorkea
ChainCatcher•13 pv sittenAptos ecological DEX Tapp Exchange ilmoitti keskeytyksestään, ja nostot ovat normaalisti saatavilla 31. toukokuuta asti
TechFlow•14 pv sittenPaxos, Solana ja muut eri alojen instituutiot ovat ilmoittaneet tukevansa OKX Agent -maksuprotokollaa