Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Zřeknutí se odpovědnosti: Obsah v síti OKX Orbit je poskytován pouze pro informační účely. Další informace
Odpovědi
Related Flash News
Odaily•Před 2 hKorejský wonový stablecoin KRW1 bude uveden na Aptos
ChainCatcher•Před 3 hProgram odměn za bugy na vylepšení Aave: Maximální odměna za kritické zranitelnosti ve V4 a Core V3 se zvýší pětinásobně
ChainCatcher•Před 5 hTownSquare oznámil spuštění likviditního programu stablecoinů ve výši 100 milionů USD
ChainCatcher•Před 2 dnytZERO propojuje kompatibilní platformu pro tokenizaci s Aptos a vydávání institucionálních RWA je zrychleno na vysoce výkonné veřejné řetězce
ChainCatcher•Před 2 dnyAptos plánuje spustit nativní kryptografický mempool a stát se prvním veřejným L1 řetězcem s touto funkcí
Odaily•Před 6 dnyNadace Aptos navázala partnerství s japonskou společností NETSTARS na zkoumání multi-chain platebních řešení
TechFlow•Před 7 dnyNadace Aptos a Aptos Labs investují více než 50 milionů dolarů na podporu ekosystému
ChainCatcher•Před 9 dnyData: Tržní kapitalizace stablecoinů v řetězci Aptos přesáhla 1,9 miliardy dolarů, což je rekordní maximum
ChainCatcher•Před 13 dnyAptos ekologická DEX Tapp Exchange oznámila pozastavení a výběry budou běžně dostupné do 31. května
TechFlow•Před 14 dnyPaxos, Solana a další instituce v různých oblastech oznámily podporu platebního protokolu OKX Agent