Виталик Бутерин из Ethereum заявил, что PeerDAS ознаменовал начало перехода Ethereum «от простой блокчейна к чему-то гораздо более мощному».
Соучредитель Ethereum Виталик Бутерин заявил, что обновление Ethereum под названием Hegotá может стать последним «обычным» форком сети перед тем, как разработка переориентируется на технологии, включающие рекурсивные STARK, автоматизированную формальную верификацию, оптимизированный консенсус и квантово-безопасную криптографию.
В воскресенье Бутерин заявил, что Hegotá, запланированное на 2027 год, скорее всего, станет последним обновлением, функции и технологии которого по-прежнему будут понятны тем, кто знаком с Ethereum 2015 года.
Он отметил, что PeerDAS, позволяющий узлам проверять доступность данных путем выборки их частей вместо загрузки всего массива, ознаменовал начало перехода Ethereum «от простой блокчейн-сети к чему-то гораздо более мощному».
Бутерин охарактеризовал этот переход как эволюцию Ethereum в «криптографический мировой компьютер», выходящую за рамки модели, в которой узлы просто загружают и повторно выполняют транзакции, в сторону архитектуры, сочетающей блокчейны с криптографической верификацией, конфиденциальностью и децентрализованными внецепочечными компонентами.
Этот сдвиг может изменить подход к созданию приложений на Ethereum за счёт переноса большей части вычислений за пределы цепочки, при этом базовый уровень будет использоваться для проверки результатов, расчёта транзакций и обеспечения доступа к общему состоянию в цепочке.
Как может выглядеть «мировой компьютер» Ethereum
Пост Бутерина вызвал дискуссию о том, какой объем вычислений и состояния в конечном итоге следует перенести за пределы цепочки, а что Ethereum должен продолжать обрабатывать напрямую по мере развития сети.
Исследователь Ethereum Барнабе Монно (Barnabé Monnot) заявил, что перенос вычислений за пределы цепочки при одновременной фиксации и подтверждении результатов в цепочке может значительно снизить нагрузку на сеть и позволить создавать более «легкие» узлы.
Однако Монно отметил, что «мировой компьютер» все же должен хранить важные записи, от которых напрямую зависят его приложения, непосредственно в цепочке. По его словам, это позволит пользователям видеть, что происходит, и взаимодействовать с приложениями напрямую, не полагаясь на внешние серверы или посредников.
Связанная статья: Виталик Бутерин поделился приоритетами для новой предварительной схемы «Lean Ethereum»
Комментатор под псевдонимом Cryptographic отметил, что такая архитектура может расширить возможности приложений децентрализованных финансов (DeFi), позволяя выполнять более сложные вычисления вне смарт-контрактов, в то время как Ethereum проверяет, соответствуют ли итоговые транзакции правилам протокола.
Cryptographic привёл в качестве примера кредитование в сфере DeFi, где анализ залога, маршрутизация ликвидации или сопоставление заемщиков и кредиторов могут происходить вне цепочки до того, как Ethereum проверит и зафиксирует результат.
Юрист в сфере криптовалют Габриэль Шапиро задался вопросом, насколько велик спрос на системы, основанные на доказательствах, по сравнению с традиционными моделями, основанными на доверии. Он отметил, что многие существующие финансовые услуги опираются на репутацию, регулирование и правоприменение, а не на непрерывную криптографическую верификацию.
Журнал: Что такое формальная верификация и почему Виталик Бутерин считает, что искусственный интеллект может в этом помочь?
