Будущее обновлений Ethereum после слияния [Часть 2]

Крупнейшее обновление Ethereum — переход к механизму консенсуса Proof-of-Stake — не за горами. Но хотя слияние должно повысить безопасность и устойчивость, оно не включает в себя сегментирование — долгожданный метод масштабирования сети. 

In Части I Во время нашего разговора с исследователем Ethereum Foundation (EF) Дэнни Райаном, который помогал координировать процесс обновления, мы обсудили, что слияние призвано обеспечить с точки зрения безопасности и стабильности.

Во второй части Райан рассказывает об обновлениях, которые пользователи могут ожидать в будущем, включая danksharding, Ethereum без сохранения состояния и обновления безопасности, которые борются с ростом извлекаемой стоимости майнеров (MEV). Он также объясняет, как эти многолетние усилия привели к появлению новых методов исследования и тестирования будущих обновлений.

---

Координация в децентрализованной сети

БУДУЩЕЕ: Вы упомянули о возможности того, что майнеры разветвятся и продолжат попытки использовать старую цепочку. Но по большей части этот процесс привлек всех. Какова ваша роль в этом как исследователя Ethereum Foundation? Как координируется такое масштабное движение?

ДЭННИ РАЙАН: Я начал заниматься доказательством доли примерно в 2017 году, и даже тогда это казалось предрешенным. Это было пять лет назад. И сообщество Эфириума было очень готово не застаиваться и делать все правильно, и создать протокол, который работает не только сегодня, но и, надеюсь, будет работать еще 100 лет или больше. 

Таким образом, в самом начале своего пути, когда существовало предчувствие, что доказательство доли может быть сделано безопасно и лучше, чем доказательство работы, люди были очень взволнованы этим. И к тому времени, когда наступает 2016, 2017 год, люди не только взволнованы этим, но и тревожный чтобы это произошло. Кажется, что это должно произойти очень глубоко в духе сообщества Ethereum.

Есть более деликатные вопросы. Есть менее предсказуемые выводы, когда EF, исследовательская группа и клиенты, не входящие в EF, пытаются найти решения проблем и поддерживать работу. Иногда решения находятся в более серой зоне — правильное ли это решение? Делаем ли мы это сейчас? Мы делаем это позже? Это оказывается сложным, и EF пытается помочь скоординировать эти методы, помочь провести некоторые исследования и разработки, чтобы помочь проверить решения, помочь облегчить обсуждение, чтобы определить сроки, приоритеты и заказы. 

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

За последние пять лет к сообществу добавилось гораздо больше голосов, и после слияния оно теоретически станет более децентрализованным. Что вы думаете о будущем процессе обновлений? Возможно ли, что мы рассмотрим какой-то DAO первого уровня для координации обновлений?

Насколько я понимаю, сообщество Эфириума не поддерживает ончейн-голосование — или какое-либо плутократическое голосование и обновления — и что протокол — это тот, который пользователи решают запустить. Как правило, существует широкий консенсус. Иногда возникают расколы — например, Ethereum vs. Ethereum classic. Но, в конце концов, это ваше право, право сообщества и права пользователей решать, какое программное обеспечение они хотят запускать. В целом, мы согласны, потому что люди пытаются сделать Эфириум лучше, и в некоторых основных вещах не так уж много противоречий. 

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

Я бы сказал — и я думаю, что вы намекали на это — за столом все больше и больше людей, и становится все труднее и труднее принимать решения и выпускать продукты. Лично я считаю, что это особенность. Я действительно думаю, что как с точки зрения надежности для приложений и пользователей, так и с точки зрения предотвращения захвата в долгосрочной перспективе, вероятно, важно, чтобы большая часть протокола Ethereum окостенела. Так что, хотя становится все труднее быть в водовороте управления и пытаться грузить, и иногда кажется, что я пытаюсь бежать с утяжелителем и гирями на лодыжках, а теперь у меня есть гири на запястьях, я думаю, у нас есть некоторые важные вещи, которые нужно сделать в течение следующих нескольких лет. Но я думаю, что будет все труднее и труднее добиться цели. И я думаю, что это хорошо.

Виталик называет это «функциональная скорость убегания». Давайте доведем Ethereum до состояния, когда он будет иметь достаточный масштаб и функциональность, чтобы его можно было расширять и использовать бесконечным множеством способов на следующем уровне стека. Пусть EVM имеет минимально достаточную функциональность, имеет достаточную доступность данных для обработки огромных масштабов, а затем приложения могут расширять ее в смарт-контрактах. Второй уровень может экспериментировать с новыми виртуальными машинами внутри своих конструкций второго уровня; вы можете масштабировать Ethereum и так далее и тому подобное.

