⚛️ 以太坊 正邁向後量子簽名 leanVM 已通過全面的形式化驗證,每秒可處理超過 1,000 次 leanXMSS 聚合。 Justin Drake 設定 2028 年 12 月為過渡目標,但這並非保證日期。https://t.co/lhJW8ueveG