💬 Атака zkEVM! 10-кратный момент Crypto

Атака zkEVM! 10-кратный момент Crypto

Криптовалюта в настоящее время томится, как и Интернет в 1996 году: низкая скорость и мало практических вариантов использования, – говорит Стив Ньюкомб, директор по продуктам Matter Labs.

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

"Никто не доверял этому свою кредитную карту, и все думали, что это причуда и что для этого не было никаких вариантов использования", – объясняет Ньюкомб.

«А затем у нас было 10-кратное увеличение пропускной способности, а затем появился SSL и HTPS, где вы получили эту блокировку — это было 10-кратное увеличение доверия. Внезапно в 2005 году электронная коммерция просто взлетела до небес”.

Момент криптовалюты «10x» может, наконец, наступить, когда 28 октября будет запущена основная сеть, совместимая с виртуальной машиной Ethereum от zkSync. чтобы испытать огромный скачок в скорости и снижении затрат.

Они не единственные, кто борется с проблемой: на этой неделе Polygon запустил тестовую сеть для собственного zkEVM, и Aave, Uniswap и Lens обязались развернуть ее. Scroll запустила тестовую сеть Pre Alpha в июле, в то время как решение StarkWare zk обрабатывает миллионы транзакций в месяц.

Все эти решения хорошо финансируются: Scroll привлекает 30 млн долларов, Starkware — 150 млн долларов, а Polygon — 450 млн долларов. Ньюкомб намекает, что собственный раунд финансирования zkSync находится на том же уровне, что и Polygon, но официально об этом еще не объявлено.

StarkWare намного опережает конкурентов: девять месяцев назад она запустила собственное решение для объединения zk, а в августе включила рекурсивное масштабирование. Но также было принято рискованное решение использовать собственный язык программирования под названием Cairo для более эффективного масштабирования. Это может привести к тому, что крупные протоколы перейдут на путь наименьшего сопротивления в отношении решений, совместимых с EVM.

Все решения также работают над рекурсивным масштабированием и/или реализацией «уровня 3», благодаря которому транзакции Ethereum потенциально станут в тысячи раз быстрее, устранят необходимость в межцепочечных мостах и ​​позволят криптовалюте, наконец, реализовать свой истинный потенциал.

Что такое вещь с нулевым разглашением?

На сегодняшний день накопительные пакеты ZK являются одними из самых популярных словечек в блокчейне. Технология позволяет вычислять тысячи транзакций вдали от мучительно медленной цепочки блоков Ethereum с крошечным «доказательством достоверности», подтверждающим правильность выполнения всех транзакций. Таким образом, вы можете «свернуть» 10 000 транзакций, выполненных в другом месте, в одну транзакцию ETH. Это очень важно, потому что даже после слияния Ethereum хромает со скоростью 15 транзакций в секунду.

Свертки ZK уже некоторое время используются для NFT и финансовых транзакций на таких платформах, как Loopring, dyDx и других. Но, как отметил соучредитель Виталик Бутерин на ETH Seoul в августе:

«В целом, я думаю, мы поняли, что людям нужны не просто масштабируемые деньги, им нужен масштабируемый EVM».

"В целом, я думаю, мы поняли, что людям нужны не просто масштабируемые деньги, им нужна масштабируемая EVM".

Это один из тех, что Ньюкомб называет "пятью волшебными элементами" для накопительных пакетов ZK. По его мнению, накопительное решение ZK должно быть универсальным, совместимым с EVM и поддерживать язык программирования Ethereum Solidity. Он также должен быть с открытым исходным кодом, чтобы соответствовать духу криптографии, и он должен иметь распределение токенов, которое децентрализует протокол, а не концентрирует богатство среди команды.

По любопытному стечению обстоятельств zkSync достиг всех пяти из этих показателей. (Ньюкомб говорит, что не может подробно описать точное распределение токенов, но говорит, что около 30% для инсайдеров — это «консенсус»).

Контрольный список представляет собой нечто вроде завуалированной критики конкурента StarkWare, который собирается предоставить 49,9% своих токенов StarkNet инвесторам и основным участникам. Это также не открытый исходный код, хотя он планирует передать контроль над интеллектуальной собственностью своему сообществу.

Соучредитель Эли Бен-Сассон объясняет, что единственный способ в полной мере воспользоваться преимуществами масштабирования, обеспечиваемыми накопительными пакетами ZK, — это использовать собственный язык, например Cairo.

