Виталик похвалил ZKsync, возможно, его действительно недооценили.

Автор: Эрик, Foresight News

1 ноября Виталик процитировал твит основателя ZKsync о обновлении ZKsync Atlas и похвалил ZKsync за то, что они сделали много «недооцененной, но очень ценной для экосистемы Эфириума работы».

Рынок быстро отреагировал на слова Виталика, цена ZK в течение выходных выросла более чем в 2,5 раза, токены экосистемы ZK, включая ALT (AltLayer), STRK (Starknet), SCR (Scroll), MINA (Mina) и другие, также показали неплохой рост.

После изучения обновления ZKsync Altas мы обнаружили, что то, что делает ZKsync, возможно, действительно недооценено.

Быстрый, маленький, но дорогой ZKP

Фонд Ethereum с самого начала внедрял ZKP (доказательства с нулевым знанием), которые по своей сути предназначены для решения проблем медленной проверки и большого объема данных для проверки.

ZKP по сути является математической вероятностной задачей. Приведем не совсем точный пример, чтобы в общих чертах объяснить его принцип: предположим, что кто-то утверждает, что решил «задачу о четырех цветах». Как можно убедиться, что этот человек действительно решил задачу, не полностью раскрывая его решение? Решение проблемы с нулевыми знаниями заключается в том, чтобы выбрать некоторые части всей карты и доказать, что в этих частях нет соседних областей одного и того же цвета. И когда количество выбранных частей достигает определенного значения, можно доказать, что вероятность того, что этот человек решил задачу о четырех цветах, составляет 99.99……%. Таким образом, мы осуществляем доказательство того, что он «действительно решил задачу о четырех цветах», не понимая полной картины.

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

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

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

Хотя ZKP не требует воспроизведения всех процессов, сам вызов потребляет очень много вычислительных ресурсов. Если, как в безумной гонке вооружений ИИ, безумно накапливать GPU, можно достичь большей скорости, но не все могут позволить себе такие затраты. Однако, если можно с помощью алгоритмов и инженерных инноваций снизить необходимые вычислительные мощности и время генерации доказательств при низкой вычислительной мощности до определенного уровня, достичь баланса между «ростом цен, вызванным внедрением большего количества приложений благодаря технологическим инновациям» и «стоимостью покупки GPU для установки узлов», это можно сделать.

Таким образом, многие проекты и открытые разработчики ZK в экосистеме Ethereum сосредоточены на сочетании ZKP и Ethereum, стремясь к тому, чтобы генерировать ZK-доказательства с более низкими затратами и быстрее. На днях команда Brevis достигла среднего времени доказательства блока Ethereum в 6,9 секунды, используя всего лишь половину затрат на решение SP1 Hypercube (64 видеокарты RTX 5090), при этом 99,6% времени доказательства меньше среднего времени выхода блоков Ethereum (менее 12 секунд), именно поэтому это вызвало восторг в сообществе Ethereum.

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

Обновление Altas реализовало ZK-финальность за 1 секунду

Возможно, многие не знают, что выпущенный ZKsync открытый zkVM ZKsync Airbender - это самый быстрый верификационный zkVM на одном GPU. Согласно данным Ethproofs, использование одной карты 4090 ZKsync Airbender в среднем требует 51 секунду для верификации, а стоимость составляет менее одного цента, оба показателя являются лучшими результатами среди zkVM.

По данным, предоставленным ZKsync, без учета рекурсии среднее время верификации основной сети Ethereum с использованием одного блока H100 и модели хранения ZKsync OS составляет 17 секунд. Даже с учетом рекурсии общее среднее время составляет всего около 35 секунд, и ZKsync считает, что это значительно лучше, чем требуется для верификации за 12 секунд, используя десятки GPU. Однако, поскольку в настоящее время существует только два GPU с средним временем 22,2 секунды, фактическое качество еще не имеет окончательного решения.

И всё это не является заслугой Airbender в одиночку; оптимизация алгоритмов и инженерии — это лишь часть, а глубокая интеграция с технологическим стеком ZKsync является ключом к максимизации эффекта. Ещё более важным является то, что это показывает, что возможно реализовать доказательство в реальном времени для основной сети Ethereum с использованием одного блока GPU.

В конце июня ZKsync выпустил Airbender, а за день до Дня национального праздника был запущен апгрейд Altas. Этот апгрейд, объединяющий Airbender, значительно увеличил пропускную способность, скорость подтверждения и стоимость ZKsync.