Я думаю, что будет все труднее и труднее добиться цели. И я думаю, что это хорошо.

Теневые вилки

Одним из результатов этого конкретного процесса тестирования стали теневые форки, процесс копирования реальных данных Ethereum в тестовую сеть для имитации среды тестирования основной сети. Это всегда было в плане? И как, по вашему мнению, это может изменить процесс НИОКР для будущих обновлений?

Мы должны были делать теневые форки последние четыре года. Они великолепны; они действительно крутые. По сути, я беру несколько нод, которые мы контролируем — назовем их 10, 20, 30 — и они думают, что грядет форк, поэтому они находятся в основной сети или в одной из этих тестовых сетей, а затем при каком-то условии форка, например, высоте блока, они все говорят: «Хорошо, мы в новой сети». И они разветвляются, и затем они зависают в своей собственной реальности, но у них есть состояние размером с основную сеть.

И какое-то время вы можете направлять транзакции из основной сети в эту разветвленную реальность, чтобы получить разумное количество того, что выглядит как органическая активность пользователей, что действительно хорошо. Это позволяет нам проверить то, что в конечном итоге стало очень органичным процессом, который трудно смоделировать. И это было здорово. Номинальный [Джаянти] и другие сотрудники команды DevOps в EF организовали их, и мы многому у них научились. Я думаю, если вы спросите кого-нибудь, они ответят: «Ну, да, было бы здорово, если бы мы делали это три года назад, четыре года назад при каждом обновлении».

Но скажу другое. Я говорю это [с тех пор] год назад, и теперь мы находимся в длинном хвосте в области безопасности и тестирования: это действительно избиение этой вещи, чтобы убедиться, что все крайние случаи верны, убедиться, что когда это произойдет, это произойдет. — мы делаем один выстрел, и это работает. И оказывается, что то, как программное обеспечение построено с клиентами уровня выполнения на основе консенсуса, просто требует многого для тестирования с точки зрения тестирования. Теневые вилки — одна из них. Использование других сред моделирования, которые могут тестировать эти две вещи вместе, например эксцесс, антитезаИ другие. 

Есть еще кое-что, что нам нужно сделать, например, перемонтировать Hive, который является нашей интегрированной средой тестирования ночной сборки, чтобы он мог работать с обоими этими типами клиентов и чтобы вы могли писать тесты, в которых разные сложности происходят по обе стороны прохода. Все это должно было случиться. Во-первых, необходимо было разработать или изменить фреймворки. Потом нужно было написать много тестов. Итак, что хорошо в Merge, так это то, что мы действительно улучшили инструменты в нашем наборе инструментов, чтобы иметь возможность тестировать обновления таким образом, что следующее обновление будет гораздо больше связано с написанием тестов, а не с размышлениями о том, как даже протестировать их и написание фреймворков для его тестирования. 

Что после подтверждения доли?

Поскольку это продолжалось долгое время, изначально шардинг должен был быть на первом месте. Но развитие экосистемы означало, что вы могли сначала перейти к доказательству доли. Были ли другие разработки экосистемы, появившиеся в ходе этого процесса, которые могли бы изменить ваш подход к будущим обновлениям?

Прежде всего, вероятно, существует ряд причин, по которым приоритет отдавался переходу на Proof-of-Stake. Один из них заключался в том, чтобы перестать переплачивать за безопасность с подтверждением работы. А вторая заключалась в том, что сквозь эти конструкции второго уровня начал проступать масштаб. Так что, возможно, если у вас есть 10-100-кратный масштаб, вы можете сосредоточиться на другой вещи, закончить работу и объединить эти две разрозненные системы: цепочку маяков и текущую основную сеть. 

Есть и другие факторы, которые повлияли на то, как мы думаем о сроках и приоритетах. Я упоминал ранее, что весь мир MEV кое-что нарушил. Существуют централизация и другие проблемы безопасности, которые возникают, когда вы начинаете думать о том, куда может пойти MEV. И за последние 12 с лишним месяцев было проведено множество исследований о том, как смягчить некоторые из этих проблем с помощью модификаций первого уровня. В зависимости от анализа угроз, исходящих из мира MEV, некоторые функции безопасности и дополнения безопасности для L1 могут быть приоритетными по сравнению с чем-то еще, что, возможно, ожидалось в качестве приоритета. 

