Aptos заявляє про перший Layer 1 із підтримкою динамічного планування та формальної верифікації

GateNews

2026-05-14 17:01:11

За даними Aptos, блокчейн став першим Layer 1, що підтримує формальну верифікацію з динамічним плануванням, уможливлюючи математичний доказ того, що його система працює так, як задумано. Aptos зазначив, що специфікації, згенеровані ШІ, у поєднанні з Move Prover як механізмом оркестрації, створюють довірчий рівень між учасниками ринку та протоколом.

Переглянути джерело

Застереження: інформація на цій сторінці може походити зі сторонніх джерел і надається виключно для ознайомлення. Вона не відображає позицію чи думку Gate і не є фінансовою, інвестиційною чи юридичною консультацією. Торгівля віртуальними активами пов’язана з високим ризиком. Будь ласка, не покладайтеся лише на інформацію з цієї сторінки під час прийняття рішень. Детальніше дивіться у Застереженні.

Пов’язані новини

05-14 16:02

Microsoft Azure Запустила Live-вузол валідатора Ripple Кілька Років Тому в межах експерименту з інфраструктурою блокчейну

05-14 14:22

Algorand запускає AlgoKit Utils Beta з уніфікованим набором інструментів для розробників для TypeScript і Python

05-13 08:22

x402 запускає пакетне розрахункове врегулювання для AI-агентів, скорочує витрати до часток цента

05-13 06:11

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

05-13 02:02

BDACS співпрацює з Aptos, щоб розширити KRW1-стейблкоїн, перша інтеграція на не-EVM mainnet

Поглиблений аналіз