Представляем Eclipse Mainnet: Ethereum SVM L2

СреднийDec 06, 2023
В этой статье подробно рассматриваются различия между Eclipse и существующими технологиями сворачивания с разных точек зрения, подчеркивается сочетание таких преимуществ, как SVM, легкие узлы DAS, доказательства нулевого знания RISC, и используются привязки MetaMask для плавных переходов.
Представляем Eclipse Mainnet: Ethereum SVM L2

Eclipse Mainnet - это L2 общего назначения, который сочетает в себе лучшие части модульного стека:

  1. Расчеты: Ethereum - Eclipse будет осуществлять расчеты в Ethereum (т.е. закрепленный валидационный мост будет находиться на Ethereum) и использовать ETH в качестве своего газового токена.
  2. Исполнение: Виртуальная машина Solana (SVM) - Eclipse будет использовать высокопроизводительную виртуальную машину SVM в качестве среды выполнения.
  3. Доступность данных: Celestia - Eclipse будет размещать свои данные в Celestia для масштабируемой доступности данных (DA).
  4. Доказательства: RISC Zero - Eclipse будет использовать RISC Zero для ZK-доказательств обмана (без сериализации промежуточных состояний!).

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

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

Исполнение: Скорость Солана & Шкала

Eclipse Mainnet будет использовать лучшую в своем классе среду исполнения Solana. Это дает огромные преимущества:

Оптимизированное параллельное выполнение

SVM и его среда выполнения Sealevel, как известно, позволяют выполнять параллельные транзакции. Транзакции, которые не касаются пересекающихся состояний, могут выполняться параллельно, а не последовательно.

Это позволяет SVM напрямую масштабироваться с аппаратным обеспечением, поскольку процессоры продолжают добавлять все больше ядер при меньшей стоимости. Однопоточные режимы выполнения (такие как современные EVM) принципиально не выигрывают от снижения стоимости одного ядра. Вот уже более десяти лет ускорение однопоточной производительности постоянно снижается. Почти все улучшения продолжают происходить за счет увеличения количества ядер, поэтому очень важно воспользоваться этой тенденцией , распараллелив рабочие нагрузки:

Существуют некоторые ранние попытки распараллелить EVM, но их добавление при сохранении совместимости приводит к фундаментальным компромиссам, включая неоптимальную производительность без устранения других узких мест (например, роста состояния). Контракты, объявляющие зависимости состояний заранее (как в SVM), позволяют оптимально распараллелить процесс.

Местные рынки сборов

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

Локальные рынки гонораров возможны благодаря уникальной распараллеленной среде выполнения Solana. Попытка реализовать локальные рынки вознаграждений для государственных точек доступа в EVM с помощью эвристики (т.е. без предварительного объявления о доступе государства) приведет к неэффективности и вероятным векторам атак.

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

Государственное управление ростом

Еще до того, как EVM столкнется с последовательным выполнением как с узким местом, рост состояния станет для него гораздо более серьезным узким местом.

Поскольку для состояния не существует дерева Меркла, Solana не тратит время на обновление дерева Меркла при каждом обновлении состояния. Вместо этого после каждой эпохи (~2,5 дня) все состояние мерклизируется. Это гораздо дешевле, чем мерклизинг в реальном времени (как в EVM).

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

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

Более того, такие команды, как Helius, активно улучшают доступность исторических данных и уменьшают размер состояния с помощью сжатия.

Совместимость ЭВМ

Neon EVM - это EVM, работающий как смарт-контракт, который может быть развернут на любой цепочке SVM. Это обеспечивает полную совместимость EVM с Eclipse Mainnet (включая поддержку байткода EVM и Ethereum JSON-RPC) с большей пропускной способностью, чем у однопоточных EVM. Поскольку каждый экземпляр Neon EVM имеет свой собственный локальный рынок платежей, приложения могут просто развернуть свой собственный контракт, чтобы получить преимущества цепочки приложений без фрагментации UX, безопасности или ликвидности.

Отдельно компилятор Solang позволяет компилировать код смарт-контрактов Solidity в байткод SVM.

Прищепки MetaMask