«Я уверен, что после включения доказательств люди поймут, что цель не в имитации EVM. Цель состоит в том, чтобы достичь масштабируемости. Поместить 10 000, 100 000, миллион транзакций и разместить их доказательства в одном блоке Ethereum», — говорит он.

«Готов поспорить, что вы не увидите полноценного ZK EVM, который может поместить миллион транзакций в одно доказательство на Ethereum. Как мы легко можем сделать сегодня и делаем месяцами и годами».

Масштабирование против совместимости

Odin-Free из StarkWare объяснил в Твиттере, что потребность в специальном языке связана со сложными математическими причинами, поскольку «системы доказательств, такие как Stark, основаны на полиномах над конечными полями, что дает гораздо более эффективное полиномиальное уравнение». Хорошо, поверим ему на слово.

С точки зрения Бен-Сассона, пытаться улучшить EVM просто глупо:

"Если вы хотите решить вопрос с транспортом, вы можете взять большой грузовик, поместить его в самолет, и самолет доставит его, – – говорит он. – Есть самолеты, в которые может поместиться грузовик, но это очень неэффективно. способ сделать это. Гораздо лучше просто взять вещи и положить их прямо в самолет».

Тем не менее, в экосистеме есть транспилятор под названием Warp, который преобразует код Solidity в код Cairo и который только что использовался для переноса ответвления Uniswap на StarkNet.

Совместим ли StarkNet EVM? Это краткое изложение выступления @EliBenSasson @PapiniShahar @0xGreg_ и Йорика Шеллекенса из @nethermindeth https://t.co/ecmzflXhig о мозге гигачада. — odin-free.eth ✨??? (@odin_free) 19 марта 2022 г.

По сути, в случае с накопительными пакетами zk приходится выбирать между полной совместимостью с EVM и масштабированием. Полная совместимость позволяет беспрепятственно переносить DApps и протоколы, и все работает точно так же, как в Ethereum для разработчиков и пользователей, но с точки зрения масштабирования, чем быстрее, тем лучше.

Ньюкомб признает, что решение StarkWare будет лучше масштабироваться, но говорит, что жертвование доступностью означает, что оно больше подходит для индивидуальных корпоративных приложений, чем для того, чтобы быть фундаментальной частью Ethereum из-за «трений с принятием».

"Они не совместимы с EVM, поэтому их очень сложно портировать. Мы видели проекты, перенос которых на них занимает семь месяцев".

Совместимый, но менее элегантный

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

По общему мнению, прокрутка эквивалентна, но она еще не находится в надлежащей тестовой сети и на много месяцев отстает от других со сравнительно небольшим бюджетом. Решение Polygon zkEVM заявлено как эквивалентное (хотя это оспаривается). Тем временем zkSync будет совместим с EVM, что означает, что оно почти идентично, но некоторые вещи могут не работать из-за некоторых конструктивных решений, призванных улучшить работу решения.

В понедельник компания Polygon запустила общедоступную тестовую сеть zkEVM, заявив: «Polygon — это первый проект, в котором реализована полнофункциональная реализация zkEVM с открытым исходным кодом; новаторская веха не только для Polygon, но и для всей отрасли». Polygon сообщает, что тестовая сеть «включает в себя zk-Prover с полностью открытым исходным кодом — первый в своем роде, выпущенный публично».

Соучредитель Михайло Бьелич сообщил журналу Magazine, что ранние тесты показали, что «zkEVM от Polygon может снизить комиссию сети Ethereum примерно на 90 % и увеличить пропускную способность сети на несколько порядков».

Он говорит, что открытый исходный код технологии «доказывает наше соответствие духу отрасли и повышает безопасность решения, поскольку любой может проверить его и указать на потенциальные ошибки. Это не относится к StarkNet или zkSync, которые держат критические части своих реализаций закрытыми исходными кодами, по крайней мере, на данный момент».

Технический бит

По словам Луожу Чжана из Scroll, существует три потенциальных типа zkEVM: уровень байт-кода, уровень языка и уровень консенсуса. zkSync и StarkWare находятся на уровне языка и требуют шага компилятора или транспилятора, в то время как Scroll и Polygon — это подходы на уровне байт-кода. Удобочитаемая форма байт-кода называется кодом операции.

Бьелич говорит, что решение Polygon разработано так, чтобы быть эквивалентным EVM, тогда как:

"Такие проекты, как StarkNet и zkSync, идут другим путем: у них есть свои собственные виртуальные машины, а затем они пытаются преобразовать Solidity, самый популярный язык, созданный на основе EVM, в языки, которые эти виртуальные машины могут интерпретировать", — говорит он.

