Что такое SNARKs? Почему Виталик Бутерин считает, что стоимость доказательств ZK может упасть ниже 10x

2026/09/08 11:12:00

Виталик Бутерин считает, что криптография приближается к почти нулевой нагрузке

Сооснователь ethereum Виталик Бутерин опубликовал анализ 6 сентября 2026 года, в котором присвоил конкретные вероятности долгосрочной практической применимости трех продвинутых криптографических примитивов. Он оценил вероятность в 60%, что SNARKs, полностью гомоморфное шифрование и обфускация неотличимости в конечном итоге будут работать с затратами менее чем в 10 раз выше, чем у обычных вычислений, при измерении по суммарному энергопотреблению плюс амортизированным вычислительным расходам. Он также оценил вероятность в 33%, что эти же инструменты смогут приблизиться к накладным расходам 1+ε при достаточном масштабе, что означает, что дополнительные криптографические затраты станут произвольно малыми по сравнению с базовой работой. SNARKs выделяются как самые зрелые из трех и наиболее вероятно достигнут однозначных накладных расходов к концу десятилетия. Специализированные хеш-функции и некоторые рабочие нагрузки на основе больших языковых моделей уже продемонстрировали сопоставимый уровень эффективности.

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

Как SNARKs обеспечивают компактные доказательства корректности вычислений без раскрытия входных данных

Краткие неинтерактивные аргументы знаний (SNARKs) позволяют одной стороне создавать короткий криптографический доказательство того, что вычисление было выполнено правильно. Проверяющий проверяет доказательство, не повторяя полный расчет и не узнавая приватные входные данные. Свойство «краткости» обеспечивает малый размер доказательства и быструю проверку даже при сложных утверждениях. Невзаимодействующая структура означает, что доказывающая сторона создает одно сообщение, которое любой проверяющий может проверить независимо. Версии с нулевым разглашением дополнительно скрывают данные свидетельства, поддерживая приложения для конфиденциальности, такие как защищенные транзакции или секретная логика смарт-контрактов. На практике современные реализации SNARK опираются на криптографию на парах или хеш-ориентированные альтернативы, при этом вычисления выражаются в виде арифметических ограничений. Время и память для доказательства остаются основными затратами, в то время как проверка обычно достаточно дешева для использования в цепочке. Недавние специализированные системы значительно снизили накладные расходы для структурированных рабочих нагрузок, таких как повторяющиеся хеш-вычисления, до уровней, значительно ниже ранних универсальных реализаций.

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

Эмпирические показатели с 2025 по 2026 год показывают, что затраты на доказательство для блоков масштаба Ethereum снизились примерно в 45 раз за один год на публичных трекерах, достигнув уровня ниже цента для подходящих конфигураций в оптимизированных мульти-GPU средах. Такие улучшения подтверждают направление, направленное на достижение целевых показателей накладных расходов, описанных Бутериным. Тенденции в оборудовании, включая потребительские GPU и специализированные проверы, дополнительно снижают абсолютные энергетические и капитальные затраты, связанные с генерацией доказательств. Когда специализированные хеш-функции уже работают близко к однозначным кратным от исходной стоимости, оставшаяся инженерная задача заключается в распространении этих преимуществ на более общие схемы без введения новых узких мест. Сочетание алгоритмических достижений и зрелости оборудования, таким образом, предоставляет фактическую основу для оптимистичной вероятности, присвоенной SNARKs, достигающим широко полезных уровней накладных расходов в этом десятилетии.

Фреймворк вероятностей Виталика Бутерина за сентябрь 2026 года для криптографической нагрузки

