Кажется, со времен EDCON в Черногории ZK стал темой, о которой все говорят. Но на самом деле популярность трека ZK не уменьшилась с момента аирдропа Arbitrum в начале года. С запуском zkSync Era ожидание «ZK Airdrop» также достигло новой высшей точки.Помимо zkSync и Starknet, ключевыми целями «Wool Party» стали проекты zkEVM, такие как Scroll и Linea. .
Но что интересно, несмотря на беспрецедентно высокие краткосрочные ожидания от трека ZK, у большинства людей все еще есть относительно расплывчатое представление о сегментации в этой области. ZK Rollup, zkEVM, zk-SNARK, zk-STARK и т. д., каждый из них кажется очень важным, но каждый из них не совсем понятен. Следует признать, что сильная техничность трека ZK действительно усложнила понимание этой области для многих людей.
Как первая команда, инвестировавшая в разработку расширения ZK, Polygon испытала множество итераций своих собственных продуктов и имеет глубокое понимание и понимание ZK Rollup.Polygon zkEVM также является одним из немногих запущенных zkEVM. С этой целью BlockBeats недавно взял интервью у Джорди Байлины, технического директора Polygon zkEVM, и поинтересовался у «технического ботаника» о статусе разработки и возможностях трека ZK, а также о будущих перспективах Polygon zkEVM.
О ZK Rollup и zkEVM
**BlockBeats: Во-первых, может ли Джорди кратко объяснить читателям разницу между ZK Rollups и zkEVM? И зачем нам проверенный ZK EVM? **
Джорди Байлина: С точки зрения пользователя, самая большая разница между OP Rollups и ZK Rollups — это время, необходимое для вывода средств. Например, когда вы вкладываете 1 ETH в Optimism или Arbitrum, для возврата денег требуется не менее недели. Если вы хотите хранить там свои средства, это не такая уж большая проблема. Но когда ваши средства находятся в нескольких системах Rollup, проблема будет более сложной, и средства будет сложно перевести. Когда вы хотите перевести средства в другой Rollup, это занимает неделю или две. Это самая большая проблема с OP Rollups.
В случае накопительного пакета ZK вы можете выйти из накопительного пакета после создания подтверждения проверки. В настоящее время на Polygon zkEVM это время составляет около часа, но может быть и 30 секунд. А 30 секунд и две недели — большая разница. 30 секунд фактически позволяют вам перейти к другому накопительному пакету для торговли, а затем вернуться к тому же накопительному пакету. Так что, если вы хотите, чтобы ваши средства были связаны со всем миром, и вы можете переводить средства сюда, это имеет более высокое удобство использования. Я имею в виду, важно, чтобы вы не застряли с деньгами, которые вы не можете перевести.
**BlockBeats: Чем отличается Polygon zkEVM от накопительных пакетов ZK, таких как Starknet и zkSync? **
Джорди Байлина: Самое большое отличие Polygon zkEVM в том, что это EVM, а это значит, что он полностью совместим с Ethereum. Пользователи могут делать то же самое, что и в Ethereum, просто подключившись к MetaMask. Вы можете развертывать смарт-контракты, взаимодействовать со смарт-контрактами, создавать токены, переводить деньги, создавать мультиподписи, делать все, что захотите, вам не нужны никакие специальные инструменты, вы просто используете те же инструменты, что и на Ethereum, такие как MetaMask , etherscan, HardHat и т. д., все инструменты, доступные для Ethereum, вы можете их использовать, вам не нужны какие-то специальные инструменты.
**BlockBeats: В сообществе часто бытует мнение, что "ZK и EVM несовместимы", почему такое утверждение? **
**Джорди Байлина: **EVM изначально не разрабатывался с расчетом на ZK. Разработка EVM была завершена примерно в 2014–2015 годах, а связанная с ней концепция ZK-доказательства появилась примерно в 2018–2019 году, поэтому фактор ZK-доказательства не учитывался при разработке EVM. Но в Polygon мы успешно построили zkEVM с помощью собственного дизайна, то есть построили систему проверки, zkProver (генератор доказательств с нулевым разглашением), который может проверить любую транзакцию Ethereum.
Его можно проверить так же, как и любого клиента Ethereum, а это значит, что мы добились полной совместимости с Ethereum. Поэтому, если вы знаете, как разрабатывать на Ethereum, вы также должны знать, как разрабатывать на zkEVM. Вам не нужно ничего особенного. С точки зрения девелоперов, они вряд ли почувствуют разницу, кроме разницы в цене на газ и пропускной способности.
**BlockBeats: Polygon сам по себе уже является сайдчейном, совместимым с EVM, зачем ему создавать еще одно решение для расширения уровня 2? **
Джорди Байлина: Полигон состоит из двух частей. Один из них — Polygon PoS, оригинальная сеть Polygon, а другой — Polygon zkEVM. Это две отдельные сети, которые в настоящее время не связаны друг с другом. Polygon PoS — это сайдчейн уровня 1, точно так же, как Gnosis, Avalanche или другие сайдчейны уровня 1. А Polygon zkEVM — это ZK Rollup и EVM, совместимый с Ethereum. В конце концов, вы увидите, как все это складывается воедино и становится чрезвычайно масштабируемым.
На самом деле, это то, над чем работает Polygon, поэтому мы создали PoS, чтобы он мог стать лучшим масштабируемым уровнем 1; Но все уровни 1 имеют некоторые ограничения, а именно механизм консенсуса. Вы можете немного поставить под угрозу безопасность, но вы не можете одновременно обеспечить безопасность Ethereum и так далее. Polygon PoS — это компромисс, который может обеспечить очень быстрые и дешевые транзакции, у него есть некоторые компромиссы безопасности, но это не означает, что он небезопасен, просто у него нет такого же уровня безопасности и децентрализации, как у Ethereum. В этом «невозможном треугольнике» есть разные балансы, и для многих приложений этого может быть достаточно. Но для уровня 1 уровень консенсуса всегда имел те или иные ограничения.
Реальное расширение блокчейна должно быть реализовано с помощью технологии Layer 2, поэтому Polygon вложила много денег в создание технологии Layer 2, в частности, технологии ZK Rollup. Конечно, мы использовали суперсети в попытке масштабирования Polygon PoS, но это способ развиваться в экосистеме уровня 1. Для общего масштабирования блокчейна Polygon действительно очень сосредоточен на ZK Rollups.
**BlockBeats: многие ZK Rollup используют zk-SNARK, но Polygon zkEVM сочетает в себе zk-SNARK и zk-STARK. И в последнее время было много дискуссий о них двоих.Что вы думаете о zk-SNARK и STARK? **
Джорди Байлина: В настоящее время STARK является самой быстрой системой доказательства, о которой мы знаем. Кроме того, еще одним важным фактором является то, что реализовать полную рекурсию поверх STARK очень просто. Это позволяет нам агрегировать множество блоков в одну транзакцию, что очень удобно. И мы также используем что-то отличное от StarWare, то, что мы называем малым простым полем STARK, которое даже в 10 раз быстрее, чем обычный Stark.
*Rhythm BlockBeats Примечание. В математике «малое простое поле» относится к конечному полю, характеризуемому небольшим простым числом (также известному как конечное простое поле или поле Галуа). В этом поле все операции выполняются по модулю этого простого числа. Поля малых простых чисел часто используются в таких областях, как криптография и теория кодирования, поскольку они обладают некоторыми важными свойствами, такими как хороший эффект группировки и обратимость и т. д. *
**BlockBeats: В области ZK Rollup кажется, что все стремятся достичь совместимости с EVM или даже эквивалентной, но Starknet, который является лидером, не совместим с EVM. **
Джорди Байлина: Можно сказать, что Starknet — это уровень 2 Ethereum, потому что они построены поверх Ethereum. Но на самом деле одно различие заключается в том, совместим ли он и эквивалентен Ethereum, а Starknet несовместим. Это эквивалентно, если вы подключите MetaMask напрямую к этому порту и начнете его использовать. Или вы можете использовать Remix для создания смарт-контракта и развернуть его там, и он должен вести себя точно так же, как Ethereum.
Но Starknet использует другой язык и сравнивается с чем-то другим, например, с другой сетью. Вы не можете зайти в Remix (среда разработки Ethereum) и сгенерировать смарт-контракт и развернуть его на Каире, вам нужно использовать их собственные инструменты.
**BlockBeats: проекты zkEVM, такие как Kakarot, решили создать zkEVM поверх Starknet. Что вы думаете об этом пути внедрения технологии? Чем он технически отличается от Polygon zkEVM? **
Джорди Байлина: Что касается команды Kakarot, они пытаются добиться совместимости с Ethereum, но для достижения этой цели принятый ими технологический стек немного медленный. Хотя конкретная ситуация требует дальнейшего наблюдения, я думаю, что они могут быть не очень эффективными. Проблема на данный момент в том, что этот проект очень зависит от того, как построен zkEVM. А Kakarot построен на Cairo, Cairo относительно медленный, и EVM очень сложный, строить на базе Cairo будет очень неэффективно. Это двухуровневый стек технологий, может быть, он и сработает, но я думаю, что он будет небольшим.
Вместо использования общей виртуальной машины, такой как Cairo, мы создали собственную виртуальную машину. Это похоже на создание специализированного процессора, выполняющего определенную программу. Мы настроили виртуальную машину вместо использования языка Cairo. Эта виртуальная машина специально разработана для создания zkEVM, точно так же, как для создания компьютера, на котором можно запускать только одну программу.
**BlockBeats: Значит, Polygon zkEVM с самого начала будет разрабатываться с использованием Solidity? **
**Джорди Байлина:**Polygon использует EVM, поэтому использует ту же базовую технологию, что и Ethereum. Это означает, что вы можете разрабатывать в Solidity, а после разработки в Solidity вы можете развернуть не только на Ethereum, но и на zkEVM, потому что они используют один и тот же процессор, виртуальную машину Ethereum. Хотя StarNet использует Cairo, он использует не только EVM.
О OP Rollup и треке zkEVM
**BlockBeats: Один или два года назад все думали, что OP Rollups — это основное решение для краткосрочного расширения. Но теперь в основной сети один за другим запустили несколько основных роллапов ZK. Считаете ли вы, что OP Rollups по-прежнему имеют большое значение для расширения Ethereum? **
Джорди Бейлина: OP Rollups — хорошее решение, когда ZK Rollups еще не совсем готовы. Но теперь, когда ZK Rollups готовы, я не думаю, что есть смысл использовать OP Rollups. Два года назад, когда zkEVM еще находился в стадии разработки, все думали, что это займет около пяти лет работы, поэтому OP Rollups мог быть вполне разумным выбором в эти пять лет. Но всего за два года zkEVM очень хорошо развился, и мы достигли этой цели досрочно.
При сравнении OP Rollups, Starknet и Polygon zkEVM одно из основных отличий заключается в том, что Polygon zkEVM — это единственный фактически реализованный zkEVM из трех, и единственный zkEVM, полностью совместимый с Ethereum. zkSync совместим на уровне Solidity, но для его компиляции нужно использовать специальные инструменты, это не EVM. Starnet не совместим с Ethereum.
**BlockBeats: Какие ключевые факторы, по вашему мнению, ускорили процесс разработки ZK Rollup? **
**Джорди Байлина: **Главное, что когда мы собираем все инструменты и технологии вместе, их сочетание играет ключевую роль. Это инженерный процесс, как соединение многих известных частей. Мы в какой-то степени продемонстрировали, что это возможно, и в процессе решили многие проблемы.
Например, изначально нам требовались часы для проверки и центры обработки данных, необходимые для вычисления доказательств. Теперь построение доказательства занимает всего минуту на большой машине. Итак, вы можете видеть прогресс за эти два года. Это не один фактор, как я уже говорил, например, мы перешли от большого простого поля к маленькому простому полю, мы приняли STARKS, ускорили используемую в нем хеш-функцию, научились делать арифметику и как использовать Efficient способы реализации keccak в схемах, 256 и др. Мы создали действительно красивую структуру, которая позволяет разным командам работать параллельно. У нас есть уровень ограничений, уровень криптографии, уровень ПЗУ (память только для чтения), который фактически реализует уровень тестирования. Эти разные уровни позволяют нам эффективно работать параллельно, поэтому мы смогли быстро построить эту систему.
**BlockBeats: Но многие участники сообщества по-прежнему жалуются на то, что передача активов между Ethereum и Layer 2 или взаимодействие на уровне 2 занимает много времени, а сборы за газ не намного дешевле. почему это? **
Джорди Байлина: Что касается передачи активов между уровнями L;1 и L;2, то в zkEVM Ethereum это не так. От уровня 1 до уровня 2 требуется два уровня обработки. Поэтому вам необходимо завершить транзакцию на уровне 1, чтобы сделать ее окончательной, что занимает около 12 минут.
Я не думаю, что есть какая-то другая причина, кроме того, что они сделали это неправильно. В настоящее время зачисление средств на Polygon zkEVM занимает 12 минут, и каждый час мы генерируем подтверждение для вывода средств, поэтому весь процесс не должен занимать более полутора часов, даже если это время может колебаться. Тем не менее, мы знаем, что это займет не более часа, а может быть и меньше.
Текущая плата за газ составляет 10% от платы за газ уровня 1, потому что нам нужно платить за доступность данных. Но что я могу вам сказать, так это то, что примерно через шесть месяцев, в начале следующего года, мы планируем снова увеличить объем продаж в 50 раз по сравнению с 10 разами, которые у нас есть сейчас. Это 50-кратное улучшение в первую очередь связано со сжатием данных — областью, над которой мы сейчас работаем. Другие 10x исходят от EIP-4844;.
*Примечание Rhythm BlockBeats: EIP-4844 (также известное как предложение proto-danksharding) было создано совместно Виталиком Бутериным и другими программистами из экосистемы Ethereum. Основная цель EIP-4844 — снизить затраты на газ в сети, особенно для решений Rollup, без ущерба для децентрализации. Сводные решения, такие как Arbitrum и Optimism, могут снизить затраты на газ в 100–1000 раз. *
**BlockBeats: В настоящее время трасса zkEVM очень конкурентоспособна. polygon zkEVM, Consensys и scroll борются за пользователей L;2, и многие пользователи до сих пор не могут отличить их от Starknet и zkSync. На ваш взгляд, в чем сходство и различие между Polygon zkEVM и другими проектами zkEVM? **
**Джорди Байлина: **Scroll во многом похож на нас, Scroll — это zkEVM, и мы тоже zkEVM. А zkSync нет, это zkSolidity, и EVM в процессе технической реализации нет. А Starknet — это даже не EVM, это скорее сайдчейн. Но это не значит, что они хорошие или плохие, это разные вещи.
zkEVM реализует EVM, что означает, что вы можете использовать нулевое разглашение для доказательства EVM. Это взаимозаменяемо, что означает, что вы сможете использовать его точно так же, как Ethereum. В области zkEVM мы собираемся обсудить Scroll, Consensys (Linea) и Polygon zkEVM, которые можно назвать тремя наиболее продвинутыми проектами zkEVM на данный момент, каждый из которых имеет свои преимущества и недостатки. Конечно, есть еще Taiko, но это zkEVM Type 1.
Среди них Consensys уделяет больше внимания архитектурному дизайну, чтобы конечные пользователи не чувствовали разницы с EVM. Конечно, их основная сеть еще не подключена к сети, поэтому нам все еще нужно подождать, пока основная сеть не будет подключена к сети, чтобы наблюдать за ее фактической производительностью. Но с точки зрения пользователя особой разницы быть не должно.
Сравнение основных технических архитектур ZK Rollups и zkEVM, источник: Dewhales Research (Примечание: Polygon Hermez — текущий Polygon zkEVM)
Я думаю, что архитектура Consensys очень похожа на Polygon zkEVM, обе они очень ориентированы на состояние, разница между ними заключается в криптографической части. Я думаю, что подход, основанный на решетке, который они используют, интересен, и мы можем посмотреть, как они это делают, возможно, это преимущество. Но с архитектурной точки зрения мы очень похожи. И Scroll немного отличается, в Scroll не так много иерархий, он более упрощен и связен.
*Rhythm BlockBeats Примечание. В криптографии криптография на основе решеток — это ветвь криптографии, основанная на теории решеток, которая использует математические свойства решетчатых структур для построения защищенной криптографической системы. Решетка — это набор линейно независимых векторов в многомерном векторном пространстве. Криптография на основе решеток использует неразрешимость задач решеток, наиболее известными из которых являются проблема кратчайшего вектора (сокращенно SVP) и задача ближайшего вектора (сокращенно CVP). Эти проблемы часто неразрешимы в многомерных пространствах, требуя огромных вычислительных ресурсов и времени даже на современных компьютерах. По сравнению с традиционной криптографией, основанной на теории чисел или эллиптических кривых, криптография на основе решетки имеет определенные преимущества в противодействии атакам квантовых вычислений. Поскольку в настоящее время не существует известного эффективного квантового алгоритма, способного решать проблемы решеток, криптография на основе решеток считается жизнеспособным вариантом для защиты от атак квантовых вычислений и широко изучается и применяется. *
**BlockBeats: Во время выступления на EDCON вы рассказали, что команда Polygon zkEVM часто общается с «командами-оппонентами», такими как Scroll. На какие темы вы общаетесь? Как вы видите конкурентные отношения между собой? **
Джорди Байлина: Обычно мы обсуждаем очень технические темы. Например, как ваш проект обрабатывает транзакции, как упорядочить, как реализовать этот конкретный код, как решить эту проблему, как решить эту проблему, мы делимся множеством идей по этим темам.
На мой взгляд, мы не конкурируем, если быть точным, по крайней мере, не на техническом уровне, а стараемся избегать конкуренции, о чем я говорил на панели. Мы ни с кем не конкурируем, а стремимся к сотрудничеству. Это очень сложная техника, и вы ставите себя на более высокий уровень. Я многому научился у других людей, а также делился знаниями с другими людьми, так мы движемся вперед. Конечно, может быть конкуренция на уровне продукта, маркетинга и настройки, но для пользователей это не так уж плохо.
Об ускорении ZK
**BlockBeats: zkEVM тоже нужен секвенсор, верно? **
Джорди Байлина: В настоящее время zkEVM использует централизованный сортировщик. Как и другие сайдчейны, сайдчейны требуют сортировщика, а сортировщик может быть централизованным или децентрализованным. В настоящее время большинство сайдчейнов используют централизованный сортировщик, но в то же время все они планируют построить децентрализованный сортировщик. В Polygon есть механизм под названием «Proof of Efficiency», но на данный момент это централизованный сортировщик, и мы работаем над лучшим решением.
**BlockBeats: Чтобы децентрализовать сортировщик, вы запустите новый токен? **
Джорди Байлина: У нас уже есть токен MATIC, и нет необходимости запускать новый токен. У нас уже есть хороший, сильный, ценный токен. Этот токен можно использовать для уровней консенсуса, таких как Polygon PoS, или для децентрализованных сортировщиков и т. д. Это очень полезно во многих отношениях и будет очень важным токеном для поддержания этой инфраструктуры.
**BlockBeats: Сколько времени потребуется, чтобы сортировщик был полностью децентрализован? **
Джорди Байлина: Я не отвечаю за эту часть в Polygon, над этой проблемой работают люди из других команд в Polygon. Я надеюсь, что это произойдет как можно скорее, но я не уверен, может быть, через полгода или год. Это не будет быстрым процессом, я не думаю, что это произойдет в ближайший месяц. Но, по крайней мере, в «Полигоне» в этом направлении работает целая команда.
**BlockBeats: Кроме того, многие люди изучают возможность «майнинг ZK». Что вы думаете по этому поводу? **
Джорди Байлина: В настоящее время генератор доказательств очень централизован, но в будущем будет реализован децентрализованный генератор доказательств. Возможно. Это может занять некоторое время, но это произойдет. Если быть точным, нужно задействовать две вещи: сортировку и верификацию. Оба эти процесса должны быть децентрализованы, а ключом является сортировщик. Доказательство того, что генератор — это просто машина для вычислений, не более того.
**BlockBeats: Значит, здесь есть возможность? **
Джорди Бейлина: Да, абсолютно. Хотя сейчас не время, но возможности будут в будущем.
**BlockBeats: Наконец, как Polygon в целом видит zkEVM? **
**Джорди Байлина: **Основной частью будет ZK Мы видели экосистему уровня 2, основанную на ZK, и многие боковые цепи могут взаимодействовать друг с другом. Меня не беспокоят генераторы доказательств, управление Ethereum и т. д. Меня больше беспокоит сортировщик, нам нужен децентрализованный сортировщик.
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Интервью с Polygon zkEVM: MATIC можно использовать разными способами без запуска нового токена
Интервью: Джек, BlockBeats
Сборник: Смех, BlockBeats
Кажется, со времен EDCON в Черногории ZK стал темой, о которой все говорят. Но на самом деле популярность трека ZK не уменьшилась с момента аирдропа Arbitrum в начале года. С запуском zkSync Era ожидание «ZK Airdrop» также достигло новой высшей точки.Помимо zkSync и Starknet, ключевыми целями «Wool Party» стали проекты zkEVM, такие как Scroll и Linea. .
Но что интересно, несмотря на беспрецедентно высокие краткосрочные ожидания от трека ZK, у большинства людей все еще есть относительно расплывчатое представление о сегментации в этой области. ZK Rollup, zkEVM, zk-SNARK, zk-STARK и т. д., каждый из них кажется очень важным, но каждый из них не совсем понятен. Следует признать, что сильная техничность трека ZK действительно усложнила понимание этой области для многих людей.
Как первая команда, инвестировавшая в разработку расширения ZK, Polygon испытала множество итераций своих собственных продуктов и имеет глубокое понимание и понимание ZK Rollup.Polygon zkEVM также является одним из немногих запущенных zkEVM. С этой целью BlockBeats недавно взял интервью у Джорди Байлины, технического директора Polygon zkEVM, и поинтересовался у «технического ботаника» о статусе разработки и возможностях трека ZK, а также о будущих перспективах Polygon zkEVM.
О ZK Rollup и zkEVM
**BlockBeats: Во-первых, может ли Джорди кратко объяснить читателям разницу между ZK Rollups и zkEVM? И зачем нам проверенный ZK EVM? **
Джорди Байлина: С точки зрения пользователя, самая большая разница между OP Rollups и ZK Rollups — это время, необходимое для вывода средств. Например, когда вы вкладываете 1 ETH в Optimism или Arbitrum, для возврата денег требуется не менее недели. Если вы хотите хранить там свои средства, это не такая уж большая проблема. Но когда ваши средства находятся в нескольких системах Rollup, проблема будет более сложной, и средства будет сложно перевести. Когда вы хотите перевести средства в другой Rollup, это занимает неделю или две. Это самая большая проблема с OP Rollups.
В случае накопительного пакета ZK вы можете выйти из накопительного пакета после создания подтверждения проверки. В настоящее время на Polygon zkEVM это время составляет около часа, но может быть и 30 секунд. А 30 секунд и две недели — большая разница. 30 секунд фактически позволяют вам перейти к другому накопительному пакету для торговли, а затем вернуться к тому же накопительному пакету. Так что, если вы хотите, чтобы ваши средства были связаны со всем миром, и вы можете переводить средства сюда, это имеет более высокое удобство использования. Я имею в виду, важно, чтобы вы не застряли с деньгами, которые вы не можете перевести.
**BlockBeats: Чем отличается Polygon zkEVM от накопительных пакетов ZK, таких как Starknet и zkSync? **
Джорди Байлина: Самое большое отличие Polygon zkEVM в том, что это EVM, а это значит, что он полностью совместим с Ethereum. Пользователи могут делать то же самое, что и в Ethereum, просто подключившись к MetaMask. Вы можете развертывать смарт-контракты, взаимодействовать со смарт-контрактами, создавать токены, переводить деньги, создавать мультиподписи, делать все, что захотите, вам не нужны никакие специальные инструменты, вы просто используете те же инструменты, что и на Ethereum, такие как MetaMask , etherscan, HardHat и т. д., все инструменты, доступные для Ethereum, вы можете их использовать, вам не нужны какие-то специальные инструменты.
**BlockBeats: В сообществе часто бытует мнение, что "ZK и EVM несовместимы", почему такое утверждение? **
**Джорди Байлина: **EVM изначально не разрабатывался с расчетом на ZK. Разработка EVM была завершена примерно в 2014–2015 годах, а связанная с ней концепция ZK-доказательства появилась примерно в 2018–2019 году, поэтому фактор ZK-доказательства не учитывался при разработке EVM. Но в Polygon мы успешно построили zkEVM с помощью собственного дизайна, то есть построили систему проверки, zkProver (генератор доказательств с нулевым разглашением), который может проверить любую транзакцию Ethereum.
Его можно проверить так же, как и любого клиента Ethereum, а это значит, что мы добились полной совместимости с Ethereum. Поэтому, если вы знаете, как разрабатывать на Ethereum, вы также должны знать, как разрабатывать на zkEVM. Вам не нужно ничего особенного. С точки зрения девелоперов, они вряд ли почувствуют разницу, кроме разницы в цене на газ и пропускной способности.
**BlockBeats: Polygon сам по себе уже является сайдчейном, совместимым с EVM, зачем ему создавать еще одно решение для расширения уровня 2? **
Джорди Байлина: Полигон состоит из двух частей. Один из них — Polygon PoS, оригинальная сеть Polygon, а другой — Polygon zkEVM. Это две отдельные сети, которые в настоящее время не связаны друг с другом. Polygon PoS — это сайдчейн уровня 1, точно так же, как Gnosis, Avalanche или другие сайдчейны уровня 1. А Polygon zkEVM — это ZK Rollup и EVM, совместимый с Ethereum. В конце концов, вы увидите, как все это складывается воедино и становится чрезвычайно масштабируемым.
На самом деле, это то, над чем работает Polygon, поэтому мы создали PoS, чтобы он мог стать лучшим масштабируемым уровнем 1; Но все уровни 1 имеют некоторые ограничения, а именно механизм консенсуса. Вы можете немного поставить под угрозу безопасность, но вы не можете одновременно обеспечить безопасность Ethereum и так далее. Polygon PoS — это компромисс, который может обеспечить очень быстрые и дешевые транзакции, у него есть некоторые компромиссы безопасности, но это не означает, что он небезопасен, просто у него нет такого же уровня безопасности и децентрализации, как у Ethereum. В этом «невозможном треугольнике» есть разные балансы, и для многих приложений этого может быть достаточно. Но для уровня 1 уровень консенсуса всегда имел те или иные ограничения.
Реальное расширение блокчейна должно быть реализовано с помощью технологии Layer 2, поэтому Polygon вложила много денег в создание технологии Layer 2, в частности, технологии ZK Rollup. Конечно, мы использовали суперсети в попытке масштабирования Polygon PoS, но это способ развиваться в экосистеме уровня 1. Для общего масштабирования блокчейна Polygon действительно очень сосредоточен на ZK Rollups.
**BlockBeats: многие ZK Rollup используют zk-SNARK, но Polygon zkEVM сочетает в себе zk-SNARK и zk-STARK. И в последнее время было много дискуссий о них двоих.Что вы думаете о zk-SNARK и STARK? **
Джорди Байлина: В настоящее время STARK является самой быстрой системой доказательства, о которой мы знаем. Кроме того, еще одним важным фактором является то, что реализовать полную рекурсию поверх STARK очень просто. Это позволяет нам агрегировать множество блоков в одну транзакцию, что очень удобно. И мы также используем что-то отличное от StarWare, то, что мы называем малым простым полем STARK, которое даже в 10 раз быстрее, чем обычный Stark.
*Rhythm BlockBeats Примечание. В математике «малое простое поле» относится к конечному полю, характеризуемому небольшим простым числом (также известному как конечное простое поле или поле Галуа). В этом поле все операции выполняются по модулю этого простого числа. Поля малых простых чисел часто используются в таких областях, как криптография и теория кодирования, поскольку они обладают некоторыми важными свойствами, такими как хороший эффект группировки и обратимость и т. д. *
**BlockBeats: В области ZK Rollup кажется, что все стремятся достичь совместимости с EVM или даже эквивалентной, но Starknet, который является лидером, не совместим с EVM. **
Джорди Байлина: Можно сказать, что Starknet — это уровень 2 Ethereum, потому что они построены поверх Ethereum. Но на самом деле одно различие заключается в том, совместим ли он и эквивалентен Ethereum, а Starknet несовместим. Это эквивалентно, если вы подключите MetaMask напрямую к этому порту и начнете его использовать. Или вы можете использовать Remix для создания смарт-контракта и развернуть его там, и он должен вести себя точно так же, как Ethereum.
Но Starknet использует другой язык и сравнивается с чем-то другим, например, с другой сетью. Вы не можете зайти в Remix (среда разработки Ethereum) и сгенерировать смарт-контракт и развернуть его на Каире, вам нужно использовать их собственные инструменты.
**BlockBeats: проекты zkEVM, такие как Kakarot, решили создать zkEVM поверх Starknet. Что вы думаете об этом пути внедрения технологии? Чем он технически отличается от Polygon zkEVM? **
Джорди Байлина: Что касается команды Kakarot, они пытаются добиться совместимости с Ethereum, но для достижения этой цели принятый ими технологический стек немного медленный. Хотя конкретная ситуация требует дальнейшего наблюдения, я думаю, что они могут быть не очень эффективными. Проблема на данный момент в том, что этот проект очень зависит от того, как построен zkEVM. А Kakarot построен на Cairo, Cairo относительно медленный, и EVM очень сложный, строить на базе Cairo будет очень неэффективно. Это двухуровневый стек технологий, может быть, он и сработает, но я думаю, что он будет небольшим.
Вместо использования общей виртуальной машины, такой как Cairo, мы создали собственную виртуальную машину. Это похоже на создание специализированного процессора, выполняющего определенную программу. Мы настроили виртуальную машину вместо использования языка Cairo. Эта виртуальная машина специально разработана для создания zkEVM, точно так же, как для создания компьютера, на котором можно запускать только одну программу.
**BlockBeats: Значит, Polygon zkEVM с самого начала будет разрабатываться с использованием Solidity? **
**Джорди Байлина:**Polygon использует EVM, поэтому использует ту же базовую технологию, что и Ethereum. Это означает, что вы можете разрабатывать в Solidity, а после разработки в Solidity вы можете развернуть не только на Ethereum, но и на zkEVM, потому что они используют один и тот же процессор, виртуальную машину Ethereum. Хотя StarNet использует Cairo, он использует не только EVM.
О OP Rollup и треке zkEVM
**BlockBeats: Один или два года назад все думали, что OP Rollups — это основное решение для краткосрочного расширения. Но теперь в основной сети один за другим запустили несколько основных роллапов ZK. Считаете ли вы, что OP Rollups по-прежнему имеют большое значение для расширения Ethereum? **
Джорди Бейлина: OP Rollups — хорошее решение, когда ZK Rollups еще не совсем готовы. Но теперь, когда ZK Rollups готовы, я не думаю, что есть смысл использовать OP Rollups. Два года назад, когда zkEVM еще находился в стадии разработки, все думали, что это займет около пяти лет работы, поэтому OP Rollups мог быть вполне разумным выбором в эти пять лет. Но всего за два года zkEVM очень хорошо развился, и мы достигли этой цели досрочно.
При сравнении OP Rollups, Starknet и Polygon zkEVM одно из основных отличий заключается в том, что Polygon zkEVM — это единственный фактически реализованный zkEVM из трех, и единственный zkEVM, полностью совместимый с Ethereum. zkSync совместим на уровне Solidity, но для его компиляции нужно использовать специальные инструменты, это не EVM. Starnet не совместим с Ethereum.
**BlockBeats: Какие ключевые факторы, по вашему мнению, ускорили процесс разработки ZK Rollup? **
**Джорди Байлина: **Главное, что когда мы собираем все инструменты и технологии вместе, их сочетание играет ключевую роль. Это инженерный процесс, как соединение многих известных частей. Мы в какой-то степени продемонстрировали, что это возможно, и в процессе решили многие проблемы.
Например, изначально нам требовались часы для проверки и центры обработки данных, необходимые для вычисления доказательств. Теперь построение доказательства занимает всего минуту на большой машине. Итак, вы можете видеть прогресс за эти два года. Это не один фактор, как я уже говорил, например, мы перешли от большого простого поля к маленькому простому полю, мы приняли STARKS, ускорили используемую в нем хеш-функцию, научились делать арифметику и как использовать Efficient способы реализации keccak в схемах, 256 и др. Мы создали действительно красивую структуру, которая позволяет разным командам работать параллельно. У нас есть уровень ограничений, уровень криптографии, уровень ПЗУ (память только для чтения), который фактически реализует уровень тестирования. Эти разные уровни позволяют нам эффективно работать параллельно, поэтому мы смогли быстро построить эту систему.
**BlockBeats: Но многие участники сообщества по-прежнему жалуются на то, что передача активов между Ethereum и Layer 2 или взаимодействие на уровне 2 занимает много времени, а сборы за газ не намного дешевле. почему это? **
Джорди Байлина: Что касается передачи активов между уровнями L;1 и L;2, то в zkEVM Ethereum это не так. От уровня 1 до уровня 2 требуется два уровня обработки. Поэтому вам необходимо завершить транзакцию на уровне 1, чтобы сделать ее окончательной, что занимает около 12 минут.
Я не думаю, что есть какая-то другая причина, кроме того, что они сделали это неправильно. В настоящее время зачисление средств на Polygon zkEVM занимает 12 минут, и каждый час мы генерируем подтверждение для вывода средств, поэтому весь процесс не должен занимать более полутора часов, даже если это время может колебаться. Тем не менее, мы знаем, что это займет не более часа, а может быть и меньше.
Текущая плата за газ составляет 10% от платы за газ уровня 1, потому что нам нужно платить за доступность данных. Но что я могу вам сказать, так это то, что примерно через шесть месяцев, в начале следующего года, мы планируем снова увеличить объем продаж в 50 раз по сравнению с 10 разами, которые у нас есть сейчас. Это 50-кратное улучшение в первую очередь связано со сжатием данных — областью, над которой мы сейчас работаем. Другие 10x исходят от EIP-4844;.
*Примечание Rhythm BlockBeats: EIP-4844 (также известное как предложение proto-danksharding) было создано совместно Виталиком Бутериным и другими программистами из экосистемы Ethereum. Основная цель EIP-4844 — снизить затраты на газ в сети, особенно для решений Rollup, без ущерба для децентрализации. Сводные решения, такие как Arbitrum и Optimism, могут снизить затраты на газ в 100–1000 раз. *
**BlockBeats: В настоящее время трасса zkEVM очень конкурентоспособна. polygon zkEVM, Consensys и scroll борются за пользователей L;2, и многие пользователи до сих пор не могут отличить их от Starknet и zkSync. На ваш взгляд, в чем сходство и различие между Polygon zkEVM и другими проектами zkEVM? **
**Джорди Байлина: **Scroll во многом похож на нас, Scroll — это zkEVM, и мы тоже zkEVM. А zkSync нет, это zkSolidity, и EVM в процессе технической реализации нет. А Starknet — это даже не EVM, это скорее сайдчейн. Но это не значит, что они хорошие или плохие, это разные вещи.
zkEVM реализует EVM, что означает, что вы можете использовать нулевое разглашение для доказательства EVM. Это взаимозаменяемо, что означает, что вы сможете использовать его точно так же, как Ethereum. В области zkEVM мы собираемся обсудить Scroll, Consensys (Linea) и Polygon zkEVM, которые можно назвать тремя наиболее продвинутыми проектами zkEVM на данный момент, каждый из которых имеет свои преимущества и недостатки. Конечно, есть еще Taiko, но это zkEVM Type 1.
Среди них Consensys уделяет больше внимания архитектурному дизайну, чтобы конечные пользователи не чувствовали разницы с EVM. Конечно, их основная сеть еще не подключена к сети, поэтому нам все еще нужно подождать, пока основная сеть не будет подключена к сети, чтобы наблюдать за ее фактической производительностью. Но с точки зрения пользователя особой разницы быть не должно.
Сравнение основных технических архитектур ZK Rollups и zkEVM, источник: Dewhales Research (Примечание: Polygon Hermez — текущий Polygon zkEVM)
Я думаю, что архитектура Consensys очень похожа на Polygon zkEVM, обе они очень ориентированы на состояние, разница между ними заключается в криптографической части. Я думаю, что подход, основанный на решетке, который они используют, интересен, и мы можем посмотреть, как они это делают, возможно, это преимущество. Но с архитектурной точки зрения мы очень похожи. И Scroll немного отличается, в Scroll не так много иерархий, он более упрощен и связен.
*Rhythm BlockBeats Примечание. В криптографии криптография на основе решеток — это ветвь криптографии, основанная на теории решеток, которая использует математические свойства решетчатых структур для построения защищенной криптографической системы. Решетка — это набор линейно независимых векторов в многомерном векторном пространстве. Криптография на основе решеток использует неразрешимость задач решеток, наиболее известными из которых являются проблема кратчайшего вектора (сокращенно SVP) и задача ближайшего вектора (сокращенно CVP). Эти проблемы часто неразрешимы в многомерных пространствах, требуя огромных вычислительных ресурсов и времени даже на современных компьютерах. По сравнению с традиционной криптографией, основанной на теории чисел или эллиптических кривых, криптография на основе решетки имеет определенные преимущества в противодействии атакам квантовых вычислений. Поскольку в настоящее время не существует известного эффективного квантового алгоритма, способного решать проблемы решеток, криптография на основе решеток считается жизнеспособным вариантом для защиты от атак квантовых вычислений и широко изучается и применяется. *
**BlockBeats: Во время выступления на EDCON вы рассказали, что команда Polygon zkEVM часто общается с «командами-оппонентами», такими как Scroll. На какие темы вы общаетесь? Как вы видите конкурентные отношения между собой? **
Джорди Байлина: Обычно мы обсуждаем очень технические темы. Например, как ваш проект обрабатывает транзакции, как упорядочить, как реализовать этот конкретный код, как решить эту проблему, как решить эту проблему, мы делимся множеством идей по этим темам.
На мой взгляд, мы не конкурируем, если быть точным, по крайней мере, не на техническом уровне, а стараемся избегать конкуренции, о чем я говорил на панели. Мы ни с кем не конкурируем, а стремимся к сотрудничеству. Это очень сложная техника, и вы ставите себя на более высокий уровень. Я многому научился у других людей, а также делился знаниями с другими людьми, так мы движемся вперед. Конечно, может быть конкуренция на уровне продукта, маркетинга и настройки, но для пользователей это не так уж плохо.
Об ускорении ZK
**BlockBeats: zkEVM тоже нужен секвенсор, верно? **
Джорди Байлина: В настоящее время zkEVM использует централизованный сортировщик. Как и другие сайдчейны, сайдчейны требуют сортировщика, а сортировщик может быть централизованным или децентрализованным. В настоящее время большинство сайдчейнов используют централизованный сортировщик, но в то же время все они планируют построить децентрализованный сортировщик. В Polygon есть механизм под названием «Proof of Efficiency», но на данный момент это централизованный сортировщик, и мы работаем над лучшим решением.
**BlockBeats: Чтобы децентрализовать сортировщик, вы запустите новый токен? **
Джорди Байлина: У нас уже есть токен MATIC, и нет необходимости запускать новый токен. У нас уже есть хороший, сильный, ценный токен. Этот токен можно использовать для уровней консенсуса, таких как Polygon PoS, или для децентрализованных сортировщиков и т. д. Это очень полезно во многих отношениях и будет очень важным токеном для поддержания этой инфраструктуры.
**BlockBeats: Сколько времени потребуется, чтобы сортировщик был полностью децентрализован? **
Джорди Байлина: Я не отвечаю за эту часть в Polygon, над этой проблемой работают люди из других команд в Polygon. Я надеюсь, что это произойдет как можно скорее, но я не уверен, может быть, через полгода или год. Это не будет быстрым процессом, я не думаю, что это произойдет в ближайший месяц. Но, по крайней мере, в «Полигоне» в этом направлении работает целая команда.
**BlockBeats: Кроме того, многие люди изучают возможность «майнинг ZK». Что вы думаете по этому поводу? **
Джорди Байлина: В настоящее время генератор доказательств очень централизован, но в будущем будет реализован децентрализованный генератор доказательств. Возможно. Это может занять некоторое время, но это произойдет. Если быть точным, нужно задействовать две вещи: сортировку и верификацию. Оба эти процесса должны быть децентрализованы, а ключом является сортировщик. Доказательство того, что генератор — это просто машина для вычислений, не более того.
**BlockBeats: Значит, здесь есть возможность? **
Джорди Бейлина: Да, абсолютно. Хотя сейчас не время, но возможности будут в будущем.
**BlockBeats: Наконец, как Polygon в целом видит zkEVM? **
**Джорди Байлина: **Основной частью будет ZK Мы видели экосистему уровня 2, основанную на ZK, и многие боковые цепи могут взаимодействовать друг с другом. Меня не беспокоят генераторы доказательств, управление Ethereum и т. д. Меня больше беспокоит сортировщик, нам нужен децентрализованный сортировщик.