Формальная верификация leanVM в Ethereum: шаг к квантовой безопасности

Ethereum сделал заметный шаг вперед в своих усилиях по укреплению квантовой устойчивости с формальной верификацией leanVM, о которой сообщил исследователь Ethereum Foundation Джастин Дрейк 3 ноября 2026 года. LeanVM — это минималистичный zkVM, разработанный для упрощения практического применения постквантовых подписей в масштабах.

Этот инструмент играет ключевую роль в стратегии Ethereum по защите своего протокола от потенциальных квантовых угроз на всех уровнях. LeanVM эффективно агрегирует подписи на основе хеширования, основанные на постквантовых методах, в частности leanXMSS, который должен заменить текущие подписи BLS, используемые валидаторами Ethereum.

Формальная верификация, которая использует математические доказательства для обеспечения соответствия поведения программного обеспечения заданным спецификациям, была завершена для leanVM, охватывая весь инструмент, а не только его части. Это достижение сопровождается пересмотренным графиком перехода Ethereum к постквантовой безопасности, который теперь запланирован на декабрь 2028 года, что дает время для необходимых обновлений сети.

Ethereum Foundation возглавляет эту инициативу с помощью проектов с открытым исходным кодом, включая leanVM, leanXMSS и leanSpec, а также стимулирует инновации в этой области через такие инициативы, как премия Poseidon.

Необходимость в квантовой устойчивости обусловлена потенциальной угрозой, которую представляют мощные квантовые компьютеры, способные скомпрометировать существующие криптографические системы. Подход Ethereum направлен на обеспечение плавного перехода к новым криптографическим методам при сохранении целостности и безопасности своей сети.