6 сентября 2026 года Бутерин количественно оценил давние вопросы о практической применимости продвинутой криптографии, назначив явные вероятности. Он оценил в 60% вероятность того, что SNARKs, полностью гомоморфное шифрование и обфускация неотличимости в конечном итоге достигнут менее чем в 10 раз совокупных энергозатрат и амортизированной вычислительной стоимости обычных вычислений. Отдельная вероятность в 33% относится к более сильному утверждению, что все три метода смогут приблизиться к накладным расходам 1+ε для средних реальных рабочих нагрузок при достаточном масштабе. Измерение намеренно включает энергопотребление, а не только время в реальном масштабе, отражая истинную экономическую нагрузку при масштабном использовании технологии. Бутерин описал общую перспективу как оптимистичную и неконсенсусную. Он отметил, что по крайней мере один из трех примитивов, скорее всего SNARKs, имеет хорошие шансы достичь однозначных накладных расходов к концу десятилетия. Специализированные случаи уже демонстрируют возможность достижения таких уровней для определенных хеш-функций и задач вывода языковых моделей. Прогнозы не связаны с какими-либо протокольными дедлайнами или инженерными обязательствами; они представляют личную оценку технической возможности, а не график обновлений ethereum.

Охват в нескольких СМИ 6 и 7 сентября подтвердил те же числовые диапазоны и акцент на SNARKs как на ближайшем кандидате. Эти цифры предоставляют конкретную отправную точку, по которой можно измерять последующий прогресс исследований. Различие между вероятностью менее чем в 10 раз для 60% и более узким временным рамками для однозначных коэффициентов имеет значение. Бутерин не утверждал, что все три технологии преодолеют порог в 10 раз к 2030 году. Более ограниченное утверждение касается вероятности того, что по крайней мере одна из них — ожидаемо, SNARKs — достигнет однозначных множителей в течение десятилетия. Такой подход позволяет избежать чрезмерных обещаний в отношении более отдалённых примитивов, сохраняя при этом акцент на измеримом потенциале в ближайшей перспективе. Учёт энергопотребления плюс амортизированных затрат дополнительно привязывает оценку к экономической реальности, а не к чистой асимптотической сложности.

Когда затраты на доказательство снижаются, тот же вычислительный бюджет может поддерживать более высокую пропускную способность или более сложные утверждения без пропорционального увеличения требований к оборудованию для валидаторов или пользователей. Публичный отчет об анализе от 6 сентября последовательно цитировал те же цифры 60% и 33%, а также наблюдение, что специализированные рабочие нагрузки уже приблизились к целевому диапазону. Таким образом, рамки предоставляют как количественный прогноз, так и качественную ранжировку относительной зрелости трех технологий. Постоянные эмпирические улучшения в системах доказательства SNARK обеспечивают независимую поддержку ранжирования, которое ставит SNARK на первое место в последовательности ожидаемого снижения затрат.

Специализированные хеш-функции уже приближаются к однозначным накладным расходам SNARK

Бутерин прямо отметил, что специализированные хеш-функции уже достигли уровня эффективности, сопоставимого с незначительными накладными расходами по сравнению с нативным выполнением. Современные разработки, такие как Flock — хеш-ориентированный SNARK, оптимизированный для пакетов булевых вычислений, — иллюстрируют это на конкретных цифрах пропускной способности. На потребительском оборудовании Apple M4 Max может доказывать сотни тысяч сжатий BLAKE3, сжатий SHA-256 или перестановок Keccak в секунду, что представляет собой примерно улучшение на порядок по сравнению с предыдущими системами высшего класса для тех же рабочих нагрузок. Размеры доказательств остаются ниже 450 КБ, а проверка завершается менее чем за четыре миллисекунды. Эти результаты важны, поскольку оценки хешей доминируют во многих криптографических схемах, включая открытия путей Меркла, хеш-цепочки и внутренние слои рекурсивных доказательств.

Когда доминирующие операции становятся дешевыми для доказательства, общие накладные расходы для более сложных утверждений снижаются, даже если окружающая логика остается менее оптимизированной. Тот же принцип распространяется на некоторые задачи вывода крупных языковых моделей, где матричные умножения и связанные структурированные операции допускают высокоэффективные стратегии доказательства. Публичная документация этих специализированных систем подтверждает, что однозначные множители больше не являются чисто теоретическими для узких, но часто встречающихся вычислительных шаблонов. Распространение такой же эффективности на универсальные схемы остается инженерной задачей, однако специализированные результаты предоставляют ясное доказательство возможности. Аппаратное ускорение дополнительно усиливает преимущества: многопроцессорные и многопроцессорные GPU-конфигурации повышают пропускную способность еще выше, при этом объем памяти остается практичным для целевых размеров пакетов. Архитектура Flock объединяет оптимизированные протоколы lincheck и zerocheck с агрессивными методами реализации, демонстрируя, что совместный дизайн алгоритмов и программного обеспечения может обеспечить значительное ускорение.

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

