Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Zastrzeżenie: Treść na OKX Orbiter ma charakter wyłącznie informacyjny. Dowiedz się więcej
Odpowiedzi
Related Flash News
Odaily•1godz. temuKoreański wonowy stablecoin KRW1 będzie notowany na Aptos
ChainCatcher•2godz. temuProgram nagród za błędy ulepszeń Aave: Maksymalna nagroda za krytyczne luki w V4 i Core V3 zostanie zwiększona 5-krotnie
ChainCatcher•4godz. temuTownSquare ogłosił uruchomienie programu płynności stablecoinów o wartości 100 milionów USD
ChainCatcher•2dni temutZERO łączy zgodną platformę tokenizacji z Aptos, a wydawanie instytucjonalnych RWA jest przyspieszone do wysokowydajnych łańcuchów publicznych
ChainCatcher•2dni temuAptos planuje uruchomić natywną kryptograficzną mempulę, stając się pierwszą publiczną siecią L1 z tą funkcją
Odaily•6dni temuFundacja Aptos nawiązała współpracę z japońskim NETSTARS w celu poszukiwania rozwiązań płatności wielołańcuchowych
TechFlow•6dni temuFundacja Aptos i Aptos Labs zainwestują ponad 50 milionów dolarów na wsparcie ekosystemu
ChainCatcher•9dni temuDane: Kapitalizacja rynkowa stablecoinów w sieci Aptos przekroczyła 1,9 miliarda dolarów, co jest rekordowym poziomem
ChainCatcher•13dni temuAptos ecological DEX Tapp Exchange ogłosiła zawieszenie, a wypłaty będą normalnie dostępne do 31 maja
TechFlow•14dni temuPaxos, Solana i inne instytucje z różnych dziedzin ogłosiły wsparcie dla protokołu płatności OKX Agent