«У этого подхода есть две основные проблемы: (i) сложно создать транспилятор, который будет поддерживать 100% смарт-контрактов Solidity, и (ii) даже если у вас есть транспилятор, вы все равно не сможете использовать всех разработчиков и конечных пользователей. такие инструменты, как Polygon zkEVM.

«С этим подходом связаны две основные проблемы: (i) сложно создать транспилятор, который будет поддерживать 100 % смарт-контрактов Solidity, и (ii) даже если у вас есть транспилятор, вы все равно не сможете использовать все возможности разработчика. и инструменты для конечных пользователей, такие как Polygon zkEVM».

Ньюкомб говорит, что распространяется недостоверная информация. «Мы не транспилируем, мы компилируем», — говорит он. И он ответил Polygon, заявив, что, глядя на Github проекта, им еще предстоит разработать работающий прувер общего назначения, интегрированный с работающим секвенсором.

"Если это так, то это означает, что им предстоит выполнить неопределенное количество работы. Последние 10% любой сложной системы всегда самые сложные. Это похоже на то, где мы были или даже отставали от того, где мы были, когда запускали тестовую сеть. А после этого нам потребовалось девять месяцев».

В основном совместимы

При этом zkSync совместим со всеми, кроме трех, 141 кодом операции Ethereum, один из которых устарел, другой устарел, а третий используется менее чем в 1/10 от 1 % проектов, согласно Newcomb.

"Итак, что мы получили за то, что не были полностью эквивалентны? У нас есть две вещи: наши затраты на производительность намного лучше, чем у любого решения, идущего после эквивалентности. У нас намного быстрее, намного дешевле. И второе, что мы получили, это то, что мы смогли вставить компилятор LLVM в нашу цепочку, чего вы не можете сделать, если делаете то же самое. А что делает компилятор LLVM, так это то, что мы уже смотрим на третий уровень».

LLVM позволяет разработчикам Python, Rust или C++ кодировать свое решение, которое затем компилируется для работы с Solidity таким же образом.

«Это огромное значение для усыновления. Итак, где этот проект, который занял семь месяцев здесь, в Каире, тот же проект экосистемы был перенесен к нам за семь дней. Это совместимость».

"Это очень важно для внедрения. Итак, где этот проект, который занял семь месяцев здесь, в Каире, тот же проект экосистемы был перенесен к нам за семь дней. Это совместимость».

Он признает, что на перенос потребуется всего один день, если zkSync будет полностью эквивалентен, но не будет LLVM и увеличенного масштабирования. Поэтому он говорит, что это выгодная сделка.

Уровень 3 и рекурсивное масштабирование

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

Это называется рекурсивным масштабированием, и Деклан Фокс, менеджер по продуктам в Consensys, считает, что это настолько мощно, что теоретически вся глобальная финансовая система может работать на Ethereum. «У нас есть технология для достижения такой необходимой пропускной способности, — говорит он. «Благодаря рекурсивным сверткам и доказательствам мы теоретически можем бесконечно масштабироваться».

Также читайте: Ethereum пожирает мир: — «Вам нужен только один интернет»

StarkWare включила рекурсивное масштабирование еще в августе и с момента использования этой технологии обработала более 30 миллионов транзакций.

«Рекурсия уже на этом раннем этапе увеличила количество транзакций в одном доказательстве примерно в 8 раз», — объясняет Бен-Сассон. «Более того, он оказался настолько эффективным, что вскоре после запуска в производство мы сократили примерно на 40 % наши собственные облачные затраты на создание доказательств.

"Это не прогнозы или цифры, которые мы надеемся увидеть, а цифры, полученные сегодня. И я подчеркиваю: это только начало, и изменения, которые мы внесем, будут означать, что эти цифры будут становиться все более и более впечатляющими.

По словам Бьелича, Polygon собирается внедрить решение Plonky2. Это решение zk-SNARK с открытым исходным кодом. «Этот рекурсивный SNARK можно использовать для проверки транзакций на несколько порядков быстрее, чем существующие альтернативы. Plonky2 также изначально совместим с виртуальной машиной Ethereum, что позволило Polygon разработать zkEVM».

Скоро будет выпущена тестовая сеть для уровня 3 ZK Sync, как раз вовремя, чтобы воспользоваться преимуществами обновления Ethereum под названием Proto-Danksharding в начале следующего года, разработанного специально для того, чтобы предоставить накопительным пакетам пространство на Ethereum для расцвета. Newcomb ожидает, что Layer 3 будет запущен в производство в течение года. Они называют это Pathfinder — экосистемой «фрактальных гиперцепей».

