Виталик Бутерин анонсировал leanVM как новый шаг в масштабировании Ethereum

• Сооснователь Ethereum представил leanVM — виртуальную машину, оптимизированную именно для ZK-доказательств.
• Она обещает снизить затраты на масштабирование, согласно Бутерину.
• В то же время leanVM может сделать рекурсию в десять раз быстрее для Ethereum.

Сооснователь сети Ethereum Виталик Бутерин заявил, что в этом году команда достигла значительного прогресса в обеспечении долгосрочной масштабируемости, децентрализации и устойчивости сети.

По его словам, ключевые этапы в краткосрочной дорожной карте уже приближаются, а среди новых разработок особое внимание привлекает предложение по минимальной виртуальной машине с доказательствами с нулевым разглашением (zkVM) под названием leanVM.

leanVM оптимизирована для XMSS-агрегации и рекурсии и использует четырехинструкционную архитектуру набора команд (Instruction Set Architecture, ISA), многолинейные STARKы и криптографическую технику logup-lookups, что позволяет существенно снизить затраты на коммитменты по сравнению с Cairo.

Текущая скорость рекурсии составляет 2,7 секунды, но команда ставит цель улучшить показатель в десять раз.

Напомним, что 7 мая 2025 года в мейннете Ethereum успешно прошло обновление Pectra.

Он также подчеркнул важность простоты в проектировании протоколов:

На вопрос о синхронизации дорожных карт Бутерин объяснил, что lean-направление умышленно идет позади краткосрочных решений:

Напомним, что на ноябрь этого года разработчики Ethereum запланировали выпустить следующее масштабное обновление под названием Fusaka.