Batchman and Robin: Batched and Non-batched Branching for Interactive ZK.
本文提出了一种针对交互式零知识证明（ZK）中析取语句（即多个分支子句的或）的高效证明方法。当前基于向量不经意线性求值（VOLE）的ZK协议虽已实现快速可扩展的证明，但将证明语句编译为控制流无关形式（如电路）仍然导致昂贵的证明开销。对于形如
#VOLE
共收录 2 条相关情报。
← 返回所有主题JesseQ: Efficient Zero-Knowledge Proofs for Circuits Over Any Field.
本文提出了一种基于向量不经意线性评估（VOLE）的高效零知识证明协议套件JesseQ，包含JQv1和JQv2两个变体。零知识证明在隐私保护、区块链验证等领域具有广泛应用，但现有协议如QuickSilver和LPZKv2在证明者计算开销上仍有