本论文是一篇关于 zk-SNARKs（零知识简洁非交互式知识论证）的系统性综述（SoK）。zk-SNARKs 是证明计算正确性的强大密码学工具，吸引了研究人员、开发者和用户的广泛兴趣。然而，其复杂性导致不同群体之间存在认知与应用上的鸿沟：研究者专注于构造更高效、具备更强安全性和新属性的证明系统，而开发者和用户则更关心工具链的易用性、兼容性和实际部署。论文旨在弥合这一差距，从理论到实践对 zk-SNARKs 进行全面的梳理。作者首先提出一个“主配方”（master recipe），将程序转换为 zk-SNARK 的主要步骤统一为一个流程，包括程序编译为约束系统、多项式承诺、证明生成与验证等关键环节。随后，他们根据关键技术对现有 zk-SNARKs 方案进行分类，重点关注在实际应用中具有价值的属性差异。论文调查了自 2013 年以来的 40 多个 zk-SNARK 方案，并提供一张综合参考表，列出它们的类别和性质。接着，论文调研了 11 个通用且广泛使用的 zk-SNARK 开源库，详细分析了这些库的可用性、兼容性、效率以及局限性。由于安装和执行这些系统往往具有挑战性，作者还提供了一个完全虚拟化的环境，用于运行每个库的编译器，以降低复现和评估的门槛。通过对比学术界和工业界的关注点，论文发现：密码学研究的主要焦点是证明系统本身，而工业界的瓶颈则出现在约束系统的构建与优化上。为了弥合这一差距，作者提出了具体建议，并倡导开源社区加强文档编写、标准化建设和跨库兼容性。本文为该领域的从业者（包括安全工程师、研发人员和学术研究者）提供了宝贵的参考资料，有助于理解 zk-SNARKs 的设计空间、实际实现中的权衡以及未来发展方向。

该论文研究如何安全高效地将zk-SNARKs证明的生成任务外包给单个不信任的服务器，同时保护用户的隐私。zk-SNARKs是一种零知识证明，允许证明者向验证者证明某个陈述为真，而无需泄露任何额外信息。然而，生成zk-SNARKs证明的计算开销巨大，对于资源受限的用户（如移动设备）而言难以承受。现有解决方案要么依赖多个服务器（需要非共谋假设），要么牺牲隐私。本文提出一种单服务器私有外包协议，允许用户将证明生成任务委托给单个服务器，服务器执行大部分计算，而用户仅需少量本地计算。核心方法结合了同态加密与简洁的本地验证技术，确保服务器无法学习任何关于用户输入（包括秘密witness）的信息，同时用户可高效验证服务器返回结果的正确性。实验表明，与在本地生成证明相比，该方案可显著降低用户计算开销（例如，对于R1CS电路，用户端时间减少约99%），而通信开销和服务器计算量仍在可接受范围内。主要贡献包括：形式化定义单服务器私有外包的模型与安全要求；提出一个具体构造，基于可验证计算和同态加密；在多个实际电路上进行性能评估。该工作对于推动零知识证明在移动端和边缘设备上的应用具有重要价值。