Особая благодарность Эду Фелтену, Джону Адлеру и Георгиосу Константопулосу за обзор.
С широким внедрением Ethereum мы видим устойчивый рост количества отправленных транзакций в Ethereum, что приводит к повышению цен на газ, поскольку транзакции борются за ограниченное пространство в блоке. Это привело к появлению различных решений уровня 2 (L2), которые нацелены на обработку большого количества транзакций без ущерба для безопасности.
Среди множества решений для масштабирования, появившихся в недавнем прошлом, плазма был самым многообещающим. Однако разработка оказалась сложной и страдала от таких проблем, как сценарий массового выхода, проблема с доступностью данных и отсутствие поддержки произвольных смарт-контрактов. Ограничения Plasma вынудили сообщество предложить лучшие решения, и в последние годы Rollups набирают обороты.
Вкратце, Rollups предоставляют изящный способ обойти проблему того, что все узлы Ethereum должны выполнять все транзакции, присутствующие внутри блока, чтобы проверить, включены ли только допустимые переходы. На основе нулевого разглашения ZK-накопительные пакетытранзакции выполняются вне сети, и на Ethereum предоставляется подтверждение того, что были приняты только действительные переходы. Низкая стоимость проверки ZK-Proofs позволяет смарт-контрактам на Ethereum проверять сотни транзакций, не потребляя много газа. Это снижает стоимость транзакции в цепочке до очень низкой стоимости..
Оптимистичные Своды, с другой стороны, зависят от доказательств мошенничества вместо доказательств действительности. Выполнение по-прежнему остается вне сети, но к Ethereum предъявляется претензия с периодом оспаривания. В течение этого периода другие операторы могут проверить претензию и выдвинуть в блокчейне опротестование или доказательство мошенничества, если они не согласны с претензией. Протокол разрешения споров в цепочке решает, какая из сторон верна, и на основе этой транзакции в цепочке достигается завершенность транзакции. Поскольку каждая претензия или проблема должны быть подкреплены долей, злоумышленники лишаются стимулов для подачи неверных претензий или возражений.
В сообществе разделились мнения о том, какой из двух подходов лучше. С одной стороны, ZKP находится на переднем крае, и, хотя это многообещающе, сложно разработать системы ZK, которые можно было бы использовать на практике. В краткосрочной перспективе есть много препятствий на пути к усыновлению. Генерация ZKP может потребовать значительных ресурсов. Существует компромисс между надежной настройкой, стоимостью создания доказательства и стоимостью проверки. Для произвольных переходов смарт-контрактов проектирование схемы ZK является громоздким, а создание доказательств крайне неэффективным. Все это способствовало тому, что никакая EVM-совместимая система ZK еще не была развернута в производстве.
Оптимистические свертки сегодня могут поддерживать большинство кодов операций Ethereum, что упрощает миграцию, а лежащая в основе теория намного проще по сравнению с ZK. Однако из-за отсутствия немедленной окончательности они страдают от проблем с ликвидностью (которые мы обсудим позже). Оптимистические свертки также зависят от устойчивости к цензуре для безопасности, в отличие от ZK Rollups, жизнеспособность которых зависит только от нее.
В то время как две технологии борются за превосходство, если бы мы сделали ставку на долгосрочную перспективу, мы бы, несомненно, вложили свои деньги в ZK-Rollups. Ежедневные исследования с нулевым разглашением подталкивают нас ближе к цели реализации эффективных ZK-Rollups для произвольных переходов между состояниями.
И ZK Rollups, и Optimistic Rollups сегодня могут очень хорошо обрабатывать финансовые транзакции. Однако с точки зрения пользователя опыт будет принципиально другим. Чтобы лучше понять различия, нам сначала нужно определить окончательность в мире, ориентированном на объединение. Обычно транзакция называется окончательной, если известно, что она включена в блок и ее порядок не может быть изменен. В мире объединения пользователи достигают завершенности транзакции, как только они уверены в своем результате. В некоторых сценариях это отличается от задержки вывода, которая зависит от того, когда уровень 1 распознает транзакцию.
Пользователю, участвующему в накопительном пакете, требуется следующее время ожидания:
Роллапы ZK: После того, как оператор принимает транзакцию, пользователю необходимо дождаться генерации доказательства вне сети, отправки подтверждения в цепочке и соответствующей проверки ZK и завершения в Ethereum. И окончательность, и время вывода равны в таких случаях, поскольку пользователь может быть уверен в результате только после того, как доказательство будет отправлено и проверено. Для простых финансовых транзакций это может занять от десятков минут до нескольких часов сегодня. Однако эти сроки сильно различаются в зависимости от приложения, объема пакетной обработки, сложности транзакций и т. Д.
Оптимистичные Своды:
- Пользователь может сам выполнить все транзакции, представленные в претензии, а затем проверить такую претензию. После успешной проверки можно быть уверенным, что претензия верна, и, следовательно, транзакция завершена. Однако протоколы в этой области все еще развиваются, и нам нужно подождать, чтобы увидеть параметры конфигурации, которые эти системы используют в реальных развертываниях. В частности, то, как транзакции упорядочиваются и группируются, и как часто они отправляются в цепочку, определяет задержку, с которой пользователи сталкиваются в связи с окончательностью. Кроме того, по мере роста внедрения цепочки индивидуальная проверка может стать дорогостоящей в вычислительном отношении. Тем не менее, текущие развертывания, такие как Arbitrum, демонстрируют реальные перспективы с очень малой задержкой для завершения, порядка нескольких секунд.
- Для вывода средств пользователю необходимо дождаться периода запроса после того, как оператор получит транзакцию и отправит ее в цепочку. Типичный период проверки сегодня составляет около 1-2 недель, в зависимости от конструкции накопления и консенсуса в сети.
Поставщики ликвидности могут помочь, сотрудничая с операторами и выпуская токены пользователям «немедленно». Такие пулы помогают только с взаимозаменяемыми токенами, но для NFT у пользователей нет другого выбора, кроме ожидания всего периода испытания. Существуют проблемы с точки зрения создания пула ликвидности, согласования выводящих и вкладчиков и т. Д., Но существующие производственные системы уже преодолели такие проблемы. По мере того, как эти системы получают все большее распространение, будет интересно посмотреть, как они решают проблемы в производственной среде.
В краткосрочной перспективе накопительные пакеты значительно снизят стоимость транзакций. Несколько роллап-цепочек уже находятся на стадии тестирования и впечатляют своими результатами. Оба варианта объединения позволяют выполнять от сотен до тысяч транзакций в секунду. Однако цифры не отражают фактическую стоимость и нюансы. Системы ZK Rollup еще не являются универсальными и оптимизированы для одного приложения. Часто ZK Rollups амортизирует стоимость генерации пробных отпечатков, что приводит к очень высокому TPS за счет отсрочки окончательного подтверждения. Необходимо выйти за рамки опубликованных цифр, чтобы понять реальный потенциал систем и выбрать ту, которая лучше всего соответствует их варианту использования.
Несмотря на ошеломляющую производительность, которую обещают эти системы, существует стеклянный потолок для количества транзакций, которые они могут обработать. Даже если накопительные пакеты выполняют тысячи транзакций, им необходимо отправлять все транзакционные данные в цепочку. Чтобы снизить стоимость, сегодня мы используем calldata, но существует верхний предел объема calldata, который может хранить сеть Ethereum. Поскольку в Ethereum развертывается несколько накопительных пакетов и наблюдается массовое внедрение, эта более высокая граница будет препятствовать пропускной способности.
Конечно. В следующих частях этой серии мы исследуем эту область и обсудим, как сообщество работает над решением проблемы. Мы очень рады тому, что происходит в этой сфере, и надеемся, что наши читатели разделят такой же энтузиазм.
Детальный вид:
- Принятие
- Все
- Все транзакции
- Применение
- ПЛОЩАДЬ
- около
- свободных мест
- ЛУЧШЕЕ
- binance
- случаев
- Цензура
- вызов
- требования
- ближе
- сообщество
- Консенсус
- строительство
- контракт
- способствовало
- Текущий
- данным
- задерживать
- Проект
- Развитие
- спор
- Edge
- Эфириума
- эфирная сеть
- масштабирование эфириума
- Выход
- Face
- финансовый
- Во-первых,
- вперед
- мошенничество
- ГАЗ
- Общие
- GM
- GP
- GV
- High
- держать
- Как
- hr
- HTTPS
- Сотни
- Увеличение
- вопросы
- IT
- ведущий
- привело
- Ограниченный
- Ликвидность
- Длинное
- Матис
- Matic Network
- средний
- деньги
- сеть
- NFTs
- узлы
- номера
- Мнения
- Опция
- заказ
- Другое
- производительность
- перспектива
- бассейн
- Пулы
- представить
- Производство
- доказательство
- читатели
- уменьшить
- исследованиям
- Полезные ресурсы
- Итоги
- обзоре
- Run
- масштабирование
- безопасность
- Серии
- Поделиться
- Короткое
- просто
- умный
- умный контракт
- Решения
- Space
- раскол
- доля
- Область
- представленный
- успешный
- поддержка
- система
- системы
- технологии
- тестXNUMX
- Лексемы
- сделка
- Сделки
- us
- пользователей
- проверка
- Вид
- ждать
- в
- Мир
- лет