Всем добрый день и добро пожаловать. Меня зовут Мэгги, я технический директор Foresight Ventures. Сегодня мы потратим 30 минут на разговор о том: «Какой накопительный пакет Ethereum мы хотим?»
Теперь я хотел бы кратко представить нашу компанию.
Foresight Ventures — это исследовательская инвестиционная организация, специализирующаяся на технологии блокчейна и криптоиндустрии. Наша продуктовая матрица включает в себя несколько ключевых компонентов.
Foresight News — крупнейшая многоязычная медиа-платформа Web3 в Азиатско-Тихоокеанском регионе.
Мы также запускаем Foresight X, акселератор, который обеспечивает специальную поддержку стартапам Crypto и в процессе создает процветающее глобальное сообщество разработчиков Web3.
Если вы хотите узнать о нас больше, посетите наш официальный сайт или свяжитесь с нами в социальных сетях.
Давайте теперь обратимся к сегодняшней повестке дня.
Во-первых, давайте рассмотрим недавние споры по поводу того, «что такое Ethereum L2» и Rollups.
После этого мы обсудим: «Какие накопительные пакеты Ethereum мы можем ожидать?»
1. Споры о том, «Что такое Ethereum L2»
В прошлом месяце Данкрад написал в Твиттере: «**Если он не использует Ethereum в качестве уровня доступности данных (DA), это не накопительный пакет Ethereum, и, следовательно, это не L2 Ethereum». Он также сказал, что рассматриваются Plasma и каналы состояния. L2, а Валидиум - нет.
После того, как Данкрад опубликовал свое мнение, многие строители и исследователи в области L2 начали сомневаться в нем. Существует множество проектов L2, которые не используют Ethereum в качестве уровня доступности данных для экономии затрат. Если эти проекты не будут включены в список L2, это окажет существенное влияние на эти проекты расширения сети. Кроме того, некоторые утверждают, что если Validium не считается L2, то и Plasma тоже не должна считаться.
Итак, если вы покопаетесь в документации Ethereum, вы можете заметить, что там неясно, является ли Validium платформой L2. Но они отмечают, что Validium более безопасен, чем Plasma, потому что они используют подтверждение действительности. Кажется, это противоречит точке зрения Данкреда, который считает, что Plasma с некоторых точек зрения более безопасна, чем Validium, поскольку пользователи могут выйти, используя прошлое состояние, которое Validium не может поддерживать.
Итак, однозначного ответа на вопрос, стоит ли включать в L2 плазму и валидиум, нет.
Однако L 2B EAT применила на своем веб-сайте фильтр «показывать только сводные данные», позволяющий пользователям отфильтровывать все проекты, которые не используют Ethereum в качестве уровня DA.
Дебаты по поводу L2 и Rollup выходят за рамки этого. Мы также слышали много разных мнений, таких как «Доступность данных — это запутанный термин, публикация данных лучше», «Классический накопительный пакет также является суверенным накопительным пакетом», «Суверенный накопительный пакет вообще не является накопительным пакетом» и так далее.
Итак, вместо того, чтобы зацикливаться на этих определениях, давайте сосредоточимся на более значимой теме: какой Ethereum L2 мы хотим? **
2. Какой накопительный пакет Ethereum нам нужен?
По определению, уровень 2 — это независимый блокчейн, который расширяет Ethereum и наследует гарантии безопасности Ethereum.
Проблемы безопасности Ethereum Rollup были недооценены. Мы надеемся, что Rollup улучшит безопасность и что появится больше модульных блокчейнов, адаптированных для приложений.
Вот функции, которые мы хотим иметь в решении уровня 2:
Во-первых, Мы хотим, чтобы L2 мог расширять Ethereum, а это означает, что L2 должен иметь мост проверки к Ethereum, позволяющий пользователям передавать активы между L2 и Ethereum и получать безопасность от Ethereum. Например, я могу использовать свой ETH на Arbitrum L2 для определенных транзакций по относительно низкой цене, сохраняя при этом безопасность Ethereum.
Во-вторых, мы надеемся, что L2 сможет достичь сверхвысокой безопасности, унаследовав безопасность Ethereum.
Прежде всего, мы надеемся, что L2 сможет унаследовать безопасность Ethereum. Лучший способ добиться этого — использовать Ethereum в качестве уровня доступности данных (DA), действуя как накопительный пакет для Ethereum. В идеале мы хотели бы сделать узел L2 узлом, не требующим доверия, и нам нужно доверять только Ethereum, чтобы полностью гарантировать безопасность Rollup.
Во-вторых, мы надеемся, что Rollup сможет унаследовать активность Ethereum. Пользователи должны иметь возможность самостоятельно запускать Rollup, даже если узел Rollup не работает, или, по крайней мере, иметь возможность выйти из L2 и вернуть средства в L1.
Кроме того, мы также надеемся, что Rollup сможет унаследовать децентрализацию и устойчивость Ethereum к цензуре.
2.1 Наследование безопасности Ethereum
Чтобы лучше унаследовать безопасность Ethereum (ETH), Ethereum должен использоваться не только для доступности данных и заказа транзакций, но и для расчетов. Уровень Rollup отвечает за выполнение транзакций и переходов между состояниями. Расчет в Ethereum посредством доказательства мошенничества или подтверждения действительности.
Как видно на диаграмме, роли узлов Rollup можно разделить на 2-3 разных типа: Sequencer, Proposer и ZK Prover.
Sequencer играет важную роль в Rollup. Он упаковывает транзакции и отправляет их в сеть Ethereum, используя Ethereum для обеспечения доступности данных и порядка транзакций.
В то же время Предлагающий выполняет эти транзакции и генерирует последнее состояние накопительного пакета, а затем отправляет корень Меркла нового состояния в Ethereum. Если это оптимистичная свертка и никто не инициирует запрос в течение указанного времени, то корень состояния будет принят и транзакция будет подтверждена.
В случае ZK Rollup средство доказательства генерирует доказательство с нулевым разглашением, чтобы доказать достоверность корня состояния. Как только ZKP будет отправлен и подтвержден на Ethereum, транзакция также будет подтверждена.
Таким образом, после того, как все эти данные были зафиксированы и подтверждены в Ethereum, откат транзакции Rollup требует отката Ethereum, наследуя таким образом гарантии безопасности Ethereum. Более того, эти три роли иногда выполняет один и тот же узел. В некоторых протоколах, таких как Optimism, Sequencer одновременно отправляет пакеты транзакций и корни состояний Меркла.
Еще одна проблема, связанная с безопасностью, — это государственная проверка Rollup.Как упоминалось ранее, оптимистичный Rollup использует доказательство мошенничества, а ZK Rollup использует доказательство достоверности, например доказательство с нулевым разглашением.
Преимущество использования доказательств мошенничества (таких как Optimism и Arbitrum) заключается в том, что Rollup может быть эквивалентен виртуальной машине Ethereum (EVM). Однако пользователи должны проверить цепочку, чтобы защитить свои средства, а окончательное подтверждение транзакций происходит медленнее из-за длительного периода проверки, составляющего примерно 7 дней.
ZK Rollup, как Starknet, zkSync, Scroll и Polygon zkEVM, обеспечивает более высокий уровень безопасности за счет использования доказательств с нулевым разглашением, чтобы доказать, что состояние было правильно рассчитано. Как только ZKP будет проверен на L1, транзакция будет завершена немедленно. Это займет всего несколько минут или, самое большее, несколько часов, что намного быстрее, чем оптимистическое объединение. Однако ZK Rollup обычно не полностью эквивалентен EVM.
**С точки зрения безопасности доказательства с нулевым разглашением работают лучше. Они полагаются на надежные криптографические механизмы государственной проверки, а не на честность заинтересованных участников, таких как оптимистичные сводные данные. **Но комиссия за транзакцию может быть выше и не совсем равна EVM. Поэтому выбор того, какой из них использовать, зависит от целей сети.
В некоторых случаях гибридный подход может сочетать в себе функции обоих накопительных пакетов. Новый проект под названием Morphism использует доказательства достоверности ZK для реагирования на проблемы в оптимистичных сводных проектах, что может сократить окно проверки с 7 дней до 1 дня и снизить затраты на DA. Стек OP также исследует использование ZKP для доказательства ошибочных программ Optimism.
Однако существуют серьезные проблемы с безопасностью, связанные с масштабируемостью Rollup. Когда Rollup нуждается в срочном исправлении ошибок или обновлении для поддержки новых функций, иногда необходимо обновить смарт-контракт Rollup на Ethereum. Поэтому решающее значение имеет то, кто контролирует эти смарт-контракты.
Во многих случаях ключи для управления обновлениями принадлежат основным членам команды. Теоретически эти участники имеют возможность украсть средства пользователей с помощью механизмов эскалации. По словам Виталича, это своего рода «черный ход» для разработчиков.
Чтобы избежать этой проблемы, возможность обновления можно отключить. Например, Fuel V1 отключил возможность обновления, но каждая итерация обновления требовала повторного развертывания смарт-контрактов, а пользователям приходилось вручную переносить свои активы в новую версию. Этот процесс аналогичен запуску нового проекта, что приводит к фрагментации ликвидности и значительному снижению гибкости.
**Лучший подход — использовать DAO для обновлений управления и установить задержку, чтобы пользователи, не согласные с обновлением, могли выйти до того, как обновление произойдет. **Это добавляет в Rollup некоторые предположения о безопасности DAO, например предположение о честном большинстве.
**В целом, чтобы унаследовать безопасность Ethereum, мы рекомендуем Rollup использовать Ethereum для доступности данных, заказа транзакций и расчетов. Для государственной проверки более надежно использовать доказательства с нулевым разглашением. Если мы хотим поддерживать возможность обновления, лучше использовать DAO для управления обновлениями и дать пользователям достаточно времени (например, 30 дней) для выхода. **
2.2 Наследование живучести Ethereum
Теперь давайте поговорим о том, как унаследовать жизнеспособность от Ethereum.
Мы надеемся, что даже если текущий сериализатор и предложение выйдет из строя, с помощью основной сети Ethereum пользователи все равно смогут воссоздать состояние L2 и продолжить работу Rollup, или, по крайней мере, у пользователей будет возможность выйти из L1 без доверия.
Однако мы обнаружили, что во многих существующих накопительных пакетах этот механизм отсутствует, например в Optimism, zkSync Era и Base. Если это произойдет, Rollup перестанет работать, и все потеряют свои средства на L2.
Некоторые накопительные пакеты позволяют пользователям принудительно выйти и вывести свои средства на L1, предоставив подтверждение Merkle или доказательство ZK средств на L2.
Но некоторые накопительные пакеты не позволяют вам выводить активы, за исключением залога, а это означает, что ваши локальные активы L2 не могут быть выведены. Если вы обмениваете свое обеспечение на токены NFT или LP, возможно, вы не сможете получить его обратно на Ethereum L1.
Накопительные пакеты, такие как dYdX, позволяют принудительно конвертировать собственные активы L2 в залог, а затем выводить их на L1.
Некоторые накопительные пакеты также поддерживают извлечение NFT в L1.
Лучшее решение — позволить пользователям также стать Sequencers и Proposers, чтобы обеспечить работу Rollup. Например, Polygon zkEVM использует безлицензионный Sequencer. Arbitrum позволяет пользователям принудительно включать транзакции в сводку, отправляя их на L1 (для этой операции предусмотрена однодневная задержка). Кроме того, любой может стать предлагающим после того, как текущий предлагающий из белого списка неактивен в течение 6 дней подряд.
На самом деле активность также связана со степенью децентрализации. Если узлы Rollup лучше децентрализованы и устойчивы к цензуре, активность Rollup будет выше.
**Поэтому, чтобы повысить живучесть Rollup, мы рекомендуем децентрализованные узлы, которые позволяют пользователям самостоятельно заказывать и предлагать транзакции в случае сбоя. **
2.3 Унаследуйте децентрализацию и устойчивость к цензуре Ethereum
Исследования сводной децентрализации в основном сосредоточены на децентрализованном Sequencer.
Сегодня почти все сети Rollup используют только централизованный секвенсор. Секвенсоры имеют возможность отклонять транзакции пользователей и злонамеренно извлекать MEV, что может навредить пользователям в финансовом отношении. Кроме того, использование одного секвенсора не обеспечивает устойчивости к цензуре.
Таким образом, одним из многообещающих методов, которые Rollup изучает для реализации децентрализованной последовательности, является не требующая разрешения децентрализованная последовательность PoS. Этот метод используется в сводном пакете морфизма, где секвенсор выбирается на основе правил POS и выполняет алгоритм консенсуса на основе BFT для достижения консенсуса по пакету транзакций. Некоторые другие объединения пытаются использовать метод выбора лидера для выбора секвенсора лидера каждую эпоху.
Другой метод — через аукцион MEV. В каждую эпоху участники делают ставки, исходя из прибыли, которую они ожидают от комиссий за транзакции, и MEV, который они могут снять в качестве секвенсора. Победитель выплачивает сумму своей ставки в казну Rollup и получает право заказывать сделки и получать всю прибыль в течение этой эпохи.
*Polygon’s Proof-of-Efficiency — это еще один подход, при котором каждый может стать секвенсором или агрегатором. Секвенсеры требуют дополнительную плату для предотвращения спам-атак при предложении пакетов транзакций в Ethereum L1. Агрегатор проверяет пакетные транзакции, выданные секвенатором. Первый агрегатор, представивший сертификат действительности, получит токены, депонированные секвенатором. Однако вычислительные ресурсы отстающих агрегаторов могут быть потрачены впустую.
В методе общего секвенатора группа узлов предоставляет услуги секвенирования нескольким накопителям. Rollup подключается к общей сети секвенсора для управления упорядочиванием транзакций и генерацией блоков. Общие пулы секвенаторов децентрализованы (они выполняют протоколы консенсуса для согласования транзакций и отправки пакетов транзакций).
Все эти технологии децентрализованных секвенаторов все еще находятся в зачаточном состоянии и продолжают развиваться. Поэтому на данный момент мы можем дать только нейтральную оценку.
Доказательства ZKP могут быть такими же децентрализованными и не требующими разрешений, как и доказательства эффективности Polygon, поскольку они не могут выполнять MEV и их трудно вести злонамеренно.
**Подводя итог, нам нужны децентрализованные сериализаторы и пруверы, чтобы повысить устойчивость Rollup к децентрализации и цензуре. **
Помимо вопросов безопасности, есть много других факторов, которые следует учитывать. Вот несколько связанных вопросов:
Как сбалансировать стимулы секвенатора и ZKP-прувера?
Секвенсор может выполнить MEV, а доказывающий — нет. Этот механизм заставляет людей более охотно становиться сериализаторами. Однако на самом деле нам нужно больше доказывающих устройств, чем секвенаторов, поскольку для генерации доказательств с нулевым разглашением требуется больше вычислительной мощности, чем для упаковки транзакций. Итак, как сбалансировать стимулы между ними? Я думаю, нам необходимо разработать умную динамическую модель вознаграждения и модель стимулирования.
После обновления EIP 4844 Rollup будет использовать BLOB-объекты для хранения данных, а данные BLOB-объектов сохраняются в Ethereum только в течение 1–3 месяцев, повлияет ли это на Rollup?
Мой ответ: да, я думаю, что какое-то небольшое влияние будет, но оно будет легко исправлено. Исторические данные Rollup можно загрузить в децентрализованное хранилище для архивирования. Если все узлы Rollup перейдут в автономный режим (особенно в текущей ситуации с одним сериализатором), пользователям придется загружать исторические данные из децентрализованной системы хранения и объединять их с данными больших двоичных объектов из Ethereum L1 для восстановления состояния.
Как снизить комиссию за транзакции Rollup?
При разработке Rollup было много компромиссов между безопасностью, децентрализацией и экономической эффективностью. Например, мы используем ZKP для проверки состояния в целях повышения безопасности, но это требует большей вычислительной мощности, а также делает транзакции более дорогими. Это компромисс между безопасностью и стоимостью. Некоторые накопительные пакеты ZK используют рекурсивные доказательства для агрегирования ZKP для нескольких пакетов транзакций, а затем отправляют объединенные доказательства в L1. Это может сэкономить затраты на газ в Ethereum и снизить комиссию за транзакцию L2, но также увеличит время окончательного подтверждения транзакции.
Подведем итог
Подводя итог, вернемся к нашему первоначальному вопросу: какой накопительный пакет Ethereum мы хотим?
Прежде всего, мы надеемся, что Rollup унаследует не только безопасность Ethereum, но и его живучесть, децентрализацию и устойчивость к цензуре.
На практике очень сложно создать накопительный пакет L2, который не вводит дополнительные предположения о доверии, поскольку возможность обновления, децентрализованные сериализаторы и доверенные установки с доказательством с нулевым разглашением могут включать дополнительные предположения о доверии. Нельзя сказать, что L2 Rollup полностью наследует безопасность ETH, не доверяя какому-либо узлу L2 Rollup.
Для большей безопасности. **Обновления смарт-контрактов L1 Rollup должны регулироваться DAO с установленными задержками, чтобы у пользователей было достаточно времени для выхода, если они не согласны с обновлением. **Однако этот подход также вводит в систему предположения о безопасности DAO.
И последнее, но не менее важное: Не используйте один сериализатор, а используйте децентрализованный сериализатор для лучшей живучести, децентрализации и устойчивости к цензуре.
Прежде чем закончить презентацию, я хочу подчеркнуть: если у кого-то из присутствующих есть отличные идеи и нужны ресурсы для их реализации, не стесняйтесь обращаться к нам в Foresight Ventures.
Кроме того, мы приглашаем вас присоединиться к нашей инкубационной программе Foresight X. Мы здесь, чтобы поддерживать и развивать ваш предпринимательский путь. Благодаря нашим глубоким отраслевым знаниям и обширным ресурсам мы обеспечим процветание вашего проекта.
Кроме того, если вы работаете в академических кругах или занимаетесь исследованиями, Foresight X предлагает конкурсные гранты для поддержки вашего исследовательского пути.
Кроме того, мы предоставляем здесь QR-код со всеми ссылками, которые могут вас заинтересовать, включая отчеты об исследованиях. Не стесняйтесь сфотографироваться или отсканировать код для получения дополнительной информации. Вы можете найти меня в Твиттере, если у вас возникнут вопросы после сеанса.
Еще раз спасибо за уделенное время; надеюсь, вам всем понравилось и хорошего дня.
Чтобы ознакомиться с содержанием PPT, нажмите здесь: 0920).pdf
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Foresight Ventures: Какой пакет Ethereum мы хотим?
Автор оригинала: Maggie-Foresight Ventures
Всем добрый день и добро пожаловать. Меня зовут Мэгги, я технический директор Foresight Ventures. Сегодня мы потратим 30 минут на разговор о том: «Какой накопительный пакет Ethereum мы хотим?»
Теперь я хотел бы кратко представить нашу компанию.
Если вы хотите узнать о нас больше, посетите наш официальный сайт или свяжитесь с нами в социальных сетях.
Давайте теперь обратимся к сегодняшней повестке дня.
Во-первых, давайте рассмотрим недавние споры по поводу того, «что такое Ethereum L2» и Rollups.
После этого мы обсудим: «Какие накопительные пакеты Ethereum мы можем ожидать?»
1. Споры о том, «Что такое Ethereum L2»
В прошлом месяце Данкрад написал в Твиттере: «**Если он не использует Ethereum в качестве уровня доступности данных (DA), это не накопительный пакет Ethereum, и, следовательно, это не L2 Ethereum». Он также сказал, что рассматриваются Plasma и каналы состояния. L2, а Валидиум - нет.
После того, как Данкрад опубликовал свое мнение, многие строители и исследователи в области L2 начали сомневаться в нем. Существует множество проектов L2, которые не используют Ethereum в качестве уровня доступности данных для экономии затрат. Если эти проекты не будут включены в список L2, это окажет существенное влияние на эти проекты расширения сети. Кроме того, некоторые утверждают, что если Validium не считается L2, то и Plasma тоже не должна считаться.
Итак, если вы покопаетесь в документации Ethereum, вы можете заметить, что там неясно, является ли Validium платформой L2. Но они отмечают, что Validium более безопасен, чем Plasma, потому что они используют подтверждение действительности. Кажется, это противоречит точке зрения Данкреда, который считает, что Plasma с некоторых точек зрения более безопасна, чем Validium, поскольку пользователи могут выйти, используя прошлое состояние, которое Validium не может поддерживать.
Итак, однозначного ответа на вопрос, стоит ли включать в L2 плазму и валидиум, нет.
Однако L 2B EAT применила на своем веб-сайте фильтр «показывать только сводные данные», позволяющий пользователям отфильтровывать все проекты, которые не используют Ethereum в качестве уровня DA.
Дебаты по поводу L2 и Rollup выходят за рамки этого. Мы также слышали много разных мнений, таких как «Доступность данных — это запутанный термин, публикация данных лучше», «Классический накопительный пакет также является суверенным накопительным пакетом», «Суверенный накопительный пакет вообще не является накопительным пакетом» и так далее.
Итак, вместо того, чтобы зацикливаться на этих определениях, давайте сосредоточимся на более значимой теме: какой Ethereum L2 мы хотим? **
2. Какой накопительный пакет Ethereum нам нужен?
По определению, уровень 2 — это независимый блокчейн, который расширяет Ethereum и наследует гарантии безопасности Ethereum.
Проблемы безопасности Ethereum Rollup были недооценены. Мы надеемся, что Rollup улучшит безопасность и что появится больше модульных блокчейнов, адаптированных для приложений.
Вот функции, которые мы хотим иметь в решении уровня 2:
2.1 Наследование безопасности Ethereum
Чтобы лучше унаследовать безопасность Ethereum (ETH), Ethereum должен использоваться не только для доступности данных и заказа транзакций, но и для расчетов. Уровень Rollup отвечает за выполнение транзакций и переходов между состояниями. Расчет в Ethereum посредством доказательства мошенничества или подтверждения действительности.
Как видно на диаграмме, роли узлов Rollup можно разделить на 2-3 разных типа: Sequencer, Proposer и ZK Prover.
Таким образом, после того, как все эти данные были зафиксированы и подтверждены в Ethereum, откат транзакции Rollup требует отката Ethereum, наследуя таким образом гарантии безопасности Ethereum. Более того, эти три роли иногда выполняет один и тот же узел. В некоторых протоколах, таких как Optimism, Sequencer одновременно отправляет пакеты транзакций и корни состояний Меркла.
Еще одна проблема, связанная с безопасностью, — это государственная проверка Rollup.Как упоминалось ранее, оптимистичный Rollup использует доказательство мошенничества, а ZK Rollup использует доказательство достоверности, например доказательство с нулевым разглашением.
**С точки зрения безопасности доказательства с нулевым разглашением работают лучше. Они полагаются на надежные криптографические механизмы государственной проверки, а не на честность заинтересованных участников, таких как оптимистичные сводные данные. **Но комиссия за транзакцию может быть выше и не совсем равна EVM. Поэтому выбор того, какой из них использовать, зависит от целей сети.
В некоторых случаях гибридный подход может сочетать в себе функции обоих накопительных пакетов. Новый проект под названием Morphism использует доказательства достоверности ZK для реагирования на проблемы в оптимистичных сводных проектах, что может сократить окно проверки с 7 дней до 1 дня и снизить затраты на DA. Стек OP также исследует использование ZKP для доказательства ошибочных программ Optimism.
Однако существуют серьезные проблемы с безопасностью, связанные с масштабируемостью Rollup. Когда Rollup нуждается в срочном исправлении ошибок или обновлении для поддержки новых функций, иногда необходимо обновить смарт-контракт Rollup на Ethereum. Поэтому решающее значение имеет то, кто контролирует эти смарт-контракты.
**В целом, чтобы унаследовать безопасность Ethereum, мы рекомендуем Rollup использовать Ethereum для доступности данных, заказа транзакций и расчетов. Для государственной проверки более надежно использовать доказательства с нулевым разглашением. Если мы хотим поддерживать возможность обновления, лучше использовать DAO для управления обновлениями и дать пользователям достаточно времени (например, 30 дней) для выхода. **
2.2 Наследование живучести Ethereum
Теперь давайте поговорим о том, как унаследовать жизнеспособность от Ethereum.
Мы надеемся, что даже если текущий сериализатор и предложение выйдет из строя, с помощью основной сети Ethereum пользователи все равно смогут воссоздать состояние L2 и продолжить работу Rollup, или, по крайней мере, у пользователей будет возможность выйти из L1 без доверия.
На самом деле активность также связана со степенью децентрализации. Если узлы Rollup лучше децентрализованы и устойчивы к цензуре, активность Rollup будет выше.
**Поэтому, чтобы повысить живучесть Rollup, мы рекомендуем децентрализованные узлы, которые позволяют пользователям самостоятельно заказывать и предлагать транзакции в случае сбоя. **
2.3 Унаследуйте децентрализацию и устойчивость к цензуре Ethereum
Исследования сводной децентрализации в основном сосредоточены на децентрализованном Sequencer.
Все эти технологии децентрализованных секвенаторов все еще находятся в зачаточном состоянии и продолжают развиваться. Поэтому на данный момент мы можем дать только нейтральную оценку.
Доказательства ZKP могут быть такими же децентрализованными и не требующими разрешений, как и доказательства эффективности Polygon, поскольку они не могут выполнять MEV и их трудно вести злонамеренно.
**Подводя итог, нам нужны децентрализованные сериализаторы и пруверы, чтобы повысить устойчивость Rollup к децентрализации и цензуре. **
Помимо вопросов безопасности, есть много других факторов, которые следует учитывать. Вот несколько связанных вопросов:
Секвенсор может выполнить MEV, а доказывающий — нет. Этот механизм заставляет людей более охотно становиться сериализаторами. Однако на самом деле нам нужно больше доказывающих устройств, чем секвенаторов, поскольку для генерации доказательств с нулевым разглашением требуется больше вычислительной мощности, чем для упаковки транзакций. Итак, как сбалансировать стимулы между ними? Я думаю, нам необходимо разработать умную динамическую модель вознаграждения и модель стимулирования.
Мой ответ: да, я думаю, что какое-то небольшое влияние будет, но оно будет легко исправлено. Исторические данные Rollup можно загрузить в децентрализованное хранилище для архивирования. Если все узлы Rollup перейдут в автономный режим (особенно в текущей ситуации с одним сериализатором), пользователям придется загружать исторические данные из децентрализованной системы хранения и объединять их с данными больших двоичных объектов из Ethereum L1 для восстановления состояния.
При разработке Rollup было много компромиссов между безопасностью, децентрализацией и экономической эффективностью. Например, мы используем ZKP для проверки состояния в целях повышения безопасности, но это требует большей вычислительной мощности, а также делает транзакции более дорогими. Это компромисс между безопасностью и стоимостью. Некоторые накопительные пакеты ZK используют рекурсивные доказательства для агрегирования ZKP для нескольких пакетов транзакций, а затем отправляют объединенные доказательства в L1. Это может сэкономить затраты на газ в Ethereum и снизить комиссию за транзакцию L2, но также увеличит время окончательного подтверждения транзакции.
Подведем итог
Подводя итог, вернемся к нашему первоначальному вопросу: какой накопительный пакет Ethereum мы хотим?
Прежде чем закончить презентацию, я хочу подчеркнуть: если у кого-то из присутствующих есть отличные идеи и нужны ресурсы для их реализации, не стесняйтесь обращаться к нам в Foresight Ventures.
Кроме того, мы приглашаем вас присоединиться к нашей инкубационной программе Foresight X. Мы здесь, чтобы поддерживать и развивать ваш предпринимательский путь. Благодаря нашим глубоким отраслевым знаниям и обширным ресурсам мы обеспечим процветание вашего проекта.
Кроме того, если вы работаете в академических кругах или занимаетесь исследованиями, Foresight X предлагает конкурсные гранты для поддержки вашего исследовательского пути.
Кроме того, мы предоставляем здесь QR-код со всеми ссылками, которые могут вас заинтересовать, включая отчеты об исследованиях. Не стесняйтесь сфотографироваться или отсканировать код для получения дополнительной информации. Вы можете найти меня в Твиттере, если у вас возникнут вопросы после сеанса.
Еще раз спасибо за уделенное время; надеюсь, вам всем понравилось и хорошего дня.
Чтобы ознакомиться с содержанием PPT, нажмите здесь: 0920).pdf