В ZK-EVM с использованием SNARK компания Morph взяла на себя инициативу, предложив решение по адаптации EIP-4844.

Автор: Карен, Foresight News

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

В этом обновлении EIP-4844 (Proto-Danksharding), несомненно, является наиболее привлекательным основным компонентом. Самым большим изменением в EIP-4844 является введение типа транзакции с переносом Blob, который используется для замены данных вызова. Это позволяет сети Layer2 публиковать все данные в Blobspace, а Blob-объекты хранятся узлами на уровне консенсуса и не требуют постоянного хранения, гарантируя, что данные доступны в течение определенного периода времени, а время доступности составляет 4096 эпох. что составляет примерно 18 дней. Таким образом, масштабируемость значительно улучшается, а стоимость газа значительно снижается.

После обновления в Канкуне основные L2 начали один за другим адаптироваться к EIP-4844, а затраты на газ также значительно снизились. Например, средние затраты на газ для Starknet, Base, Optimism и Zora после обновления снизились более чем на 96 % по сравнению с 30 днями до обновления. Затраты на газ для Arbitrum и zkSync также снизились на 77 % и 55% соответственно. По данным Blobscan, в настоящее время существует более 40 000 больших двоичных объектов, что позволяет сэкономить в общей сложности 93,69% комиссий за транзакции.

Сравнение медианных затрат на бензин в Канкуне до и после модернизации, источник: Dune.

Значительное снижение платы за L2 Gas обязательно привлечет больше пользователей и разработчиков, которые поддержат и примут его. В этом контексте особого внимания заслуживает компания L2 Morph, которая первой предложила детальную схему адаптации EIP-4844 в ZK-EVM с использованием SNARK. Прежде чем подробно рассказать об адаптационных решениях и функциях Morph, давайте сначала посмотрим, как основной уровень L2 адаптируется к EIP-4844?

С точки зрения метода адаптации, чтобы адаптироваться к EIP-4844, L2 обычно необходимо внести изменения в пакетную отправку, получить данные больших двоичных объектов и проверить верификатор перехода состояния L2, а также проверить доказательство L1 перехода состояния L2 на L1.

В частности, Arbitrum реализовал изменения EIP обновления Cancun посредством обновления Arb OS20. Что касается адаптации EIP-4844, адаптацию необходимо выполнить от первоначальной отправки транзакции до доказательства мошенничества и анализа больших двоичных данных, включая обновление сортировки. Контракт «Входящие» ( для поддержки публикации транзакций в виде больших двоичных объектов), обновление средства доказательства мошенничества Nitro для поддержки проверки сопоставлений KZG и SHA256, а также обновление основного программного обеспечения узла Nitro для обработки анализа данных из больших двоичных объектов EIP-4844.

Optimism, также Optimistic Rollup, обеспечивает доступность данных Blob за счет поддержки этапа извлечения данных Blob DA L1, что требует от операторов цепочек OP обновления своих цепочек и настройки секвенсоров для Ecotone. В настоящее время основная сеть Optimism еще не запустила доказательство мошенничества, но недавно запустила доказательство мошенничества в тестовой сети.Кроме того, решение EIP цепочки OP Stack в настоящее время не охватывает проверку, связанную с доказательством мошенничества, а является лишь оптимизацией. существующего метода хранения L1.

Starknet как накопительный пакет ZK использует доказательства достоверности STARK (масштабируемые прозрачные аргументы с нулевым разглашением), чтобы доказать, что вычисления были выполнены правильно. При адаптации к EIP-4844 переходы состояний Starknet кодируются в определенном формате, а переходы состояний рассчитываются с помощью БПФ (алгоритм быстрого преобразования Фурье).Кроме того, задействован обратный процесс, включающий обратное БПФ и формат перехода состояний в соответствии с к нему, чтобы декодировать. Другой накопительный пакет ZK, zkSync, реализует обновление схемы ZK путем перехода на систему доказательств на основе STARK «Boojum».

