Дорожная карта Interop «ускоряется»: после обновления Fusaka Ethereum interoperability может достичь ключевого этапа

Chainfeeds Введение:

Без real-time ZK очень сложно достичь действительно удобного Interop UX.

Источник статьи:

Автор статьи:

imToken Labs

Мнение:

imToken Labs: 4 декабря обновление Fusaka на Ethereum было официально активировано в основной сети, но, в отличие от масштабного обновления Dencun в прошлом, оно не вызвало такого же ажиотажа, а внимание рынка в основном сосредоточено на расширении Blob и PeerDAS, а также на дальнейшем снижении стоимости данных на L2. Однако за пределами этой шумихи есть еще одно незаметное предложение — EIP-7825, которое устранило главное препятствие для реализации L1 zkEVM и real-time proof на Ethereum, и можно сказать, что оно тихо прокладывает путь к финалу Interop. В этом обновлении Fusaka все внимание было приковано к масштабированию: объем Blob увеличен в 8 раз, а благодаря случайной выборке и верификации PeerDAS, нарратив о стоимости DA (доступности данных) окончательно ушел в прошлое. Действительно, более дешевый L2 — это хорошо, но для долгосрочной ZK-дорожной карты Ethereum именно EIP-7825 является настоящим game changer, потому что он устанавливает лимит газа на одну транзакцию (около 16,78 миллиона газа). Как известно, в этом году лимит газа на блок в Ethereum уже был увеличен до 60 миллионов, но даже при постоянном повышении лимита, теоретически, если кто-то готов заплатить очень высокую цену за газ, он все равно может отправить одну сверхсложную «мега-транзакцию», которая полностью займет весь объем блока в 60 миллионов газа и заблокирует весь блок. Так зачем же ограничивать размер одной транзакции? На самом деле это изменение никак не влияет на обычных пользователей при переводах, но для ZK Prover (генератора доказательств) это вопрос жизни и смерти, что напрямую связано со способом генерации доказательств в ZK-системах. Простой пример: до EIP-7825, если в блоке была «мега-транзакция» на 60 миллионов газа, ZK Prover должен был последовательно обработать эту крайне сложную транзакцию — нельзя было разделить, нельзя было параллелить, это как однополосная автомагистраль, где впереди едет огромный медленный грузовик, а все маленькие машины (другие транзакции) вынуждены ждать, пока он проедет. Это фактически подписывало смертный приговор для «real-time proof» — время генерации доказательства становилось полностью непредсказуемым, могло занять десятки минут или даже дольше. После EIP-7825, даже если в будущем объем блока увеличится до 100 миллионов газа, поскольку каждая транзакция принудительно ограничена 16,78 миллиона газа, каждый блок разбивается на предсказуемые, ограниченные и параллельно обрабатываемые «малые задачи», что означает, что генерация доказательств в Ethereum превращается из сложной «логической задачи» в чисто «проблему вычислительных мощностей (Money Problem)»: если вложить достаточно параллельных вычислительных ресурсов, можно за очень короткое время одновременно обработать эти разбитые малые задачи и сгенерировать ZK-доказательство для огромного блока. Однако, хотя EIP-7825, ограничив размер одной транзакции, проложил физическую дорогу для real-time proof (параллелизация), это только одна сторона медали. Другая сторона — как сама основная сеть Ethereum сможет использовать эту возможность? Это связано с самой хардкорной частью дорожной карты Ethereum — L1 zkEVM. Долгое время zkEVM считался «Святым Граалем» масштабирования Ethereum, не только потому, что он решает проблему производительности, но и потому, что он заново определяет механизм доверия в блокчейне. Его основная идея — дать основной сети Ethereum возможность генерировать и верифицировать ZK-доказательства. Иными словами, после выполнения каждого блока в будущем Ethereum сможет выдавать верифицируемое математическое доказательство, позволяя другим узлам (особенно легким узлам и L2) подтверждать корректность результата без повторного вычисления — если встроить возможность генерации ZK-доказательств непосредственно в протокол Ethereum (L1), то каждый раз, когда proposer собирает блок и генерирует ZK-доказательство, верификаторы больше не должны повторно выполнять транзакции, а лишь проверяют это крошечное математическое доказательство.