イーサリアム財団：leanVMがエンドツーエンドの形式的検証を完了し、全面的なポスト量子安全への移行目標を2028年12月に設定

CryptoBriefingによると、イーサリアム財団の研究者ジャスティン・ドレイクは11月3日に、leanVMがエンドツーエンドの形式的検証を実現したと発表しました。leanVMは、ハッシュベースの後量子署名を効率的に集約し、マルチシグネチャをコンパクトな証明にパッケージ化するための極めてシンプルなzkVMです。性能面では、leanVMは毎秒1000回以上のleanXMSS集約を処理できます。leanXMSSは、コンセンサス層でBLSに代わるハッシュベースの署名スキームとして計画されています。

Devcon 8では、ドレイクはイーサリアムの完全な後量子安全への移行目標を2028年12月に調整し、移行に必要なネットワークフォークのためのスペースを確保します。この計画は、leanVM、leanXMSS、leanSpecの3つのオープンソースプロジェクトに依存しており、イーサリアム財団はオープンソースの実装を開発し、形式的検証を進めています。また、Poseidon Prizeなどのインセンティブを通じて革新を促進しています。報道によれば、leanVMの形式的検証はコードが仕様に準拠していることを証明しましたが、2028年12月は目標であり、約束ではありません。