以太坊的leanVM完成端到端形式化驗証，全面後量子安全過渡目標定於2028年12月

據PANews發布，PANews 11月4日消息，據CryptoBriefing報道，以太坊基金會研究員Justin Drake於11月3日宣布，leanVM已實現端到端形式化驗証。leanVM是一種極簡zkVM，用於高效聚閤基於哈希的後量子簽名，將多簽名打包為緊湊証明。性能上，leanVM每秒可處理超過1000次leanXMSS聚閤；leanXMSS是計劃在共識層替代BLS的基於哈希的簽名方案。 在Devcon 8上，Drake將以太坊全面過渡至後量子安全的目標時間調整至2028年12月，以便為過渡所需的網絡分叉留出空間。