ДЕФИРОГАН #31. 0xResearch – zkSync’s Hyperchain
Выдержки с лучших англоязычных подкастов.
Время прочтения 10 минут.
В этом эпизоде 0xResearch, который состоялся 28 июня 2023 года, Сэм и Дэн присоединяются к Алексу Глуховскому и Энтони Роуз из Matter Labs, чтобы обсудить Zk Stack, гиперчейны и многое другое!
• Сэм Мартин (Со-ведущий) - Исследования в Blockworks Research, со-ведущий в 0xResearch
• Дэн Смит (Со-ведущий) - Исследования и данные в Blockworks Research, со-ведущий в 0xResearch
• Алекс Глуховский (Гость) - Со-основатель и генеральный директор Matter Labs
• Энтони Роуз (Гость) - Старший вице-президент по технологиям в Matter Labs
• Matter Labs - масштабирование Ethereum с использованием доказательств с нулевым знанием для ускорения принятия публичных блокчейнов.
Исследование эволюции сетей на основе ZK
• Дэн Смит представляет ZK Stack, решение от Matter Labs для создания Layer 2s и Layer 3s на базе Ethereum. Он объясняет концепцию гиперчейнов, которые могут быть как Layer 2s (расчеты на Ethereum), так и Layer 3s (расчеты на layer 2s).
• Дэн говорит, что Гиперчейны могут варьироваться от Validium до чистого ZK-роллапа, наследуя безопасность Ethereum. Он также упоминает функционал "гипер мостов" для бесперебойной интероперабельности между гиперчейнами.
• Алекс Глуховский из Matter Labs говорит о развитии проекта zkSync и их миссии по масштабированию Ethereum. Он обсуждает разработку zkSync и zkEVM и то, как они предоставляют код эры zkSync для сообщества.
• Алекс говорит, что это позволит пользователям создавать свои собственные взаимосвязанные цепочки с общей ликвидностью и минимальными затратами, что, как он считает, является будущим "Интернета ценности".
• Сэм Мартин затрагивает тему ZK Credo, манифест, опубликованный командой Matter Labs на GitHub.
• Алекс говорит, что ZK Credo уже много лет неявно направляет работу команды Matter Labs. Теперь они формализовали его для понимания и отзывов сообщества, стремясь достичь консенсуса по этической рамке для всех сетей на основе ZK.
• Энтони Роуз подчеркивает важность ZK Credo в качестве руководящего принципа в их техническом процессе принятия решений. С увеличением вовлеченности сообщества в zkSync и выпуском ZK Stack они считают важным соотнести свою работу с более широкой миссией, изложенной в Credo.
• Энтони объясняет, что ZK Stack - это обобщение базы кода, которую они разрабатывали, предоставляя набор инструментов для создания гиперчейнов. Он упоминает его основные компоненты, включая секвенсор, цепочки, доказательство, системные контракты и интерфейсы мостов. Он говорит, что это полностью открытый код с компонуемым и настраиваемым дизайном.
• Затем Алекс говорит о преимуществах ZK Stack по сравнению с другими решениями Layer 2 Ethereum. Он говорит, что использование старых технологий, таких как создание цепочки на основе Ethereum, может усложнить переход на новые технологии. Он говорит, что технологии доказательства с нулевым знанием позволяют оптимизировать некоторые аспекты, которые иначе было бы невозможно оптимизировать.
• Алекс также говорит, что изменение фундаментальных принципов системы после ее развертывания сложно, что делает прогрессивный дизайн ZK Stack полезным.
• Алекс объясняет, что ZK Stack - это модульный фреймворк, который позволяет разработчикам настраивать различные аспекты их цепочки. Он подробно описывает компоненты, которые могут быть настроены, включая секвенсор и доступность данных.
• Алекс говорит, что эпоха zkSync - это ZK-роллап, который предлагает наивысшую безопасность и децентрализацию, так как он полагается на сеть Ethereum для доступности данных.
• Алекс также говорит о проблеме узкого места доступности данных, объясняя, что zkPorter позволяет обеспечить доступность данных за счет того, что держатели токенов ставят на кон что-то. Он говорит, что у пользователей есть возможность выбирать между полным ZK-роллапом и zkPorter, предлагая им гибкость в взаимодействии с различными протоколами DeFi эффективно.
Исследование потенциала гиперчейнов
• Энтони считает, что доступность данных и варианты вокруг секвенсора изначально являются самыми интересными областями для настройки в децентрализованных системах.
• Алекс видит дальнейший потенциал для настройки. Он предполагает, что цепочка может быть создана для конкретных приложений, например, для одной игры, без каких-либо приложений DeFi, которые могли бы засорить пространство секвенсора.
• Алекс также предлагает различные варианты приватности, например, создание цепочки с приватностью по умолчанию, которая позволяет только приватные транзакции. Протоколы приватности, такие как Espresso Systems и другие, находящиеся в разработке, могут быть развернуты в таких цепочках, которые остаются в рамках экосистемы с общей ликвидностью.
• Он говорит, что все конфигурации, запущенные с использованием zkSync или ZK Stack, называются гиперчейнами. Гиперчейн может быть либо изолированной, либо являться частью большей сети.
• Алекс приводит пример гипотетического запуска Uniswap собственной Uni Chain в сети zkSync. Эта отдельная гиперчейн наследует безопасность от Ethereum, и транзакции без швов переходят из zkSync Era в Uni Chain, взаимодействуют там со смарт-контрактом, а затем возвращаются в zkSync Era.
• Алекс говорит, что этот процесс будет асинхронным, но автоматическим. Пользователи просто инициируют транзакцию и после короткой паузы результат возвращается, предлагая улучшенный пользовательский опыт по сравнению с централизованными биржами.
• Алекс также говорит, что все гиперчейны, которые являются частью сети, будут использовать общую "bridge hat (шляпу моста)" на Layer 1. Это сохраняет состояния и балансы для всех цепочек, предлагая общую опцию доказательства, которая полностью необязательна.
• Он говорит, что, несмотря на общность некоторых элементов, гиперчейны сохраняют свою независимость и не зависят друг от друга. Они зависят только от Ethereum и сохраняют свой суверенитет.
• Алекс также говорит, что даже в случае общего доказательства, если цепочка не хочет участвовать, она может сгенерировать свои собственные доказательства и урегулировать их на Ethereum. Алекс говорит, что этот уважительный подход к праву на выход является основным принципом философии ZK.
Исследование композиции гиперчейнов и суверенитета пользователя
• Алекс говорит, что транзакции могут происходить с любого адреса на любом гиперчейне в сети, независимо от уровня (Layer 2, Layer 3, Layer5). Задержка этих транзакций будет очень минимальной благодаря быстрому созданию доказательств. Это достигается за счет построения дерева рекурсивных доказательств, независимо от размера блока.
• Энтони предлагает метафору для концепции дизайна, над которой они думают, сравнивая ее с простотой отправки электронного письма. Он хочет, чтобы протокол предоставлял пользовательский опыт, который абстрагирует детали уровней. Он упоминает будущую итерацию чего-то вроде ENS (Ethereum Name Service), где адрес ENS пользователя мог бы обеспечивать композитный опыт, независимо от уровня, на котором размещен кошелек.
• Алекс говорит, что каждый гиперчейн будет иметь свой собственный набор компромиссов. Для zkSync он упоминает механизм, называемый очередью с приоритетом, который позволяет пользователю отправить транзакцию на Layer 1, и она должна быть включена в следующий блок в определенный срок валидаторами.
• Алекс говорит, что если она не включена, протокол войдет в режим, где любой может упорядочивать транзакции до тех пор, пока очередь с приоритетом не опустеет. Он также обсуждает сценарий, в котором группа пользователей может коллективно подать заявление, если они подвергаются цензуре, тем самым выходя из гиперчейна.
Абстракция учетной записи, безгазовые данные вызова и будущее транзакций блокчейна
• Энтони объясняет, что абстракция учетной записи ключевая для достижения масштабирования, не только с точки зрения инфраструктуры, но и с точки зрения пользовательского опыта.
• Алекс объясняет, что дизайн zkSync использует практически бесплатные данные вызова. Публикуя только результаты транзакций и используя эффективные доказательства с нулевым знанием, они могут обрабатывать большое количество параметров с вычислительной стороны при низкой стоимости.
• Он разъясняет, что такой дизайн позволяет включать множество параметров, например, биометрические подписи, не приводя к большим затратам на доступность данных Ethereum.
• Энтони говорит, что абстракция учетной записи позволяет разработчикам настроить свои платежные интерфейсы в соответствии со своими конкретными потребностями. Эти транзакции могут использовать преимущества реализации изменений состояния, что позволяет держать стоимость транзакций низкой, независимо от их сложности.
• Сэм предлагает аналогию, сравнивая эту архитектуру с банковским приложением, где средства могут храниться на разных цепочках с различными уровнями безопасности, подобно сберегательному или текущему счету.
• Энтони соглашается с этой аналогией, рассматривая учетную запись роллапа как сберегательный счет с высокой степенью безопасности, где должны храниться основные средства. Учетная запись zkPorter сравнивается с текущим счетом, где происходят более дешевые транзакции, хоть и с немного меньшей безопасностью.
• Алекс уточняет, что учетные записи zk-Rollup и zkPorter могут существовать на одном и том же гиперчейне, обеспечивая бесперебойную связь между ними. Он предполагает, что потребность в отдельных гиперчейнах возникает в ситуациях, когда требуется контроль над конкретными аспектами.
• Алекс приводит примеры, такие как корпоративные цепочки, игровые цепочки, приложения и даже социальные сети, например Reddit, которым потенциально могут понадобиться множественные гиперчейны для различных сабреддитов.
• Энтони раскрывает текущие усилия эпохи zkSync по децентрализации секвенсора, утверждая, что это ключевой аспект их дизайнерской философии. У них есть специализированная инженерная команда, которая сделала значительные успехи, и версия децентрализованного секвенсора приближается к завершению.
• Энтони объясняет, что децентрализация секвенсора была ключевой частью дорожной карты Эры, хотя она не была включена в альфа-релиз из-за сложности проблемы.
• Он также предвидит, что ZK Stack примет эту децентрализованную систему и призывает к разработке творческих и инновационных модульных вариантов, которые будут встроены в сам стек.
• Энтони говорит, что процесс децентрализации секвенсора включает в себя набор валидаторов Layer 2, которые будут выполнять упорядочение и обработку транзакций.
• Он также говорит, что у них есть дорожная карта для внедрения этой системы в производство, начиная с сети с доказательством полномочий для первоначального тестирования и постепенного включения более зрелого и сложного алгоритма консенсуса.
• Алекс говорит, что помимо децентрализации секвенсора, также важно децентрализовать prover (доказательство). Он подчеркивает их прогресс в том, чтобы prover работал на потребительском оборудовании, обещая скорые новости на эту тему.
• Сэм предполагает, что потенциальный токен zkSync может сыграть важную роль в децентрализации провера, секвенсора и обеспечении данных цепочек zkPorter, на что Алекс ни подтверждает, ни отрицает, но подчеркивает важность механизма ставки на токен в этом контексте.
• Когда задают вопрос о возможности общего стандарта форматов доказательства, Алекс объясняет, что гиперчейны построены вокруг общего стандарта, хотя конкретные требования к этому стандарту еще предстоит определить.
• Он подчеркивает трудности, связанные с мостом между несколькими экосистемами, и предлагает пользователям тщательно выбирать свою экосистему, поскольку миграция на другой стек может быть сложной.
• Энтони говорит, что, хотя стандартизация желательна, быстрый темп инноваций в области может привести к различным улучшениям и новым идеям. Он считает, что ZK Stack является подходящей рамкой для общего доказательства из-за его способности обрабатывать улучшения последовательно и с пользой.
Исследование перехода к решениям Layer 2 и взаимодействию
• Алекс говорит, что не случайно мы видим подобные парадигмы, поскольку Cosmos изначально был создан для создания интернета блокчейнов. Он говорит, что блокчейн по сути является Интернетом ценностей.
• Алекс объясняет, почему dYdX перешел на Cosmos, подчеркивая их потребность в большем контроле, децентрализации и суверенитете.
• Алекс говорит, что мосты жизненно важны в экосистеме, и их надежность определяет свойства этой экосистемы. С помощью гипермостов пользователи полагаются только на математику, криптографию и Ethereum, что делает их более надежными и заслуживающими доверия.
• Дэн описывает Zk Stack как инструмент для создания сети блокчейнов, называемых гиперцепями, которые могут быть как уровня 2, так и уровня 3, в зависимости от конкретного случая использования. Он упоминает, что эти гиперчейны имеют встроенное взаимодействие между собой благодаря общей системе доказательства, которая позволяет гипермостам.
• Энтони говорит, что несколько партнеров изучают различные дизайны и что конкретные объявления появятся в ближайшее время.