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