В настоящее время Scroll запустил пул запуска Binance. Он должен был продолжаться один день, и до завершения еще один день. Те, кто хочет заняться майнингом, должны действовать быстро. Общая сумма на этот раз довольно велика. Launchpool: 55 000 000 SCR (максимальный токен 5,5% от предложения), в этом выпуске мы проанализируем технические аспекты прокрутки, а также различия между четырьмя ZKEVM королевского уровня, оценки цен на валюты и т. д.
один. Обзор прокрутки
Scroll — это решение zkRollup, эквивалентное EVM, для масштабирования Ethereum. С технической точки зрения Scroll в основном состоит из двух частей. Основная часть — zkEVM, которая используется для доказательства правильности выполнения EVM на уровне 2.
два. Архитектура Scroll
Текущая архитектура состоит из трех компонентов инфраструктуры (см. рисунок 1 ниже):
1. Узел прокрутки: создает блоки L2 из пользовательских транзакций, отправляет их на базовый уровень Ethereum и передает сообщения между L1 и L2.
2. Роллерная сеть: сгенерируйте сертификат действительности zkEVM, чтобы подтвердить правильное выполнение транзакций.
3. Контракты Rollup и Bridge: обеспечивают доступность данных для транзакций Scroll, проверяют подтверждение действительности zkEVM и позволяют пользователям передавать активы между Ethereum и Scroll.
2.1 Узел прокрутки
Узел прокрутки — это основной способ взаимодействия приложений и пользователей с прокруткой. Он состоит из трех модулей: секвенсора, координатора и ретранслятора.
— Sequencer предоставляет интерфейс JSON-RPC и принимает транзакции L2. Каждые несколько секунд он извлекает пакет транзакций из мемпула L2 и выполняет их для создания нового блока L2 и нового корня состояния. Реализация ордера основана на Go-Ethereum (Geth), одной из самых популярных реализаций узлов Ethereum. Разветвив Geth, вы сможете добиться оптимальной совместимости и унаследовать проверенную временем безопасность.
- При создании нового блока координатор получит уведомление и трассировку выполнения блока от секвенсора. Затем координатор отправляет траектории выполнения случайно выбранным Роллерам из пула Роллеров для генерации доказательств.
- Релеер отслеживает мостовые контракты и контракты Rollup, развернутые на Ethereum и Scroll. Он имеет две основные обязанности: во-первых, отслеживать контракт Rollup и отслеживать состояние блока L2, включая доступность данных и подтверждение их достоверности. Во-вторых, отслеживайте события ввода и вывода средств в мостовых контрактах, развернутых на Ethereum и Scroll, и передавайте сообщения между ними.
2.2 Роликовая сеть
Роллер является проверяющим в сети и отвечает за создание доказательств достоверности zkRollup. Roller требует использования ускорителей (таких как графические процессоры, FPGA и ASIC) для сокращения времени и затрат на проверку. На рис. 2 показан процесс создания сертификатов действительности Roller для каждого блока. Весь процесс включает в себя следующие этапы:
1. Роллер сначала преобразует трассировку выполнения, полученную от координатора, в след цепи.
2. Генерирует доказательства для каждой схемы zkEVM.
3. Наконец, он объединяет доказательства нескольких схем zkEVM в одно доказательство блока посредством агрегирования доказательств.
2.3 Объединенные и мостовые контракты
Scroll подключен к базовому уровню Ethereum через смарт-контракты Rollup и Bridge. Вместе эти контракты обеспечивают доступность данных для транзакций L2 и позволяют пользователям передавать активы и сообщения между L1 и L2.
- Контракт Rollup получает корень состояния L2 и данные блока от секвенсора. Он хранит корень состояния в состоянии Ethereum и сохраняет данные блока L2 как данные вызова Ethereum. Это обеспечивает доступность данных для блоков прокрутки и усиливает безопасность Ethereum, гарантируя, что индексаторы, включая реле прокрутки, смогут восстанавливать блоки L2. Как только доказательство блока подтверждает достоверность блока L2 в контракте Rollup, соответствующий блок считается окончательным при прокрутке.
- Контракт Bridge развернут на Ethereum и Scroll, позволяя пользователям передавать произвольные сообщения между L1 и L2. На основе этого протокола обмена сообщениями компания Scroll также создала протокол бездоверительного моста, который позволяет пользователям двунаправленно соединять активы ERC-20 между двумя уровнями. Чтобы отправлять сообщения или средства из Ethereum в Scroll, пользователям необходимо вызвать транзакцию sendMessage в контракте Bridge. Реле проиндексирует транзакцию на L1 и отправит ее секвенсору для включения в блок L2. Процесс отправки сообщений из Scroll обратно в Ethereum происходит аналогичным образом в контракте L2 Bridge.
2.4Как работает zkRollup в Scroll?
Объединив эти три архитектурных компонента, мы можем обобщить рабочий процесс zkRollup Scroll, как показано на рисунке 3 ниже.
Последовательность шагов для создания блоков L2 в Scroll, отправки их на базовый уровень Ethereum и их окончательной обработки следующая:
1. Сортировщик генерирует серию блоков. Для i-го блока секвенсор формирует трассу выполнения T и отправляет ее координатору. В то же время он также передает данные транзакции D в качестве данных вызова в контракт Rollup на Ethereum, чтобы гарантировать доступность данных, а также отправляет полученный корень состояния и обязательство по данным транзакции в контракт Rollup в качестве состояния.
2. Координатор случайным образом выбирает Роллер для создания сертификата достоверности для каждой траектории блока. Чтобы ускорить процесс генерации корректуры, корректуры для разных блоков можно создавать параллельно на разных Роликах.
3. После генерации блока-доказательства P для i-го блока Роллер отправляет его обратно координатору. Каждые k блоков координатор назначает сводную задачу другому Роллеру и суммирует k сертификатов блоков в сводный сертификат A.
4. Наконец, координатор отправляет сводный сертификат A в контракт объединения и завершает блоки L2 от i+1 до i+k путем проверки сводного сертификата и корневого состояния состояния и подтверждения данных транзакции, ранее представленных в контракте объединения.
На рис. 3 показан многоэтапный процесс финализации блоков прокрутки на уровне L1. Каждый блок L2 будет проходить следующие три этапа до завершения:
- Предварительная фиксация означает, что блок был предложен секвенсором и отправлен в Rollers. Хотя блоки предварительной фиксации еще официально не являются частью цепочки Scroll L2, поскольку они еще не опубликованы на базовом уровне Ethereum, пользователи, которые доверяют секвенсору, могут принять решение действовать на основе этих блоков.
- Committed означает, что данные транзакции блока были опубликованы в контракте Rollup на Ethereum. Это гарантирует, что данные блока доступны, но еще не доказано, что они были выполнены эффективно.
- Завершенное означает, что правильность выполнения транзакции в этом блоке подтверждена путем проверки доказательства действительности в цепочке Ethereum. Завершенный блок считается официальной частью цепочки Scroll L2.
три. Сравнение Scroll и других ZKEVM
3.1 Базовая информация
В 2022 году v God однажды опубликовал статью, объясняющую 4 различных типа ZKEVM (ранее упоминавшихся при разговоре о проекте какарот), а именно:
Класс zkEVM Type1: полностью эквивалентен Ethereum.
Класс Type2 zkEVM: полностью совместим с виртуальной машиной EVM Ethereum.
Класс zkEVM Type3: почти совместим с виртуальной машиной EVM Ethereum.
Класс Type4 zkEVM: совместим с языками высокого уровня.
На диаграмме действительно видно, что тип 4 имеет хорошую производительность, но его совместимость с evm низкая. Тип 1 имеет самую высокую совместимость, но для генерации доказательства требуется много времени. Это похоже на еще один «невозможный треугольник». , то есть производительность и совместимость не могут быть достигнуты в обоих направлениях.
3.2 Четыре классификации, предложенные Immutable
ZKsync: на данный момент это zkEVM типа 4, полностью совместимый с языком программирования Solidity. С помощью zkSync пользователи могут выбирать один из двух типов доступности данных: zkSync Rollup и zkSync Porter. Первый публикует данные непосредственно в Ethereum, что делает его таким же безопасным, как и Ethereum L1, а второй хранит данные вне цепочки, что приводит к более быстрым и менее затратным транзакциям, но с более низким уровнем безопасности.
zkSync совместим с EVM, поскольку он может конвертировать код смарт-контракта, написанный на Solidity, в Yul, конвертировать Yul в LLVM-IR (промежуточное представление, представляющее промежуточное представление машинного кода), а затем перекомпилировать его в специально разработанный набор байт-кодов, совместимый с пользовательскими схемами. для EVM zkSync. Хотя для этого требуется промежуточный шаг, он также позволяет добавлять другие функции, не относящиеся к EVM, например абстракцию учетной записи. Кроме того, компания Matter Labs, принадлежащая zkSync, планирует постепенно сделать его более совместимым с набором инструментов Ethereum и готовится к запуску своего первого трехуровневого прототипа zkSync Opportunity в области масштабируемости и совместимости в рамках своих амбиций по Тестовый онлайн-релиз.
StarkNET: StarkNet — это zk-rollup, совместимый с типом 4/Solidity, который использует другой тип доказательства с нулевым разглашением, называемый STARK (масштабируемый прозрачный аргумент знаний), для обеспечения целостности транзакций вне цепочки. STARK считаются более эффективными и масштабируемыми, чем SNARK, но могут потребовать более сложной технической настройки.
Хотя StarkNet также поддерживает смарт-контракты, его возможности относительно невелики из-за использования STARK, а также того факта, что контракты StarkNet и ОС StarkNet написаны на языке Cairo. Чтобы упростить разработку, StarkWare недавно обновилась до Cairo 1.0, которая эмулирует Rust. Как и эпоха zkSync, StarkNet можно классифицировать как «совместимый с Solidity», поскольку он не выполняет программы внутри EVM, а вместо этого создает совершенно новую, специально созданную виртуальную машину и использует собственный байт-код. StarkWare использует транслятор Warp для преобразования кода Solidity в байт-код Cairo VM.
Однако, в отличие от эпохи zkSync и других реализаций zkEVM, команда StarkNet не стремится обеспечить совместимость с EVM или другими компонентами Ethereum, а скорее стремится сделать виртуальную машину StarkNet максимально эффективной, развернув собственный клиентский API, библиотеку JavaScript, и система кошельков, которая заставит Ethereum-совместимые инструменты вручную добавлять поддержку StarkNet. Хотя в Cairo 1.0 также была представлена Sierra (Secure Intermediate Representation) в качестве нового промежуточного уровня представления между Cairo 1.0 и байт-кодом Cairo, транслятор Warp не поддерживает некоторые функции Solidity и далек от совместимости EVM с zkSync Era. Нам еще предстоит пройти долгий путь.
Polygon ZKEVM: он использует собственный язык zkASM для интерпретации кода zkEVM и проверки выполнения смарт-контракта в среде выполнения, отличной от EVM. В дополнение к Polygon zkEVM компания Polygon также разработала Polygon Avail, блокчейн, оптимизированный только для обеспечения доступности данных. Сеть будет закрытой, что позволит любому присоединиться в качестве валидатора, и в отличие от существующих DAC (комитетов доступности данных), в ней будут сотни узлов, совместно обеспечивающих сетевую безопасность. Avail будет работать в паре с Polygon Hermez (Rollup), загружая данные о состоянии из Hermez вместо публикации их на Ethereum, обеспечивая решение между Validium и Rollup.
Scroll: Scroll — это zk-rollup, эквивалентный EVM, разработанный командой Scroll в сотрудничестве с группой PSE (Privacy and Scaling Explorations) Ethereum Foundation с целью обеспечения полной совместимости с виртуальной машиной Ethereum (EVM) на уровне байт-кода. Это означает, что разработчики могут создавать смарт-контракты, используя любой EVM-совместимый язык, и развертывать их в Scroll. Хотя Scroll в настоящее время не поддерживает коды операций EVM, планируется создать сопоставление кодов операций 1:1 и принимать коды операций EVM напрямую, без компилятора.
Четыре. Прогноз цены монеты
Общее количество токенов составляет 1 000 000 000, а начальный тираж — 190 000 000. Токены распределяются между 35% экосистемы (25% экологического роста, 10% казны DAO), 10% фонда, 23% вкладчиков. 17% инвесторов и 15% аирдропов.
В настоящее время по TVL лидирует Yaoyao, за ним следует ZKsync. Текущий FDV zksync составляет 2,5 миллиарда, а он только что вышел в онлайн. Это почти 5 миллиардов. Текущий FDV Straknet составляет 3,8 миллиарда. только что вышло в Интернет 20 миллиардов. Согласно предыдущему расчету дохода пула запуска (1–2%), ожидаемая онлайн-цена составляет от 2,2 до 4,4 долларов США, поэтому соответствующая рыночная стоимость составляет от 2 до 4 миллиардов долларов. На самом деле эта оценка относительно низкая, потому что. такой проект онлайн, безусловно, имеет премию, поэтому текущая оценка должна составлять более 5 долларов.