Я думаю, что кое-что интересное — это дорожная карта шардинга и текущая ожидаемая конструкция, которая называется danksharding, названной в честь Данкрад [Фейст], наш исследователь в EF. Вся конструкция на самом деле упрощается, если предположить, что эти сильно мотивированные участники MEV существуют. Некоторые из этих внешних акторов изменили не только наши представления о безопасности, но и то, как мы можем думать о построении этих протоколов. Если вы предполагаете, что MEV существует, если вы предполагаете, что эти сильно мотивированные субъекты готовы делать определенные вещи из-за MEV, то внезапно у вас появляется сторонний участник консенсуса, которому вы, возможно, можете что-то переложить, что во многих отношениях можно упростить. Так что появляются не только плохие вещи, но и открываются новые типы дизайна.

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

Эфириум без гражданства все еще активно обсуждается и исследуется? 

Да. Состояние — все счета, контракты, балансы и прочее — это состояние Ethereum. Учитывая, где вы находитесь в блокчейне, существует состояние реальности. Эта штука растет со временем, растет линейно. А если увеличить лимит газа, то он растет еще быстрее. Так что это забота. Если он растет быстрее, чем память и место на жестком диске потребительских машин, то у вас есть проблемы с фактической возможностью запуска узлов на домашних компьютерах и потребительском оборудовании, что имеет проблемы с безопасностью и централизацией. Кроме того, если вы поговорите с некоторыми из гет Члены команды [клиента], тот факт, что штат продолжает расти, означает, что они должны продолжать оптимизировать материал. Так что это тяжело.

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

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

Тем не менее, трудно сказать. Есть “прото-данкшардинг», что похоже на пошаговый способ получить немного больше масштаба. Может быть, это происходит, а затем происходит безгражданство, а затем происходит полное сегментирование, в зависимости от потребностей и оценки того, что происходит, и связанных с этим угроз. Я думаю, что общая мысль о росте состояния заключается в том, что у нас должен быть путь, и мы должны его исправить, но [что] неизбежные пожары уже потушены, и это не то, что нанесет вред Ethereum в ближайшие пару лет. Но это вещь, которая должна быть исправлена.

Расскажите мне об обновлениях, которые мы do знать после слияния. Будет ли обновление очистки? Это отдельно от шанхайского обновления? И когда вводится шардинг?

Шанхай, вероятно, будет названием того, чем будет разветвление после слияния. На самом деле вывести свои средства, которые вы размещали в стейкинге уже почти два года, — [это] не включается при слиянии. Первоначально предполагалось, что они будут выполнены, но, учитывая сложность слияния, со временем было решено действительно упростить его и просто выполнить слияние, а не добавлять дополнительные функции вывода средств. Я очень, очень, очень ожидаю, что в Шанхае будет разрешено снятие средств — так что первое обновление после слияния. Это было обещано многим, многим людям, у которых на кону большой капитал, и я не ожидаю никаких проблем с этим. Они обычно указаны, есть написанные тесты и тому подобное. 

Есть ряд других улучшений EVM [Ethereum Virtual Machine], которые, как я думаю, будут реализованы в этой системе — другие математические операции, некоторые другие возможности расширения, немного улучшенное управление версиями в EVM и другие функции. Это что-то вроде клапана сброса давления для улучшений EVM, которые уже несколько лет откладываются в сторону, чтобы сделать слияние и другие обновления. И люди действительно хотят увидеть здесь какое-то незначительное обновление масштабируемости. Таким образом, это может быть либо прото-данкшардинг, который закладывает часть основы для полного шардинга и получает немного больше масштаба, либо потенциальное снижение цен на газ calldata, что очень просто, но на самом деле не является устойчивым решением. Надеюсь, это то, чего мы ожидаем в Шанхае: снятие средств и небольшой масштаб.

Тогда вопрос: что после этого? И это трудно сказать. Если мы получим немного масштаба, и он действительно хорошо дополнит L2, и все будет хорошо, то, возможно, в этот момент возникнет спрос на безгражданство. Или, если у L2 есть ненасытная потребность в большем масштабе, то, возможно, это готовит почву для полного данкшардинга.

Это интервью было отредактировано и сжато. 

Опубликовано: 27 июля, 2022