Недавние эмпирические снижения стоимости доказательства блоков ethereum

Независимые тесты фиксируют резкое снижение стоимости генерации доказательств с нулевым разглашением для блоков ethereum. Данные public ethproofs показали, что средние затраты снизились с примерно 1,69 доллара в начале 2025 года до менее четырех центов к концу того же года — снижение примерно в 45 раз. К началу сентября 2026 года отдельные конфигурации сообщили о стоимости, близкой к половине цента, для подходящих блоков, хотя成功率 доказательств менее чем за 10 секунд по всем оцененным слотам оставалась частичной, поскольку учитываются офлайн- и несоответствующие запуски. Ранее Ethereum Foundation поставила конкретные цели для доказательств в реальном времени: менее 10 секунд для 99 процентов блоков мейннета на оборудовании стоимостью не более 100 000 долларов, потребляющем не более 10 киловатт, с доказательствами менее 300 КиБ и без доверенной настройки. К концу 2025 года несколько команд достигли или приблизились к этим целям.

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

Специализированные системы дополнительно ускоряют подмножество операций, доминирующих в доказательстве блоков, таких как хеширование и проверка подписей. Сочетание алгоритмического прогресса и улучшений в аппаратном обеспечении общего назначения порождает накопительные эффекты, заметные в публичных трекерах. Снижение стоимости доказательства также ослабляет ограничения на лимиты газа и пропускную способность: валидаторам больше не нужно масштабировать аппаратное обеспечение пропорционально каждому росту вычислительного спроса, если большая часть работы может быть доказана, а не повторно выполнена. Снимок затрат на уровне менее одного цента для определённых конфигураций в сентябре 2026 года предоставляет актуальный эмпирический контекст для вероятности 60%, присвоенной коэффициенту накладных расходов менее чем в 10 раз. Постоянный мониторинг тех же публичных тестов позволит наблюдателям проверить, сохраняется ли наблюдаемая скорость улучшения, необходимая для достижения целевого показателя в однозначные цифры для более широких рабочих нагрузок в течение десятилетия.

Как снижение стоимости SNARK может повысить лимиты газа Ethereum без роста требований к оборудованию

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

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

Метрика «энергия плюс амортизированная стоимость», подчеркнутая в анализе сентября 2026 года, отражает полное экономическое воздействие этих изменений. Когда дополнительная стоимость криптографии сокращается до однозначных кратных, стимул держать доказательства вне критического пути ослабевает, и их использование может расшириться на более рутинные функции протокола. Участники рынка, отслеживающие метрики емкости Ethereum, могут поэтому интерпретировать снижение стоимости доказательств как индикатор будущего резерва для повышения лимита газа, сохраняющего широкое участие. Связь между криптографической эффективностью и масштабированием протокола остается одним из самых четких краткосрочных применений снижения затрат, количественно оцененных Бутериным.

FHE и обфускация неделимости находятся дальше от целевых показателей практической нагрузки

Полностью гомоморфное шифрование позволяет выполнять произвольные вычисления на зашифрованных данных без расшифровки, в то время как неразличимая обфускация направлена на то, чтобы скрыть внутреннюю логику программы настолько тщательно, что остается наблюдаемым только ее поведение по входу и выходу. Оба примитива расширяют пространство проектирования для приложений с частным общим состоянием и защиты программного обеспечения, однако текущие накладные расходы значительно превышают таковые у SNARKs. Бутерин ранее описывал iO как «финального босса» криптографии, поскольку построения объединяют несколько передовых примитивов, но все еще дают галактические времена выполнения при консервативных предположениях. Даже оптимистичные подходы на основе решеток оставляют времена выполнения, измеряемые днями на мощном оборудовании для скромных программ. Реализации FHE улучшились, но продолжают генерировать артефакты размером в несколько гигабайт и времена выполнения в несколько часов даже для относительно небольших задач машинного обучения согласно бенчмаркам 2026 года.