Переход пользователей EVM на не-EVM цепочки исторически был серьезным препятствием, но недавно представленные Metamask Snaps помогут преодолеть этот барьер. Пользователи EVM могут продолжать использовать MetaMask без необходимости менять кошелек. UX сравним с взаимодействием с любой EVM-цепочкой, благодаря вкладу Driftв создание отличной реализации MetaMask Snap с открытым исходным кодом. Пользователи Eclipse Mainnet смогут взаимодействовать с приложениями в MetaMask или использовать кошелек, созданный на основе Solana, например, Salmon.

Вот краткий обзор пользовательского интерфейса от Drift:

Firedancer

Firedancer - это долгожданный клиент Solana, который разрабатывается компанией Jump для резкого увеличения пропускной способности, устойчивости и эффективности сети. На начальном этапе мы будем максимально придерживаться основного клиента Solana, но мы планируем принять Firedancer, как только код станет живым и стабильным.

Безопасность

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

Более легкое доказательство

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

Расчеты: Безопасность Ethereum & Ликвидность

Как и в случае с сегодняшними крупными роллапами, Eclipse Mainnet перейдет на Ethereum. Конкретно это означает, что наш мост валидации на Ethereum будет непосредственно закреплен в Eclipse. Узлы Eclipse будут обращаться к этому мосту, чтобы определить "каноническую цепочку". Мост обеспечивает правильное упорядочивание для Eclipse.

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

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

Ethereum settlement признает важность, которую активы, созданные на основе Ethereum, вероятно, будут играть в DeFi и NFT-экономиках Eclipse Mainnet. ETH - это лучшие децентрализованные деньги, которые явно предпочитает большинство пользователей, поэтому мы также будем использовать ETH в качестве нашего газового токена. В долгосрочной перспективе абстрагирование платы позволит пользователям платить в любых токенах по своему выбору (например, USDC). На данный момент нет планов по созданию собственного токена для Eclipse Mainnet.

Доступность данных: Пропускная способность Celestia & Верифицируемость

Eclipse Mainnet будет использовать Celestia для обеспечения доступности данных (a.k.a. публикация данных или публикация данных). Celestia является давним партнером Eclipse по экосистеме.

Целевая пропускная способность и тарифы Eclipse Mainnet, к сожалению, не поддерживаются текущей пропускной способностью Ethereum. Это останется неизменным даже после того, как EIP-4844 (a.k.a. "Proto-danksharding"), который обеспечивает в среднем ~0,375 МБ blobspace на блок (с ограничением ~0,75 МБ на блок).

  1. Для переводов ERC-20 с базовым сжатием(~154 байта на транзакцию) это означает ~213 TPS для всех рулонов вместе взятых.
  2. Для свопов со сжатием (~400 байт на транзакцию) это означает ~82 TPS для всех свопов вместе взятых.

Для сравнения, Celestia будет запущена с блоками размером 2 МБ позднее в этом году. Ожидается, что вскоре после запуска Blobspace увеличится до 8 МБ, как только появится достаточное количество узлов с выборкой доступности данных (DAS) и сеть станет стабильной. Световые узлы DAS выполняют две важнейшие функции:

  1. Дайте пользователям возможность самостоятельно убедиться в том, что данные блоков Eclipse стали доступны
  2. Способствует безопасному масштабированию всей сети, так как уровни DA могут безопасно увеличивать свою пропускную способность по мере того, как все больше узлов DAS light вступают в строй

Ожидается, что Celestia станет первым уровнем DA, который будет запущен с DAS в производство. Это контрастирует с традиционными комитетами по доступности данных (DAC), которые вновь вводят предположения о честности комитета без проверки пользователем (сродни существующим монолитным блокчейнам).

Для пользователей, которые переводят свои средства из Ethereum Mainnet в любую цепочку, использующую внецепочечный DA, существует неотъемлемая предпосылка безопасности. В частности, технически возможно, чтобы валидаторы Celestia скрывали данные о транзакциях, но заявляли мосту Ethereum, что эти данные доступны. На практике консенсус Celestia, основанный на доказательстве доли, означает, что утаивание данных на самой Celestia может быть сокращено, что, на наш взгляд, делает этот риск нереальным.

