Виталик Бутерин представил два ключевых обновления Ethereum для устранения узких мест ZK-доказательств и повышения эффективности

Виталик Бутерин изложил два структурных обновления, которые он считает критически важными для будущего Ethereum, предложив в рамках EIP7864 заменить шестнадцатеричное дерево Меркла-Патриции состояния сети на бинарное дерево и в долгосрочной перспективе заменить EVM на виртуальную машину на базе RISCV, говорится в его новом техническом предложении. EIP7864, разрабатываемый в настоящее время Гийомом Балле и другими участниками, предусматривает переход на бинарное дерево с более эффективной хеш-функцией, что сокращает длину ветви Меркла в четыре раза, снижает затраты на клиентскую верификацию и требования к пропускной способности для инструментов вроде Helios и PIR в тот же коэффициент, а также внедряет постраничное хранилище, которое, по оценкам Бутерина, может сэкономить более 10,000 газа за транзакцию для часто используемых dapps. Он также предлагает внедрить RISCV — архитектуру, уже используемую ZK-проверяющими системами, — по трехэтапной дорожной карте: начать с RISCV для прекомпиляций, затем разрешить контракты, развернутые пользователями, и в конечном итоге вывести EVM из эксплуатации в пользу EVM, реимплементированной как смарт-контракт в новой виртуальной машине, при этом сохраняя полную обратную совместимость с незначительными корректировками стоимости газа. Вместе эти изменения в дереве состояния и виртуальной машине устраняют то, что Бутерин называет более чем 80% узких мест в эффективной генерации ZK-доказательств на Ethereum.