Таким образом, анализ за сентябрь ставит обе технологии за SNARKs по ожидаемому времени достижения однозначных накладных расходов. Вероятность 60% относится к окончательному достижению стоимости менее чем в 10 раз для всех трех; более узкое утверждение на конец десятилетия выделяет SNARKs как наиболее вероятного первого участника. Относительное расстояние не означает стагнации. Исследования продолжаются на основе более агрессивных предположений, новых не-решеточных подходов, таких как локальное смешивание, и постепенной оптимизации существующих конструкций. Улучшения в компонентных примитивах, таких как функциональное шифрование или эффективное FHE, могут привести к снижению общих затрат на iO. Для FHE путь включает более эффективные методы упаковки, аппаратное ускорение и кодировки, удобные для схем, которые снижают рост шума.

Тем не менее, эмпирический разрыв остается достаточно большим, чтобы ранжирование Бутерина помещало практическую однозначную нагрузку для этих инструментов позже, чем для SNARK. Приложения, требующие вычислений на зашифрованном общем состоянии или скрытой логике программы, поэтому продолжат полагаться на альтернативные методы или гибридные решения, пока не будут достигнуты целевые показатели нагрузки. Вероятностная модель рассматривает три технологии как портфель: успех ближайшего участника (SNARK) уже открывает значительную ценность, а в конечном итоге прогресс по более отдаленным участникам расширяет набор достижимых гарантий конфиденциальности и целостности. Следовательно, отслеживание специализированных результатов SNARK остается самым непосредственным индикатором того, находится ли общий рейтинг 60% на правильном пути.

Композиция рекурсивных доказательств расширяет выгоды от повышения эффективности для более крупных утверждений

Рекурсивная композиция позволяет SNARK проверять другой SNARK, обеспечивая иерархическое сжатие больших вычислений в один компактный доказательство. Эта технология уже является ключевой для многих производственных систем, агрегирующих несколько транзакций или блоков. Когда внутренние доказательства становятся дешевле в генерации, внешний рекурсивный слой наследует эти выгоды и может работать с более высокой пропускной способностью или меньшей задержкой. Специализированные модули для хеширования и других частых операций дополнительно ускоряют рекурсивный путь, поскольку проверка внутреннего доказательства часто сводится к структурированным проверкам, допускающим эффективную обработку.

Публичные тесты, показывающие стоимость ниже одного цента для полных доказательств блоков ethereum, уже используют рекурсивные методы в нескольких ведущих стеках доказательств. По мере дальнейшего снижения базовых затрат на доказательства, предельная стоимость дополнительных уровней рекурсии также уменьшается, что позволяет углублять вложенность без пропорционального роста ресурсов. Та же свойство композиции поддерживает «чрезвычайно легкие» консенсусные дизайны, заменяющие повторяющиеся обновления балансов в цепочке ежедневными или эпохальными доказательствами с нулевым разглашением. Валидаторы отслеживают собственное состояние и отправляют краткое доказательство, охватывающее участие и вознаграждения; базовый уровень проверяет агрегированные данные, а не хранит и обновляет каждый баланс. Более низкие накладные расходы делают такие доказательства осуществимыми на скромном оборудовании и в пределах практических временных окон.

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

Аппаратное ускорение и провайдеры потребительского уровня сокращают ценовой разрыв

Современные SNARK-провайдеры всё чаще используют обычные GPU и многоядерные CPU, а не полагаются исключительно на специализированные ASIC. Конфигурации с 16 потребительскими GPU продемонстрировали возможность генерации доказательств для блоков Ethereum в реальном времени, соответствующую латентности и энергопотреблению, установленным Фондом. Результаты с одним GPU и даже на ноутбуках для более узких задач, таких как пакеты хеширования Flock или доказательства идентичности на устройстве, показывают, что абсолютные аппаратные барьеры продолжают снижаться. Объём памяти, требуемый некоторыми провайдерами для мобильных и настольных устройств, остаётся в пределах возможностей обычных потребительских устройств.

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

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

Приложения для конфиденциальности первыми получат выгоду от более дешевых SNARKs

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

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

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

Рыночный и отраслевой контекст для ускорения эффективности SNARK

