Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Disclaimer: i contenuti di OKX Orbit sono forniti solo a scopo informativo. Scopri di più
Risposte
Related Flash News
Odaily•2ore faLa stablecoin vincita in Corea KRW1 sarà quotata su Aptos
ChainCatcher•3ore faProgramma Taglie per Bug Upgrade Aave: La taglia massima per vulnerabilità critiche in V4 e Core V3 sarà aumentata di 5 volte
ChainCatcher•5ore faTownSquare ha annunciato il lancio di un programma di liquidità di stablecoin da 100 milioni di dollari di dollari
ChainCatcher•2giorni fatZERO collega la piattaforma di tokenizzazione conforme ad Aptos, e l'emissione di RWA istituzionali viene accelerata verso catene pubbliche ad alte prestazioni
ChainCatcher•2giorni faAptos prevede di lanciare un mempool crittografico nativo, diventando la prima catena pubblica L1 con questa funzionalità
Odaily•6giorni faLa Fondazione Aptos ha stretto una partnership con la giapponese NETSTARS per esplorare soluzioni di pagamento multi-catena
TechFlow•7giorni faLa Fondazione Aptos e gli Aptos Labs investiranno oltre 50 milioni di dollari per sostenere l'ecosistema
ChainCatcher•9giorni faDati: La capitalizzazione di mercato delle stablecoin sulla catena Aptos ha superato 1,9 miliardi di dollari, un record
ChainCatcher•13giorni faAptos Ecological DEX Tapp Exchange ha annunciato la sospensione e i prelievi saranno normalmente disponibili fino al 31 maggio
TechFlow•14giorni faPaxos, Solana e altre istituzioni in vari settori hanno annunciato il supporto al protocollo di pagamento OKX Agent