Виталик Бутерин рассказал о перспективах совершенствования EVM

В шестой части эссе «Возможное будущее протокола 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 рассмотрел пути решения проблем раздувания объема и роста сложности блокчейна.