StarkWare联合创始人称ZK STARKs可缓解Bitcoin后量子签名膨胀，并推动大规模采用

StarkWare联合创始人埃利·本-萨松（Eli Ben-Sasson）表示，为让Bitcoin实现量子安全并兼顾大规模采用，ZK STARKs是应对后量子签名体积暴增问题的最佳方式，并称Blockstream创始人亚当·巴克（Adam Back）也认同。

据 Cointelegraph 报道，本-萨松本周因在X上建议将Bitcoin年通胀率提高至4%而引发争议，Grok对回复的分析称“没有明确支持”。但作为STARKs共同发明者，他强调ZK STARK聚合可将一个区块内的大量大签名压缩为更小证明，避免链上吞吐因NIST批准的后量子签名较现有ECDSA与Schnorr大10至100倍而大幅下降。

PostQuantum.com作者、Applied Quantum创始人马林·伊韦齐奇（Marin Ivezic）称，SegWit可将大签名影响最多降低75%，但以NIST的ML-DSA-44（每个签名2,420字节）测算，单区块容量或降至约500至700笔，低于目前的2,500至3,000笔，从而引发扩容讨论；他认为提高区块大小是替代方案，但2017年曾因“区块大小翻倍”提案引发社区分裂，且会增加节点存储与验证成本并可能推动中心化。

报道还称，Blockstream Research近期尝试压缩基于哈希的后量子签名，提出SHRINCS与SHRIMPS：日常签名约为当前的5倍，但若丢失钱包需恢复则可高达40倍；SHRINCS已在Liquid侧链签署真实交易，但仍处早期且复杂度与可用性存在问题。

本-萨松认为，ZK证明聚合更有利于在提升效率的同时保持去中心化：生成单区块证明理论上只需一次，验证几乎可在任何设备上完成。他称早期Bitcoin开发者格雷格·麦克斯韦（Greg Maxwell）与迈克·赫恩（Mike Hearn）看好ZK STARKs，并认为Bitcoin Core开发者卢克·达什吉尔（Luke Dashjr）与亚当·巴克也在转向支持；Cointelegraph联系巴克置评未获回应。

在具体路径上，本-萨松称较务实的做法可能是重新启用由中本聪编写的OP_CAT，以便引入STARK证明、聚合与后量子安全，但该提案在约12至24个月前热度较高、近期动能减弱。另有更激进方案如OP_STARK_VERIFY，以及BIP-360共同作者伊桑·海尔曼（Ethan Heilman）提出的BitZip，尝试将签名与公钥聚合为单个STARK证明。

伊韦齐奇认为瓶颈在治理而非技术：Bitcoin Script目前无法验证STARK，生产级验证器会扩大共识攻击面；鉴于OP_CAT多年仍在争论，基础层STARK验证器更像是“2030年代”的议题。与此同时，以太坊（Ethereum）目标在2029年转向后量子，Solana也在试验后量子签名；本-萨松称以太坊与Solana的路线将“极其艰难”，而Starknet因原生账户抽象与智能钱包更易升级底层密码体系。