«Вероятно, мы могли бы продолжать в течение нескольких часов с инженерной точки зрения, но с функциональной точки зрения, чем дальше по рекурсивной цепочке вы уходите от Etherium, тем дешевле становится стоимость данных, и это в 10 раз, 10 раз, 10 раз, 10 раз, когда вы рекурсивно уходите с расходы на передачу данных, и это уникально для zk».

"Именно здесь мы получаем 100 000 транзакций в секунду и миллион транзакций в секунду – говорит он. В обычный день Visa работает со скоростью около 4000 транзакций в секунду, а в часы пик, например, у рождественских праздников, достигает 65 000 транзакций в секунду.

«ZK — это единственный способ достичь 100 000 TPS, чтобы вы могли достичь уровней, когда что-то вроде Visa заменяет свой базовый протокол блокчейном. И когда вы это сделаете, наступит момент вашего массового принятия».

«ZK — это единственный способ достичь 100 000 TPS, чтобы вы могли достичь уровней, когда что-то вроде Visa заменяет базовый протокол блокчейном. И когда вы это сделаете, наступит момент массового принятия».

Еще одно удивительное достижение, по словам Ньюкомба, заключается в том, что уровень 3 может избавиться от требования межсетевых мостов, из-за которых только в этом году произошло все взломы на сумму более 2 миллиардов долларов.

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

'Если вы сделаете его быстрее, дешевле на порядки, если вы сделаете его проще в использовании и сделаете его более привлекательным для более широкой аудитории разработчиков за счет большего количества доступных языков, а затем заставите людей доверять ему, потому что избавитесь от мосты. Я всегда говорю, что это звездное скопление в 10 раз выше в L3, и именно там будет проходить игра».

Запуск демо прошел успешно, и теперь наша цель вывести наш проект на путь регулярных обновлений. Запуск @zksync запланирован на 28 октября, и вскоре вы увидите выпуск совместимой с @zkSync версии Homespace Metaverse.?Приготовьтесь, будет жарко! pic.twitter.com/O6sRm3tryz — Homespace.is (@HomespaceNFT) 29 сентября 2022 г.

Еще не исправлено

И это все? С появлением накопительных пакетов ZK и решений масштабирования, совместимых с EVM, все было решено?

К сожалению, нет. Свертки ZK в настоящее время очень хороши в удалении вычислений от Ethereum, но им все еще нужно записать достаточно данных обратно в основную цепочку, чтобы, если свертывание перестанет работать или его захватят плохие парни, тогда кто-то другой может вмешаться в брешь. и выясните, кто кому что должен.

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

"Мы описываем это так: если у вас есть коллекция бейсбольных карточек, и многие из этих карточек стоят недорого, и вы сохранили их в Valdium, но есть одна редкая карточка, которая стоит больших денег. вы, вероятно, сэкономите на уровне 1», — говорит Бен-Сассон.

Polygon работает над рядом решений той же проблемы, включая Avail. «Блокчейн, в котором информация доступна всем в любое время, был разработан специально для этой цели», — говорит Бьелич. Pathfinder от zkSync позволит разработчикам выбрать один из трех вариантов доступности данных: Validium, zkPorter (смешение в цепочке и вне цепочки) и ZKRollup (полная безопасность).

Не ожидайте большого успеха от запуска основной сети zkSync 28 октября. Поначалу он будет не слишком впечатляющим, так как Matter Labs провела пару месяцев только в тестировании и предложила пользователям вознаграждение за попытку взломать или использовать его. Затем DApps будет разрешено переносить и начинать создавать и тестировать безопасность.

"А затем, когда мы чувствуем, что все сделано, мы делаем то, что называется подъемом в воротах. И тогда все пользователи могут войти в систему одновременно, и это называется программой справедливого выпуска. Поэтому мы не отдаем предпочтение ни одному проекту перед другим». Он говорит, что к этому моменту будет запущено 150 проектов, и больше не будет никаких причин, по которым проект будет ждать завершения решения Polygon..

"Они как будто идут на гоночную трассу и появляются с шасси автомобиля, у которого нет ни колес, ни рулевого колеса, ни абсолютно никакого двигателя", – говорит он.

"И мы закончили весь продукт. Вы знаете, что у нас есть Ferrari, и мы готовы к работе».