Почему в FlashProve от Anthropic упоминается Mantle? Как доказательства с нулевым разглашением подтверждают отсутствие подмены ИИ-модели?

Автор: Eren (@G_Gyeomm)

Адаптация: TechFlow

Введение от TechFlow: С момента взрывного роста генеративного ИИ между пользователями и провайдерами моделей постоянно существовала нерешаемая проблема недоверия к «черному ящику»: действительно ли контент, возвращаемый по запросу клиента, сгенерирован обещанной продвинутой моделью, или облачный провайдер тайно заменил его на облегченную и менее мощную версию в целях снижения затрат?

Предложенный недавно компанией Anthropic механизм FlashProve использует криптографические доказательства для связывания с весами модели. Внедряя криптографическую схему zkSNARKs, используемую в сетях второго уровня Ethereum для проверки преобразований состояния, он делает самоподтверждение подлинности инференса легковесным и эффективным.

В данной статье подробно разбирается глубокий технический контекст упоминания Mantle и Starknet в материалах Anthropic, а также анализируется то, как доказательства с нулевым разглашением переходят из одной области, чтобы стать основой безопасности и доверия для больших языковых моделей.

От словесных обещаний к криптографическим доказательствам

Действительно ли каждый ответ, только что сгенерированный ИИ на вашем экране, исходит от той дорогой продвинутой большой модели, о которой заявляет провайдер? С тех пор как ChatGPT и Claude покорили весь мир, этот фундаментальный вопрос всегда висел над разработчиками и профессиональными пользователями, так и не получая истинного ответа.

По состоянию на сегодняшний день базовое коммерческое функционирование основных ИИ-моделей все еще строится на хрупкой устной договоренности. Причина в том, что полные матрицы параметров и процессы вычислений всех больших моделей замкнуты внутри дата-центров облачных сервисов разработчиков или серверов третьих сторон. Конечный пользователь в итоге получает лишь строку чистого текста или бинарные данные. Даже если сервис агрегации и маршрутизации API тайно заменяет на заднем плане изначально дорогостоящую флагманскую модель на дешевую легкую модель для извлечения сверхприбыли, пользователь совершенно не имеет возможности это распознать.

Рис.: Архитектура технологии самодоказательства криптографического инференса Anthropic FlashProve

Только что опубликованный компанией Anthropic исследовательский проект FlashProve — это именно криптографическое решение против этой давней болезни недоверия. В архитектуре FlashProve поставщик модели с помощью криптографических инструментов устанавливает криптографически неизменное математическое обязательство для конкретных параметров весов нейронной сети. Каждый сгенерированный ответ инференса сопровождается математическим доказательством, которое детерминированно подтверждает конечному пользователю, что данный ответ был faithfully вычислен конкретной полной моделью.

Причина столь сильного резонанса этого исследования среди участников криптопространства заключается в том, что FlashProve в своей инженерной реализации напрямую использует исключительно зрелые криптографические инструменты из мира блокчейна: zkSNARKs. Согласно официальной информации Anthropic, доказательства с нулевым разглашением позволяют создавать доказательства с минимальным объемом и крайне низкими затратами на внецепочное подтверждение, полностью не раскрывая проприетарных коммерческих весов модели, и распределять их среди конечных пользователей за миллисекунды при каждом инференс-ответе.

Инженерный прорыв доказательств с нулевым разглашением во втором уровне Ethereum

Еще более примечательно то, что Anthropic прямо и однозначно указывает в своем отчете: технологический стек, на который опирается FlashProve, относится к абсолютно той же базовой криптографической парадигме, что и zkSNARKs, используемые в экосистеме Layer 2 Ethereum для проверки преобразований состояния сети, и напрямую приводит Starknet и Mantle в качестве отраслевых примеров. Кроме того, команды разработчиков Starknet (StarkWare) и Succinct (предоставляющих базовую сеть доказательств с нулевым разглашением для Mantle) фигурируют в списке соавторов данного авторитетного исследования.

В настоящее время, когда ведущие ИИ-структуры активно углубляются в исследование технологий ZK, пересмотр инженерной зрелости доказательств с нулевым разглашением в сфере Web3 становится особенно необходимым.

