Токен PROVE внезапно взлетел более чем на 105% после долгого затишья. Толчком стала не мем-тема, а обсуждение связки искусственного интеллекта, криптографии и формальной верификации кода.
Поводом послужила позиция сооснователя Ethereum Виталика Бутерина: он заявил, что ИИ‑ассистированная формальная верификация может не подрывать «бездоверием» системы, а наоборот — усиливать безопасность кода. На этом фоне в центр внимания попал проект Succinct.
Команда Succinct сообщила, что их криптографы с помощью ИИ провели формальную верификацию VEIL — нового ZK‑компилятора компании. По данным проекта, использовались Claude от Anthropic и доказательствовательная система Lean 4 для формализации основных теорем VEIL.
PROVE вырос более чем на 105% на волне интереса к ИИ, технологиям нулевого разглашения и криптоинфраструктуре.
В Succinct добавили, что VEIL приносит функциональность нулевого разглашения в хэш‑основанные многолинейные доказательные системы, а ИИ заметно ускоряет процесс проверки. Этого оказалось достаточно, чтобы интерес к PROVE резко подскочил после месяцев «боковика».
Технически для PROVE сейчас важное сопротивление — район $0.5000. Прорыв откроет путь к $0.7000 и, возможно, к $1.00. Но если $0.5000 устоит, токен может застрять ниже этой отметки на недели или даже месяцы, несмотря на всплеск интереса к теме ИИ.