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

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

Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam

Vector Oblivious Linear Evaluation (VOLE) supports fast and scalable interactive Zero-Knowledge (ZK) proofs. Despite recent improvements to VOLE-based ZK, compiling proof statements to a control-flow oblivious form (e.g., a circuit) continues to lead to expensive proofs. One useful setting where this inefficiency stands out is when the statement is a disjunction of clauses L1 ∨ · · · …

control eprint report evaluation fast flow knowledge linear non oblivious proof report robin vladimir