В шестой части эссе «Возможное будущее протокола Ethereum» Виталик Бутерин рассмотрел улучшения блокчейна в ходе фазы дорожной карты The Splurge, которые по большей части касаются EVM.
«Сегодня EVM сложно статически анализировать, что затрудняет создание высокоэффективных реализаций, формальную проверку кода и создание дополнительных расширений с течением времени. Кроме того, механизм крайне неэффективен, что затрудняет реализацию многих форм продвинутой криптографии, если они явно не поддерживаются посредством прекомпиляции», — обозначил одну из основных проблем сооснователь Ethereum.
В плане ее устранения одним из главных шагов должно стать внедрение EVM Object Format (EOF). Это набор EIP, который определит новую версию виртуальной машины, имеющую ряд особенностей:
- разделение между кодом и данными;
- запрет динамических переходов (останутся только статические);
- отсутствие отслеживания кодом связанной с газом информации;
- новый механизм подпрограмм.
После внедрения EOF станет проще проводить дальнейшие обновления, поэтому апгрейд предварительно включен в ближайший хардфорк Pectra, отметил Бутерин.
Другой важной задачей этапа The Splurge является полноценная реализация абстракции аккаунта.
Данные: блог Бутерина.
Это позволит применять для проверки транзакций не только подписи ECDSA, но и произвольный код EVM. Учетные записи пользователей смогут инициировать операции в качестве кошельков смарт-контрактов, не только как аккаунты с внешним владельцем (EOA).
По словам Бутерина, внедрение опции позволит осуществить ряд дальнейших улучшений:
- переход на квантоустойчивую криптографию;
- внедрение кошельков с мультиподписью и социальным восстановлением;
- сегрегация ключей для операций с высокой и низкой стоимостью;
- возможность протоколам конфиденциальности работать без ретрансляторов.
Еще одним направлением The Splurge заявлено более эффективное распределение пропускной способности сети за счет реализации концепции «многомерного газа». Это улучшение EIP-1559 предусматривает наличие различных цен и лимитов на различные вычислительные ресурсы.
В долгосрочной перспективе команда Ethereum продолжит исследования в области обфускации кода (намеренного затруднения декомпиляции и модификации) на основе протокола ZK-SNARK и гомоморфного шифрования, а также квантовых одноразовых подписей. Эти решения сделают блокчейн невосприимчивым к атаке 51%, подчеркнул Бутерин.
«Если подобные примитивы сделать достаточно эффективными, то большинство приложений в мире можно сделать децентрализованными. Главным узким местом останется проверка правильности реализации», — заключил он.
Напомним, в предыдущей части эссе сооснователь Ethereum рассмотрел пути решения проблем раздувания объема и роста сложности блокчейна.
