April 25, 2023

Исчерпывающее руководство по EIP-4844

Транзакционные издержки на Arbitrum, Optimism и L2 скоро станут на x10 дешевле. Каким образом?


EIP-4844 - это первая итерация конструкции шардинга в Ethereum.

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


Ethereum уже упоминал шардинг в качестве одного из обновлений масштабируемости в 2016 году.

Со временем они перешли от полного выполнения шардирования к шардированию только данных, что Виталик описывает как "повышение прагматизма".


На самом деле, проблема доступности данных в сети Ethereum является одним из основных узких мест масштабирования.


Data availability (доступность данных) можно определить как "доказательство того, что основные данные, стоящие за определенным хешем, на самом деле были опубликованы на этой публичной доске, где, если люди захотят, они могут получить их и проверить".


EIP-4844 пытается добавить возможности доступности данных на Ethereum без нарушения совместимости и слоя выполнения на L1.


❔Зачем EIP-4844: создать дешевое место для размещения данных L2-решений на Ethereum и существенно снизить общую комиссию за транзакции, которую пользователи платят на L2.


🔴 Проблема: L2-решения создают все больше данных. Если есть способ размещать их дешево, это сразу снизит расходы пользователей на выполнение транзакций в сети.


🟢 Решение: новый формат транзакций для "транзакций с переносом блобов (массивы данных).". Он содержит большое количество данных, которые "не могут быть доступны для выполнения EVM, но доступ к их обязательству может быть осуществлен".


Вместо того чтобы включать полное содержимое данных в теле транзакции, блобы распространяются отдельно в виде "боковой коляски" (sidecar). Это означает, что данные передаются параллельно основной транзакции, но не входят в тело самой транзакции.

Это, вероятно, один из самых интересных EIP для пользователей, так как они напрямую выиграют от него, поскольку будут платить меньше комиссии на своем любимом L2.

Это является более простой реализацией шардинга на Ethereum и еще одним шагом вперед на пути к дорожной карте, основанной на роллапах Ethereum.

EIP4844 вводит:

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


ЧТО ТАКОЕ BLOB?


Блоб - это непрозрачная, необработанная, байтовая строка, прикрепленная к транзакции, которая попадает в систему Ethereum.

Прикрепленный контент в "боковой коляске" (sidecar) имеет дополнительный срок службы:

Транзакции с блобами оплачивают комиссию и включают обязательство (commitment) для достаточного доказательства того, что некоторые данные существуют, но сами данные разделены.


Оплата комиссии и ссылки обрабатываются Ethereum, в то время как обязательства и блобы хранятся в другом месте, пока не будут удалены: в Ethereum EVM нет прямого содержимого блоба, они сохраняются в beacon nodes, а не в слое выполнения.

• Ethereum: немасштабируемые вычисления, масштабируемые данные (механизм исполнения);

• L2: преобразование немасштабируемых данных и немасштабируемых вычислений в масштабируемые вычисления (доступность данных + проверка выполнения).


Этот выбор конструкции был стратегическим, чтобы гарантировать, что будущая работа по шардингу потребует изменений только в beacon ноде, что позволит слою выполнения работать над другими инициативами параллельно.

Это изменения нод beacon, связанные с этим EIP:

Почему комиссии L2 будут ниже?


Отдельные комиссии за вычисление транзакций и хранение: L2 будет использовать другую функцию для отправки "блобов" в Ethereum.

Вместо использования "CALLDATA", которая хранит данные навсегда, они будут использовать блобы, которые удаляются после определенного периода.


Данные блобов не должны храниться навсегда, а только на определенный период (например, 1-3 месяца), достаточный для того, чтобы L2 могли обеспечить хотя бы одного честного участника, который восстановит состояние и предложит вызов или заменит плохой секвенсер.

Затем данные обрезаются.


EIP-4844 обеспечивает значительное снижение нагрузки на масштабирование роллапов, позволяя им изначально масштабироваться до 0,25 МБ на слот, с отдельным рынком комиссий для блобов, что позволяет снизить комиссии.

Транзакции будут НАМНОГО дешевле, на порядок.


Как L2 будут использовать блобы?


Помещение данных в блобы гарантирует доступность данных, при этом обходясь гораздо дешевле.

L2 используют точки KZG для проверки достоверности блобов.

Что это? Точка KZG «показывает, что конкретное значение в данной точке равно заявленному значению».


• Оптимистические роллапы предоставляют базовые данные при отправке fraud proofs (доказательств мошенничества). Доказательства мошенничества могут проверить validity (достоверность), «загружая одновременно несколько значений блоба через call data (вызов данных)».

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


• ZK-роллапы должны предоставить два обязательства: KZG в блобе и некоторое обязательство, используя систему доказательства ZK.

Затем им нужно доказать, что:

KZG (к которому протокол обращается за доступными данными) и собственное обязательство ZK-роллапа относятся к одним и тем же данным.


Пища для размышлений:


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


Важно то, что значение EIP-4844 постепенно дойдет до пользователей, так как мы все сможем извлечь выгоду из снижения комиссий на L2.

Логика этого предложения соответствует ориентированной на роллапы дорожной карте Ethereum и дополнительно улучшает масштабируемость L2, оставаясь совместимой с будущим шардингом.

Дверь остается открытой для шардов с исполнением EVM в будущем, но прагматически это первый шаг.

Ожидается, что EIP-4844 будет реализован во второй половине 2023 года.

Оригинал


Всё, что нужно знать о MEV и L2 Sequencers



Канал про DeFi

Чат defi degens
Чат по SocialFi, On chain games, Narrative trading