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

Сообщение с сайта币界网: Aptos объявила, что их сеть стала первой L1-сетью, поддерживающей динамическое управление контрактами с помощью ИИ, заявляя, что их Move Prover может выступать в роли «оракула» между рынком и машинными агентами. Aptos подчеркнула, что их стек умных контрактов Move может математически доказать, что его поведение соответствует дизайну, даже если контракт использует функции высшего порядка и динамическое управление. В социальных сетях команда Aptos заявила, что ИИ пишет спецификации, а математические доказательства подтверждают их правильность, при этом Move Prover выступает в роли слоя доверия, обеспечивая доверие между рынком и машинами. Также команда отметила, что Move — единственный язык умных контрактов с встроенной нативной формальной верификацией и расширенной поддержкой динамического управления. Согласно документации Move Prover от Aptos, валидаторы уже используются на уровне протокола для проверки основной логики, включая стейкинг, метрики, развертывание кода и поддержку структур данных. Последние исследования показывают, что динамическое управление значительно усложняет пространство состояний, требуя от инженеров Aptos переосмысления методов генерации и проверки условий верификации. В рамках продвижения ИИ-ассистированной верификации запланирован фонд в размере 50 миллионов долларов США для Aptos, предназначенный для поддержки on-chain рынков и систем ИИ.