В целом, поддержка легкого узла DAS компанией Celestia с первого дня, криптоэкономические свойства безопасности и высокая масштабируемая пропускная способность DA делают ее очевидным выбором для Eclipse Mainnet уже сегодня.

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

Мы также намерены следить за прогрессом Ethereum в масштабировании DA после EIP-4844. Продолжают появляться новые интересные исследования, которые потенциально могут предложить высокую пропускную способность DA раньше, чем предыдущие идеи (в которых использовались более продвинутые распределенные хэш-таблицы). Если Ethereum обеспечит больший масштаб для Eclipse с пользой для наших пользователей, мы оценим возможность перехода на Ethereum DA.

Доказательства: RISC Zero ZK Доказательства мошенничества (без промежуточной сериализации состояний!)

Наше доказательство будет похоже на доказательство Анатолием мошенничества SVM в SIMD, которое само по себе похоже на понимание Джоном Адлером того, что сериализация состояния - это дорого, и ее можно избежать.

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

На высоком уровне доказательство ошибок требует:

  1. Обязательство по вводу средств для транзакции,
  2. Сама сделка, и
  3. Доказательство того, что повторное выполнение транзакции приводит к результату, отличному от того, который был указан в цепочке.

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

Существует два возможных типа основных неисправностей:

  1. Неправильные выходы - В этом случае верификатор предоставляет ZK-доказательство на цепочке правильных выходов. Мы используем RISC Zero для создания ZK-доказательств выполнения SVM, продолжая нашу предыдущую работу по доказательству выполнения байткода BPF. Это позволяет нашему расчетному контракту обеспечивать корректность без необходимости выполнять транзакции самостоятельно на цепочке.
  2. Неправильные входы - В этом случае верификатор размещает на цепочке ссылку на исторические данные, показывающие, что состояние входа не соответствует заявленному. Используя квантовый гравитационный мост Celestia, наш договор на урегулирование гарантирует, что эти исторические данные действительно являются доказательством мошенничества.

Почему Eclipse, почему Ethereum, почему сейчас

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

Однако они не используют все преимущества новейших технологий, необходимых для массового масштабирования. Ранние выпуски в основном были нацелены на совместимость с EVM и/или оптимизацию для более эффективного ZK-испытания. Однако совсем недавно мы стали свидетелями невероятного прогресса, который избавил нас от необходимости идти на те компромиссы, которые выбирали ранние ролл-апы, и даже поставил их в невыгодное положение:

  1. Высокопроизводительные распараллеленные виртуальные машины (например, SVM)
  2. Масштабирование DA с поддержкой легких узлов DAS (например, Celestia)
  3. Прогресс в инфраструктуре доказательств, позволяющий использовать их в любом месте (например, RISC Zero)
  4. Повышенная переносимость кода (например, Neon и Solang) и пользователей (например, MetaMask Snaps) в разных экосистемах

У Eclipse есть огромное преимущество задней мысли. Мы учимся на тех ограничениях, с которыми столкнулись другие сети, а затем отбираем лучшие части для долгосрочного масштабирования.

https://twitter.com/0xMert?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1680271128537726976%7Ctwgr%5E9336eadfb24c400b8686ae67184014bab31080f1%7Ctwcon%5Es1&ref_url=https%3A%2F%2Fmirror.xyz%2Feclipsemainnet.eth%2Fme7bXLWJDS177V6nl8j1uzF1mxpX6nbGOLNeyBAwXgs

https://twitter.com/colludingnode?refsrc=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1680285353662468097%7Ctwgr%5E9336eadfb24c400b8686ae67184014bab31080f1%7Ctwcon%5Es1&ref_url=https%3A%2F%2Fmirror.xyz%2Feclipsemainnet.eth%2Fme7bXLWJDS177V6nl8j1uzF1mxpX6nbGOLNeyBAwXgs

Мы часто слышим о будущем, в котором будет миллион роллов для конкретных приложений.

