本文提出 Sparrow，一种面向数据并行算术电路的高空间效率零知识简洁非交互式证明（zkSNARK）方案。在部署 SNARK 的实践中，证明者的空间开销是主要障碍之一，往往远超本地计算的资源需求。针对这一问题，Sparrow 实现了两个显著特性：首先，对于给定有限域，随着电路规模增大，证明者的开销仅以亚对数倍数增长；其次，与先前适用于任意算术电路的空间高效 SNARK 方案相比，Sparrow 的证明者空间复杂度渐近地小于电路本身的大小。其关键构建模块是一种新的空间高效 sumcheck 参数，同时改善了证明者时间，这本身可能具有独立研究价值。实验部分覆盖了三种用例：任意数据并行电路、乘法树、批量 SHA256 哈希。结果表明，Sparrow 在证明者总空间上比之前最先进的空间高效 SNARK Gemini（Bootle 等人，EUROCRYPT'22）快 3.2 至 28.7 倍，在证明者时间上快 3.1 至 11.3 倍。此外，作者利用 Sparrow 的空间效率构建了树训练和预测的零知识证明，能够扩展到大型数据集和多棵树的森林。与基于 GKR 协议的非空间高效最优时间 SNARK 相比，在树训练中证明者空间减少 16 至 240 倍，同时保持基本相同的证明者和验证者时间以及证明大小。值得关注的是，Sparrow 的证明者所需空间与本地执行底层计算相当：例如，对于 400MB 的数据集，证明者所需空间仅比本地计算多 1.4 倍。该研究为大数据集上的零知识证明提供了实用的解决方案，适合密码学研究者、区块链隐私计算开发者以及需要验证大规模计算完整性的安全工程师阅读。

本文提出 Flock，一种基于哈希的 SNARK（简洁非交互式零知识证明）系统，旨在大幅加速大批量布尔计算（尤其是标准密码学哈希函数评估）的证明生成。在许多 SNARK 应用中，证明大量 SHA-256、Keccak、BLAKE3 等哈希评估是关键瓶颈。Flock 针对同一 R1CS 电路的批量证明进行优化，同时支持哈希链、Merkle 路径开证明，并可扩展至完整的哈希签名验证。其核心技术包括对 lincheck 和 zerocheck 协议的新优化，以及由编码智能体协同设计的激进优化的概念验证实现。实验表明，在 M4 Max 处理器单核上，Flock 每秒可证明 8.2 万次 BLAKE3 压缩函数评估、4.2 万次 SHA-256 压缩和 3 万次 Keccak 置换，开销仅为原生执行的约 250 倍；在十核上，吞吐量超过每秒 66 万次 BLAKE3 压缩。与当前最先进的 Binius64 相比，Flock 在 SHA-256 证明上快 9 倍以上，比最快的椭圆曲线 SNARK 快 500 倍以上。该工作显著降低了批量哈希证明的计算成本，可推动 SNARK 在区块链、可验证计算等场景中的实际部署。

本文针对高保证密码学协议形式化验证实现中存在的性能瓶颈问题，提出了一套通用的优化方法。以 Line-Point 零知识证明（LPZK）协议为案例，首先在 EasyCrypt 中实现了一个形式化验证的 LPZK 实现（未考虑性能），然后通过三步优化获得高达 3000 倍的加速，最终性能与手动优化版本 lpzkv2 相当。三步优化包括：修改算法规范以减少计算复杂度、采用可证明安全的并行执行模型、以及优化内存访问结构。每一步优化都在 EasyCrypt 中形式化验证，并自动合成可执行代码。论文详细分析了每步优化带来的性能提升，并讨论了自动化安全证明和代码合成面临的挑战。该工作表明，通过系统的形式化优化，可以在不牺牲安全性保证的前提下显著提升验证密码学实现的性能，为高保证密码学的大规模应用提供了可行的技术路径。

该论文提出了一种名为Coral的新型零知识证明系统，专注于快速、简洁且非交互的上下文无关文法（CFG）证明。零知识证明允许一方（证明者）向另一方（验证者）证明某个陈述的真实性，而不泄露任何额外信息。现有系统在处理CFG时存在效率低或交互复杂的问题。Coral通过优化代数论证和多项式承诺方案，实现了证明的简洁性（证明大小与语句复杂度成亚线性关系）和验证效率（接近常数时间）。论文详细描述了协议设计、安全性证明，并提供了基准测试结果。实验表明，Coral在证明生成速度和验证时间上相比以往方案有显著提升，尤其是在处理复杂CFG关系时。该研究不仅推动了零知识证明理论的发展，也为实际应用如区块链隐私、凭证验证等提供了更高效的底层工具。适合密码学研究者、区块链工程师以及需要高效零知识证明的开发者阅读。

