RecodeX 重构消息，以太坊基金会研究员Justin Drake表示，专用于聚合后量子哈希签名（leanXMSS）的轻量级零知识虚拟机leanVM已完成端到端形式化验证。他同时提出，以太坊向后量子密码学过渡的目标时间为2028年12月。