PANews 11月4日付メッセージ：CryptoBriefingの報道によると、イーサリアム財団の研究者Justin Drake氏は11月3日、leanVMがエンドツーエンドの形式検証を実現したと発表した。leanVMは、ハッシュベースのポスト量子署名を効率的に集約するための極めてシンプルなzkVMで、複数の署名をコンパクトな証明にまとめる。性能面では、leanVMは1秒あたり1000回を超えるleanXMSSの集約を処理できる。leanXMSSはコンセンサス層でBLSに代わる予定のハッシュベース署名方式である。
Devcon 8でDrake氏は、イーサリアムを全面的にポスト量子安全へ移行する目標時期を2028年12月に調整したと述べた。これは移行に必要なネットワークフォークの余地を確保するためである。この計画はleanVM、leanXMSS、leanSpecという3つのオープンソースプロジェクトに依拠しており、イーサリアム財団はオープンソース実装の開発と形式検証の推進を進めると同時に、Poseidon Prizeなどのインセンティブを通じてイノベーションを促している。報道は、leanVMの形式検証がコードが仕様に準拠していることを証明したものの、2028年12月はあくまで目標であり約束ではないと指摘している。
