Batchman and Robin: Batched and Non-batched Branching for Interactive ZK.

本文提出了一种针对交互式零知识证明（ZK）中析取语句（即多个分支子句的或）的高效证明方法。当前基于向量不经意线性求值（VOLE）的ZK协议虽已实现快速可扩展的证明，但将证明语句编译为控制流无关形式（如电路）仍然导致昂贵的证明开销。对于形如

历史摘要 · 未重新核验 · ACM CCS