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
ChainCatcher•14 h sittenAptos lanseeraa ensimmäisen korealaisen wonin stabiilikolikon KRW1 edistääkseen ketjumaksujen järjestelyä Etelä-Koreassa
Odaily•2 pv sittenKorean wonin vakaalikolikko KRW1 listataan Aptosissa
ChainCatcher•2 pv sittenAave Upgrade Bug Bounty -ohjelma: V4:n ja Core V3:n kriittisten haavoittuvuuksien maksimipalkkio kasvaa viidellä kertaa
ChainCatcher•2 pv sittenTownSquare on ilmoittanut käynnistäneensä 100 miljoonan dollarin USD1 stablecoin-likviditeettiohjelman
ChainCatcher•4 pv sittentZERO yhdistää yhteensopivan tokenisointialustan Aptosiin, ja institutionaalisten RWA:iden liikkeeseenlasku nopeutetaan suorituskykyisiin julkisiin ketjuihin
ChainCatcher•4 pv sittenAptos aikoo lanseerata natiivin kryptografisen muistipoolin, ja siitä tulee ensimmäinen L1-julkinen ketju, jolla on tämä ominaisuus
Odaily•8 pv sittenAptos-säätiö on tehnyt yhteistyötä Japanin NETSTARSin kanssa tutkiakseen moniketjuisia maksuratkaisuja
TechFlow•8 pv sittenAptos-säätiö ja Aptos Labs investoivat yli 50 miljoonaa dollaria ekosysteemin tukemiseen
ChainCatcher•11 pv sittenData: Aptos-ketjun stablecoinien markkina-arvo ylitti 1,9 miljardia dollaria, mikä on ennätyskorkea
ChainCatcher•15 pv sittenAptos ecological DEX Tapp Exchange ilmoitti keskeytyksestään, ja nostot ovat normaalisti saatavilla 31. toukokuuta asti