Skip to main content

1990 | OriginalPaper | Buchkapitel

Everything Provable is Provable in Zero-Knowledge

verfasst von : Michael Ben-Or, Oded Goldreich, Shafi Goldwasser, Johan Håstad, Joe Kilian, Silvio Micali, Phillip Rogaway

Erschienen in: Advances in Cryptology — CRYPTO’ 88

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Assuming the existence of a secure probabilistic encryption scheme, we show that every language that admits an interactive proof admits a (computational) zero-knowledge interactive proof. This result extends the result of Goldreich, Micali and Wigderson, that, under the same assumption, all of NP admits zero-knowledge interactive proofs. Assuming envelopes for bit commitment, we show tht every language that admits an interactive proof admits a perfect zero-knowledge interactive proof.

Metadaten
Titel
Everything Provable is Provable in Zero-Knowledge
verfasst von
Michael Ben-Or
Oded Goldreich
Shafi Goldwasser
Johan Håstad
Joe Kilian
Silvio Micali
Phillip Rogaway
Copyright-Jahr
1990
Verlag
Springer New York
DOI
https://doi.org/10.1007/0-387-34799-2_4