Настройки на уровне консенсуса могут быть невероятно ценными для некоторых приложений (например, dYdX v4), и мы рады помочь командам запустить роллы для конкретных приложений.

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

Даже если бы реальный спрос существовал, инфраструктура, необходимая для поддержки множества цепочек приложений с конкурентоспособным UX, находится на расстоянии многих лет (если она вообще когда-нибудь достигнет этого уровня). Суперцепочка Optimism (OP Stack), гиперцепочки zkSync (ZK Stack), цепочки Orbit от Arbitrum и т.д. - все они имеют многоцепочечное видение с общей инфраструктурой. Это сделано для того, чтобы обеспечить более плавный UX при работе между цепочками в одной экосистеме (например, между двумя цепочками в Суперцепях) по сравнению с полностью изолированными цепочками (например, между Ethereum и Solana).

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

Пользователям сложнее поддерживать учетные записи во многих сетях. Это хуже UX - продолжать мостить и беспокоиться о том, какой токен газа Вам нужен. Зависимость от поставщиков инфраструктуры для управления и обслуживания такого количества сетей - это сложнее и дороже.

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

Это заблуждение возникает из-за того, что в сегодняшних роллапах в основном используется ванильный однопоточный EVM без изменений, чтобы воспользоваться ранними сетевыми эффектами. В результате мы часто видим, как "выделенное блочное пространство" упоминается в качестве причины для развертывания специфического для каждого приложения рулона. Эти сумасшедшие монетные дворы NFT не должны поднимать цены на все остальные приложения в Вашей сети, но ответ не в том, чтобы пойти и создать свою собственную сеть. Это все равно что использовать кувалду, чтобы расколоть арахис. Вы идете на болезненные и ненужные компромиссы (сложность, стоимость, худший UX, фрагментарная ликвидность и т.д.). Оптимальное решение невероятно очевидно - просто используйте распараллеленную виртуальную машину с локальными рынками оплаты для государственных горячих точек. Это именно то, что дает SVM.

Ethereum - это интеллектуальный, социальный и экономический центр криптовалют. Ее "ахиллесовой пятой" стало масштабирование. Масштабирование DA еще не завершено, а существующие среды выполнения L2 не могут конкурировать с новыми инновациями, такими как SVM. Мы опасаемся, что экосистема Ethereum будет застигнута врасплох любым резким ростом активности, как это происходит сегодня. Однопоточные EVM и ограниченный DA быстро приведут к возрождению высоких гонораров, только на этот раз за рулонные операции.

Мы считаем, что Eclipse Mainnet - это очевидное решение: объединение производительности Solana с безопасностью, проверяемостью и сетевыми эффектами дорожной карты, ориентированной на рулонирование.

Размышления на прощание

Прелесть Ethereum в том, что он питается инновациями. Дорожная карта, ориентированная на рулоны, является олицетворением этого, делегируя исполнение и инновации свободному рынку. У L2 есть невероятная возможность использовать сетевые эффекты Ethereum и гарантии расчетов, экспериментируя с лучшими новыми средами исполнения. Eclipse Mainnet - это естественное воплощение этого видения.

Если когда-нибудь появится более производительный уровень исполнения, мы будем невероятно рады увидеть его развертывание в качестве конкурентоспособного Ethereum L2. До тех пор SVM остается стандартом.

Чтобы принять участие, свяжитесь с нами по адресу <a href="http://mailto:team@eclipse.builders/"" > team@eclipse.builders для получения инструкций по работе с сетью testnet.

Отказ от ответственности:

  1. Эта статья перепечатана из[Mirror]. Все авторские права принадлежат оригинальному автору[Eclipse]. Если у Вас есть возражения против этой перепечатки, пожалуйста, свяжитесь с командой Gate Learn, и они незамедлительно рассмотрят их.
  2. Предупреждение об ответственности: Мнения и взгляды, выраженные в этой статье, принадлежат исключительно автору и не являются инвестиционным советом.
  3. Перевод статьи на другие языки осуществляется командой Gate Learn. Если не указано, копирование, распространение или плагиат переведенных статей запрещены.

Представляем Eclipse Mainnet: Ethereum SVM L2

