论文形式化 PoW 区块链抗量子签名迁移阈值

内容摘要

Kigen Fukuda 与 Shin'ichiro Matsuo 在 IACR ePrint 发布预印本，基于 Bitcoin backbone 协议框架形式化签名迁移过程与量子对手，证明在有效延迟 Δ_eff 至少为 ⌈4/((1−ε)f)⌉ 且 f·Δ_eff=Ω(log²κ) 等条件下，工作量证明链的安全性质迁移活性以压倒性概率成立，其中 Δ_eff 是量子对手在迁移交易广播后伪造交易所需轮数，f 为诚实挖矿成功概率。作者还推导迁移过程与可容忍量子攻击能力的关系，为设计签名迁移方案提供理论基础。该论文为预印本，未经过同行评审。