Sciweavers

ECCC
2007

Which Languages Have 4-Round Zero-Knowledge Proofs?

13 years 10 months ago
Which Languages Have 4-Round Zero-Knowledge Proofs?
We show that if a language L has a 4-round, black-box, computational zero-knowledge proof system with negligible soundness error, then ¯L ∈ MA. Assuming the polynomial hierarchy does not collapse, this means in particular that NP-complete languages do not have 4-round zero-knowledge proofs (at least with respect to black-box simulation).
Jonathan Katz
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ECCC
Authors Jonathan Katz
Comments (0)