Следует отметить, что хотя ZK-SNARK (аргумент неинтерактивного знания с нулевым разглашением) оказывается более масштабируемым и эффективным в цепочке, поскольку EIP-4844 использует кривую BLS12-381 для представления обязательств KZG, в то время как Ethereum в настоящее время мы поддерживаем только предварительную компиляцию кривых BN254, поэтому объединение с использованием SNARK сталкивается с определенными сложностями при адаптации к EIP-4844. Поэтому становится срочной необходимостью скорректировать конструкцию схемы ZK для адаптации к соответствующей эквивалентной кривой.

Хотя мы еще не видели использования реализации SNARK Rollup для адаптации к EIP-4844, Morph взял на себя инициативу, предложив практичное и эффективное решение для проектирования схем в рамках предложения EIP-4844 для решения ряда проблем, возникших в процессе подачи заявки. , особенно вопросы кодирования данных транзакций и использования пространства BLOB-объектов.

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

Первый — это кодирование данных Blob. Morph делит длину пакета на несколько длин фрагмента и сохраняет их в элементах Blob в каждом фрагменте фрагмента. Morph использует обязательство KZG для расчета обязательства данных Blob и использует соответствующий метод проверки для проверки правильности обязательства, что обеспечивает целостность и проверяемость данных Blob. Вторым шагом является проверка оценки полинома Blob. Morph использует доказательство схемы для проверки значения полинома, соответствующего данным Blob, в определенных контрольных точках. Этот процесс проверки обеспечивает правильность и согласованность данных.

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

Что касается проблемы, заключающейся в том, что данные транзакции могут быть распределены в двух Blob, Morph устанавливает правило, согласно которому данные транзакции не будут храниться в двух Blob. Такая конструкция обеспечивает целостность и независимость транзакций и позволяет избежать сложностей и потенциальных рисков безопасности, вызванных сегментацией данных. В то же время, чтобы оптимизировать эффективность обработки нескольких больших двоичных объектов, Morph использует метод многоточечного открытия, обещанный KZG. Этот метод позволяет одновременно обрабатывать несколько больших двоичных объектов в процессе проверки, повышая эффективность проверки.

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

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

Важно отметить, что Morph также разработал уникальный Optimistic ZK Rollup, объединив преимущества технологий Optimistic Rollup и ZK Rollup. Ему не нужно генерировать ZKP для каждого пакета, что позволяет найти баланс между масштабируемостью, низкой стоимостью и высокой производительностью. Сбалансированный.

Кроме того, ZK-SNARK (аргумент неинтерактивного знания с нулевым разглашением), принятый Morph, опирается на доверенные настройки, а количество байтов сгенерированного доказательства меньше, поэтому оно более масштабируемо, лаконично и эффективно в цепочке. .

Что еще более важно, Morph использует гибкую модульную архитектуру, которая позволяет ему быстро адаптироваться к новым стандартам. Это позволяет Morph эффективно интегрировать EIP-4844 и сократить время и усилия, необходимые для снижения затрат на DA и повышения эффективности транзакций. Напротив, обычный Rollup требует хард-форка основной сети или обновления контрактного агента, а также тщательного этапа тестирования для достижения беспрепятственного взаимодействия с существующими системами.

Как упоминалось ранее, схема адаптации Morph EIP-4844 имеет преимущества в снижении потребления газа, совместимости, улучшении использования пространства больших двоичных объектов и эффективной проверке. количество доказательств и количество проверок, тем самым в большей степени снижая расход газа в цепи. Практичность, эффективность и оптимизированная схема решения делают его привлекательным вариантом, который, как ожидается, также будет способствовать развитию экосистемы Ethereum.

Morph, как платформа уровня 2, позиционируемая на потребительском уровне, фокусируется на доработке и оптимизации с точки зрения безопасности, эффективности, масштабируемости и низкой стоимости. В отличие от большинства L2, Morph больше стремится поддерживать создание разнообразных ежедневных потребительских DApps. Такое разнообразное позиционирование позволяет Morph удовлетворить более широкий спектр потребностей пользователей.