本文提出了一种针对Paillier密码系统的高效零知识论证系统。Paillier加密是一种同态加密方案，广泛应用于隐私保护计算，如联邦学习和加密数据分析。然而，在实际应用中，需要证明密文满足某些性质（如范围证明、正确性证明等），而现有的零知识证明方案要么具有线性大小的证明和验证成本（专门为Paillier设计的方案），要么使用通用子线性论证系统（如zk-SNARK），但后者需要将关系转化为大布尔电路或素数阶域上的算术电路，导致证明生成成本过高。本文的核心创新在于定义了一个基于合数模剩余类环上的约束系统，并提出了针对该系统中二进制值证明的新技术。然后，作者改编了Bootle等人（EUROCRYPT 2016）的方法，将该约束系统编译为子线性论证系统。该约束系统是通用的，可以表达Paillier密码中的典型关系，包括范围证明、正确性证明、多个密文间明文关系等。更重要的是，该系统支持批量证明生成和验证，当Paillier密文数量达到数百个时，其摊销成本优于现有专有方案。实验评估了多个场景：在打包场景中，将25.6K比特打包到400个密文中，证明这些密文正确计算的证明大小比朴素实现（使用25.6K个OR证明而不打包）小17倍，验证速度快3倍，并且可以几乎无成本地证明附加语句（如子集比特和小于阈值）。在范围证明场景中，证明200个密文的每个明文为256比特，证明大小比现有最优方案小10倍。结果表明，该方案在渐近效率上优于现有协议，特别适用于涉及大量（超过100个）Paillier密文的数据分析应用。本文适合密码学研究人员、隐私保护计算开发者和安全从业者阅读。

本论文提出了一种称为 Caulk 的新型查找参数（lookup argument）及其变体 Caulk+，旨在解决零知识证明系统中高效证明元素属于预定义集合的问题。传统的查找参数（如 plookup）证明者复杂度与数据集大小呈线性关系，而 Caulk 通过结合向量承诺和多项式承诺技术，将证明者复杂度降低至次线性（具体为 O(log^2 n) 或更低），验证者时间和证明大小保持在对数或常数级别。Caulk 的核心思想是将集合的承诺与稀疏求值技术相结合，允许证明者仅访问数据集的子集即可生成证明。Caulk+ 进一步优化了证明者渐近复杂度，适用于更大规模的数据集。实验表明，Caulk 在千万元素级别的集合上仍能保持高效。该工作对区块链、隐私保护计算、存储证明等场景具有重要理论价值，使得简洁零知识证明可以处理更大规模的状态，例如以太坊账户余额验证或存储证明。本文适合密码学研究者、零知识证明开发者及区块链底层技术工程师阅读。

本文提出了一种名为Wolverine的新型零知识证明（ZK）协议，旨在同时满足布尔电路和算术电路的高效、可扩展和低通信开销。现有的ZK协议要么证明者开销大（内存使用高），要么通信复杂度较高（每门至少κ比特，κ为计算安全参数）。Wolverine实现了常数轮交互，证明者运行时间线性，内存使用量渐近最优，与非加密方式评估电路所需内存相当，从而能够轻松扩展到超大规模电路。对于统计安全参数ρ=40，该协议在布尔电路上每门通信约9比特，在大域算术电路上每门通信2-4个域元素。实现结果表明，使用5线程、400MB内存、200Mbps网络，评估具有数千亿门的电路时，布尔电路速率为0.45μs/门，61位域算术电路为1.6μs/门。此外，本文还提出了一种改进的恶意安全子域向量不经意线性评估（sVOLE）协议，具有独立的研究价值。该研究为部署大规模零知识证明提供了高效且实用的方案，适合密码学研究人员、隐私计算工程师以及区块链开发者阅读。

隐私是现代社会中个人的基本权利，但隐私保护技术在日常交互中的实际采用仍然有限。零知识证明（ZKP）提供了强大的隐私保证，但其技术复杂性阻碍了广泛应用。本文提出一种可验证二维码（verifiable QR）的概念，使得离线验证者能够验证编码在QR码中的零知识证明。基于这一核心思想，作者构建了一个新颖的QR驱动的zkSNARK证明验证框架（称为zQR），专为移动平台设计。该框架整合了区块链技术以实现可审计性、不可否认性和日志记录，并利用大型语言模型（LLM）自动生成电路，降低了ZK电路设计的门槛。作者针对多个攻击面进行了安全讨论，包括二维码篡改、证明伪造、区块链数据完整性等。实验评估测量了时间成本（证明生成和验证延迟、QR码编码和解码延迟）和财务成本（区块链gas消耗）。结果表明，zQR作为概念验证框架在移动平台上具有可行性，证明可以紧凑地表示为QR码符号版本19（低纠错等级）。论文最后讨论了潜在应用（如数字身份、凭证验证）、当前限制（如二维码容量、移动端性能）以及未来方向。该研究主要面向隐私保护技术研究人员、移动安全工程师以及区块链开发者，提供了一种将零知识证明与物理介质结合的新思路。

