Basic Questions about Zero Knowledge(I)
Q1: Sequential Compositions
Q2: Parallel Compositions?
- Not always (artificial counter example)
- Known natural examples cannot be proved using black box simulation
- A: Weaken definition of ZK to Witness Hiding [FeSh87]