СреднийDec 06, 2023
В этой статье подробно рассматриваются различия между Eclipse и существующими технологиями сворачивания с разных точек зрения, подчеркивается сочетание таких преимуществ, как SVM, легкие узлы DAS, доказательства нулевого знания RISC, и используются привязки MetaMask для плавных переходов.
Представляем Eclipse Mainnet: Ethereum SVM L2

Eclipse Mainnet - это L2 общего назначения, который сочетает в себе лучшие части модульного стека:

  1. Расчеты: Ethereum - Eclipse будет осуществлять расчеты в Ethereum (т.е. закрепленный валидационный мост будет находиться на Ethereum) и использовать ETH в качестве своего газового токена.
  2. Исполнение: Виртуальная машина Solana (SVM) - Eclipse будет использовать высокопроизводительную виртуальную машину SVM в качестве среды выполнения.
  3. Доступность данных: Celestia - Eclipse будет размещать свои данные в Celestia для масштабируемой доступности данных (DA).
  4. Доказательства: RISC Zero - Eclipse будет использовать RISC Zero для ZK-доказательств обмана (без сериализации промежуточных состояний!).

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

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

Исполнение: Скорость Солана & Шкала

Eclipse Mainnet будет использовать лучшую в своем классе среду исполнения Solana. Это дает огромные преимущества:

Оптимизированное параллельное выполнение

SVM и его среда выполнения Sealevel, как известно, позволяют выполнять параллельные транзакции. Транзакции, которые не касаются пересекающихся состояний, могут выполняться параллельно, а не последовательно.

Это позволяет SVM напрямую масштабироваться с аппаратным обеспечением, поскольку процессоры продолжают добавлять все больше ядер при меньшей стоимости. Однопоточные режимы выполнения (такие как современные EVM) принципиально не выигрывают от снижения стоимости одного ядра. Вот уже более десяти лет ускорение однопоточной производительности постоянно снижается. Почти все улучшения продолжают происходить за счет увеличения количества ядер, поэтому очень важно воспользоваться этой тенденцией , распараллелив рабочие нагрузки:

Существуют некоторые ранние попытки распараллелить EVM, но их добавление при сохранении совместимости приводит к фундаментальным компромиссам, включая неоптимальную производительность без устранения других узких мест (например, роста состояния). Контракты, объявляющие зависимости состояний заранее (как в SVM), позволяют оптимально распараллелить процесс.

Местные рынки сборов

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

Локальные рынки гонораров возможны благодаря уникальной распараллеленной среде выполнения Solana. Попытка реализовать локальные рынки вознаграждений для государственных точек доступа в EVM с помощью эвристики (т.е. без предварительного объявления о доступе государства) приведет к неэффективности и вероятным векторам атак.

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

Государственное управление ростом

Еще до того, как EVM столкнется с последовательным выполнением как с узким местом, рост состояния станет для него гораздо более серьезным узким местом.

Поскольку для состояния не существует дерева Меркла, Solana не тратит время на обновление дерева Меркла при каждом обновлении состояния. Вместо этого после каждой эпохи (~2,5 дня) все состояние мерклизируется. Это гораздо дешевле, чем мерклизинг в реальном времени (как в EVM).

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

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

Более того, такие команды, как Helius, активно улучшают доступность исторических данных и уменьшают размер состояния с помощью сжатия.

Совместимость ЭВМ

Neon EVM - это EVM, работающий как смарт-контракт, который может быть развернут на любой цепочке SVM. Это обеспечивает полную совместимость EVM с Eclipse Mainnet (включая поддержку байткода EVM и Ethereum JSON-RPC) с большей пропускной способностью, чем у однопоточных EVM. Поскольку каждый экземпляр Neon EVM имеет свой собственный локальный рынок платежей, приложения могут просто развернуть свой собственный контракт, чтобы получить преимущества цепочки приложений без фрагментации UX, безопасности или ликвидности.

Отдельно компилятор Solang позволяет компилировать код смарт-контрактов Solidity в байткод SVM.

Прищепки MetaMask

