Блок Ethereum доказали на четырёх видеокартах

Проект ZisK заявил 18 августа, что его прувер версии v1.1.0-alpha укладывается в 9,62 секунды по p99 всего на четырёх видеокартах RTX 5090, а 99,7% протестированных блоков Ethereum доказываются быстрее десяти секунд. Полгода назад разговор о доказательстве блоков в реальном времени шёл вокруг сборок примерно из двенадцати ускорителей — и именно их количество называли главным риском централизации.

Содержание статьи

Коротко

ZisK — открытая zk-виртуальная машина, выделившаяся из экосистемы Polygon.
Заявка от 18 августа: 9,62 секунды p99 на четырёх RTX 5090.
99,7% протестированных блоков уложились в десять секунд.
Ранее ориентиром была сборка примерно из двенадцати ускорителей.
Результат июльского OpenVM для сравнения — 9,8 секунды p99 на восьми RTX 5090.
Ни диапазон блоков, ни размер выборки, ни энергопотребление стенда не опубликованы.

Зачем Ethereum доказывать блоки

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

Ограничение по времени задаёт сам протокол: блоки выходят раз в двенадцать секунд, значит и доказательство должно успевать в тот же промежуток. Сегодня, по описанию самого фонда, реализации zkEVM тратят на блок от минут до часов, и технология находится в стадии активного исследования — в продуктовые клиенты Ethereum она не интегрирована.

Почему считают именно видеокарты

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

По критериям, которые приводит CryptoSlate со ссылкой на ориентиры Ethereum Foundation, дело не только в скорости: стенд должен укладываться примерно в 100 тысяч долларов и 10 киловатт, код быть полностью открытым, стойкость — не ниже 128 бит, а размер доказательства — не больше 300 КиБ и без доверенной настройки.

Результат	Видеокарты	p99
ZisK v1.1.0-alpha, 18 августа	4 × RTX 5090	9,62 с
OpenVM, июль	8 × RTX 5090	9,8 с
Ориентир начала года	около 12	около 7 с

Что в заявке проверить нельзя

ZisK не опубликовал ни диапазона блоков, ни размера выборки, ни методики расчёта p99, ни границы, с которой отсчитывается время, ни размера доказательства, ни измеренного энергопотребления всей системы. Пока этих данных нет, корректно называть результат заявкой о производительности, а не подтверждённым достижением. Отдельно заявлена стойкость в 128 бит и устойчивость к квантовой атаке — этот пункт тоже проверяется только по публикации схемы.

Что здесь важнее самой цифры

Собственное наблюдение: сокращение с двенадцати карт до четырёх выглядит как техническая новость, но по сути это спор о том, кем станет тот, кто доказывает блоки. У Ethereum уже есть опыт, чем заканчивается концентрация специализированной роли: производство блоков давно ушло к небольшому числу профессиональных сборщиков, и сеть до сих пор ищет способы это разбавить. Прувер — следующая такая роль, и она куда весомее: от него зависит не порядок транзакций, а сам факт признания блока корректным. Поэтому цифра «четыре» важна не как рекорд, а как граница между двумя сценариями — доказывать дома или покупать доказательства у отрасли. И именно поэтому непрозрачность стенда здесь не мелочь: заявку, которую нельзя воспроизвести, нельзя и положить в основу решения о том, кому доверить эту роль. К слову, соседние сети уже делают выбор в пользу чужой инфраструктуры — Gnosis распускает валидаторов ради роли L2.