Более широкая экосистема нулевого знания продолжает демонстрировать активное развитие, несмотря на колебания показателей отдельных проектов. Публичные репозитории и трекеры активности разработчиков в 2026 году фиксируют тысячи исторических участников и меньшую, но всё ещё значительную группу текущих активных разработчиков в нескольких системах доказательств и виртуальных машинах. Производственные zkVM сообщают о реальном времени или почти реальном времени генерации доказательств для рабочих нагрузок масштаба ethereum на оборудовании с несколькими GPU, причём несколько систем достигли статуса аудиторского производства. Специализированные провайверы для пакетов хэшей и идентичности на устройстве дополнительно расширяют доступный инструментарий.

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

Снижение стоимости доказательств также снижает барьеры для этих некриптовых вариантов использования, расширяя общий потенциальный спрос на эффективные технологии SNARK. Публичное сообщение о снижении стоимости доказательств в блоках Ethereum служит видимым индикатором прогресса, который приносит пользу более широкому кругу приложений. Комбинация открытых тестов, конкурирующих реализаций и расширяющихся вариантов использования создает рыночный контекст, в котором можно оценивать вероятностные оценки Бутерина в ближайшие годы. Устойчивое улучшение по этим направлениям повысит уверенность в том, что оценка в 60% для накладных расходов менее чем в 10 раз достижима.

Практические инженерные пути к более широкому однозначному накладному расходу

Несколько конкретных инженерных направлений сходятся к цели с накладными расходами в однозначном диапазоне для общих рабочих нагрузок. Компиляторы схем, преобразующие код высокого уровня в промежуточные представления, дружественные SNARK, снижают количество ограничений для распространённых операций. Языки и библиотеки, специфичные для домена, предоставляющие оптимизированные модули хеширования, подписей и арифметики, позволяют разработчикам структурировать программы вокруг уже эффективных примитивов. Рекурсивная агрегация и техники данных с доказательствами распределяют затраты на проверку по большим пакетам. Совместный дизайн аппаратного и программного обеспечения дополнительно переносит оставшиеся общие задачи на параллельные ускорители.

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

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

🔥 За кулисами новостей: что значит KuCoin 5.0 для вас

Новости рынка движутся быстро — но то, где вы на них реагируете, имеет не меньшее значение. В этом октябре KuCoin запускает KuCoin 5.0, превращая KuCoin в полностью перестроенную платформу. Вот что реально изменится для вас:

Один аккаунт для всего. Старые платформы разделяли ваши средства между отдельными аккаунтами «спот», «маржа» и «фьючерсы» и ожидали, что вы поймете почему. Единый аккаунт KuCoin 5.0 полностью устраняет это — сделайте депозит один раз, и всё будет просто доступно.
Акции, индексы и товары. KuCoin 5.0 расширяется за пределы криптовалют на глобальные рынки. Когда криптовалюты движутся боком, а акции растут (или наоборот), вы переключаетесь за минуты, вместо того чтобы открывать брокерский аккаунт и ждать дней для вывода фиата.
Реальные активы (RWA). Токенизированная экспозиция к традиционным активам, таким как сырьё, прямо в вашем криптоаккаунте. Один из самых быстрорастущих сегментов мировой финансовой системы больше не доступен только институциональным инвесторам — вы получаете к нему доступ с того же баланса, с которого торгуете.
Зарабатывайте, пока учитесь. Еще не готовы торговать? KCUSD позволяет вашим стейблкоинам получать ежедневный автокомпаундный доход. Самый спокойный способ заставить ваши неиспользуемые депозиты работать с доходностью 4%.
ИИ-помощник на простом языке. Задавайте вопросы, получайте контекст рынка, понимайте, что вы видите — всё встроено в платформу, без жаргона.
Приложение, которое не перегружает. Быстрее, чище и последовательнее — интуитивно понятно с первого касания, а не после обучения.
Безопасность, которую можно проверить, а не просто доверять. Европейская организация с лицензией MiCAR, Proof of Reserves, которую вы можете проверить самостоятельно, и международно сертифицированная безопасность (SOC 2 Type II, ISO 27001:2022).

Создайте аккаунт за несколько минут — и начните на платформе, созданной для того, куда движется криптовалюта, а не туда, где она была.

