ZKproof 8 - Cristodoulos Pappas 基于编码的协作式SNARKs
**视频 AI 总结**：该演讲介绍了首个透明且抗量子的可扩展协同SNARK（Collaborative SNARK），基于编码技术实现。协同SNARK允许多个持有部分见证（witness）的证明者通过安全多方计算（MPC）协作生成零知识证明，解决了单证明者资源不足或数据隐私泄露的问题。现有可扩展协同SNARK要么通信开销大，要么依赖于非透明的椭圆曲线多项式承诺。本文利用Reed-Solomon张量码和协作编码，结合Spartan PLP与FRI协议，实现了每证明者时间复杂度与电路大小呈反比（完美可扩展），总通信量仅为线性于输入大小，且支持恶意攻击者安全。实验表明，在局域网中近乎完美扩展，在广域网中性能损失最多5倍；相较于现有方案，计算快2-10倍，通信量小13倍。 **主要内容**： - 背景：ZK Snarks在匿名交易、机器学习推理验证、零知识身份中的应用及其隐私局限性（证明者需持有完整见证）。 - 问题：单证明者算力不足或多方持有部分数据时，如何安全协作生成证明，避免泄露隐私。 - 现有方案不足：非可扩展方案每证明者时间与电路大小成正比；可扩展方案（如Copyanist）通信开销极大，且不透明、不抗量子。 - 本文贡献：构建首个透明、抗量子的可扩展协同SNARK；引入零知识协作编码（Collaborative Code），基于Reed-Solomon张量码实现单轮通信、线性通信量；设计协作IOP（基于FRI协议），使证明者本地折叠张量码，并引入掩码实现零知识；基于Spartan PLP构建可扩展的协作PLP，减少通信轮数。 - 实验评估：在C++中实现，使用61位Mersenne素数域和MPI通信；在LAN中接近完美扩展，在WAN（100ms延迟）中最多慢5倍；与Copyanist相比，证明时间快2-10倍，总通信量小13倍；超过特定证明者数（88个）后，性能甚至优于中心化SNARK。 - 未来方向：进一步减小证明大小（优化张量码的接近性参数），或减少每轮掩码的开销。