Aptos: перша мережа L1, яка підтримує динамічне розподілення контрактів з штучним інтелектом

Звіт з CoinWorld: Aptos оголосила, що її мережа стала першою L1 мережею, яка підтримує динамічне розподілення контрактів з AI-підтримкою, назвавши свій Move Prover «пророком» між ринком і машинними агентами. Aptos підкреслює, що її стек смарт-контрактів Move може математично довести, що його поведінка відповідає дизайну, навіть якщо контракти використовують функції високого рівня та динамічне розподілення. У соціальних мережах команда Aptos заявила, що AI пише норми, математично доводить їхню правильність, а Move Prover виступає як рівень довіри, забезпечуючи довіру між ринком і машинами. Також команда зазначила, що Move є єдиною мовою смарт-контрактів з вбудованою формальною перевіркою та розширила підтримку динамічного розподілення. Згідно з документацією Move Prover від Aptos, валідатори вже використовуються на рівні протоколу для перевірки основної логіки, включаючи стейкінг, метричні показники, розгортання коду та підтримку структур даних. Останні дослідження показують, що динамічне розподілення суттєво ускладнює простір станів, вимагаючи від інженерів Aptos переосмислення генерації та перевірки умов валідації. Цей крок у впровадженні AI-підтримуваної перевірки супроводжується планом залучення 50 мільйонів доларів від Aptos для підтримки ланцюгових ринків та систем AI.