Сооснователь Ethereum Виталик Бутерин придал конкретные числа давно обсуждаемому вопросу в криптографии: насколько близки передовые инструменты приватности и верификации к обычной стоимости вычислений. В публикации от 6 сентября Бутерин оценил в 60% вероятность того, что SNARKs, полностью гомоморфное шифрование (FHE) и неотличимое запутывание (iO) в итоге будут работать с накладными вычислительными расходами ниже 10x, измеряемыми по общему энергопотреблению и амортизированным вычислительным затратам. Он также дал всем трём технологиям 33% шанс приблизиться к накладным расходам 1+ε для средних реальных вычислений.

Сооснователь Ethereum Виталик Бутерин заявил, что считает вероятность в 60% того, что SNARKs, полностью гомоморфное шифрование и неотличимое запутывание со временем смогут быть реализованы с однозначными… pic.twitter.com/kdtCcHwajq — Wu Blockchain (@WuBlockchain) September 6, 2026

Это различие важно, поскольку сроки оказываются более сжатыми, чем предполагает заголовочная вероятность. Бутерин не сказал, что все три технологии пересекут порог ниже 10x к 2030 году. Вместо этого он сообщил, что как минимум одна из них может достичь однозначных накладных расходов к концу десятилетия, причём наиболее вероятный кандидат — SNARKs. Такая постановка опирается на давнюю проблему прикладной криптографии: все три техники теоретически осуществимы уже много лет — FHE впервые был построен Крейгом Джентри в 2009 году — однако их вычислительная стоимость удерживала их преимущественно в рамках исследовательской среды, а не производственных систем.

SNARKs возглавляют движение к вычислительным расходам ниже 10x

SNARKs позволяют системе доказать, что вычисление было выполнено корректно, не требуя от каждого верификатора повторять весь процесс. Благодаря этому они стали центральным элементом модели масштабирования Ethereum на основе доказательств с нулевым разглашением. Роллапы с нулевым разглашением уже используют этот подход: они обрабатывают пакеты транзакций вне базового уровня Ethereum, а затем отправляют доказательства корректности в Mainnet, что позволяет сети проверять эти транзакции, сохраняя гарантии безопасности Ethereum.

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

Снижение стоимости доказательств может напрямую повлиять на будущую архитектуру Ethereum. Дорожная карта zkEVM сети предполагает, что валидаторы будут проверять доказательства целых блоков вместо независимого воспроизведения каждой транзакции. Поэтому достаточно эффективная генерация доказательств могла бы позволить Ethereum повышать лимиты газа без пропорционального увеличения оборудования валидаторов, что делает более дешёвые SNARKs значимыми как для масштабируемости, так и для эффективности валидаторов. Эта тенденция заметна и в более широкой экосистеме нулевого разглашения, где системы доказательств последовательно оптимизируются с целью сокращения времени работы доказывающего и зависимости от оборудования.

FHE и iO сталкиваются с более высокими барьерами

В то время как SNARKs сосредоточены на верификации вычислений, FHE решает другую задачу: приватность. Эта технология позволяет выполнять вычисления непосредственно над зашифрованными данными, не раскрывая исходную информацию. NIST описывает FHE как технологию повышения приватности, способную применять произвольные функции к зашифрованным данным без доступа к секретному ключу расшифровки. Для блокчейнов такая возможность могла бы поддержать приватные автоматизированные маркет-мейкеры, конфиденциальные кредитные рынки и аукционы закрытых ставок — эти применения прямо указаны в дорожной карте приватности Ethereum. Однако FHE по-прежнему несёт значительно более высокие вычислительные затраты по сравнению с обычной обработкой открытого текста, поэтому достижение накладных расходов ниже 10x стало бы важным шагом к более широкому практическому применению.

Неотличимое запутывание представляет собой ещё более сложную задачу. Эта технология направлена на преобразование программного обеспечения с сохранением его функциональности, делая эквивалентные запутанные программы вычислительно неотличимыми. Последние исследования укрепили теоретические основы iO, но его практическая стоимость остаётся крайне высокой; Бутерин описывал традиционные конструкции как фактически «галактические» по вычислительным затратам. Чтобы снизить эти расходы, в своих недавних работах он исследовал подходы, включая diamond iO и local mixing. Diamond iO снижает теоретическую нагрузку, но остаётся непрактичным, тогда как local mixing идёт другим путём, безопасность которого ещё не доказана.

Тем не менее каждая технология нацелена на отдельную часть более широкой криптографической проблемы. Более дешёвые SNARKs могли бы сделать верифицируемые вычисления более привычными, FHE могло бы расширить приватные вычисления над общими данными, а эффективное iO могло бы помочь защищать внутреннюю логику исполняемого программного обеспечения. На данный момент, однако, оценка Бутерина в 60% остаётся его личным вероятностным суждением, а не обязательством дорожной карты Ethereum.

Источник: Blockonomi