Переход пользователей EVM на не-EVM цепочки исторически был серьезным препятствием, но недавно представленные Metamask Snaps помогут преодолеть этот барьер. Пользователи EVM могут продолжать использовать MetaMask без необходимости менять кошелек. UX сравним с взаимодействием с любой EVM-цепочкой, благодаря вкладу Driftв создание отличной реализации MetaMask Snap с открытым исходным кодом. Пользователи Eclipse Mainnet смогут взаимодействовать с приложениями в MetaMask или использовать кошелек, созданный на основе Solana, например, Salmon.

Вот краткий обзор пользовательского интерфейса от Drift:

Firedancer

Firedancer - это долгожданный клиент Solana, который разрабатывается компанией Jump для резкого увеличения пропускной способности, устойчивости и эффективности сети. На начальном этапе мы будем максимально придерживаться основного клиента Solana, но мы планируем принять Firedancer, как только код станет живым и стабильным.

Безопасность

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

Более легкое доказательство

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

Расчеты: Безопасность Ethereum & Ликвидность

Как и в случае с сегодняшними крупными роллапами, Eclipse Mainnet перейдет на Ethereum. Конкретно это означает, что наш мост валидации на Ethereum будет непосредственно закреплен в Eclipse. Узлы Eclipse будут обращаться к этому мосту, чтобы определить "каноническую цепочку". Мост обеспечивает правильное упорядочивание для Eclipse.

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

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

Ethereum settlement признает важность, которую активы, созданные на основе Ethereum, вероятно, будут играть в DeFi и NFT-экономиках Eclipse Mainnet. ETH - это лучшие децентрализованные деньги, которые явно предпочитает большинство пользователей, поэтому мы также будем использовать ETH в качестве нашего газового токена. В долгосрочной перспективе абстрагирование платы позволит пользователям платить в любых токенах по своему выбору (например, USDC). На данный момент нет планов по созданию собственного токена для Eclipse Mainnet.

Доступность данных: Пропускная способность Celestia & Верифицируемость

Eclipse Mainnet будет использовать Celestia для обеспечения доступности данных (a.k.a. публикация данных или публикация данных). Celestia является давним партнером Eclipse по экосистеме.

Целевая пропускная способность и тарифы Eclipse Mainnet, к сожалению, не поддерживаются текущей пропускной способностью Ethereum. Это останется неизменным даже после того, как EIP-4844 (a.k.a. "Proto-danksharding"), который обеспечивает в среднем ~0,375 МБ blobspace на блок (с ограничением ~0,75 МБ на блок).

  1. Для переводов ERC-20 с базовым сжатием(~154 байта на транзакцию) это означает ~213 TPS для всех рулонов вместе взятых.
  2. Для свопов со сжатием (~400 байт на транзакцию) это означает ~82 TPS для всех свопов вместе взятых.

Для сравнения, Celestia будет запущена с блоками размером 2 МБ позднее в этом году. Ожидается, что вскоре после запуска Blobspace увеличится до 8 МБ, как только появится достаточное количество узлов с выборкой доступности данных (DAS) и сеть станет стабильной. Световые узлы DAS выполняют две важнейшие функции:

  1. Дайте пользователям возможность самостоятельно убедиться в том, что данные блоков Eclipse стали доступны
  2. Способствует безопасному масштабированию всей сети, так как уровни DA могут безопасно увеличивать свою пропускную способность по мере того, как все больше узлов DAS light вступают в строй

Ожидается, что Celestia станет первым уровнем DA, который будет запущен с DAS в производство. Это контрастирует с традиционными комитетами по доступности данных (DAC), которые вновь вводят предположения о честности комитета без проверки пользователем (сродни существующим монолитным блокчейнам).

Для пользователей, которые переводят свои средства из Ethereum Mainnet в любую цепочку, использующую внецепочечный DA, существует неотъемлемая предпосылка безопасности. В частности, технически возможно, чтобы валидаторы Celestia скрывали данные о транзакциях, но заявляли мосту Ethereum, что эти данные доступны. На практике консенсус Celestia, основанный на доказательстве доли, означает, что утаивание данных на самой Celestia может быть сокращено, что, на наш взгляд, делает этот риск нереальным.

