随着量子计算的进步，比特币必须为当前的加密签名可能被破解的未来做好准备。两种相互竞争的解决方案正在出现：集成 ZK STARK 以实现高效的后量子 (PQ) 签名聚合，或者简单地增加比特币的区块大小以容纳更大的 PQ 签名。
Eli Ben-Sasson，StarkWare 联合创始人兼 ZK STARKs 联合发明人，认为零知识证明提供了量子抵抗和大规模采用的唯一可行途径。 “如果他们不允许 ZK STARK 聚合，那么这肯定是一个非常不幸的举动，因为它不会真正解决问题……问题在于‘每个人都可以真正使用比特币吗？’”他说。
目前 NIST 批准的 PQ 签名方案比比特币现有的 ECDSA 和 Schnorr 签名大 10 到 100 倍。如果不进行压缩，吞吐量可能会降低到每秒一个事务以下。 ZK STARK 可以将数千个庞大的签名压缩为单个微小的证明（甚至比当今的原生签名还要小），从而有可能加快网络速度。
或者，增加区块大小看起来很简单，但存在中心化的风险。更大的区块需要每个节点更多的存储、带宽和处理能力，这与比特币的去中心化精神相矛盾。 2017 年，社区对类似提案产生了激烈的分歧，凸显了治理方面的挑战。
Blockstream Research 开发了 SHRINCS 和 SHRIMPS — 基于哈希的 PQ 方案，其签名通常大 5 倍，但在钱包恢复期间最多可增大 40 倍。虽然在 Liquid 上进行了测试，但它们仍处于早期阶段且复杂。
“提高本地容量是简单的工程答案，也是最难的治理答案，”Applied Quantum 创始人 Marin Ivezic 说道。 “我们只是没有时间进行这些辩论。”
ZK STARK 还保留了去中心化：验证可以在像 Raspberry Pi 这样简单的设备上运行，而证明生成成本低于 100,000 美元，远低于采矿设备。 Ben-Sasson 声称 Greg Maxwell 和 Mike Hearn 等早期比特币开发者“非常看好”STARK，而 Blockstream 的 Adam Back 和 Bitcoin Core 开发者 Luke Dashjr 现在也支持这一概念，尽管他们通常存在分歧。
从技术上讲，在比特币上启用 ZK 可能需要重新激活 OP_CAT——中本聪最初包含的九行操作码，后来被删除。使用 OP_CAT，可以在比特币脚本之上构建 STARK 验证。 OP_STARK_VERIFY 或 BitZip 等更雄心勃勃的提案旨在将 STARK 支持直接嵌入共识中。
然而，治理仍然是最大的障碍。 “Eli 的密码学坚如磐石……问题在于密码学的一切，”伊维齐奇指出。 “基础层 STARK 验证器实际上是 2030 年代的对话。”
与此同时，以太坊的目标是到 2029 年做好后量子准备，而 Solana 正在试验 PQ 签名。 StarkNet 受益于账户抽象，计划实现更平稳的过渡——允许加密升级，而无需强迫用户迁移钱包。
对于比特币来说，选择不仅仅是技术上的，更是哲学上的。它会通过优雅的密码学还是强力工程来扩展吗？答案可能会定义它在量子时代的可行性。
免责声明：以上内容(如有图片或视频亦包括在内)均为平台用户上传并发布，本平台仅提供信息存储服务，对本页面内容所引致的错误、不确或遗漏，概不负任何法律责任，相关信息仅供参考。
本站尊重他人的知识产权、名誉权等法律法规所规定的合法权益!如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到qklwk88@163.com，本站相关工作人员将会进行核查处理回复
