比特币后量子安全新路径：ZK STARKs能否引领变革？

StarkWare联合创始人Eli Ben-Sasson提出，基于哈希的零知识证明技术ZK STARKs，是应对比特币面临量子攻击风险并推动大规模应用的关键手段。他同时指出，Blockstream创始人Adam Back对这一方向持支持态度。

算力扩展与安全升级并行推进的技术蓝图

尽管近期因提议提升比特币年通胀率至4%引发争议，且未获广泛响应，但Ben-Sasson在密码学领域的权威性依然稳固。其主导的Starknet项目已公布分阶段部署后量子安全机制的路线图，标志着该技术正从理论走向实践。

大体积签名带来的系统性能挑战

单纯引入后量子签名无法保障网络效率。美国国家标准与技术研究院（NIST）批准的方案，其单个签名体积可达现行ECDSA或Schnorr签名的10至100倍。若直接应用，可能导致区块处理速度降至每秒不足一笔交易。而通过将多个大签名压缩为单一微小的ZK STARK证明，可实现体积大幅缩减，甚至优于当前签名结构，从而提升整体吞吐量。

区块扩容策略的利弊权衡

增加区块容量被视为一种替代方案，但历史经验表明，此类改动易引发社区分裂。2017年的扩容争议至今仍具参考意义——扩大数据存储与验证负担会提高节点门槛，加剧网络中心化趋势。尽管SegWit已缓解部分压力，但针对如ML-DSA-44这类高体积签名方案的建模显示，区块承载能力将下降至500至700笔交易，远低于当前水平。

ZK聚合：兼顾效率与去中心化的最优解

ZK证明聚合不仅提升容量，更有助于维持网络去中心化。其核心原理在于无需透露原始信息即可验证事实存在。例如，可证明知晓密码而不泄露内容。生成一个区块的证明仅需一次运算，设备成本远低于矿机，且验证可在树莓派等低配设备上完成，具备极强的普及潜力。

主流开发者对技术前景的隐性认可

Ben-Sasson强调，早期比特币核心开发者Greg Maxwell与Mike Hearn均看好无可信设置、具备后量子特性的ZK STARKs。他亦表示，Bitcoin Core开发者Luke Dashjr及Adam Back虽观点偶有分歧，但在该技术价值上达成共识。尽管尚未公开表态，但其私下交流中已明确表达支持意向。以太坊研究员Justin Drake则呼吁将类似技术纳入比特币标准，但政治阻力可能阻碍实施。

启用OP_CAT：最可行的兼容性突破口

鉴于比特币社区对变更高度保守，最具现实可行性的路径或许是重新激活中本聪原初代码中的OP_CAT指令。该操作码虽被移除，但若恢复，将允许实现STARK证明与签名聚合功能，重启原始设计愿景。尽管此前曾有短暂热度，近来关注度有所回落。

未来架构演进的多重探索方向

其他提案包括专用于验证STARK的OP_STARK_VERIFY，以及由BIP-360合著者Ethan Heilman提出的BitZip方案，即把签名与公钥聚合成一个紧凑的证明。他认为有两种主要路径：一是添加通用操作码构建类似ZK Rollup的系统；二是直接在共识层集成对STARK的支持，或采用如CISA等较弱但更易部署的聚合机制。

实现瓶颈在于治理而非技术本身

PostQuantum.com作者Marin Ivezic指出，技术层面并无障碍。以纯哈希为基础的ZK STARKs具备数学坚韧性，且无需可信设置。真正难点在于比特币脚本缺乏对STARK的验证能力，而生产级验证器涉及巨大的共识面。即便像OP_CAT这样微小的改动也历经多年讨论，因此，底层支持的正式引入预计至少要到2030年代才能进入实质性议程。