Команда Ethereum представили новую виртуальную машину, оптимизированную для работы с ZKP-процессами и обеспечения постквантовой безопасности блокчейн-сети. Разработка является частью дорожной карты Ethereum в рамках стратегии долгосрочного развития сети.
В рамках последней встречи разработчиков уровня консенсуса Ethereum была представлена leanVM — новая виртуальная машина, предназначенная для работы с доказательствами с нулевым разглашением (ZKP) и защиты сети от потенциальных атак с использованием квантовых компьютеров.
leanVM проектируется как основа для радикального сокращения издержек масштабирования и ускорения рекурсии. Как сообщил автор инициативы, текущая скорость составляет 2,7 секунды на CPU, а целевой показатель — ускорение в десять раз. Еще одна цель внедрения leanVM состоит в необходимости обеспечить эффективную обработку постквантового алгоритма. Так, новая виртуальная машина будет не просто проверять отдельные XMSS-подписи, а будет выполнять их рекурсивную агрегацию, то есть собирать тысячи подписей в одно компактное доказательство.
Среди основных особенностей leanVM:
- Виртуальная машина будет иметь минимальную архитектуру из четырех инструкций для набора команд (ISA), что делает ее максимально простой и удобной для формальной верификации.
- В решении будут использоваться многолинейные STARK-доказательства для более быстрого и компактного достижения консенсуса по сравнению с классическими схемами.
- Внедрение новой техники выборок, которая снижает затраты на коммитменты и делает систему эффективнее.
- Возможность реализовать полный верификатор примерно в 1000 строках кода на Python, что упрощает его аудит и тестирование.
- Валидаторы смогут работать даже на слабых устройствах, вплоть до Raspberry Pi Pico за $7, при этом агрегаторы будут использовать CPU/GPU для обеспечения высокой пропускной способности.
Разработка leanVM встроена в стратегический план развития блокчейн-сети на ближайшие 10 лет, представленный командой Ethereum в прошлом месяце. В рамках концепции Lean Ethereum новая архитектура будет синхронизирована с дорожной картой Ethereum, но будет развиваться параллельно без внедрения в основной сети.
Напомним, в 2025 году в блокчейн-сети Ethereum состоялся хардфорк Pectra, а в ноябре планируется провести сразу два масштабных обновления Fusaka и Glamsterdam. Про переход на новую виртуальную машину и радикальные технические изменения ранее рассказывал Виталик Бутерин, сооснователь Ethereum.
