比特币后量子安全困局：签名膨胀与链上重构之争

后量子签名引入的数据膨胀难题及其工程困境

比特币当前的密码学框架与后量子方案之间存在结构性不兼容。以太坊研究员Ben-Sasson强调，仅在链上部署后量子签名并不足以实现真正的量子抗性，反而带来显著的系统性负担——新签名的体积可扩大至现有ECDSA与Schnorr签名的十至百倍。

美国国家标准与技术研究院（NIST）批准的主流后量子签名算法，如ML-DSA-44，在实际应用中将导致单个区块可容纳的交易数量骤降。据分析，原本支持2500至3000笔交易的区块，可能被压缩至500到700笔，形成严重瓶颈。

为突破这一限制，Ben-Sasson提出将大量交易签名通过ZK STARK技术聚合成单一验证证明。该证明体积远小于原始签名集合，可在不牺牲安全性前提下维持甚至提升整体网络效率。他认为，若拒绝此类聚合机制，将无法真正回应“比特币是否仍对所有人开放”的核心命题。

尽管增加区块容量被视为一种直接解决方案，其争议焦点却在于长期成本与去中心化风险。扩展存储与带宽需求可能导致节点运营门槛上升，削弱硬件多样性，进而引发中心化担忧。即便采用压缩方案如SHRINCS与SHRIMPS，签名大小仍达当前水平的五倍以上，尤其在钱包恢复等场景下可达四十倍。

ZK STARK的优势不仅体现在数据压缩，更在于重塑节点验证的经济模型。该技术允许一方在不暴露全部细节的情况下证明交易合法性。其核心价值在于，一个区块的聚合证明可由专用设备生成一次，且硬件成本远低于矿机。验证过程则高度轻量化，甚至可在树莓派等低功耗设备上完成。

Ben-Sasson指出，包括Greg Maxwell、Mike Hearn在内的早期比特币核心人物对ZK STARKs抱有深厚信任，认为其提供无需可信设置的后量子安全保障。他进一步表示，Luke Dashjr与Adam Back虽未公开表态，但其立场倾向支持该方向。

以太坊研究者Justin Drake曾提议借鉴Lean Ethereum的聚合方法，但因协议间的政治分歧，实施路径受阻。这反映出即使技术路径清晰，实际推进仍受制于生态共识与治理僵局。

比特币能否原生支持STARK验证，关键取决于其脚本语言的扩展能力。重启已废弃的OP_CAT操作码被视为潜在起点，但该提案在近期已失去推动力。此外，如OP_STARK_VERIFY、BitZip等新提案亦处于概念阶段。

据评估，实现基础级的STARK验证器属于2030年代才可能达成的治理议题。相较之下，即使是已有多年讨论的OP_CAT，其推进也面临巨大阻力。相比之下，以太坊计划于2029年完成过渡，而Solana已开展实验，Starknet则凭借原生账户抽象实现无缝升级。

后量子签名体积显著放大，迫使网络重新评估容量配置。

ZK STARK聚合能将多签名压缩为小体积证明，有效缓解链上压力。

单纯扩容虽可缓解短期瓶颈，但可能加剧节点集中化趋势。

比特币脚本体系缺乏原生验证能力，治理障碍是主要实施瓶颈。