Виталик Бутерин призывает к упрощению и «очистке мусора» в разработке протокола Ethereum

18 января PANews сообщила, что Виталик Бутерин написал в X, что важным, но долгое время недооцененным аспектом «безопасности без доверия», «теста на выход» и «самостоятельности» является простота протокола. Даже если протокол имеет десятки тысяч узлов, способен выдерживать 49% ошибок Байзанта и узлы полностью проверяют все с помощью квантово-устойчивых peerdas и starks, если протокол представляет собой громоздкую и запутанную систему, состоящую из десятков тысяч строк кода и пяти видов криптографии уровня доктора наук, то такой протокол в конечном итоге потерпит неудачу во всех трех тестах: Он не обладает безопасностью без доверия, потому что пользователи должны доверять небольшой группе высококвалифицированных специалистов, чтобы узнать свойства протокола. Он не пройдет «тест на выход», потому что, если текущая команда клиентов уйдет, новой команде будет очень сложно достичь такого же уровня качества. Он не обладает самостоятельностью, потому что даже самые технически грамотные люди не смогут проверить и понять его, и он не будет полностью принадлежать пользователям. Кроме того, его безопасность будет низкой, потому что каждый компонент протокола, особенно если он может взаимодействовать с другими компонентами сложным образом, представляет риск сбоя протокола. Одним из моих опасений по поводу разработки протокола Ethereum является то, что мы можем слишком поспешно добавлять новые функции, чтобы удовлетворить очень специфические потребности, даже если эти функции делают протокол громоздким или добавляют новые типы взаимодействующих компонентов или сложную криптографию в качестве ключевых зависимостей. Это может быть выгодно в краткосрочной перспективе, но в долгосрочной перспективе это будет очень вредно для поддержания самостоятельности и создания децентрализованной надстройки, которая просуществует столетия, преодолевая взлеты и падения империй и идеологий. Основной проблемой является то, что, если оценивать изменения протокола с точки зрения «насколько они изменяют существующий протокол», то желание поддерживать обратную совместимость означает, что добавлений будет намного больше, чем удалений, и протокол неизбежно станет громоздким со временем. Чтобы справиться с этим, процесс разработки Ethereum должен иметь четкую функцию «упрощения» или «сбора мусора». «Упрощение» имеет три критерия оценки: 1. Минимизация общего количества строк кода протокола. 2. Избегание ненужной зависимости от фундаментально сложных технических компонентов. 3. Добавление большего количества инвариантов: основных свойств, на которые может полагаться протокол. Например, EIP-6780 (удаление selfdestruct) добавил свойство, согласно которому в каждом блоке может быть изменено не более N слотов хранения, что значительно упростило разработку клиентов. Сбор мусора может быть незначительным или масштабным. Метод незначительного упрощения пытается упростить существующие функции, сделав их более компактными и логичными. Примером масштабного сбора мусора является замена PoW на PoS. Еще один подход — «обратная совместимость в стиле Розетты», при которой сложные, но редко используемые функции остаются доступными, но «понижаются» до уровня смарт-контрактов, а не обязательной части протокола, так что новые разработчики клиентов не будут с ними сталкиваться. Например, после перехода на полную нативную абстракцию аккаунтов все старые типы транзакций могут быть устранены; существующие предварительно скомпилированные компоненты могут быть заменены кодом EVM или RISC-V; в конечном итоге виртуальная машина может быть изменена с EVM на RISC-V. В заключение, я надеюсь, что разработчики клиентов больше не будут иметь дело со всеми старыми версиями протокола Ethereum. В долгосрочной перспективе скорость изменений Ethereum должна замедлиться, и мы должны стремиться к тому, чтобы бесполезные части не стали постоянной ношей для протокола Ethereum.