Альтернативные решения проверки нулевых знаний: как спасти Ethereum от перегрузки

Решения альтернативной проверки нулевых знаний могут спасти Ethereum | Мнение

Раскрытие информации: взгляды и мнения, выраженные здесь, принадлежат исключительно автору и не представляют взгляды и мнения редакции crypto.news.

Ethereum (ETH) находится на перепутье. Нулевые доказательства, или ZKPs, собираются стать основой будущего блокчейна с защитой конфиденциальности и масштабируемости, при этом прогнозы предсказывают, что к 2030 году будет сгенерировано 90 миллиардов доказательств. Однако главная цепочка Ethereum, даже с его замечательной эволюцией, просто не в состоянии справиться с этим напором. Стоимость газа и ограничения блокового пространства делают ончейн-верификацию совершенно непрактичной, как будто пытаться пропустить океан через соломинку.

Точно так же, как альтернативная доступность данных, или DA, такие слои, как Celestia и Avail, появились несколько лет назад, чтобы решить проблемы масштабирования Ethereum, сейчас нам нужны альтернативные методы проверки ZK-доказательств, чтобы не отставать от этого грядущего потока спроса. История показывает, что прагматики преобладают. Взрыв ZKP уже на подходе, а Ethereum не готов.

Нулевые доказательства вышли за рамки нишевой технологии и стали ключевым столпом конфиденциальности и масштабируемости блокчейна. От ZK-роллапов, которые обеспечивают высокопроизводительные слои 2, до приложений с фокусом на конфиденциальность, ZKPs внедряются в ткани web3. Исследования от Protocol Labs предполагают, что к 2030 году количество сгенерированных ZK-доказательств может увеличиться до 90 миллиардов ежегодно, так как случаи использования ZK продолжают расти, например, проверка на стороне клиента на телефонах или протоколы DeFi, управляемые ИИ. Это не спекуляция; это прогноз с учетом ускоряющегося принятия технологии ZK.

Но вот в чем дело: в настоящее время Ethereum не может справиться с этим спросом. Если бы он выделил каждую унцию своей мощности — 30 миллионов единиц газа на блок — для проверки ZKPs (предполагая 200,000 газа на доказательство), он мог бы обработать примерно 150 миллионов доказательств в год с примерно наполовину заполненным блоковым пространством. Это менее 0.2% от ожидаемых 90 миллиардов.

Даже если вы сократите оценку вдвое, L1 Ethereum ужасно неадекватен для этой задачи в его текущем виде. Цены на газ взлетят до небес, превращая проверку доказательств в роскошь, которую смогут себе позволить немногие. Хотя существуют планы по улучшению сети как среды для криптографии, дорожная карта Ethereum движется медленно, и это может занять годы. Нам нужно лучшее решение, чтобы справиться с напором доказательств. Альтернативная DA проложила путь, и верификация ZK-доказательств может последовать за ней.

Ethereum уже сталкивался с кризисами масштабирования раньше, и сообщество адаптировалось. Несколько лет назад появились роллапы как спасательный круг, но они столкнулись с узким местом: доступностью данных. Публикация данных о транзакциях в L1 Ethereum была дорогостоящей и неэффективной, угрожая задушить рост L2. Сообщество было разделено: пуристы настаивали на том, что всё должно оставаться в цепочке для безопасности, в то время как прагматики настаивали на альтернативных DA-слоях. Затем такие проекты, как Celestia и Avail, вмешались, предложив специальные блокчейны для хранения данных вне цепочки и резко снизив стоимость. Несмотря на начальное сопротивление, альтернативная DA теперь является неотъемлемой частью дорожной карты Ethereum и принята как провайдерами роллапов, так и RaaS.

Верификация ZK-доказательств сталкивается с аналогичной точкой поворота. Сегодняшнее временное решение, агрегация доказательств, напоминает `первокурсовые` решения предшествующей эпохи незавершенной DA. Агрегаторы пакетируют сотни доказательств в одно `супер-доказательство` для верификации Ethereum, снижая затраты, но вводя задержки. Некоторые пакеты требуют часов или даже дня для завершения, что кардинально отличается от мгновенной финализации, которую обещают ZK-роллапы. Что еще хуже, пользователям необходимо доверять этим агрегаторам, которые часто не имеют `кожи в игре` — нет ставленных токенов, значит, не будет штрафов за неправомерные действия.