В отношении пропускной способности ZKsync провел инженерные оптимизации для сортировщика: максимальное снижение затрат, вызванных синхронизацией, за счет независимого асинхронного компонента; отделены состояния, необходимые для виртуальной машины, состояния, необходимые для API, а также состояния, необходимые для генерации нулевых знаний или для проверки нулевых знаний на уровне L1, что уменьшает ненужные накладные расходы компонентов.

По результатам полевых испытаний ZKsync, TPS для высокочастотных обновлений цен, переводов стейблкоинов в платежных сценариях и переводов нативного ETH составили соответственно 23k, 15k и 43k.

Еще одно огромное качественное изменение пришло от Airbender, который помог ZKsync достичь подтверждения блока за 1 секунду и стоимости одной транзакции в 0.0001 доллара. В отличие от валидации блоков основной сети, ZKsync проверяет только корректность переходов состояния, поэтому вычислительная нагрузка значительно меньше, чем при валидации блоков основной сети. Хотя для достижения окончательной L1, транзакции с ZK все равно должны быть проверены в основной сети, наличие ZK верификации указывает на действительность этой транзакции, тогда как окончательность L1 больше напоминает процессуальную гарантию.

То есть, транзакции, выполняемые на ZKsync, требуют только подтверждения ZKP для полной проверки их действительности, а также значительно сниженные затраты позволяют ZKsync реализовать, как они сами говорят, сценарии применения, которые может предоставить только Airbender:

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

Второй момент заключается в том, что многие L2 в настоящее время не могут реализовать поддержку как общих, так и частных систем (например, Prividiums от ZKsync), которые могут взаимодействовать без третьей стороны. Prividiums – это инфраструктура, предлагаемая ZKsync, которая помогает компаниям создавать частные блокчейны. Для компаний требования к блокчейну заключаются в возможности быстрой расчётности и конфиденциальности. Быстрая расчётность не требует дополнительных объяснений, а естественная конфиденциальность ZKP позволяет частным блокчейнам компаний взаимодействовать с общими блокчейнами без раскрытия информации о бухгалтерских записях самого блокчейна, что позволяет проверять действительность транзакций. Сочетание этих двух аспектов даже удовлетворяет требованиям к срокам расчётов в сфере регулирования для торговых операций с ценными бумагами и валютой.

Возможно, это также является причиной, по которой ZKsync стал второй по величине сетью эмиссии токенизированных RWA-активов после Эфириума.

ZKsync также гордится тем, что всё это возможно только благодаря обновлению Altas: сортировщик предоставляет пакетирование транзакций с низкой задержкой, Airbender генерирует доказательства за секунду, а Gateway проверяет и координирует межсетевые сообщения.

Соединение L1 и L2

Как отметил Виталик в своем твите, основатель ZKsync Алекс считает, что после обновления Altas Zksync действительно реализовал полное взаимодействие с основной сетью Ethereum.

Теперь время окончательного подтверждения транзакций ZKsync (примерно 1 секунда) меньше, чем время создания блока в основной сети Эфириума (в среднем 12 секунд), что означает, что сделки для институциональных и RWA, проводимые на ZKsync, по сути совпадают с сделками в основной сети Эфириума, необходимо только дождаться подтверждения в основной сети Эфириума. Это означает, что ZKsync не нужно повторно создавать центры ликвидности на L2, можно напрямую использовать ликвидность основной сети, поскольку кросс-чейн между ZK Rollup и основной сетью не требует 7-дневного периода оспаривания, как в случае с OP Rollup, в то время как обновление Altas дополнительно увеличивает скорость на уже существующей основе.

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

Помню, когда ZKsync и Scroll впервые запустили свою основную сеть, скорость подтверждения транзакций и стоимость Gas были такими же, как и в основной сети, а иногда даже выше. Это произошло в основном потому, что на момент запуска еще не были проведены системные оптимизации алгоритмов и технологий ZKP, что приводило к медленной скорости верификации и высоким затратам. В то время это вызвало кризис доверия к ZK Rollup. На сегодняшний день Optimism и Arbitrum медленно переходят от OP Rollup к ZK Rollup (или их комбинации), дальнейшее улучшение ZK Rollup, такого как ZKsync, в плане затрат и скорости, а также децентрализованный ZKP Scroll превратили «бред» в ожидаемый результат.

От всеобщего осуждения до статуса желанного активa, ZK встретила рассвет. После полной децентрализации реализации мультиподписей для сортировщиков и кросс-цепных мостов, возможно, действительно можно реализовать то, что сказал управляющий партнер Dragonfly Хасеб Куреши: «не может быть зла».