On zero-knowledge proofs: "From membership to decision" (extended abstract)

Giovanni Di Crescenzo, Kouichi Sakurai, Moti Yung

研究成果: 著書/レポートタイプへの貢献会議での発言

5 引用 (Scopus)

抜粋

"Zero-knowledge proofs of membership" are methods for proving that a string x is in a language L without revealing any additional information. This is a fundamental notion that has proven to be useful and applicable in many settings. Two main variants have been considered in the literature. The first, "zero-knowledge proofs of decision power", consists of methods for proving the knowledge of whether a string x is in a language L or not without revealing any additional information. The second, "result- indistinguishable zero-knowledge proofs of decision", consists of methods for transfering whether a string x is in a language L or not without revealing any additional information. Due to the quite stringent definitions of these two variants, it seemed that the class of languages having zero-knowledge proofs of membership was not as large as any of the classes of languages having zero-knowledge protocols in these two models. In this paper we give strong indications that this may not be the case. Our main result is that any language having what we call "meet-the challenge" game as a perfect (statistical) zk proof of membership, has also such a perfect (statistical) zk proof in the two "decision proof" models. This can be extended to prove, among other things, that honest-verifier statistical zk proof of membership for a language implies a honest-verifier statistical zk protocol in the two "decision" models. Technically, we introduce new protocol techniques, such as "language-based coin flipping protocols" that may have other applications.

元の言語英語
ホスト出版物のタイトルProceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC 2000
ページ255-264
ページ数10
DOI
出版物ステータス出版済み - 12 1 2000
イベント32nd Annual ACM Symposium on Theory of Computing, STOC 2000 - Portland, OR, 米国
継続期間: 5 21 20005 23 2000

出版物シリーズ

名前Proceedings of the Annual ACM Symposium on Theory of Computing
ISSN(印刷物)0737-8017

その他

その他32nd Annual ACM Symposium on Theory of Computing, STOC 2000
米国
Portland, OR
期間5/21/005/23/00

All Science Journal Classification (ASJC) codes

  • Software

これを引用

Di Crescenzo, G., Sakurai, K., & Yung, M. (2000). On zero-knowledge proofs: "From membership to decision" (extended abstract). : Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC 2000 (pp. 255-264). (Proceedings of the Annual ACM Symposium on Theory of Computing). https://doi.org/10.1145/335305.335336