Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Дисклеймер: контент OKX Orbit предоставляется исключительно в информационных целях. Подробнее
Ответы
Related Flash News
Odaily•3 дн. назадСтейблкоин за корейский вон KRW1 будет котироваться на Aptos
ChainCatcher•4 дн. назадAave Upgrade Bug Bounty Program: максимальная награда за критические уязвимости в V4 и Core V3 будет увеличена в 5 раз
ChainCatcher•4 дн. назадTownSquare объявила о запуске программы ликвидности стейблкоинов на сумму 100 миллионов долларов США 1
ChainCatcher•6 дн. назадtZERO подключает соответствующую платформу токенизации с Aptos, а выпуск институциональных RWA ускоряется для высокопроизводительных публичных цепочек
ChainCatcher•6 дн. назадAptos планирует запустить нативный криптографический мемпул, став первой публичной цепочкой L1 с этой функцией
Odaily•10 дн. назадФонд Aptos сотрудничает с японской компанией NETSTARS для изучения решений для многоцепочечных платежей
TechFlow•10 дн. назадФонд Aptos и Aptos Labs инвестируют более 50 миллионов долларов в поддержку экосистемы
ChainCatcher•13 дн. назадДанные: Рыночная капитализация стейблкоинов на цепочке Aptos превысила $1,9 миллиарда — рекордный максимум
ChainCatcher•17 дн. назадЭкологическая биржа Aptos DEX Tapp объявила о приостановке, и снятие средств будет доступно в обычном режиме до 31 мая
TechFlow•18 дн. назадPaxos, Solana и другие учреждения в различных областях объявили о поддержке протокола оплаты OKX Agent