World 在新版零知识证明工具包中新增后量子安全功能

积极采用后量子技术

World 近期发布了一套开源且可投入生产的零知识（ZK）证明工具包，旨在让个人能够直接在智能手机和网页浏览器上生成加密证明。该工具包名为 Provekit v1，已集成至 World ID 中，允许用户在不向第三方透露底层敏感数据的情况下验证个人信息。

此次发布距萨姆·阿尔特曼（Sam Altman）创立的World公司推出一款开发者工具包仅数月之隔，该工具包旨在将人类身份的加密证明引入日益发展的人工智能（AI）代理领域。当时，World表示该工具包将使AI代理能够通过World ID证明其背后是由一位唯一且经过验证的真实人支持的。

针对将128位后量子安全技术整合到该工具包背后的原因，World Foundation的一位发言人表示，现在向抗量子标准迁移符合美国国家标准与技术研究院（NIST）等标准制定机构的建议。

“安全要求我们认真对待那些真实存在但发生概率较低的风险，”该发言人表示，并指出尽管实际的量子攻击可能尚需5至15年才会出现，但更换硬件和软件系统中嵌入的加密基础设施需要数年时间才能完成。 该代表补充道，后量子安全与低延迟性能是相辅相成的，而非相互冲突的目标。 根据一份媒体声明，该工具包采用了一种名为 WHIR 的基于哈希的承诺方案，而非传统的椭圆曲线数学，从而消除了对可信初始化（trusted setup）的需求。 由于无需可信初始化，运行 World App 的智能手机无需在内存中保存大型证明密钥，从而使低端设备也能直接处理计算任务。 基准测试显示，Provekit 在标准智能手机上仅需几秒钟即可生成证明，在低端硬件上也只需不到 30 秒，证明大小平均约为 1 MB。 对于以太坊链上验证等需要更小占用空间的环境，World 建议使用 Groth16 等紧凑型证明系统进行递归验证。

针对关于潜在“先收集，后解密”（HNDL）攻击的疑问，该发言人向 Bitcoin.com News 澄清，这并非 Provekit 设计的主要动因。 由于该工具包在本地处理零知识证明，而非通过网络传输原始生物识别数据或凭证，因此无论量子技术如何进步，个人隐私在信息论层面仍能得到保障。

相反，零知识系统面临的主要后量子风险在于证明的正确性和伪造问题。如果没有后量子保护措施，攻击者可能利用量子计算机伪造身份证明，或冒充他人进行身份验证。

“零知识证明并非等待解锁或解密的秘密；它是一种关于某事属实的声明，因此需要关注的是伪造问题，而非保密性，”该发言人解释道，并补充说 World ID 和以太坊正朝着全面后量子保护的方向发展，以保障长期的前向安全性。

基于 Provekit 进行开发的开发者可以使用 Noir 创建自定义声明，Noir 是由 Aztec 开发的一种开源、受 Rust 启发的领域特定语言。自定义声明可以动态分发，而无需将其直接打包到主应用程序中。该软件还支持 World ID 凭证，能够从支持 NFC 的身份证明文件中读取并本地存储加密数据。

存储的信息对外部方（包括 World Foundation 和 Tools for Humanity）仍不可访问。与此同时，World 表示目前正在开发 Provekit v2，旨在进一步缩小证明大小和降低内存消耗，同时提高链上验证效率。