当前位置: 首页 > news >正文

Zcash 与量子计算机

1. 引言

Zcash 的协议设计者与密码学家,对于量子计算机究竟会在“多快”成为现实威胁这一问题,存在不同看法;但普遍认同:

  • 提前为其可能对用户隐私与安全造成的影响做好准备,是至关重要的。

这种谨慎态度从项目创立之初就已经存在:

  • Zcash团队始终预期未来会出现新的密码学突破——无论是量子方向还是其他方向——并努力将协议中依赖脆弱安全假设的部分进行隔离(compartmentalize)。

作为重视细节的一个极端例子,ZIP-212: Allow Recipient to Derive Ephemeral Secret from Note Plaintext 曾识别并修复了这样一个问题:

  • 如果某个攻击者(甚至可能是一个量子攻击者)能够攻破 zk-SNARK 的 soundness,那么在某种较为特殊的人为场景下,其将有能力破坏隐私。

正如该 ZIP 中提到的:

“Zcash团队一直在努力避免协议中出现任何一种情况,使隐私性(即便是在交互式攻击下)依赖于强密码学假设。”

在整个项目历史中,始终对这些威胁保持警觉。

得益于这种谨慎的协议设计,Zcash 的 shielded transactions 在许多常见场景下,其实已经具备后量子隐私性。【除非量子攻击者同时掌握你的 payment address(收款地址),否则 Zcash 的 shielded transactions 在链上是完全不可区分(completely indistinguishable)的。】

尤其值得注意的是:

  • 量子攻击者完全无法破坏链上的匿名性(anonymity)


在其他以隐私为重点的区块链中(如 Monero),所谓的 “key images” 并不具备后量子隐藏性(post-quantum hiding)。

因此,对于量子攻击者而言,其交易图(transaction graph)将会变得完全透明。

而 Zcash 的 nullifiers(一个等价概念)则是基于强密码学构造的,如 keyed PRFs(带密钥伪随机函数),这类原语并不容易受到量子计算机攻击。

这一优势来源于 Zcash 对以下密码学技术的使用:

  • 零知识证明(zero-knowledge proofs)
  • (完美隐藏的)承诺方案(perfectly hiding commitment schemes)
  • 经过盲化(blinded)的签名密钥
  • 以及协议各部分所采用的强对称密码原语

尽管如此,Zcash团队从未宣称自己已经实现了“后量子隐私”,因为这些安全保证成立的具体上下文,对用户而言并不直观。

更愿意等到整个情况被彻底完善之后,再进行此类声明,以避免误导用户。

作为通过 Project Tachyon 持续扩展 Zcash 的工作之一,计划从 Tachyon 交易中移除 in-band secret distribution,从而:在链上交易隐私方面,全面抵御所有量子攻击。

这是至关重要的一步,因为:

  • 对于区块链协议而言,harvest now, decrypt later(先收集、后解密)威胁极其危险。

2. Soundness(健全性)

在Zcash协议的 shielded 组件中,关于量子计算机所剩余的主要担忧,来自于椭圆曲线密码学(elliptic curve cryptography)可能存在的脆弱性。

这类密码学突破将会危及Zcash协议的soundness(健全性)

  • 它可能允许攻击者伪造资产(counterfeiting),或者(某种意义上等价地)窃取用户资金;
  • 但未必会对用户隐私构成风险。

目前,Zcash的用户仍然受到与几乎所有其他加密货币相同的密码学安全假设保护。【Zcash 最新的 shielded 协议(Orchard)并未使用 pairing-friendly elliptic curves(适用于配对的椭圆曲线)。因此,Zcash对于这类密码学突破的脆弱性更低。

尽管必须尽一切努力,在面对量子攻击者时继续提升协议的隐私保证,但相比之下,soundness 被攻破的问题优先级要低一些,

因为Zcash仍然拥有适应并响应量子技术发展的能力。【量子导致的隐私性破坏(privacy breaks)通常是“可追溯到过去”的(retroactive),而 soundness 被攻破通常并非如此。】

为了完全抵御未来量子计算机而修改协议,本身会带来巨大的机会成本。
【Zcash 所需要的后量子密码学——包括:

  • 递归 zk-SNARKs(recursive zk-SNARKs)
  • 签名方案
  • 以及可能更多组件

——都会导致交易体积变大,并且可能会对硬件钱包等生态造成破坏性变化。

如果过早采用这些最前沿(bleeding-edge)的密码学技术,可能会:

  • 减缓 shielded transactions 的采用速度
  • 让Zcash项目偏离正在形成的行业标准
  • 使Zcash被锁定在未来几年内很可能过时的低效技术上
  • 或暴露于那些尚未被充分研究的密码学假设风险之下】

对于Zcash项目生存而言,还有许多更加迫在眉睫的风险。
【Zcash协议需要:

  • 用户
  • 可扩展性
  • 可持续开发与投资
  • 去中心化

并且必须在当前监管环境仍然可接受的时候,尽快实现这一切。

