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

零知识证明（ZK）是现代密码学的基石，由Goldwasser、Micali和Rackoff在1985年提出。随着区块链技术的兴起，ZK-SNARKs（简洁的非交互式零知识证明）因其非交互性、公开可验证性和简洁性而受到广泛关注。然而，现有部署面临运行时间长、内存消耗大等问题，难以在普通硬件上扩展到大规模电路。本文提出并实现了Ligetron，一个高效的亚线性非交互式零知识证明系统，可作为Web应用部署，并支持高达数十亿门规模的电路。核心创新在于使用Web Assembly（WASM）作为中间表示（IR），WASM具有三个优势：（1）能灵活表示复杂计算；（2）可从大多数高级语言编译；（3）蕴含丰富语义以实现空间高效。在后端，Ligetron基于Ames等人（ACM CCS 2017）提出的Ligero ZK系统，设计并实现了空间高效的变体，充分利用WASM语义。Ligetron是首个在浏览器中运行、且能扩展到十亿门规模的后量子ZK-SNARK。在普通硬件上，Ligetron可扩展至任意大电路，其证明者和验证者运行时间具有竞争力，证明长度优于所有先前的后量子ZK-SNARK。实验表明，Ligetron在性能上显著优于现有方案，为实际部署提供了可行的轻量级解决方案。该研究主要面向密码学、区块链安全及Web应用安全领域的研究者和工程师。

该论文提出了一种轻量级的基于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倍。论文的另一核心贡献（具有独立价值）是一个基于标准素数阶群的批量范围证明系统，无需使用比特分解。