该论文研究了双线性累加器（bilinear accumulator）中的批处理证明、聚合证明与零知识证明。累加器是一种密码学原语，允许证明者简洁地提交一个集合，并能提供元素属于或不属于该集合的证明。批处理证明是指同时证明多个元素的成员资格或非成员资格。现有累加器方案在批量证明时，往往存在证明大小与批处理数量线性增长、验证开销高等问题。本文提出了一种基于双线性映射的累加器框架，支持高效的批处理证明生成与聚合，并引入零知识性质，使得证明者可以隐藏被证明元素的具体值，同时保持证明的简洁性。核心贡献包括：1）设计了一种新的批处理证明生成算法，将多个成员证明或非成员证明聚合成一个恒定大小的证明；2）证明了该方案的安全性归约到q-SDH假设；3）实现了零知识变体，通过随机化掩盖被证明元素；4）在标准计算模型下分析了效率，实验表明证明大小与批处理数量无关，验证复杂度与批处理数量呈亚线性关系。该工作对于需要频繁进行集合成员验证的场景（如证书撤销、区块链状态承诺、匿名凭证）具有理论价值，但当前主要贡献在密码学协议设计层面，尚未直接转化为具体的安全产品或防御工具。

该论文提出了一种轻量级的基于QR码的零知识身份认证协议。该协议以Schnorr认证协议为基础，通过引入随机数（nonce）和时间戳机制，有效抵御重放攻击，增强了安全性。证明者将生成的证明数据嵌入QR码中，并通过QR码传输给验证者，从而在不泄露密钥的前提下完成对私钥知识的验证。模拟实验表明，在256位安全级别下，证明生成和验证时间均在毫秒级别，证明大小恒定约为0.5 KB，适合QR码容量限制。该方案在安全性和性能方面均适用于移动设备和低资源系统。

本文提出了一种基于向量不经意线性评估（VOLE）的高效零知识证明协议套件JesseQ，包含JQv1和JQv2两个变体。零知识证明在隐私保护、区块链验证等领域具有广泛应用，但现有协议如QuickSilver和LPZKv2在证明者计算开销上仍有优化空间。JQv1针对布尔电路，每个AND门仅需扩展域上2次标量乘法（每次为O(κ)比特运算，κ=128为安全参数），且每个门仅需1个域元素通信；对于大域算术电路，每个乘法门仅需2次域乘法。JQv2以证明者计算量翻倍为代价，将通信成本再减半。实验表明，在布尔电路在线阶段，JQv1和JQv2相比现有最优方案实现至少3.9倍加速；大域电路方面，JQv1性能相近，JQv2提升1.3倍。通信成本保持不变或更优。值得注意的是，在廉价AWS实例上，JQv1仅需1美元即可证明9.2万亿个AND门（或61比特域上的5.8万亿个乘法门）。JQv在点积、矩阵乘法、格密码问题等应用中相比QuickSilver有40%-200%的性能提升，并能无缝集成Batchman框架，进一步提升批处理析取语句的效率。

本文提出了 Cirrus，一个高性能且具有问责性的分布式 SNARK（简洁非交互零知识证明）系统。分布式 SNARK 允许多个证明者协作生成证明，同时确保任何一方都无法作弊而不被追责。Cirrus 在保持零知识证明安全性的前提下，通过优化通信复杂度和计算开销实现了可扩展性。论文可能采用了新的密码学原语或协议设计，以解决现有分布式证明系统中效率与可问责性难以兼得的问题。实验结果表明，Cirrus 在证明生成速度、验证开销及系统吞吐量方面优于现有方案。该工作对隐私保护计算、区块链扩容以及可验证计算等场景具有重要价值。由于未提供完整摘要，上述细节基于标题推断，建议进一步阅读原文。

该论文研究了为浮点计算构建简洁零知识证明系统的问题。标准方法需要将浮点运算转换为二进制电路（遵循 IEEE-754 标准），导致证明者效率产生关于精度 w 的多项式开销，成为简洁论证设计的瓶颈。论文提出了一种新模型，用于验证浮点计算的近似正确性，允许相对于误差界的结果。该模型受数值分析启发，适用于机器学习、科学计算等场景。基于此模型，作者提出了一种通用方法，从已有的公开硬币的“承诺-证明”系统出发，构造针对浮点计算的简洁零知识证明。对于 w 位精度的计算，新方法仅引入 log(w) 倍的开销，几乎保持底层协议的通信复杂度（至多差2倍），并实现次线性验证时间。在随机预言机模型下可转化为非交互式。具体地，对于32位浮点计算，方案比严格按照IEEE-754标准的方法快约57倍。论文的另一核心贡献（具有独立价值）是一个基于标准素数阶群的批量范围证明系统，无需使用比特分解。