Eclipse Mainnet — это универсальный уровень 2, сочетающий в себе лучшие части модульной архитектуры:
Уровень расчетов: Ethereum — Eclipse будет рассчитываться с Ethereum (т. е. мост проверки будет находиться на Ethereum) и использовать ETH в качестве своего газового токена.
Уровень выполнения: Виртуальная машина Solana (SVM). Eclipse будет использовать высокопроизводительную SVM в качестве среды выполнения.
Доступность данных: Celestia — Eclipse опубликует свои данные в Celestia для масштабируемой доступности данных (DA).
Доказательство: RISC Zero — Eclipse будет использовать RISC Zero для доказательства мошенничества с нулевым разглашением (без необходимости сериализации промежуточного состояния!)
Большинство основных моментов Eclipse связаны с развертыванием накопительных пакетов для конкретных приложений для различных проектов, но теперь, как никогда, ясно, что Ethereum нуждается в универсальном уровне 2, который может достичь настоящего масштаба. Большинство приложений не выиграют от настройки цепочек, специфичных для приложения, и возникающая в результате изоляция и сложность могут фактически привести к ухудшению опыта пользователей и разработчиков.
Часто существует ложная дихотомия между видением модульных объединений и возможностью иметь единую цепочку с массовым масштабированием, параллельным выполнением и общим состоянием. «Модульный» часто путают с «специфичным для приложения», что заставляет думать, что объединение означает мир множества фрагментированных цепочек с низкой пропускной способностью.
Уровень исполнения: скорость и масштаб Соланы
Eclipse Mainnet будет использовать лучшую в своем классе среду выполнения, подобную Solana. Это дает огромные преимущества:
Оптимизированное параллельное выполнение
SVM и ее среда выполнения Sealevel известны своей поддержкой параллельного выполнения транзакций. Транзакции, не затрагивающие перекрывающиеся состояния, могут выполняться параллельно, а не последовательно.
Это позволяет SVM масштабироваться напрямую с помощью оборудования, поскольку процессор продолжает добавлять больше ядер с меньшими затратами. Однопоточные среды выполнения (например, современные EVM) по своей сути не выигрывают от более низкой стоимости ядра. За последнее десятилетие или около того улучшение однопоточной производительности неуклонно снижалось. Почти все улучшения по-прежнему связаны с увеличением количества ядер, поэтому крайне важно воспользоваться этой тенденцией для распараллеливания рабочих нагрузок:
Хотя уже предпринимались первые попытки распараллелить EVM, добавление его при сохранении совместимости сопряжено с фундаментальными компромиссами, включая неоптимальную производительность без устранения других узких мест (таких как рост состояния). Контракты, в которых заранее объявляются зависимости состояний (как в SVM), обеспечивают оптимальное распараллеливание.
Рынок собственных комиссий
Большинство рынков комиссий сегодня являются глобальными, а это означает, что одно популярное приложение увеличит комиссии для всех пользователей сети. Одна чеканка NFT не должна сделать всю цепочку бесполезной для всего остального. Потрясающая работа Соланы над собственным рынком комиссий решает эту проблему разногласий между состояниями между приложениями. В своей текущей реализации планировщик отдает приоритет транзакциям без конфликтов, что позволяет проводить бесконфликтные транзакции с меньшей комиссией. В долгосрочной перспективе собственные рынки комиссий будут реализованы на уровне протоколов. Это гарантирует, что скачки комиссий за одно приложение не повлияют на другие части цепочки.
Собственный рынок комиссий извлекает выгоду из уникальной среды выполнения распараллеливания Solana. Попытка реализовать собственный рынок комиссий для государственных точек доступа в EVM с использованием эвристики (т. е. без предварительного объявления доступа к состоянию) приведет к неэффективности и возможным векторам атак.
Также проводятся некоторые ранние исследования, позволяющие приложениям легко усваивать ценность, присущую самому приложению, что сегодня часто требует большего творчества при проектировании на уровне приложения.
Управление ростом штата
Еще до того, как EVM станет узким местом последовательного выполнения, рост состояния станет его более серьезным узким местом.
Поскольку у штатов нет деревьев Меркла, Солана не требует дополнительных затрат на обновление дерева Меркла для каждого обновления состояния. Вместо этого после каждой эпохи (2,5 дня) все состояние архивируется. Это дешевле, чем живое архивирование (как в EVM).
Что еще более важно, EVM имеет динамический доступ к учетной записи (т. е. транзакции могут касаться любого состояния по требованию). Этот динамический поиск состояния означает, что состояние не может быть загружено в память перед выполнением. В SVM каждая транзакция определяет все состояния, необходимые для выполнения.
Следовательно, размер состояния не влияет на выполнение SVM. Если предположить, что валидаторы обновляют свои диски хранения каждые два года, сеть может безопасно удваивать размер моментального снимка каждые два года, не сталкиваясь с серьезными проблемами.
Кроме того, такие команды, как Helius, активно улучшают доступность исторических данных и уменьшают размер состояния за счет сжатия.
Совместимость с EVM
Neon EVM — это смарт-контракт виртуальной машины Ethereum, который можно развернуть в любой цепочке SVM. Это обеспечивает полную совместимость EVM (включая поддержку байт-кода EVM и Ethereum JSON-RPC) с основной сетью Eclipse с большей пропускной способностью, чем однопоточный EVM. Поскольку каждый экземпляр Neon EVM имеет собственный рынок комиссий, приложения могут просто развертывать свои собственные контракты, чтобы воспользоваться преимуществами цепочки приложений, не нарушая UX, безопасность или ликвидность.
Кроме того, компилятор Solang может компилировать код смарт-контракта Solidity в байт-код SVM.
Привязки метамаски
Побуждение пользователей EVM использовать цепочки, не относящиеся к EVM, исторически было серьезным препятствием, но недавно анонсированные MetaMask Snaps сломают этот барьер. Пользователи EVM могут продолжать использовать MetaMask, не переключая кошельки. Благодаря вкладу Drift с открытым исходным кодом в создание великолепной реализации MetaMask Snaps, этот опыт аналогичен взаимодействию с любой цепочкой EVM. Пользователи основной сети Eclipse смогут взаимодействовать с приложениями непосредственно в MetaMask или использовать собственные кошельки Solana, такие как Salmon.
Танцор огня
Firedancer — это долгожданный клиент Solana, разработанный Jump и предназначенный для значительного повышения пропускной способности, отказоустойчивости и эффективности сети. При запуске мы будем максимально близки к основному клиенту Solana, но планируем внедрить Firedancer, как только код станет активным и стабильным.
безопасность
Solana работает со значительно уменьшенной поверхностью атаки, предотвращая повторные атаки, которые мы видели слишком много раз. В частности, среда выполнения Solana допускает только саморекурсию программы и не допускает произвольных повторных межпрограммных вызовов. Кроме того, разделение состояния и кода приводит к созданию кода без состояния, который, как правило, легче эффективно тестировать.
Простое доказательство
SVM основан на регистрах, а набор инструкций намного меньше, чем у EVM, что упрощает доказательство выполнения SVM в ZK. Для оптимистичных сводных данных конструкция на основе регистров упрощает процедуру проверки контрольных точек.
Расчетный уровень: безопасность и ликвидность на Ethereum
Как и сегодняшнее крупное объединение, расчеты по основной сети Eclipse будут осуществляться с помощью Ethereum. В частности, это означает, что наш мост проверки на Ethereum будет интегрирован непосредственно в Eclipse. Узел Eclipse будет проверять этот мост, чтобы определить «каноническую цепочку». Этот мост обеспечивает правильный порядок для Eclipse.
Это позволяет нашим пользователям получать определенные свойства безопасности от Ethereum. Мост будет проверять все транзакции Eclipse и предотвращать фиксацию недопустимых состояний. Кроме того, это обеспечит окончательную жизнеспособность и устойчивость к цензуре в определенных случаях сбоя. Даже если заказчик L2 перестанет работать или начнет цензуру, пользователи смогут принудительно включить свои транзакции через мост.
Из-за этих свойств безопасности действительные и оптимальные библиотеки часто называют «Ethereum L2». L2BEAT определяет L2 как «цепочку, которая полностью или частично получает свою безопасность от уровня 1 Ethereum, поэтому пользователям не нужно полагаться на честность валидаторов L2 для обеспечения безопасности средств».
Расчеты Ethereum отражают важность собственных активов Ethereum в экономиках DeFi и NFT Eclipse Mainnet. ETH является явно предпочтительной лучшей децентрализованной валютой для большинства пользователей, поэтому мы также будем использовать ETH в качестве нашего газового токена. В долгосрочной перспективе абстракция от комиссий позволит пользователям платить любыми токенами по их выбору (например, USDC). В настоящее время Eclipse Mainnet не планирует выпускать собственные токены.
Доступность данных: пропускная способность и проверяемость Celestia
Основная сеть Eclipse будет использовать Celestia для обеспечения доступности данных (также называемой публикацией данных или публикацией данных). Селестия является давним экосистемным партнером Eclipse.
К сожалению, целевая пропускная способность и комиссии Eclipse Mainnet не поддерживаются текущими ограничениями пропускной способности Ethereum. Это верно даже после EIP-4844 (также известного как «Прото-данкшардинг»), который обеспечивает ~0,375 МБ пространства больших объектов на блок (с ограничением на блок ~0,75 МБ).
Для передач ERC-20 с базовым сжатием (~ 154 байт на транзакцию) это соответствует ~ 213 TPS для всех накопительных пакетов.
Для сжатых обменов (~400 байт на транзакцию) это соответствует ~82 TPS в совокупности.
Для сравнения, Celestia выпустит блоки по 2 МБ к концу этого года. Как только достаточное количество легких узлов выборки доступности данных (DAS) будет подключено к сети и сеть окажется стабильной, ожидается, что вскоре после запуска пространство больших двоичных объектов увеличится до 8 МБ. Легкий узел DAS выполняет две ключевые функции:
Разрешить пользователям самостоятельно проверять, доступны ли данные блока Eclipse;
Помогает безопасно масштабировать всю сеть, поскольку по мере подключения к сети большего количества легких узлов DAS уровень DA может безопасно увеличить свою пропускную способность.
Ожидается, что Celestia станет первым уровнем DA, поддерживающим DAS в производственной среде. Это контрастирует с традиционными комитетами доступности данных (DAC), которые вновь вводят предположение о честности комитета без проверки пользователя (аналогично существующим монолитным блокчейнам).
Существуют неотъемлемые предположения о безопасности для пользователей, пересылающих средства из основной сети Ethereum в любую цепочку, использующую оффчейн DA. В частности, валидаторы Celestia могут технически отклонять данные транзакций, но заявлять, что данные доступны на мосту Ethereum. Фактически, консенсус Celestia по принципу доказательства доли означает, что сокрытие данных самой Celestia наказуемо, что заставляет нас поверить в то, что этот риск нереален.
В целом, поддержка легких узлов DAS Celestia, свойства криптоэкономической безопасности и высокомасштабируемая пропускная способность DA с первого дня делают ее очевидным выбором для Eclipse Mainnet сегодня.
Мы также намерены следить за прогрессом Ethereum в масштабировании DA после EIP-4844. Появляются новые интересные исследования, которые могут обеспечить DA с высокой пропускной способностью раньше, чем считалось ранее (последнее использует более совершенные распределенные хэш-таблицы). Если Ethereum предоставит нашим пользователям больший масштаб, мы оценим возможность перехода на Ethereum DA.
Доказательство: доказательство мошенничества RISC Zero ZK (сериализация промежуточного состояния не требуется!)
Наше доказательство будет похоже на SIMD, доказательство мошенничества SVM Анатолия, которое само по себе похоже на понимание Джона Адлера о том, что сериализация состояний является дорогостоящей и что ее можно избежать.
В частности, мы хотим избежать повторного введения деревьев Меркла в SVM. Мы попытались вставить разреженное дерево Меркла после каждой транзакции в SVM, но обновление дерева Меркла привело к значительной потере производительности. Отсутствие использования деревьев Меркла исключает существующие структуры объединения общего назначения (такие как стек OP) в качестве основы для объединения SVM, а также требует более творческих отказоустойчивых архитектур.
Короче говоря, доказательство отказа требует:
Приверженность вводу транзакций,
сама транзакция и
Докажите, что повторное выполнение транзакции приводит к выводу, отличному от указанного в цепочке.
Обязательства по вводу обычно выполняются путем предоставления корня Меркла дерева состояний свертки. Наш исполнитель опубликует список входных и выходных данных (включая хэши учетных записей и связанное с ними глобальное состояние) для каждой транзакции, а также индекс транзакции, создавшей каждый вход. Транзакции публикуются в Celestia, поэтому любой полный узел может самостоятельно извлечь учетную запись в своем собственном состоянии, вычислить выходную учетную запись и подтвердить правильность обязательства в Ethereum.
Возможны два основных типа неисправностей:
Вывод ошибки — в этом случае верификатор обеспечивает внутрисетевое доказательство с нулевым разглашением правильных результатов выполнения SVM. Мы используем RISC Zero для создания доказательства выполнения SVM с нулевым разглашением, которое является продолжением нашего предыдущего доказательства выполнения байт-кода BPF. Это позволяет нашему расчетному контракту гарантировать правильность без необходимости запуска этих транзакций в самой цепочке.
Неверный ввод — в этом случае валидатор публикует ссылку на исторические данные в цепочке, показывая, что состояние ввода не соответствует заявленному. Используя мост квантовой гравитации Селестии, наш договор урегулирования гарантирует, что эти исторические данные действительно доказывают мошенничество.
Мы стоим на плечах гигантов. Сегодняшнее объединение продвинуло уровень исследований в нашей отрасли и предоставляет пользователям Ethereum более низкие комиссии, чем L1.
Однако они не в полной мере используют преимущества новейших технологий, требующих больших масштабов. Невероятные недавние достижения устранили необходимость идти на эти компромиссы, которые применялись в предыдущих накопительных пакетах, фактически поставив их в невыгодное положение:
Высокопроизводительная параллельная виртуальная машина (например, SVM);
Расширение DA с поддержкой легких узлов DAS (например, Celestia);
Достижения в области инфраструктуры доказательств, которые делают их практичными повсюду (например, RISC Zero);
Улучшена переносимость между экосистемами кода (например, Neon и Solang) и пользователей (например, MetaMask Snaps).
Мы можем извлечь уроки из ограничений, с которыми сталкиваются другие сети, и выбрать лучшие детали для долгосрочного расширения.
Мы часто слышим разговоры о миллионе накопительных пакетов для конкретных приложений в будущем.
Настройка на уровне консенсуса может быть очень ценной для некоторых приложений (например, dYdX v4), и мы рады помочь команде запустить накопительные пакеты для конкретных приложений.
Однако такие ситуации редки. Вот почему большинство новых накопительных пакетов по-прежнему представляют собой простые форки EVM. Проблемы разработчиков не будут решены путем фрагментации UX по большему количеству цепочек. Сегодня основной вариант использования миллионов сетей часто заключается в простом запуске большего количества монет. Для подавляющего большинства случаев использования сегодня не существует необходимости в полной настройке стека технологий.
Даже если реальный спрос существует, инфраструктура, необходимая для поддержки многих цепочек приложений с конкурентоспособным UX, не будет создана в течение многих лет (если вообще появится). Superchain от Optimism (стек OP), Hyperchains от zkSync (стек ZK), цепочка Orbit от Arbitrum и т. д. — все они имеют видение множества цепочек с общей инфраструктурой. Это предназначено для обеспечения более плавного взаимодействия между цепочками в одной экосистеме (например, между двумя цепочками в суперцепочке), а не для полностью изолированных цепочек (например, между Ethereum и Solana).
Однако нынешние планы (если они существуют) далеко не обещают конкуренции с единым общим государством. Кроме того, они не решают проблемы совместимости между экосистемами (например, от суперчейна к гиперчейну). Модульность здания не должна означать создание разрозненности.
Пользователям сложнее поддерживать учетные записи во многих цепочках. Постоянное пересечение цепочек и беспокойство о необходимых газовых токенах — худший пользовательский опыт. Полагаться на поставщиков инфраструктуры для управления и обслуживания такого количества сетей также сложнее и дороже.
Мы всегда восхищались простотой видения Соланы. Высокооптимизированный общий конечный автомат с масштабом, позволяющим поддерживать наиболее ценные варианты использования. Это часто рассматривается как несовместимое с дорожными картами, ориентированными на объединение, но на самом деле это не так. Мы хотели объединить лучшее из обоих миров.
Это недоразумение связано с тем, что сегодняшние накопительные пакеты в основном используют исходную однопоточную EVM, которая практически не изменилась, чтобы воспользоваться преимуществами ранних сетевых эффектов. Поэтому мы часто видим, что «частное пространство блоков» называют причиной развертывания объединенных пакетов для конкретных приложений. Цены на другие приложения в вашей цепочке не должны вырасти из-за какой-то сумасшедшей чеканки NFT, но ответ не в том, чтобы построить свою собственную цепочку. Вы идете на болезненные и ненужные компромиссы (сложность, стоимость, худший пользовательский опыт, фрагментированная ликвидность и т. д.). Лучшее решение очевидно — просто использовать параллельную виртуальную машину с собственным рынком комиссий для государственных точек доступа. Это именно то, что дает SVM.
Эфириум — интеллектуальный, социальный и экономический центр криптовалют. Его ахиллесовой пятой всегда была экспансия. Расширение доступности данных все еще находится в стадии разработки, и существующие среды выполнения L2 не могут конкурировать с новыми инновациями, такими как SVM. Мы обеспокоены тем, что если условия останутся такими же, как сегодня, экосистема Ethereum будет застигнута врасплох в случае любого резкого увеличения активности. Однопоточные EVM и ограниченная доступность данных могут быстро привести к возобновлению высоких затрат, только на этот раз при объединении.
Мы считаем, что Eclipse Mainnet является очевидным решением: сочетание производительности Solana с безопасностью, проверяемостью и сетевыми эффектами дорожной карты, ориентированной на объединение.
Заключение
Прелесть Эфириума в том, что он постоянно обновляется. Примером этого являются дорожные карты, ориентированные на объединение, делегирующие исполнение и инновации свободному рынку. L2 обладает сверхъестественной способностью использовать сетевые эффекты и гарантии расчетов Ethereum, экспериментируя с лучшими новыми средами исполнения. Eclipse Mainnet является естественной реализацией этой концепции.
Если когда-нибудь появится более высокопроизводительный уровень исполнения, мы были бы очень рады увидеть его в качестве конкурентоспособного уровня Ethereum L2. До тех пор SVM остается стандартом.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Основная сеть Eclipse: модульный уровень 2 с безопасностью Ethereum и скоростью Solana, опирающийся на сильные стороны других.
Написал: Затмение
Составил: Deep Wave TechFlow
Eclipse Mainnet — это универсальный уровень 2, сочетающий в себе лучшие части модульной архитектуры:
Большинство основных моментов Eclipse связаны с развертыванием накопительных пакетов для конкретных приложений для различных проектов, но теперь, как никогда, ясно, что Ethereum нуждается в универсальном уровне 2, который может достичь настоящего масштаба. Большинство приложений не выиграют от настройки цепочек, специфичных для приложения, и возникающая в результате изоляция и сложность могут фактически привести к ухудшению опыта пользователей и разработчиков.
Часто существует ложная дихотомия между видением модульных объединений и возможностью иметь единую цепочку с массовым масштабированием, параллельным выполнением и общим состоянием. «Модульный» часто путают с «специфичным для приложения», что заставляет думать, что объединение означает мир множества фрагментированных цепочек с низкой пропускной способностью.
Уровень исполнения: скорость и масштаб Соланы
Eclipse Mainnet будет использовать лучшую в своем классе среду выполнения, подобную Solana. Это дает огромные преимущества:
Оптимизированное параллельное выполнение
SVM и ее среда выполнения Sealevel известны своей поддержкой параллельного выполнения транзакций. Транзакции, не затрагивающие перекрывающиеся состояния, могут выполняться параллельно, а не последовательно.
Это позволяет SVM масштабироваться напрямую с помощью оборудования, поскольку процессор продолжает добавлять больше ядер с меньшими затратами. Однопоточные среды выполнения (например, современные EVM) по своей сути не выигрывают от более низкой стоимости ядра. За последнее десятилетие или около того улучшение однопоточной производительности неуклонно снижалось. Почти все улучшения по-прежнему связаны с увеличением количества ядер, поэтому крайне важно воспользоваться этой тенденцией для распараллеливания рабочих нагрузок:
Хотя уже предпринимались первые попытки распараллелить EVM, добавление его при сохранении совместимости сопряжено с фундаментальными компромиссами, включая неоптимальную производительность без устранения других узких мест (таких как рост состояния). Контракты, в которых заранее объявляются зависимости состояний (как в SVM), обеспечивают оптимальное распараллеливание.
Рынок собственных комиссий
Большинство рынков комиссий сегодня являются глобальными, а это означает, что одно популярное приложение увеличит комиссии для всех пользователей сети. Одна чеканка NFT не должна сделать всю цепочку бесполезной для всего остального. Потрясающая работа Соланы над собственным рынком комиссий решает эту проблему разногласий между состояниями между приложениями. В своей текущей реализации планировщик отдает приоритет транзакциям без конфликтов, что позволяет проводить бесконфликтные транзакции с меньшей комиссией. В долгосрочной перспективе собственные рынки комиссий будут реализованы на уровне протоколов. Это гарантирует, что скачки комиссий за одно приложение не повлияют на другие части цепочки.
Собственный рынок комиссий извлекает выгоду из уникальной среды выполнения распараллеливания Solana. Попытка реализовать собственный рынок комиссий для государственных точек доступа в EVM с использованием эвристики (т. е. без предварительного объявления доступа к состоянию) приведет к неэффективности и возможным векторам атак.
Также проводятся некоторые ранние исследования, позволяющие приложениям легко усваивать ценность, присущую самому приложению, что сегодня часто требует большего творчества при проектировании на уровне приложения.
Управление ростом штата
Еще до того, как EVM станет узким местом последовательного выполнения, рост состояния станет его более серьезным узким местом.
Поскольку у штатов нет деревьев Меркла, Солана не требует дополнительных затрат на обновление дерева Меркла для каждого обновления состояния. Вместо этого после каждой эпохи (2,5 дня) все состояние архивируется. Это дешевле, чем живое архивирование (как в EVM).
Что еще более важно, EVM имеет динамический доступ к учетной записи (т. е. транзакции могут касаться любого состояния по требованию). Этот динамический поиск состояния означает, что состояние не может быть загружено в память перед выполнением. В SVM каждая транзакция определяет все состояния, необходимые для выполнения.
Следовательно, размер состояния не влияет на выполнение SVM. Если предположить, что валидаторы обновляют свои диски хранения каждые два года, сеть может безопасно удваивать размер моментального снимка каждые два года, не сталкиваясь с серьезными проблемами.
Кроме того, такие команды, как Helius, активно улучшают доступность исторических данных и уменьшают размер состояния за счет сжатия.
Совместимость с EVM
Neon EVM — это смарт-контракт виртуальной машины Ethereum, который можно развернуть в любой цепочке SVM. Это обеспечивает полную совместимость EVM (включая поддержку байт-кода EVM и Ethereum JSON-RPC) с основной сетью Eclipse с большей пропускной способностью, чем однопоточный EVM. Поскольку каждый экземпляр Neon EVM имеет собственный рынок комиссий, приложения могут просто развертывать свои собственные контракты, чтобы воспользоваться преимуществами цепочки приложений, не нарушая UX, безопасность или ликвидность.
Кроме того, компилятор Solang может компилировать код смарт-контракта Solidity в байт-код SVM.
Привязки метамаски
Побуждение пользователей EVM использовать цепочки, не относящиеся к EVM, исторически было серьезным препятствием, но недавно анонсированные MetaMask Snaps сломают этот барьер. Пользователи EVM могут продолжать использовать MetaMask, не переключая кошельки. Благодаря вкладу Drift с открытым исходным кодом в создание великолепной реализации MetaMask Snaps, этот опыт аналогичен взаимодействию с любой цепочкой EVM. Пользователи основной сети Eclipse смогут взаимодействовать с приложениями непосредственно в MetaMask или использовать собственные кошельки Solana, такие как Salmon.
Танцор огня
Firedancer — это долгожданный клиент Solana, разработанный Jump и предназначенный для значительного повышения пропускной способности, отказоустойчивости и эффективности сети. При запуске мы будем максимально близки к основному клиенту Solana, но планируем внедрить Firedancer, как только код станет активным и стабильным.
безопасность
Solana работает со значительно уменьшенной поверхностью атаки, предотвращая повторные атаки, которые мы видели слишком много раз. В частности, среда выполнения Solana допускает только саморекурсию программы и не допускает произвольных повторных межпрограммных вызовов. Кроме того, разделение состояния и кода приводит к созданию кода без состояния, который, как правило, легче эффективно тестировать.
Простое доказательство
SVM основан на регистрах, а набор инструкций намного меньше, чем у EVM, что упрощает доказательство выполнения SVM в ZK. Для оптимистичных сводных данных конструкция на основе регистров упрощает процедуру проверки контрольных точек.
Расчетный уровень: безопасность и ликвидность на Ethereum
Как и сегодняшнее крупное объединение, расчеты по основной сети Eclipse будут осуществляться с помощью Ethereum. В частности, это означает, что наш мост проверки на Ethereum будет интегрирован непосредственно в Eclipse. Узел Eclipse будет проверять этот мост, чтобы определить «каноническую цепочку». Этот мост обеспечивает правильный порядок для Eclipse.
Это позволяет нашим пользователям получать определенные свойства безопасности от Ethereum. Мост будет проверять все транзакции Eclipse и предотвращать фиксацию недопустимых состояний. Кроме того, это обеспечит окончательную жизнеспособность и устойчивость к цензуре в определенных случаях сбоя. Даже если заказчик L2 перестанет работать или начнет цензуру, пользователи смогут принудительно включить свои транзакции через мост.
Из-за этих свойств безопасности действительные и оптимальные библиотеки часто называют «Ethereum L2». L2BEAT определяет L2 как «цепочку, которая полностью или частично получает свою безопасность от уровня 1 Ethereum, поэтому пользователям не нужно полагаться на честность валидаторов L2 для обеспечения безопасности средств».
Расчеты Ethereum отражают важность собственных активов Ethereum в экономиках DeFi и NFT Eclipse Mainnet. ETH является явно предпочтительной лучшей децентрализованной валютой для большинства пользователей, поэтому мы также будем использовать ETH в качестве нашего газового токена. В долгосрочной перспективе абстракция от комиссий позволит пользователям платить любыми токенами по их выбору (например, USDC). В настоящее время Eclipse Mainnet не планирует выпускать собственные токены.
Доступность данных: пропускная способность и проверяемость Celestia
Основная сеть Eclipse будет использовать Celestia для обеспечения доступности данных (также называемой публикацией данных или публикацией данных). Селестия является давним экосистемным партнером Eclipse.
К сожалению, целевая пропускная способность и комиссии Eclipse Mainnet не поддерживаются текущими ограничениями пропускной способности Ethereum. Это верно даже после EIP-4844 (также известного как «Прото-данкшардинг»), который обеспечивает ~0,375 МБ пространства больших объектов на блок (с ограничением на блок ~0,75 МБ).
Для сравнения, Celestia выпустит блоки по 2 МБ к концу этого года. Как только достаточное количество легких узлов выборки доступности данных (DAS) будет подключено к сети и сеть окажется стабильной, ожидается, что вскоре после запуска пространство больших двоичных объектов увеличится до 8 МБ. Легкий узел DAS выполняет две ключевые функции:
Ожидается, что Celestia станет первым уровнем DA, поддерживающим DAS в производственной среде. Это контрастирует с традиционными комитетами доступности данных (DAC), которые вновь вводят предположение о честности комитета без проверки пользователя (аналогично существующим монолитным блокчейнам).
Существуют неотъемлемые предположения о безопасности для пользователей, пересылающих средства из основной сети Ethereum в любую цепочку, использующую оффчейн DA. В частности, валидаторы Celestia могут технически отклонять данные транзакций, но заявлять, что данные доступны на мосту Ethereum. Фактически, консенсус Celestia по принципу доказательства доли означает, что сокрытие данных самой Celestia наказуемо, что заставляет нас поверить в то, что этот риск нереален.
В целом, поддержка легких узлов DAS Celestia, свойства криптоэкономической безопасности и высокомасштабируемая пропускная способность DA с первого дня делают ее очевидным выбором для Eclipse Mainnet сегодня.
Мы также намерены следить за прогрессом Ethereum в масштабировании DA после EIP-4844. Появляются новые интересные исследования, которые могут обеспечить DA с высокой пропускной способностью раньше, чем считалось ранее (последнее использует более совершенные распределенные хэш-таблицы). Если Ethereum предоставит нашим пользователям больший масштаб, мы оценим возможность перехода на Ethereum DA.
Доказательство: доказательство мошенничества RISC Zero ZK (сериализация промежуточного состояния не требуется!)
Наше доказательство будет похоже на SIMD, доказательство мошенничества SVM Анатолия, которое само по себе похоже на понимание Джона Адлера о том, что сериализация состояний является дорогостоящей и что ее можно избежать.
В частности, мы хотим избежать повторного введения деревьев Меркла в SVM. Мы попытались вставить разреженное дерево Меркла после каждой транзакции в SVM, но обновление дерева Меркла привело к значительной потере производительности. Отсутствие использования деревьев Меркла исключает существующие структуры объединения общего назначения (такие как стек OP) в качестве основы для объединения SVM, а также требует более творческих отказоустойчивых архитектур.
Короче говоря, доказательство отказа требует:
Обязательства по вводу обычно выполняются путем предоставления корня Меркла дерева состояний свертки. Наш исполнитель опубликует список входных и выходных данных (включая хэши учетных записей и связанное с ними глобальное состояние) для каждой транзакции, а также индекс транзакции, создавшей каждый вход. Транзакции публикуются в Celestia, поэтому любой полный узел может самостоятельно извлечь учетную запись в своем собственном состоянии, вычислить выходную учетную запись и подтвердить правильность обязательства в Ethereum.
Возможны два основных типа неисправностей:
Мы стоим на плечах гигантов. Сегодняшнее объединение продвинуло уровень исследований в нашей отрасли и предоставляет пользователям Ethereum более низкие комиссии, чем L1.
Однако они не в полной мере используют преимущества новейших технологий, требующих больших масштабов. Невероятные недавние достижения устранили необходимость идти на эти компромиссы, которые применялись в предыдущих накопительных пакетах, фактически поставив их в невыгодное положение:
Мы можем извлечь уроки из ограничений, с которыми сталкиваются другие сети, и выбрать лучшие детали для долгосрочного расширения.
Мы часто слышим разговоры о миллионе накопительных пакетов для конкретных приложений в будущем.
Настройка на уровне консенсуса может быть очень ценной для некоторых приложений (например, dYdX v4), и мы рады помочь команде запустить накопительные пакеты для конкретных приложений.
Однако такие ситуации редки. Вот почему большинство новых накопительных пакетов по-прежнему представляют собой простые форки EVM. Проблемы разработчиков не будут решены путем фрагментации UX по большему количеству цепочек. Сегодня основной вариант использования миллионов сетей часто заключается в простом запуске большего количества монет. Для подавляющего большинства случаев использования сегодня не существует необходимости в полной настройке стека технологий.
Даже если реальный спрос существует, инфраструктура, необходимая для поддержки многих цепочек приложений с конкурентоспособным UX, не будет создана в течение многих лет (если вообще появится). Superchain от Optimism (стек OP), Hyperchains от zkSync (стек ZK), цепочка Orbit от Arbitrum и т. д. — все они имеют видение множества цепочек с общей инфраструктурой. Это предназначено для обеспечения более плавного взаимодействия между цепочками в одной экосистеме (например, между двумя цепочками в суперцепочке), а не для полностью изолированных цепочек (например, между Ethereum и Solana).
Однако нынешние планы (если они существуют) далеко не обещают конкуренции с единым общим государством. Кроме того, они не решают проблемы совместимости между экосистемами (например, от суперчейна к гиперчейну). Модульность здания не должна означать создание разрозненности.
Пользователям сложнее поддерживать учетные записи во многих цепочках. Постоянное пересечение цепочек и беспокойство о необходимых газовых токенах — худший пользовательский опыт. Полагаться на поставщиков инфраструктуры для управления и обслуживания такого количества сетей также сложнее и дороже.
Мы всегда восхищались простотой видения Соланы. Высокооптимизированный общий конечный автомат с масштабом, позволяющим поддерживать наиболее ценные варианты использования. Это часто рассматривается как несовместимое с дорожными картами, ориентированными на объединение, но на самом деле это не так. Мы хотели объединить лучшее из обоих миров.
Это недоразумение связано с тем, что сегодняшние накопительные пакеты в основном используют исходную однопоточную EVM, которая практически не изменилась, чтобы воспользоваться преимуществами ранних сетевых эффектов. Поэтому мы часто видим, что «частное пространство блоков» называют причиной развертывания объединенных пакетов для конкретных приложений. Цены на другие приложения в вашей цепочке не должны вырасти из-за какой-то сумасшедшей чеканки NFT, но ответ не в том, чтобы построить свою собственную цепочку. Вы идете на болезненные и ненужные компромиссы (сложность, стоимость, худший пользовательский опыт, фрагментированная ликвидность и т. д.). Лучшее решение очевидно — просто использовать параллельную виртуальную машину с собственным рынком комиссий для государственных точек доступа. Это именно то, что дает SVM.
Эфириум — интеллектуальный, социальный и экономический центр криптовалют. Его ахиллесовой пятой всегда была экспансия. Расширение доступности данных все еще находится в стадии разработки, и существующие среды выполнения L2 не могут конкурировать с новыми инновациями, такими как SVM. Мы обеспокоены тем, что если условия останутся такими же, как сегодня, экосистема Ethereum будет застигнута врасплох в случае любого резкого увеличения активности. Однопоточные EVM и ограниченная доступность данных могут быстро привести к возобновлению высоких затрат, только на этот раз при объединении.
Мы считаем, что Eclipse Mainnet является очевидным решением: сочетание производительности Solana с безопасностью, проверяемостью и сетевыми эффектами дорожной карты, ориентированной на объединение.
Заключение
Прелесть Эфириума в том, что он постоянно обновляется. Примером этого являются дорожные карты, ориентированные на объединение, делегирующие исполнение и инновации свободному рынку. L2 обладает сверхъестественной способностью использовать сетевые эффекты и гарантии расчетов Ethereum, экспериментируя с лучшими новыми средами исполнения. Eclipse Mainnet является естественной реализацией этой концепции.
Если когда-нибудь появится более высокопроизводительный уровень исполнения, мы были бы очень рады увидеть его в качестве конкурентоспособного уровня Ethereum L2. До тех пор SVM остается стандартом.