Aptos заявляет о первой в мире Layer 1 с поддержкой динамического планирования и формальной верификации

GateNews

2026-05-14 17:01:11

APT-4,8%

MOVE-6,19%

ORCL-1,39%

Согласно Aptos, блокчейн стал первой сетью Layer 1, поддерживающей динамическое планирование формальной верификации, позволяющей дать математическое доказательство того, что система работает так, как задумано. Aptos заявил, что AI-сгенерированные спецификации в сочетании с Move Prover в качестве механизма оракула создают уровень доверия между участниками рынка и протоколом.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

05-14 16:02

Microsoft Azure Запустила вживую узел валидатора Ripple годы назад в рамках эксперимента по инфраструктуре блокчейна

05-14 14:22

Algorand запускает бета-версию AlgoKit Utils с унифицированным набором инструментов для разработчиков на TypeScript и Python

05-13 08:22

x402 запускает пакетное расчётное урегулирование для AI-агентов, снижает затраты до долей цента

05-13 06:11

XYO запускает AI SDK, чтобы обеспечить разработку блокчейна без опыта в Solidity, 12 мая

05-13 02:02

BDACS сотрудничает с Aptos, чтобы расширить KRW1 стейблкоин, впервые интегрировав mainnet, не относящийся к EVM

Детальный анализ