zkVM

以太坊 leanVM 完成端到端形式化验证，后量子安全过渡目标定于2028年12月

PANews援引CryptoBriefing称，以太坊研究员Justin Drake宣布leanVM完成端到端形式化验证，并将全面后量子安全过渡目标调整至2028年12月。