NEAR AI продвигает формальную верификацию ключевых контрактов
NEAR AI работает над тем, чтобы сделать формальную верификацию доступнее, изначально сосредоточившись на NEAR Protocol и его ключевых смарт-контрактах. Формальная верификация использует математические доказательства, чтобы проверить соответствие программного обеспечения заданным правилам; она дополняет тестирование и проверку кода, но не может гарантировать полную безопасность.
Эта инициатива опирается на заявленное NEAR AI первое место по общему числу решённых задач в рейтинге Lean Eval v1. На PutnamBench система решила 672 задачи на Lean. Заявленная стоимость составила около 0,17 доллара за задачу, тогда как в репозитории указаны расходы на модели в размере 111,85 доллара для этой отправки. NEAR предупреждает, что результаты бенчмарков не отражают все затраты и усилия, необходимые для верификации программного обеспечения, используемого в production-среде.
Применение формальной верификации к развёрнутым контрактам по-прежнему требует точных моделей, чётко определённых свойств и доказательств, соответствующих реализации. Гарантии распространяются только на проверенные свойства и предположения, поэтому формальная верификация должна дополнять тестирование, проверку кода и операционную безопасность. Инициатива отражает более широкий интерес к доказательствам с помощью ИИ, в том числе к работам, которые обсуждали Aptos Labs и сооснователь Ethereum Виталик Бутерин. Для трейдеров NEAR это потенциальное долгосрочное улучшение безопасности, а не объявленный запуск или непосредственный катализатор для токена.
Neutral
В краткосрочной перспективе эта новость нейтральна для цены NEAR. В ней сообщается об исследованиях и результатах бенчмаркинга, а не о внедрении в рабочую среду, изменении протокола, решении о финансировании или непосредственном изменении спроса на токен. Трейдеры могут воспринять результаты как позитивный сигнал для стремления NEAR повысить безопасность, однако оговорки о затратах на внедрение в производство и ограничениях верификации снижают вероятность немедленной реакции цены.
В долгосрочной перспективе более доступная формальная верификация могла бы укрепить доверие к протоколу NEAR и его экосистеме смарт-контрактов, если её успешно применят на практике. Это могло бы поддержать рыночные настроения и внедрение сети, однако в кратких изложениях не подтверждается, что внедрение уже состоялось, и не приводится количественная оценка влияния на использование сети или доходы. Как и в случае с аналогичными новостями о безопасности и исследованиях, влияние на рынок, вероятно, будет зависеть от дальнейших шагов и общих рыночных условий; имеющейся информации недостаточно, чтобы классифицировать новость как бычью или медвежью.