В целом, поддержка легкого узла DAS компанией Celestia с первого дня, криптоэкономические свойства безопасности и высокая масштабируемая пропускная способность DA делают ее очевидным выбором для Eclipse Mainnet уже сегодня.

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

Мы также намерены следить за прогрессом Ethereum в масштабировании DA после EIP-4844. Продолжают появляться новые интересные исследования, которые потенциально могут предложить высокую пропускную способность DA раньше, чем предыдущие идеи (в которых использовались более продвинутые распределенные хэш-таблицы). Если Ethereum обеспечит больший масштаб для Eclipse с пользой для наших пользователей, мы оценим возможность перехода на Ethereum DA.

Доказательства: RISC Zero ZK Доказательства мошенничества (без промежуточной сериализации состояний!)

Наше доказательство будет похоже на доказательство Анатолием мошенничества SVM в SIMD, которое само по себе похоже на понимание Джоном Адлером того, что сериализация состояния - это дорого, и ее можно избежать.

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

На высоком уровне доказательство ошибок требует:

  1. Обязательство по вводу средств для транзакции,
  2. Сама сделка, и
  3. Доказательство того, что повторное выполнение транзакции приводит к результату, отличному от того, который был указан в цепочке.

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

Существует два возможных типа основных неисправностей:

  1. Неправильные выходы - В этом случае верификатор предоставляет ZK-доказательство на цепочке правильных выходов. Мы используем RISC Zero для создания ZK-доказательств выполнения SVM, продолжая нашу предыдущую работу по доказательству выполнения байткода BPF. Это позволяет нашему расчетному контракту обеспечивать корректность без необходимости выполнять транзакции самостоятельно на цепочке.
  2. Неправильные входы - В этом случае верификатор размещает на цепочке ссылку на исторические данные, показывающие, что состояние входа не соответствует заявленному. Используя квантовый гравитационный мост Celestia, наш договор на урегулирование гарантирует, что эти исторические данные действительно являются доказательством мошенничества.

Почему Eclipse, почему Ethereum, почему сейчас

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

Однако они не используют все преимущества новейших технологий, необходимых для массового масштабирования. Ранние выпуски в основном были нацелены на совместимость с EVM и/или оптимизацию для более эффективного ZK-испытания. Однако совсем недавно мы стали свидетелями невероятного прогресса, который избавил нас от необходимости идти на те компромиссы, которые выбирали ранние ролл-апы, и даже поставил их в невыгодное положение:

  1. Высокопроизводительные распараллеленные виртуальные машины (например, SVM)
  2. Масштабирование DA с поддержкой легких узлов DAS (например, Celestia)
  3. Прогресс в инфраструктуре доказательств, позволяющий использовать их в любом месте (например, RISC Zero)
  4. Повышенная переносимость кода (например, Neon и Solang) и пользователей (например, MetaMask Snaps) в разных экосистемах

У Eclipse есть огромное преимущество задней мысли. Мы учимся на тех ограничениях, с которыми столкнулись другие сети, а затем отбираем лучшие части для долгосрочного масштабирования.

https://twitter.com/0xMert?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1680271128537726976%7Ctwgr%5E9336eadfb24c400b8686ae67184014bab31080f1%7Ctwcon%5Es1&ref_url=https%3A%2F%2Fmirror.xyz%2Feclipsemainnet.eth%2Fme7bXLWJDS177V6nl8j1uzF1mxpX6nbGOLNeyBAwXgs

https://twitter.com/colludingnode?refsrc=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1680285353662468097%7Ctwgr%5E9336eadfb24c400b8686ae67184014bab31080f1%7Ctwcon%5Es1&ref_url=https%3A%2F%2Fmirror.xyz%2Feclipsemainnet.eth%2Fme7bXLWJDS177V6nl8j1uzF1mxpX6nbGOLNeyBAwXgs

Мы часто слышим о будущем, в котором будет миллион роллов для конкретных приложений.

Настройки на уровне консенсуса могут быть невероятно ценными для некоторых приложений (например, dYdX v4), и мы рады помочь командам запустить роллы для конкретных приложений.

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

