RecodeX 重构消息，以太坊基金会与Eigen Labs在Yukon Research平台进行直播，测试以太坊后量子签名方案。该测试旨在验证后量子签名能否在量子计算时代保持安全性，同时不显著增加验证成本。活动提出以Lean形式化证明并挑战性能记录。