Верификация блоков на основе доказательств может снизить затраты валидаторов и упростить индивидуальный стейкинг без замены текущих методов валидации.
Валидация блоков в блокчейн Ethereum движется к серьезной модернизации. Текущие исследования сосредоточены на верификации блоков на уровне протокола, а не на добавлении новых пользовательских функций. Цель состоит в снижении аппаратных требований для валидаторов при сохранении безопасности. В случае успеха подход может поддерживать более высокую активность сети, сохраняя при этом участие открытым для небольших операторов.
В настоящее время Ethereum валидирует блоки, заставляя каждый узел повторно выполнять каждую транзакцию в них. Все узлы выполняют одну и ту же работу для независимой верификации результатов. По мере увеличения объема транзакций требуется больше вычислительной мощности, хранилища и пропускной способности интернета. Работа полного узла становится сложнее по мере роста использования.
С доказательствами с нулевым разглашением EVM узлы не будут переделывать работу. Они будут верифицировать одно криптографическое доказательство того, что блок был обработан правильно. Верификация доказательства происходит быстро и занимает одинаковое время независимо от того, сколько транзакций содержится в блоке, что значительно упрощает масштабирование.
Кроме того, доказательства с нулевым разглашением выполнения существуют уже некоторое время, но теперь Ethereum работает над их использованием непосредственно внутри своей основной системы. Протокол планирует разрешить некоторым валидаторам верифицировать криптографические доказательства, подтверждающие правильность выполнения работы. Валидация через доказательства будет существовать наряду с текущими методами и не заменит их полностью.
Для поддержки этого команда zkEVM Ethereum Foundation изложила дорожную карту, нацеленную на 2026 год. Согласно плану, клиенты выполнения будут упаковывать все данные, необходимые для верификации блока, в один пакет, называемый свидетелем выполнения.
Источник изображения: X/ladislaus.eth
Думайте об этом как о компактном пакете, который содержит все необходимое для проверки блока, без хранения полного состояния Ethereum. Специальная программа верифицирует данные, а виртуальная машина с нулевым разглашением генерирует доказательство того, что блок был обработан правильно. Вместо повторного выполнения транзакций клиент уровня консенсуса (CL) может верифицировать доказательство для подтверждения блока.
Согласно EIP-8025, узлы не обязаны менять свою работу. Повторное выполнение остается доступным, и жесткий форк не требуется. Валидаторы, которые выбирают проверку на основе доказательств, называются zkAttesters. Эти CL-клиенты верифицируют доказательства zkEVM, а не запускают полный EL-клиент.
Валидаторам, которые полагаются на доказательства, больше не нужно будет хранить данные выполнения Ethereum или синхронизировать всю цепочку. Вместо этого синхронизация может означать загрузку недавних доказательств после каждой финальной контрольной точки. Это изменение значительно снижает аппаратные требования, делая валидацию проще для индивидуальных стейкеров и домашних операторов.
Более того, доказательства без сохранения состояния позволяют людям верифицировать историю Ethereum локально без больших требований к хранилищу. Самостоятельная верификация на потребительском оборудовании снова становится более реалистичной.
Скорость генерации доказательств зависит от другого обновления, называемого встроенным разделением предлагающего и строителя (ePBS). Без него недостаточно времени для создания доказательств внутри слота блока. ePBS добавляет конвейеризацию блоков, давая доказывающим несколько секунд на слот, что делает генерацию доказательств в реальном времени реалистичной.
Команды клиентов выполнения приобретают новую актуальность, поскольку каждый клиент становится источником доказательства. Поставщики zkVM также выигрывают от общего интерфейса. Проекты zkVM, такие как ZisK, OpenVM и RISC Zero, также производят доказательства Ethereum, давая им четкую цель.
Остаются открытые вопросы о том, кто производит доказательства. Одного честного доказывающего достаточно, чтобы поддерживать работу цепочки, но зависимость от крупных строителей может привести к концентрации власти. Работа продолжается над распределенным доказательством и настройками, которые работают на меньшем оборудовании.
Между тем, EIP-8025 теперь является частью работы по спецификациям консенсуса протокола. Исследование охватывает дизайн свидетелей, стандарты zkVM, изменения консенсуса, проверки безопасности и тестирование производительности. Первый публичный рабочий звонок запланирован на 11 февраля 2026 года, что знаменует собой ранний шаг в этих долгосрочных усилиях.
Статья Ethereum нацелен на верификацию блоков на основе нулевого разглашения в 2026 году впервые появилась на Live Bitcoin News.