Это шаткий фундамент для системы без доверия. Поэтому альтернативные слои верификации, такие как zkVerify, предлагают альтернативу на базе блокчейна: быстро, дешево и безопасно благодаря стимулам proof-of-stake. Параллель с альтернативной DA не просто риторическая — она уже доказала свою работоспособность. Цена за сохранение статус-кво.

Без альтернативной проверки доказательств будущее выглядит мрачным. Проверка одного доказательства Groth16 на Ethereum сегодня может стоить 10 долларов при умеренных ценах на газ (30 gwei, 1500 долларов за ETH). Умножьте это на 90 миллиардов, и вы получаете триллионную проблему к 2030 году — абсурд, который ни один блокчейн не сможет выдержать.

Даже с агрегацией затраты остаются нестабильными, когда связь с рынком газа Ethereum, и проблема задержки подрывает высокопроизводительные случаи использования, такие как DeFi в реальном времени или игровая деятельность. Пуристы утверждают, что оффчейн-внедрение проверок жертвует безопасностью, но они упускают из виду уже сделанные уступки: доверие к агрегаторам без доли, или преобразование STARK-доказательств в SNARK для совместимости с Ethereum, что добавляет сложность и стоимость.

Сравните это с модульным подходом. Специальная цепочка верификации может сократить затраты на 90%, избегая всплесков газа Ethereum и поддерживая родную верификацию STARK. Дело не только в экономии; здесь открываются возможности для инноваций. Например, генерация доказательств на стороне клиента (где пользователи генерируют доказательства на своих устройствах) могла бы взорваться, если бы верификация не была узким местом. Представьте миллиарды телефонов, которые выдают ZKPs для частной идентификации или микротранзакций; это то, что позволяет делать проверка на стороне клиента. Ethereum не может провести эту вечеринку, но альтернатива верификации может это сделать.

Сопротивление сообщества Ethereum не ново. Когда альтернативная DA дебютировала, критики возмутились, считая, что это ослабляет безопасность L1. Тем не менее, небеса не рухнули. Роллапсы процветали, сборы падали, и экосистема Ethereum становилась все сильнее. Сегодняшние скептики ZK повторяют тот же мотив: `Проверка должна оставаться в Ethereum для доверительности.` Но доверительность — это не бинарно. Агрегаторы уже вводят предположения доверия, а ограничения прямиков Ethereum также заставляют идти на компромиссы. Цепочка проверки ZKP с proof-of-stake, ставленными токенами и механизмами штрафования предлагает ответственность, которой не хватает агрегаторам. Это не шаг назад от безопасности Ethereum — это боковой шаг, адаптированный к уникальным требованиям ZK.

Ранние статьи Виталика Бутерина о ZK-SNARKs предвидели их доминирование, предсказывая, что ZK-роллапсы в конечном итоге обгонят оптимистичные. Он был прав по поводу технологии; теперь пришло время её масштабировать. Обновление Dencun (EIP-4844) доказало, что Ethereum может развиваться с модульными решениями; блобы значительно сокращают затраты на DA. Альтернативная проверка ZK-доказательств — следующий логичный шаг, согласующийся с долгосрочным видением Ethereum.

Призыв к действию перед приходом волны.

Волна ZKP приближается, независимо от того, готовы ли мы к этому или нет. Если убойное приложение вызовет массовое принятие, например, социальная сеть с защитой конфиденциальности или платформа торгового ИИ, Ethereum не выдержит нагрузки от доказательств.

Мы не можем ждать кризиса, прежде чем действовать. Альтернативные слои проверки ZK становятся необходимостью, и первые игроки, такие как zkVerify, уже начинают их строить. Сообщество Ethereum должно отказаться от ностальгии по монолитным решениям и принять модульность, так же как это было сделано с DA.

К 2030 году 90 миллиардов доказательств могут переопределить web3, открывая конфиденциальность, эффективность и масштаб. Но только если мы действуем сейчас. Давайте не повторим кошмары перегруженности прошлого. Альтернативная проверка ZK-доказательств — это не просто решение — это будущее, которого заслуживает Ethereum.

Читать далее:Предостережение для создателей: L2 теряет ценность, L1 приложенческие цепочки - более разумная ставка | Мнение

Джон Камардо является вице-президентом по продуктам в Horizen Labs, где он возглавляет zkVerify, модульный блокчейн, независимый от цепочек, сосредоточенный на эффективной проверке нулевых знаний. С более чем десятилетним опытом в управлении продуктами.