Долгосрочный прогноз для систем с частным совместным состоянием и ролей посредников

Если запланированные снижения затрат реализуются, частные приложения с общим состоянием станут более практичными. Полностью гомоморфное шифрование позволит нескольким сторонам выполнять вычисления над зашифрованными данными без раскрытия входных данных, а SNARKs предоставят компактные доказательства того, что вычисления следовали согласованным правилам. Обфускация неделимости может дополнительно защитить проприетарную логику. Более дешевые версии этих инструментов снизят зависимость от доверенных кастодианов, аудиторов или централизованных механизмов сопоставления для определенных финансовых и вычислительных рабочих процессов. Анализ сентября 2026 года прямо связывает снижение криптографических накладных расходов с возможностью ослабления традиционных ролей посредников, когда конфиденциальность и проверяемость станут стандартными, а не специализированными функциями.

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

За пределами блокчейн-систем те же преимущества в эффективности поддерживают регулируемые среды, требующие как конфиденциальности, так и аудитабельности. Вероятность 33%, присвоенная почти нулевым накладным расходам при масштабировании, представляет собой возможность более длительного горизонта, при которой дополнительные затраты на криптографическую защиту становятся незначительными для средних рабочих нагрузок. Даже более консервативная вероятность 60% для накладных расходов менее чем в 10 раз будет представлять собой существенное изменение по сравнению с исторической производительностью. Следовательно, отслеживание эмпирической траектории затрат на SNARKs остается самым прямым способом оценки того, приближаются ли эти долгосрочные последствия к практической осуществимости.

ЧаВо

Что именно сказал Виталик Бутерин о стоимости SNARK в сентябре 2026 года?

6 сентября 2026 года Бутерин оценил вероятность в 60%, что SNARKs, полностью гомоморфное шифрование и обфускация неотличимости в конечном итоге будут работать с затратами энергии и амортизированной вычислительной мощности, меньшими, чем в 10 раз по сравнению с обычными вычислениями. Отдельно он оценил вероятность в 33%, что все три технологии смогут при достаточном масштабе приблизиться к накладным расходам 1+ε.

Насколько близки текущие затраты на доказательство SNARK к целевому значению в однозначных цифрах?

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

Почему энергопотребление плюс амортизированная стоимость важнее, чем чистое время выполнения?

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

Могут ли более дешевые SNARKs напрямую увеличить лимит газа Ethereum?

Снижение накладных расходов на доказательство уменьшает требуемые ресурсы оборудования для проверки более крупных блоков, когда значительная часть выполнения покрывается краткими доказательствами, а не повторным выполнением. Валидаторы могут поэтому поддерживать более высокие лимиты газа без пропорционального увеличения вычислительной мощности. Рекурсивные и агрегированные доказательства дополнительно распределяют затраты на проверку.

Какую роль играют специализированные хеш-функции в снижении затрат?

Оценки хешей доминируют во многих криптографических схемах. Когда специализированные модули SNARK доказывают пакеты стандартных хешей с высокой пропускной способностью и низкой относительной нагрузкой, общая стоимость более сложных утверждений снижается, даже если окружающая логика остается менее оптимизированной. Системы, такие как Flock, опубликовали конкретные показатели пропускной способности, превышающие сотни тысяч сжатий в секунду на потребительских ноутбуках, при этом размеры доказательств и время проверки остаются практическими.

Какова степень зрелости FHE и маскировки неотличимости?

Оба варианта всё ещё намного дороже SNARKs. Текущие реализации FHE всё ещё дают крупные артефакты и время выполнения в несколько часов для скромных задач. Даже при оптимистичных предположениях построения обфускации неотличимости имеют времена выполнения, которые являются «галактическими» или занимают дни на мощном оборудовании.

Отказ от ответственности: Этот материал предоставлен исключительно в информационных целях и не является инвестиционной рекомендацией. Инвестиции в криптовалюты сопряжены с рисками. Проведите собственное исследование (DYOR).

Отказ от ответственности: Эта страница была переведена для вашего удобства с использованием технологии искусственного интеллекта. Для получения наиболее точной информации обратитесь к оригинальной английской версии.