Обновление Cancun будет запущено 13 марта 2024 г., и EIP4844 скоро появится в сети. Данкшардинг — это основа дорожной карты Ethereum, и это обновление — первый шаг к реализации Данкшардинга.
После того, как Ethereum L2 адаптируется к EIP4844, комиссии за транзакции значительно снизились, а TPS L2 увеличился вдвое. **Пользователи почувствуют, что транзакции стали быстрее, дешевле, более плавными и более отзывчивыми. На этих L2 будут более сложные и крупные приложения Dapp. **
Оптимистичные накопительные пакеты легче адаптировать к EIP4844, а накопительные пакеты ZK адаптировать** сложнее**. У Ethereum нет предварительно скомпилированного контракта для поддержки эллиптических кривых BLS12-381, что затрудняет проверку некоторых ZKP и препятствует прогрессу адаптации объединений ZK к EIP4844. **
*Проблему эллиптических кривых можно решить двумя способами: 1. Подождать, пока Ethereum предварительно скомпилирует эллиптические кривые BLS12-381; 2. Использовать другой метод доказательства для достижения той же цели, использовать BN254, поддерживаемый предварительной компиляцией Ethereum.
В настоящее время Arbitrum, Optimistic, Starknet, zkSync, Scroll, Polygon zkEVM и новый L2 Morph адаптируются к EIP4844. Среди них Arbitrum, Optimistic и Starknet заявили, что реализуют адаптацию EIP4844 после обновления Cancun. Morph возглавил выпуск инновационного решения для адаптации zkSNARK zkEVM, которое станет первым zkSNARK zkEVM, адаптирующимся к EIP4844
1. История
В 2020 году Ethereum выпустил «Дорожную карту Ethereum, ориентированную на объединение», а окончательная картина Ethereum, описанная в «Финале», опубликованная Виталиком в следующем году**, определила общую картину Ethereum.Направление: Оптимизация конструкции базового слоя Ethereum для обслуживания Rollup. **
Ethereum разработал технологию шардинга Danksharding, чтобы улучшить удобство использования Ethereum как уровня доступности данных. Это позволит значительно снизить комиссию за транзакции L2, увеличить TPS Rollup и добиться существенного расширения Ethereum.
До этого года обновление Ethereum Cancun-Dencun было наконец запущено 13 марта 2024 года, и EIP4844 вот-вот выйдет в сеть.Этот хард-форк можно назвать первым шагом во внедрении Ethereum Danksharding.Ядро дорожной карты. **
Что такое уровень DA, технические принципы Danksharding и содержание EIP4844, обратитесь к технической статье, которую я написал в прошлом году: DA (доступность данных) Приближается лето?
**2. Какую пользу L2 принесет обновление Канкуна? **
EIP4844 представляет новый тип транзакций, называемый транзакциями с переносом больших двоичных объектов**. **Каждая транзакция, содержащая большие двоичные объекты, может «переносить» список больших двоичных объектов. Большой двоичный объект — это пакет данных размером примерно 125 КБ. Блобы хранятся небольшой промежуток времени, всего 4096 эпох, что составляет чуть больше 18 дней.
Комиссии за транзакции L2 значительно снизились. Поскольку BLOB-объекты не требуют постоянного хранилища, они больше и дешевле блочного пространства. Blob может хранить в 10 раз больше данных, чем Calldata, при том же расходе газа. Накопительный пакет, адаптированный к EIP4844, может хранить данные транзакций в BLOB-объектах, что на порядок снижает комиссию за транзакцию.
TPS L2 увеличен вдвое. Текущая цель — 3 больших двоичных объекта на блок, максимально допустимое количество — 6 больших двоичных объектов. Блоки имеют размер всего 90 КБ, а каждый большой двоичный объект — около 125 КБ. Внедрение Blob эквивалентно расширению пространства блока для хранения данных Rollup в несколько раз, поэтому TPS Rollup также можно удвоить. А в «Об увеличении лимита газа в блоке», написанном Тони и Виталиком, говорится, что за счет увеличения лимита газа в блоке и цены ненулевых байтов данных вызовов будет достигнут меньший размер блока с меньшим количеством переменных, так что в него можно будет добавить больше будущее. Чем больше BLOB-объектов, тем больше места для хранения.
Для конечных пользователей после адаптации **EthereumL2 к EIP4844 скорость транзакций станет выше, стоимость будет ниже, работа будет более плавной, а реакция будет более оперативной. На этих L2 будут более сложные и крупные приложения Dapp. **
3. Как L2 адаптируется к EIP4844?
Как L2 адаптируется к EIP4844? Нам нужно обсудить Optimistic Rollup и ZK Rollup отдельно.
Оптимистичные накопительные пакеты адаптируются к EIP4844
Оптимистическое объединение использует доказательство мошенничества, чтобы гарантировать правильность выполнения объединения. То есть узел сначала решает поверить, что переход состояния правильный.Если кто-то не инициирует сертификат мошенничества в течение определенного периода времени, чтобы доказать, что ранее отправленный переход состояния является незаконным, переход состояния будет отменен.
Оптимистическое объединение проще адаптировать к EIP4844, чем объединение ZK. Отправьте все транзакции L2 в L1 посредством транзакций, переносящих Blob, чтобы завершить адаптацию. Кроме того, необходимо адаптировать доказательство мошенничества к EIP 4844. Эту часть можно выполнять медленно. В конце концов, многие оптимистичные сводки еще не представили доказательства мошенничества. Я разместил в Интернете свидетельство о мошенничестве, но обнаружил, что свидетельство о мошенничестве не было представлено более двух лет.
Отправка транзакции L2: при отправке сводного объекта транзакция, содержащая большие двоичные объекты, используется для хранения данных сводных данных в большом двоичном объекте. Полезная нагрузка транзакции, переносящей BLOB-объекты, равна rlp([tx_payload_body, BLOB-объекты, обязательства, доказательства]), где
tx_payload_body — это TransactionPayloadBody стандартной транзакции больших двоичных объектов EIP-2718.
blobs — список BLOB-объектов. Транзакция может содержать до двух больших двоичных объектов.
обязательства — список обязательств KZG по BLOB-объекту.
доказательства – большой блок и список доказательств, соответствующих обязательствам KZG. Это доказательство будет проверено узлом ETH.
Поправка для доказательства мошенничества:
Во-первых, доказывающему и проверяющему необходимо несколько раундов взаимодействия, чтобы найти точку спора.
Затем отправьте спорный вопрос на рассмотрение L1. Чтобы адаптироваться к EIP4844, может потребоваться доказать, что рассматриваемые данные хранятся в определенном Blob.
Поскольку данные BLOB-объектов будут удалены примерно через 18 дней, период проверки должен наступить до их удаления, что соответствует текущим оптимистичным сводным данным. Как правило, срок рассмотрения не превышает 7 дней.
Объединенные пакеты ZK адаптируются к EIP4844
Объединение ZK использует ZKP для доказательства правильности перехода состояния L2. Адаптация ZK накопительного пакета к EIP4844 сложнее, чем оптимистического накопительного пакета.
Отправка транзакции L2. Этот этап оптимистического сведения аналогичен.
**Отправка доказательства ZK: по сравнению с накопительным пакетом ZK перед адаптацией, в дополнение к доказательству перехода состояния ZKP требуется еще один процесс подтверждения. То есть доказывается, что фиксация BLOB-объекта и пакет транзакций совпадают, что гарантирует правильность ввода доказательства перехода состояния. **
Например: схема перехода состояний ZK может генерировать доказательство процесса расчета a + a = b. ZKP генерируется, когда (a=1,b=2) и (a=2,b=4) допустимы. Следовательно, мне также необходимо предоставить доказательство того, что введенные мной в тот момент входные данные были (a=1,b=2) вместо (a=2,b=4).
Это не нужно делать перед адаптацией к EIP4844, поскольку данные хранятся непосредственно в Calldata и могут быть прочитаны напрямую, гарантируя, что ввод не будет скорректирован. После использования EIP4844 данные Blob невозможно прочитать напрямую, и это можно доказать только с помощью новой схемы.
Этот механизм доказательства проще реализовать, используя пакет ZK STARK (например, Starknet). Это проблема для объединения ZK с использованием SNARK. Причина в следующем: ** Эллиптическая кривая, используемая для обязательства blob EIP4844, — это BLS12-381, в то время как предварительно скомпилированный контракт ETH поддерживает только BN254. Из-за разных кривых нам сложно это сделать. Непосредственно проверьте подтверждение выполнения обязательства по BLOB-объекту в смарт-контракте. **
**ZkEVM/zkVM с использованием SNARK необходимо решить проблему, упомянутую в пункте 2: доказательство ZK не может быть создано из-за несоответствия кривых. **
Ожидается, что Ethereum будет поддерживать предварительно скомпилированные контракты BLS12-381. Это будет долго.
Используйте другой метод доказательства, чтобы доказать. Для проектирования новых схем необходимо использовать эллиптическую кривую BN254, поддерживаемую предварительно скомпилированным контрактом. В настоящее время мы видим, что Morph использует этот подход. Это также делает Morph первым zkEVM, полностью адаптировавшим EIP4844.
Интегрированное решение Morph EIP-4844 zkEVM, см.:
**4. Какие L2 адаптированы к EIP4844? **
В накопительном пакете Optimistic Optimism и Arbitrum выразили готовность принять EIP-4844 и тесно сотрудничают со своими сообществами для тестирования и развертывания необходимых обновлений. Arbitrum представляет собой накопительный пакет уровня 1 и имеет относительно хорошую безопасность. Это предполагает необходимость адаптации доказательства мошенничества к EIP4844. Оптимистический накопительный пакет — это накопительный пакет уровня 0. На данный момент нет доказательств мошенничества. Его легче адаптировать, но безопасность недостаточно высока.
В агрегировании ZK сложность адаптации агрегирования с использованием STRAK и SNARK различна. EIP4844 легче адаптировать с помощью накопителя STARK, и Starknet является одним из представителей. Starknet опубликовал статью, в которой говорится, что Канкун внедрит адаптацию EIP4844 после обновления (ссылка на статью). Используя накопительный пакет SNARK, zkSync также изучает возможности использования транзакций, переносящих BLOB-объекты, для дальнейшего снижения затрат и повышения производительности. В прошлом году Scroll опубликовал статью, в которой представил идею адаптации EIP4844 (ссылка на статью).
Наиболее впечатляющим из них является Morph, который представляет собой оптимистичный накопительный пакет ZK и первым выпустил решение для адаптации zkEVM к EIP4844. **Можно сказать, что это первый накопительный пакет zkEVM, реализовавший EIP4844. **
Optimistic ZK Rollup сочетает в себе преимущества обоих типов Rollup. Он с оптимизмом верит в результаты выполнения, представленные Sequencer, и позволяет тем, кто сомневается в результатах, инициировать проблемы. Только когда будет выдан запрос, проверяющий сгенерирует ZKP, чтобы доказать правильность результатов выполнения. **Он обладает эффективностью Оптимистического объединения и проверенной ZK надежностью объединения ZK. **
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Грядет обновление Cancun.Какие изменения внесены в основные L2?
TL;DR:
1. История
В 2020 году Ethereum выпустил «Дорожную карту Ethereum, ориентированную на объединение», а окончательная картина Ethereum, описанная в «Финале», опубликованная Виталиком в следующем году**, определила общую картину Ethereum.Направление: Оптимизация конструкции базового слоя Ethereum для обслуживания Rollup. **
Ethereum разработал технологию шардинга Danksharding, чтобы улучшить удобство использования Ethereum как уровня доступности данных. Это позволит значительно снизить комиссию за транзакции L2, увеличить TPS Rollup и добиться существенного расширения Ethereum.
До этого года обновление Ethereum Cancun-Dencun было наконец запущено 13 марта 2024 года, и EIP4844 вот-вот выйдет в сеть.Этот хард-форк можно назвать первым шагом во внедрении Ethereum Danksharding.Ядро дорожной карты. **
**2. Какую пользу L2 принесет обновление Канкуна? **
EIP4844 представляет новый тип транзакций, называемый транзакциями с переносом больших двоичных объектов**. **Каждая транзакция, содержащая большие двоичные объекты, может «переносить» список больших двоичных объектов. Большой двоичный объект — это пакет данных размером примерно 125 КБ. Блобы хранятся небольшой промежуток времени, всего 4096 эпох, что составляет чуть больше 18 дней.
Для конечных пользователей после адаптации **EthereumL2 к EIP4844 скорость транзакций станет выше, стоимость будет ниже, работа будет более плавной, а реакция будет более оперативной. На этих L2 будут более сложные и крупные приложения Dapp. **
3. Как L2 адаптируется к EIP4844?
Как L2 адаптируется к EIP4844? Нам нужно обсудить Optimistic Rollup и ZK Rollup отдельно.
Оптимистичные накопительные пакеты адаптируются к EIP4844
Оптимистическое объединение использует доказательство мошенничества, чтобы гарантировать правильность выполнения объединения. То есть узел сначала решает поверить, что переход состояния правильный.Если кто-то не инициирует сертификат мошенничества в течение определенного периода времени, чтобы доказать, что ранее отправленный переход состояния является незаконным, переход состояния будет отменен.
Оптимистическое объединение проще адаптировать к EIP4844, чем объединение ZK. Отправьте все транзакции L2 в L1 посредством транзакций, переносящих Blob, чтобы завершить адаптацию. Кроме того, необходимо адаптировать доказательство мошенничества к EIP 4844. Эту часть можно выполнять медленно. В конце концов, многие оптимистичные сводки еще не представили доказательства мошенничества. Я разместил в Интернете свидетельство о мошенничестве, но обнаружил, что свидетельство о мошенничестве не было представлено более двух лет.
Отправка транзакции L2: при отправке сводного объекта транзакция, содержащая большие двоичные объекты, используется для хранения данных сводных данных в большом двоичном объекте. Полезная нагрузка транзакции, переносящей BLOB-объекты, равна rlp([tx_payload_body, BLOB-объекты, обязательства, доказательства]), где
Поправка для доказательства мошенничества:
Объединенные пакеты ZK адаптируются к EIP4844
Объединение ZK использует ZKP для доказательства правильности перехода состояния L2. Адаптация ZK накопительного пакета к EIP4844 сложнее, чем оптимистического накопительного пакета.
**4. Какие L2 адаптированы к EIP4844? **
В накопительном пакете Optimistic Optimism и Arbitrum выразили готовность принять EIP-4844 и тесно сотрудничают со своими сообществами для тестирования и развертывания необходимых обновлений. Arbitrum представляет собой накопительный пакет уровня 1 и имеет относительно хорошую безопасность. Это предполагает необходимость адаптации доказательства мошенничества к EIP4844. Оптимистический накопительный пакет — это накопительный пакет уровня 0. На данный момент нет доказательств мошенничества. Его легче адаптировать, но безопасность недостаточно высока.
В агрегировании ZK сложность адаптации агрегирования с использованием STRAK и SNARK различна. EIP4844 легче адаптировать с помощью накопителя STARK, и Starknet является одним из представителей. Starknet опубликовал статью, в которой говорится, что Канкун внедрит адаптацию EIP4844 после обновления (ссылка на статью). Используя накопительный пакет SNARK, zkSync также изучает возможности использования транзакций, переносящих BLOB-объекты, для дальнейшего снижения затрат и повышения производительности. В прошлом году Scroll опубликовал статью, в которой представил идею адаптации EIP4844 (ссылка на статью).
Наиболее впечатляющим из них является Morph, который представляет собой оптимистичный накопительный пакет ZK и первым выпустил решение для адаптации zkEVM к EIP4844. **Можно сказать, что это первый накопительный пакет zkEVM, реализовавший EIP4844. **
Optimistic ZK Rollup сочетает в себе преимущества обоих типов Rollup. Он с оптимизмом верит в результаты выполнения, представленные Sequencer, и позволяет тем, кто сомневается в результатах, инициировать проблемы. Только когда будет выдан запрос, проверяющий сгенерирует ZKP, чтобы доказать правильность результатов выполнения. **Он обладает эффективностью Оптимистического объединения и проверенной ZK надежностью объединения ZK. **