Франческо, Castle Capital; Перевод: Golden Finance Xiaozou
10 октября Scroll опубликовала загадочное сообщение, в котором объявила о запуске основной сети. Помимо того, что я занимался сельским хозяйством с воздуха, я не был полностью осведомлен об этом. Вот я и решил копнуть глубже!
Начнем с Scroll. Scroll — это решение для масштабирования Ethereum: общий накопитель L2 с нулевым разглашением (zk). Звучит как много причудливых и причудливых слов, давайте разберемся поближе.
Как L2-накопительный пакет, работающий на Ethereum, Scroll импортирует собственную безопасность ETH.
В дополнение к безопасности, Scroll органично вписывается в богатую экосистему Ethereum:
· инструмент
· Децентрализованные приложения
· Смарт-контракты
· Пользовательская база
Эта практика легко передает и взаимозаменяет эти ресурсы, обеспечивая беспрецедентную совместимость EVM. «Для пользователей и разработчиков Scroll почти эквивалентен Ethereum».
До Scroll не существовало универсального zk-роллапа, в основном из-за сложности генерации zk-доказательств для вычислений Ethereum Virtual Machine (EVM). Проще говоря, универсальный роллап должен иметь эквивалент EVM.
Тем не менее, успешная работа среды EVM на zk rollup всегда была труднодостижимой целью. Это связано со сложностью преобразования транзакций EVM в логические схемы, которые могут быть объяснены доказательствами zk. Эта сложность также объясняет, почему проект zk rollup ориентирован только на конкретные приложения, такие как dYdX, который фокусируется на транзакциях, и ImmutableX, который фокусируется на NFT.
Из-за технических сложностей не удалось разработать универсальную сеть, которая могла бы развернуть различные dAapps. Вот почему zk-роллапы не показывают хороших результатов с точки зрения TVL и количества подписчиков по сравнению с оптимистичными роллапами, такими как Immutable.
Несмотря на эти проблемы, поиски универсального ZK Rollup продолжаются. Совместимость с EVM важна, потому что она значительно упрощает работу, необходимую разработчикам для перехода на новую цепочку.
Переход на цепочку, отличную от EVM, означает:
· Существующие контракты должны быть перенесены и перезаписаны в новый накопительный пакет.
· Не поддерживается существующими инструментами EVM (библиотеками, кошельками, маркетплейсами и т.д.).
· Приложения из экосистемы Ethereum не поддерживаются.
Многие накопительные пакеты берут на себя задачу универсального zk EVM с различными уровнями совместимости с EVM.
Это выделенные решения, которые в настоящее время работают с собственными пользовательскими виртуальными машинами (виртуальными машинами Cairo). Они запускают пользовательскую виртуальную машину и создают компилятор «Warp Transpiler», который компилирует код Solidity в байт-код Cairo VM.
Что они делают, так это создают новую виртуальную машину и добавляют поддержку инструмента Ethereum в качестве дополнительного уровня поверх нее. Это по-прежнему позволяет экспортировать контракты на солидность в StarkNet, что делает их «совместимыми с EVM».
Несмотря на то, что это не простое выполнение EVM, оно сохраняет совместимость, позволяя разработчикам Solidity писать код для своих накопительных пакетов. Это хороший компромисс.
(2)Полигон zk-EVM (уровень байт-кода):
Polygon запускает пользовательскую виртуальную машину, но сопоставил все коды операций EVM так, чтобы они были действительны для ее виртуальных машин. Подход Polygon заключается в построении zkEVM с «эквивалентностью на уровне кода операции».
В отличие от Scroll, в Polygon есть альтернативная среда выполнения — zkutor, которая запускает пользовательские коды операций «zkASM» вместо того, чтобы запускать коды операций EVM напрямую. Это сделано для оптимизации интерпретации EVM (так как прямое доказательство EVM было бы слишком ограничительным).
Хотя эта конфигурация более производительна, чем Scroll, она добавляет много пользовательского кода (для создания zkASM), вводит возможные требования к модификации кода или инструментов для совместимости и может со временем все больше и больше отличаться от Ethereum.
(3)Прокрутка (уровень байт-кода):
Преобразуйте выполнение EVM непосредственно в проверяемые схемы с преимуществами в поддержке инструментов и совместимости. В настоящее время Scroll поддерживает не все коды операций EVM, но со временем они планируют реализовать это.
(3) Генерация доказательства: информация передается координатору («след» выполненной работы), затем передается в Prover, который, в свою очередь, генерирует доказательство ZK.
(4) Генерация доказательств может занимать несколько блоков и может выполняться параллельно разными "доказательствами".
(5) Генерация агрегированных доказательств: Доказательство генерируется и агрегируется в пакетах, а затем отправляется в цепочку для проверки (Verify).
ZK Rollup рассматривается как дизайн, который превосходит своих оптимистичных конкурентов по роллапу, особенно с точки зрения конфиденциальности, без задержек с выводом средств из-за отсутствия доказательств мошенничества.
Как универсальный zk-накопитель, совместимый с байт-кодом, Scroll обещает преимущества zk-доказательств на L2 без ущерба для сетевых эффектов и инструментов EVM.
Полная совместимость с EVM — это Святой Грааль L2, и это ценностное предложение Scroll: восторг от Ethereum. Совместимость Scroll с байт-кодом включает в себя все преимущества доказательств zk для Ethereum с максимальной совместимостью.
Также стоит отметить, что Scroll стремится к децентрализации. Несмотря на то, что на начальном этапе будет установлен центральный сортировщик, планы по децентрализации находятся в стадии разработки. Кроме того, все доказательства ZK в конечном итоге будут созданы децентрализованной сетью «пруверов».
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Прочтите стек технологий Scroll и поток транзакций в одной статье
Франческо, Castle Capital; Перевод: Golden Finance Xiaozou
10 октября Scroll опубликовала загадочное сообщение, в котором объявила о запуске основной сети. Помимо того, что я занимался сельским хозяйством с воздуха, я не был полностью осведомлен об этом. Вот я и решил копнуть глубже!
Начнем с Scroll. Scroll — это решение для масштабирования Ethereum: общий накопитель L2 с нулевым разглашением (zk). Звучит как много причудливых и причудливых слов, давайте разберемся поближе.
Как L2-накопительный пакет, работающий на Ethereum, Scroll импортирует собственную безопасность ETH.
! [3BwaX61RXgYWgOajov0oviaGFFCMbgk1jpWKIn7J.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-067a94fdc7-dd1a6f-69ad2a.webp «7119142»)
В дополнение к безопасности, Scroll органично вписывается в богатую экосистему Ethereum:
· инструмент
· Децентрализованные приложения
· Смарт-контракты
· Пользовательская база
Эта практика легко передает и взаимозаменяет эти ресурсы, обеспечивая беспрецедентную совместимость EVM. «Для пользователей и разработчиков Scroll почти эквивалентен Ethereum».
До Scroll не существовало универсального zk-роллапа, в основном из-за сложности генерации zk-доказательств для вычислений Ethereum Virtual Machine (EVM). Проще говоря, универсальный роллап должен иметь эквивалент EVM.
Тем не менее, успешная работа среды EVM на zk rollup всегда была труднодостижимой целью. Это связано со сложностью преобразования транзакций EVM в логические схемы, которые могут быть объяснены доказательствами zk. Эта сложность также объясняет, почему проект zk rollup ориентирован только на конкретные приложения, такие как dYdX, который фокусируется на транзакциях, и ImmutableX, который фокусируется на NFT.
Из-за технических сложностей не удалось разработать универсальную сеть, которая могла бы развернуть различные dAapps. Вот почему zk-роллапы не показывают хороших результатов с точки зрения TVL и количества подписчиков по сравнению с оптимистичными роллапами, такими как Immutable.
Несмотря на эти проблемы, поиски универсального ZK Rollup продолжаются. Совместимость с EVM важна, потому что она значительно упрощает работу, необходимую разработчикам для перехода на новую цепочку.
Переход на цепочку, отличную от EVM, означает:
· Существующие контракты должны быть перенесены и перезаписаны в новый накопительный пакет.
· Не поддерживается существующими инструментами EVM (библиотеками, кошельками, маркетплейсами и т.д.).
· Приложения из экосистемы Ethereum не поддерживаются.
Многие накопительные пакеты берут на себя задачу универсального zk EVM с различными уровнями совместимости с EVM.
Сравнение 5 лучших zkEVM
! [LSM86T62BM2YWEonkmazzYQgUB81TyIlC7h4V56b.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-5b166a28c8-dd1a6f-69ad2a.webp «7119144»)
(**1)Starknet и zkSync (уровень языка):
Это выделенные решения, которые в настоящее время работают с собственными пользовательскими виртуальными машинами (виртуальными машинами Cairo). Они запускают пользовательскую виртуальную машину и создают компилятор «Warp Transpiler», который компилирует код Solidity в байт-код Cairo VM.
! [f0mw065oU22uQaoAHUgGeTVnIuusPnGXMr4NmvGg.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-24926660f7-dd1a6f-69ad2a.webp «7119145»)
Что они делают, так это создают новую виртуальную машину и добавляют поддержку инструмента Ethereum в качестве дополнительного уровня поверх нее. Это по-прежнему позволяет экспортировать контракты на солидность в StarkNet, что делает их «совместимыми с EVM».
Несмотря на то, что это не простое выполнение EVM, оно сохраняет совместимость, позволяя разработчикам Solidity писать код для своих накопительных пакетов. Это хороший компромисс.
(2)Полигон zk-EVM (уровень байт-кода):
Polygon запускает пользовательскую виртуальную машину, но сопоставил все коды операций EVM так, чтобы они были действительны для ее виртуальных машин. Подход Polygon заключается в построении zkEVM с «эквивалентностью на уровне кода операции».
В отличие от Scroll, в Polygon есть альтернативная среда выполнения — zkutor, которая запускает пользовательские коды операций «zkASM» вместо того, чтобы запускать коды операций EVM напрямую. Это сделано для оптимизации интерпретации EVM (так как прямое доказательство EVM было бы слишком ограничительным).
! [dBbRwBMW3X9X60RcwaEGFU8IMej4H3NDmzNcyA0Z.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-d18a6b307c-dd1a6f-69ad2a.webp «7119146»)
Вот принципиальная схема процесса:
!
Хотя эта конфигурация более производительна, чем Scroll, она добавляет много пользовательского кода (для создания zkASM), вводит возможные требования к модификации кода или инструментов для совместимости и может со временем все больше и больше отличаться от Ethereum.
(3)Прокрутка (уровень байт-кода):
Преобразуйте выполнение EVM непосредственно в проверяемые схемы с преимуществами в поддержке инструментов и совместимости. В настоящее время Scroll поддерживает не все коды операций EVM, но со временем они планируют реализовать это.
! [qTtHQfu0A2TL4Es1o7GUr4SLTmX84fXexBThP2qS.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-b50e0addec-dd1a6f-69ad2a.webp «7119150»)
Как работает Scroll (стек технологий)?
Scroll — это zk-роллап со смарт-контрактом на ETH L1 и валидатор zkEVM proof, способный проверить, что протокол Scroll безопасен.
! [epGWjBUK3UM7PGzW3TTnIyS4d6U3HZJbQvUsFlLU.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-ceda1d20f6-dd1a6f-69ad2a.webp «7119151»)
Как происходят транзакции на Scroll?
· Scroll может пакетировать блоки и записывать данные блоков в Ethereum.
· После того, как доказательство действительности генерируется в новом блоке, оно записывается в Ethereum.
! [puMNkVFi6Mo0fvYN2CHi2b2rRLTtF0EqJCoIngKl.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-9f52f35032-dd1a6f-69ad2a.webp «7119152»)
Таким образом, блок на свитке может иметь три состояния:
· Pre-commit: Предлагается секвенсором и включается в Scroll.
· Committed: Данные о транзакциях, опубликованные в Ethereum
· Завершение: Надлежащее исполнение было подтверждено ончейн-доказательством действительности, опубликованным на Ethereum.
Поток транзакций выглядит следующим образом:
(1) Транзакции, поступающие из секвенсора, объединяются и упаковываются в блок (1).
(2) Данные и данные вызова фиксируются в сводном контракте на L1, а блок фиксируется (D1).
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-847383ce0e-dd1a6f-69ad2a.webp «7119154»)
(3) Генерация доказательства: информация передается координатору («след» выполненной работы), затем передается в Prover, который, в свою очередь, генерирует доказательство ZK.
(4) Генерация доказательств может занимать несколько блоков и может выполняться параллельно разными "доказательствами".
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-847383ce0e-dd1a6f-69ad2a «7119154»)
(5) Генерация агрегированных доказательств: Доказательство генерируется и агрегируется в пакетах, а затем отправляется в цепочку для проверки (Verify).
(6) Блок завершен.
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-847383ce0e-dd1a6f-69ad2a «7119154»)
Транзакции >обрабатываются узлом, выполняющим форк Geth > трассировки выполнения > входных цепей zkEVM > генерировать доказательства > входные данные в набор, указывающие, что доказательство действительно, > генерировать агрегированные доказательства, > выдаваемые контрактам L1.
! [06C4j68uFveOkp0nMwVLSpTuyfAXMdopOz20qFnZ.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-727156c83e-dd1a6f-69ad2a.webp "7119155")
Зачем прокручивать?
· Ориентирован на разработчика: предоставляет байт-код, эквивалентный EVM.
· Эффективность: Создайте более безопасное блочное пространство для Ethereum и снизьте плату за газ.
· Скорость: Оптимизировано время блока (3 секунды против 12 секунд у Ethereum).
· В соответствии с видением Ethereum.
С момента своего выпуска Scroll собрал более 1,5 миллиона долларов в TVL.
! [vCuWn8SHO3ImoVojqdZZFz2pGcwxd48sHxKgodq3.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-6d325967d4-dd1a6f-69ad2a.webp «7119157»)
Более 1 383 пользователей подключили ETH на Scroll.
! [CNorvLElukNCBx1rRFpChYL2NCMY930sRNSRhu6F.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-27cd066d28-dd1a6f-69ad2a.webp «7119158»)
Более 975 ETH были переведены в основную сеть Scroll на общую сумму 1,5 миллиона долларов.
! [dAgVuhJqXcFf5kWAWhE7dpO8TwJUU01FWGaOYDqo.png] (https://img-cdn.gateio.im/webp-social/moments-40baef27dd-6d774418cc-dd1a6f-69ad2a.webp «7119159»)
Несколько соображений:
ZK Rollup рассматривается как дизайн, который превосходит своих оптимистичных конкурентов по роллапу, особенно с точки зрения конфиденциальности, без задержек с выводом средств из-за отсутствия доказательств мошенничества.
Как универсальный zk-накопитель, совместимый с байт-кодом, Scroll обещает преимущества zk-доказательств на L2 без ущерба для сетевых эффектов и инструментов EVM.
Полная совместимость с EVM — это Святой Грааль L2, и это ценностное предложение Scroll: восторг от Ethereum. Совместимость Scroll с байт-кодом включает в себя все преимущества доказательств zk для Ethereum с максимальной совместимостью.
Также стоит отметить, что Scroll стремится к децентрализации. Несмотря на то, что на начальном этапе будет установлен центральный сортировщик, планы по децентрализации находятся в стадии разработки. Кроме того, все доказательства ZK в конечном итоге будут созданы децентрализованной сетью «пруверов».