Aptos стал первым L1, поддерживающим формальную проверку динамического планирования

Odaily星球日报讯 Aptos 在 X 平台发文表示,Aptos 是首个支持动态调度形式化验证的 L1,可数学证明其按设计运行。Aptos 称,AI 编写规范,数学证明其正确性,Move Prover 即为预言机,这是市场与机器的信任层。

APT-1,55%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • комментарий
  • Репост
  • Поделиться
комментарий
Добавить комментарий
Добавить комментарий
Нет комментариев
  • Закреплено