В истории криптографии доказательство с нулевым разглашением представляет собой теоретический математический инструмент с более чем 40-летней глубокой историей. Однако на ранних и средних этапах развития блокчейн-мира оно часто превращалось в маркетинговую концепцию и нарративный культ, агрессивно упакованный некоторыми командами в своих белых книгах. На практике его внедрение долгое время сдерживалось высокими вычислительными затратами и медленной скоростью генерации доказательств. Виталик Бутерин неоднократно подчеркивал, что zkSNARKs займут стратегическую позицию, равную по важности самой блокчейн-технологии в ближайшие десять лет, но на протяжении довольно длительного времени практическое развертывание для массового потребителя казалось недостижимым.

Рис.: Схема интеграции Succinct zkVM с подтверждением в сетях Layer 2 Ethereum

Настоящим фактором, позволившим ZK выйти из состояния «замка в воздухе», стала трансформация в сторону практической инженерии на основных сетях Layer 2 Ethereum. Возьмем для примера Mantle: в сентябре 2025 года она завершила полный переход архитектуры на OP Succinct, официально эволюционировав от традиционного Optimistic Rollup к настоящему ZK Rollup. В данной архитектуре универсальная нуль-разглашающая виртуальная машина SP1, разработанная Succinct, отвечает за генерацию математических доказательств для всех преобразований состояния сети второго уровня и их отправку в смарт-контракты основной сети Ethereum первого уровня для быстрого подтверждения.

Самым заметным изменением, принесенным этим переходом, является срок подтверждения вывода средств: поскольку Optimistic Rollup должен обязательно оставлять окно защиты для возможного предоставления доказательств мошенничества, пользователям приходится пассивно ждать перевода через несколько цепей вплоть до целых 7 дней; однако после полноценного внедрения ZK-доказательств Mantle сократила время фиксации состояния примерно до 1 часа, значительно уменьшив цикл вывода средств конечными пользователями до интервала менее 6 часов.

В то же время была окончательно преодолена цена генерации вычислительных доказательств, которая длительное время считалась смертельной слабостью ZK. Благодаря распределенному аппаратному ускорению сети валидаторов Succinct, стоимость генерации ZK-доказательства для одной транзакции в Mantle опустилась до шокирующего уровня около 0,002 доллара США, что полностью устранило коммерческий барьер для широкого распространения технологии.

Глубинный смысл открытого упоминания сетей Layer 2 со стороны Anthropic

Так какой же сигнал отрасли передает откровенное упоминание сетей второго уровня в передовых исследованиях Anthropic? Объективно говоря, сама Mantle не принимала прямого участия в обучении внутренних больших моделей Anthropic, поэтому это не прямое коммерческое партнерство по закупке.

Однако это по-прежнему высвобождает критически важное знаковое значение всей экосистемы Layer 2 Ethereum и децентрализованных вычислительных мощностей.

Рис.: Масштаб заблокированных активов в сетях Layer 2 Ethereum и распределение эволюции ZK-архитектур

Согласно цепочечной статистике специализированной платформы мониторинга данных Layer 2 ETHBEAT, Mantle является единственным сетевым протоколом среди четырех ведущих популярных решений Layer 2 в мире, который успешно реализовал полный переход на ZK Rollup. Когда мировые технологические гиганты нуждаются в поиске высокодоступной ZK-инфраструктуры в масштабах крупных распределенных сред, сочетающей низкие задержки, крайне низкую стоимость единовременной проверки и прошедшей проверку реальными капиталами на сумму в миллиарды долларов, Succinct, обеспечивший Mantle базовыми возможностями доказательств, естественно становится наиболее логичным кандидатом для сотрудничества.

Это не означает, что отдельная публичная блокчейн-сеть достигла полного технического превосходства над конкурентами, но это безапелляционно доказывает следующее: жесткие стресс-тесты, которые подвергались сети Layer 2 Ethereum на протяжении последних лет, и накопленные ею прорывы инженерных пределов в ускорении вычислений и оптимизации затрат, уже сейчас предоставляют глобальным лидерам в области общего искусственного интеллекта готовую инфраструктуру, закаленную в реальных условиях эксплуатации.

Когда большие ИИ-модели начинают серьезно исследовать криптографическую прозрачность, технология блокчейн наконец-то сбросила ярлык закрытых нарративов и, выступая в форме прочного фундамента базовых технологий, вплотную подошла к самому переднему краю научно-технической цивилизации.