All reports by Author Shafik Nassar:

__
TR24-024
| 14th February 2024
__

Changrui Mu, Shafik Nassar, Ron Rothblum, Prashant Nalini Vasudevan#### Strong Batching for Non-Interactive Statistical Zero-Knowledge

Changrui Mu, Shafik Nassar, Ron Rothblum, Prashant Nalini Vasudevan

A zero-knowledge proof enables a prover to convince a verifier that $x \in S$, without revealing anything beyond this fact. By running a zero-knowledge proof $k$ times, it is possible to prove (still in zero-knowledge) that $k$ separate instances $x_1,\dots,x_k$ are all in $S$. However, this increases the communication by ... more >>>