В текущей тенденции развития экологии L2 Morph, как L2 потребительского уровня, выделяется своим уникальным Optimistic ZK Rollup. Он может пользоваться преимуществами двух основных решений расширения: Optimistic и ZK Rollup. Он так же дешев, как Оптимистическое объединение и краткая неинтерактивная проверка ZK-SNARK имеют значительные преимущества по стоимости, эффективности и масштабируемости. Превосходная масштабируемость гарантирует, что Morph сможет удовлетворить потребности различных сценариев приложений с высоким уровнем параллелизма в будущем, что делает Morph быстрее, дешевле и проще для внедрения разработчиками и пользователями.

С точки зрения технологий, Morph продолжает демонстрировать инновации и дальновидность.В дополнение к Optimistic ZK Rollup, как упоминалось выше, Morph также устраняет влияние отдельных точек сбоя и поддерживает безопасность и стабильность сети за счет внедрения децентрализованного секвенсора. Его отличительными чертами также являются система Responsive Validity Proof (RVP) и модульная конструкция, обеспечивающие эффективную и гибкую масштабируемость и создающие лучшую среду для более сложных и ресурсоемких приложений, тем самым привлекая более широкий круг пользователей.

В этом месяце Morph также объявила о завершении начального раунда финансирования на сумму 19 млн долларов США и ангельского раунда финансирования на сумму 1 млн долларов США. и т. д., а также ангельский раунд. В число инвесторов входят основатели таких проектов, как Polygon, Manta, Galxe, Sei, Nansen, Story Protocol, а также KOL, таких как Icebergy, MoonOverlord, NaniXBT и Dingaling.

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

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

Два месяца назад Morph запустил публичную тестовую сеть на Sepolia. Поскольку Morph на 100% совместим с EVM, разработчики Ethereum могут развертывать контракты и разрабатывать DApps в знакомой среде разработки. Пользователи также могут взаимодействовать или перекрестно использовать токены Sepolia ETH и ERC-20 между тестовой сетью Morph и тестовой сетью Sepolia. Кроме того, из-за отсутствия разрешений на узлах Morph любой пользователь может запустить свой собственный узел, что еще больше снижает порог участия.

На момент написания тестовая сеть Morph привлекла к участию около 290 000 кошельков, а общее количество транзакций превысило 680 000. Morph планирует возглавить интеграцию EIP-4844 в тестовую сеть Holesky в конце апреля, а в третьем квартале этого года выпустить основную сеть и полностью интегрировать EIP-4844.

В целом, L2 является крупнейшим бенефициаром обновления Cancun.В конце концов, масштабируемость и низкая стоимость всегда были ключевыми факторами в привлечении разработчиков и пользователей. У нас есть основания полагать, что при дальнейшем внедрении EIP-4844 экосистема L2 будет процветать и процветать. Конечно, миссия L2 — не только увеличить трафик и рост экосистемы Ethereum, но и стремиться к прорывам в пропускной способности, доступности, пользовательском опыте и других аспектах. В ZK-EVM с использованием SNARK мы подождем и посмотрим, сможет ли Morph, который первым предложил подробный план адаптации для EIP-4844, полностью использовать дивиденды от обновления в Канкуне и продолжать внедрять инновации.

Ссылка: 1. « Морф: EIP-4844 zkEVM и интегрированное решение с конвергентной защитой » 2. « Foresight Ventures: Скоро обновление в Канкуне, какой L2 был адаптирован? 》3. https://docs.ativity.io/node-running/reference/arbos-software-releases/arbos204, https://medium.com/offchainlabs/arbos-20-atlas-da106378326b5, https://specs .optimism.io/protocol/derivation.html#ecotone-blob-retieval6, https://medium.com/@tommy_chan/eip-4844-proto-danksharding-using-kzg-commitment-what-it-does-and- как-это-действительно-работает-35201987b24c7, https://zksync.mirror.xyz/HJ2Pj45EJkRdt5Pau-ZXwkV2ctPx8qFL19STM5jdYhc