Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Avertissement : les contenus d'OKX Orbit sont uniquement publiés à titre informatif. En savoir plus
Réponses
Related Flash News
Odaily•Il y a 2 hLe stablecoin coréen gagné KRW1 sera coté sur Aptos
ChainCatcher•Il y a 3 hProgramme de prime sur les bugs de mise à niveau de l’Aave : La prime maximale pour les vulnérabilités critiques dans V4 et Core V3 sera multipliée par 5
ChainCatcher•Il y a 5 hTownSquare a annoncé le lancement d’un programme de liquidité stablecoin d’une valeur de 100 millions de dollars américains
ChainCatcher•Il y a 2 jtZERO connecte la plateforme de tokenisation conforme à Aptos, et l’émission des RWA institutionnelles est accélérée vers des chaînes publiques haute performance
ChainCatcher•Il y a 2 jAptos prévoit de lancer un mempool cryptographique natif, devenant ainsi la première chaîne publique L1 à disposer de cette fonctionnalité
Odaily•Il y a 6 jLa Fondation Aptos s’est associée à NETSTARS du Japon pour explorer des solutions de paiement multi-chaînes
TechFlow•Il y a 7 jLa Fondation Aptos et les laboratoires Aptos investiront plus de 50 millions de dollars pour soutenir l’écosystème
ChainCatcher•Il y a 9 jDonnées : La capitalisation boursière des stablecoins sur la chaîne Aptos a dépassé 1,9 milliard de dollars, un record
ChainCatcher•Il y a 13 jAptos écologique DEX Tapp Exchange a annoncé sa suspension, et les retraits seront normalement disponibles jusqu’au 31 mai
TechFlow•Il y a 14 jPaxos, Solana et d’autres institutions dans divers domaines ont annoncé leur soutien au protocole de paiement OKX Agent