Почему Ethereum срочно нуждается в ZK-VM?

Автор: 0xTodd; Источник: X, @0x_Todd

Среди множества идей по масштабированию Ethereum ZK является самой трудной для обсуждения.

Среди всей сети, ставки Виталика Бутерина и фонда Ethereum на ZK являются самыми высокими. ZK похож на младшего сына в семье Ethereum, на которого вложено больше всего усилий, но будущее которого также наиболее неопределенно.

Несколько дней назад Фонд Эфириума снова опубликовал дорожную карту Kohaku, представляющую собой различные основные компоненты для кошелька с конфиденциальностью. В дорожной карте еще раз подчеркивается, что для реализации большего количества функций необходимо полагаться на ZK-EVM/ZK-VM.

Итак, почему Ethereum так срочно нуждается в ZK-VM?

Ответ: для производительности, а не в ущерб безопасности.

Ранее мы обсуждали тему, что наиболее эффективным способом повышения производительности Ethereum является увеличение предела GAS, проще говоря, увеличение размера каждого блока.

Однако, повышение предела GAS имеет свою цену, слишком большие блоки создают тяжелую нагрузку для узлов.

В настоящее время модель валидации Ethereum называется «всеобъемлющая проверка», то есть все узлы должны выполнять полную проверку каждого блока, эта концепция проста и груба, но, к сожалению, избыточность слишком велика.

! 5FDwR43v8acoFyIvG901mh6kxDiGrbr91TJNTSG3.jpeg

Потому что, если лимит GAS будет установлен слишком высоко, то рабочая нагрузка каждого узла тоже значительно возрастет.

Чтобы понять, интервал между блоками в Ethereum составляет 12 секунд, при этом нужно оставить время для распространения блоков по всему миру, а также есть куча старых шестерок, которые должны устранить MEV. Время, которое каждый валидатор тратит на прием и верификацию блока, на самом деле очень короткое (примерно 4-8 секунд), поэтому действительно невозможно провести много проверок.

Но если полностью zk-реализовать L1 Ethereum, это станет “всеобщей проверкой”. После того как блок будет собран, сначала выполняется zk-доказательство.

Как известно, ZK-证明 выдается очень медленно, но проверка проходит очень быстро. Поэтому каждый блок нужно ZK-化 только один раз, и всем узлам нужно лишь быстро перепроверить, правильный ли доказательство.

! Rb4MIs1laJTdRo45IiA0qUH6T6nF38Zo1yQTQy9b.jpeg

Такое преимущество позволяет значительно увеличить предел GAS, поскольку любое его повышение не окажет значительной нагрузки на узлы.

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

После перехода на ZK, вы все равно подаете заявку на отпуск (отправка транзакции), система обнаруживает, что у вас есть остаток отпуска, и сразу сообщает всем руководителям “у этого человека есть отпуск”, и руководители полностью доверяют системе, что она не ошибется (ZK), тогда руководитель одобряет быстрее (все проверяются один раз).

Вот почему Ethereum собирается перейти на ZK.

Но этот объем работы довольно велик, ведь содержание криптографии слишком высоко, поэтому Ethereum должен сотрудничать с другими командами.

Так какую работу должны выполнять сторонние команды? Приведем в качестве примера протокол Brevis, упомянутый Джастином из фонда Ethereum, который также является самым быстрым протоколом для ZK на данный момент.

! dZa2CBB1wRzsDEHMP9yXH75CNE0pLC90ZHGNIMOa.png

Brevis занимается разработкой ZK-VM, и их последняя технология Pico Prism на данный момент выдает ZK-доказательства быстрее всего при заданных условиях.

Согласно раскрытию, на текущем блоке Ethereum с лимитом 45M GAS, Brevis использовал 64 графических процессора RTX 5090. В тесте 99,6% блоков было подтверждено за 12 секунд, а охват подтверждений за 10 секунд составил 96,8%.

! Pz0HZtHKwHNO8IfSFvKkO4Yg7YaiYSSBtNDoHeA0.jpeg

Эти данные впечатляющие.

Эфириум требует, чтобы устройства для ZK-доказательства не стоили более 100 тысяч долларов для децентрализации.

В противном случае, если на человека поставить несколько H200/B200, это определенно будет быстрее, но тогда порог будет слишком высоким. Видеокарты Brevis как раз попадают в диапазон 10 тыс. долларов.

Кроме того, почему покрытие за 10 секунд также важно?

Поскольку обычно MEV блоки создаются за 1-3 секунды, и добавление 10 секунд для доказательства полностью заполняет 12 секунд, это значит, что время использовано идеально. Поэтому 12 секунд не подходит, необходимо, чтобы покрытие за 10 секунд было очень высоким.

Таким образом, Brevis равносилен “получению титула короля танца на соревнованиях по танцам с наручниками”.

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

В конце концов, вернемся к сути и подведем итоги.

Чтобы Ethereum ускорился на уровне L1, необходимо увеличить лимит газа;

Чтобы увеличить лимит GAS, нужно сделать ZK.

Чтобы элегантно перейти на ZK (доказательство менее чем за 10 секунд, покупка оборудования менее чем за 10w долларов), необходима совместная работа криптографического сообщества крипто-круга.