1 research outputs found
Public-Coin Statistical Zero-Knowledge Batch Verification against Malicious Verifiers
Suppose that a problem has a statistical zero-knowledge (SZK) proof with communication complexity . The question of batch verification for SZK asks whether one can prove that instances all belong to with a statistical zero-knowledge proof whose communication complexity is better than (which is the complexity of the trivial solution of executing the original protocol independently on each input).
In a recent work, Kaslasi et al. (TCC, 2020) constructed such a batch verification protocol for any problem having a non-interactive SZK (NISZK) proof-system. Two drawbacks of their result are that their protocol is private-coin and is only zero-knowledge with respect to the honest verifier.
In this work, we eliminate these two drawbacks by constructing a public-coin malicious-verifier SZK protocol for batch verification of NISZK. Similarly to the aforementioned prior work, the communication complexity of our protocol is