不过,可以尽量降低尾部风险(tail risk)。

在其他加密货币领域,人们正在兴起一类关于“量子鲁棒性(quantum robustness)”技术的研究,其核心思想是:

  • 如果社区未来切换一个开关(flip a switch),将资金花费条件替换为、或增强为更严格的后量子验证机制,那么资金便能够在合理假设下,对量子攻击者保持免疫。【参见2025年论文The Post-Quantum Security of Bitcoin’s Taproot as a Commitment Scheme 以及相关讨论。】

Electric Coin Company 的协议设计者,在过去一年中,也一直在为 Zcash 的 shielded transactions(特别是 Orchard)开发一种被称为quantum recoverability的机制。

在钱包工作方式完成修改之后(预计会在未来一年内集成),如果量子计算机真的突然出现,那么用户将能够通过一种特殊机制安全恢复自己的资金,并阻止量子攻击者盗取这些资金。

这一机制同时也能够保护用户隐私。

此外,还有其他改进正在推进中,如Tachyon 的设计继承了许多理念,而这些理念也正是上述恢复协议能够成立的基础。

另外,还在考虑一种通用的长期存储协议(long-term storage protocol)——它允许用户进一步加固自己的(冷存储)资金,以应对:

  • 量子计算机风险
  • 或更广义上的密码学实现 bug

最后,Zcash团队也一直在努力确保:

  • Zcash对“前量子时代密码学假设”的依赖,被隔离在那些未来可以被后量子抗性技术替换的密码原语中。

3. 当前最佳实践(Today’s Best Practices)

保护你的 shielded 资金免受“量子末日”影响的最佳实践,就是:把你的币转入 shielded 状态,并等待后续软件升级。

即便完成了前文提到的那些改进之后,量子计算机所带来的主要soundness威胁,仍然是:攻击者能够伪造 shielded coins。

虽然 Zcash 的密码学家会持续领先于技术发展,努力保护用户,

最后一道防线仍然是 turnstiles。

参考资料

[1] Zcash团队2025年10月16日博客 Zcash and Quantum Computers

http://www.cnnetsun.cn/news/2485589.html

相关文章:

  • 保姆级教程:从VMnet感叹号到CentOS网络‘被拔出’,一站式修复VMware虚拟网络所有问题
  • 【FPAI开发】超详细!YOLO26适配FPAI芯片部署过程详解!
  • 别再只问哪个大模型更强了,2026年真正决定AI Agent上限的,是向量引擎
  • 提示词工程(下):思维链、自我一致与 Cursor 规则
  • 在STM32上实现文件上传:手把手教你配置lwIP 2.1.3的HTTPD POST接口(含内存管理避坑指南)
  • ESP32-S3 变身‘数据U盘+调试串口’二合一神器:基于 TinyUSB 同时开启 MSC 和 CDC 的实战教程
  • AOCODARC-F7MINI飞控固件编译踩坑记:从‘make arm_sdk_install’失败到成功编译
  • 一文看懂 Hermes Agent 的 MCP 架构:外部工具到底怎么接入 AI Agent?
  • Rockchip设备USB通信协议解析:rkdeveloptool的3种高效调试模式实战指南
  • DeepSeek企业级部署GPU清单(2024Q3权威更新):仅3款消费级卡达标,87%私有云环境需重构PCIe拓扑
  • CSS视图过渡(View Transitions)完全指南:打造流畅页面切换
  • Flutter应用架构完全指南:从MVC到Clean Architecture
  • 避开这些坑!SAP EWM盘点配置中的3个常见错误与最佳实践
  • 德诚康复|河南大型精工假肢康复连锁机构
  • 基于机器视觉的工业产品型号识别与报警系统实现
  • Tokio运行时Worker挂死原理剖析与防御实践
  • 从 WebGPT 到 WebAgent:搜索增强型智能体演进
  • ARM Cortex-A53缓存策略实战:手把手教你配置MMU页表优化程序性能
  • AI写论文必备攻略!4款AI论文写作工具,开启高效论文创作之旅!
  • MATLAB R2026a安装教程
  • 从零开始学习AI Agent的实战路线图
  • 告别Gym,拥抱Gymnasium:从Atari游戏安装到代码迁移的完整避坑指南
  • AI Agent 输出格式的隐形瓶颈
  • VL53L0X激光测距模块在STM32上的应用:除了测距,还能玩出什么花样?
  • 用Field II和MATLAB搞定超声波声场仿真:从理论推导到代码实战(附源码)
  • 读研读博,教你3招搞定文献调研
  • HarmonyOS 图片缩放没想象中简单——detailEnhance 四档质量深度解析
  • 【DeepSeek API接入实战指南】:20年AI架构师亲授5大避坑要点与3分钟快速调通秘籍
  • 别再只盯着Encoder模式了!STM32F4通用IO口+外部中断搞定EC11旋转编码器(附代码)
  • 基于STM32F105系列使用CAN总线实现双机通信代码