Даже если бы реальный спрос существовал, инфраструктура, необходимая для поддержки множества цепочек приложений с конкурентоспособным UX, находится на расстоянии многих лет (если она вообще когда-нибудь достигнет этого уровня). Суперцепочка Optimism (OP Stack), гиперцепочки zkSync (ZK Stack), цепочки Orbit от Arbitrum и т.д. - все они имеют многоцепочечное видение с общей инфраструктурой. Это сделано для того, чтобы обеспечить более плавный UX при работе между цепочками в одной экосистеме (например, между двумя цепочками в Суперцепях) по сравнению с полностью изолированными цепочками (например, между Ethereum и Solana).

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

Пользователям сложнее поддерживать учетные записи во многих сетях. Это хуже UX - продолжать мостить и беспокоиться о том, какой токен газа Вам нужен. Зависимость от поставщиков инфраструктуры для управления и обслуживания такого количества сетей - это сложнее и дороже.

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

Это заблуждение возникает из-за того, что в сегодняшних роллапах в основном используется ванильный однопоточный EVM без изменений, чтобы воспользоваться ранними сетевыми эффектами. В результате мы часто видим, как "выделенное блочное пространство" упоминается в качестве причины для развертывания специфического для каждого приложения рулона. Эти сумасшедшие монетные дворы NFT не должны поднимать цены на все остальные приложения в Вашей сети, но ответ не в том, чтобы пойти и создать свою собственную сеть. Это все равно что использовать кувалду, чтобы расколоть арахис. Вы идете на болезненные и ненужные компромиссы (сложность, стоимость, худший UX, фрагментарная ликвидность и т.д.). Оптимальное решение невероятно очевидно - просто используйте распараллеленную виртуальную машину с локальными рынками оплаты для государственных горячих точек. Это именно то, что дает SVM.

Ethereum - это интеллектуальный, социальный и экономический центр криптовалют. Ее "ахиллесовой пятой" стало масштабирование. Масштабирование DA еще не завершено, а существующие среды выполнения L2 не могут конкурировать с новыми инновациями, такими как SVM. Мы опасаемся, что экосистема Ethereum будет застигнута врасплох любым резким ростом активности, как это происходит сегодня. Однопоточные EVM и ограниченный DA быстро приведут к возрождению высоких гонораров, только на этот раз за рулонные операции.

Мы считаем, что Eclipse Mainnet - это очевидное решение: объединение производительности Solana с безопасностью, проверяемостью и сетевыми эффектами дорожной карты, ориентированной на рулонирование.

Размышления на прощание

Прелесть Ethereum в том, что он питается инновациями. Дорожная карта, ориентированная на рулоны, является олицетворением этого, делегируя исполнение и инновации свободному рынку. У L2 есть невероятная возможность использовать сетевые эффекты Ethereum и гарантии расчетов, экспериментируя с лучшими новыми средами исполнения. Eclipse Mainnet - это естественное воплощение этого видения.

Если когда-нибудь появится более производительный уровень исполнения, мы будем невероятно рады увидеть его развертывание в качестве конкурентоспособного Ethereum L2. До тех пор SVM остается стандартом.

Чтобы принять участие, свяжитесь с нами по адресу <a href="http://mailto:team@eclipse.builders/"" > team@eclipse.builders для получения инструкций по работе с сетью testnet.

Отказ от ответственности:

  1. Эта статья перепечатана из[Mirror]. Все авторские права принадлежат оригинальному автору[Eclipse]. Если у Вас есть возражения против этой перепечатки, пожалуйста, свяжитесь с командой Gate Learn, и они незамедлительно рассмотрят их.
  2. Предупреждение об ответственности: Мнения и взгляды, выраженные в этой статье, принадлежат исключительно автору и не являются инвестиционным советом.
  3. Перевод статьи на другие языки осуществляется командой Gate Learn. Если не указано, копирование, распространение или плагиат переведенных статей запрещены.
Начните торговать сейчас
Зарегистрируйтесь сейчас и получите ваучер на
$100
!