Фонд Ethereum: leanVM завершил формальную верификацию от конца до конца, полная цель перехода на постквантовую безопасность запланирована на декабрь 2028 года

Согласно отчету CryptoBriefing, исследователь фонда Ethereum Джастин Дрейк 3 ноября объявил, что leanVM достигла формальной верификации от конца до конца. leanVM — это минималистичный zkVM, предназначенный для эффективной агрегации основанных на хэшах постквантовых подписей, упаковывающий мультиподписи в компактные доказательства. По производительности leanVM может обрабатывать более 1000 агрегаций leanXMSS в секунду; leanXMSS — это основанная на хэшах схема подписей, планируемая для замены BLS на уровне консенсуса.

На Devcon 8 Дрейк скорректировал целевую дату полного перехода Ethereum на постквантовую безопасность на декабрь 2028 года, чтобы оставить место для сетевых форков, необходимых для перехода. Этот план зависит от трех проектов с открытым исходным кодом: leanVM, leanXMSS и leanSpec; фонд Ethereum разрабатывает открытые реализации и продвигает формальную верификацию, одновременно поощряя инновации через такие стимулы, как Poseidon Prize. В отчете отмечается, что формальная верификация leanVM подтвердила соответствие кода спецификации, но декабрь 2028 года остается целью, а не обязательством.