메뉴 건너뛰기




Volumn 2951, Issue , 2004, Pages 191-202

A note on constant-round zero-knowledge proofs for NP

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

EID: 35048884208     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24638-1_11     Document Type: Article
Times cited : (36)

References (19)
  • 1
    • 0035166072 scopus 로고    scopus 로고
    • How to go beyond the Black-Box Simulation Barrier
    • B. Barak. How to go Beyond the Black-Box Simulation Barrier. In 42nd FOCS, pages 106-115, 2001.
    • (2001) 42nd FOCS , pp. 106-115
    • Barak, B.1
  • 2
    • 0003384765 scopus 로고
    • How to prove a Theorem so No One Else Can Claim It
    • Berekeley, California, USA
    • M. Blum. How to prove a Theorem So No One Else Can Claim It. Proc. of the International Congress of Mathematicians, Berekeley, California, USA, pages 14441451, 1986.
    • (1986) Proc. of the International Congress of Mathematicians , pp. 14441451
    • Blum, M.1
  • 3
    • 0000867507 scopus 로고
    • Minimum Disclosure Proofs of Knowledge
    • G. Brassard, D. Chaum and C. Crépeau. Minimum Disclosure Proofs of Knowledge. JCSS, Vol. 37, No. 2, pages 156-189, 1988.
    • (1988) JCSS , vol.37 , Issue.2 , pp. 156-189
    • Brassard, G.1    Chaum, D.2    Crépeau, C.3
  • 4
    • 85016692748 scopus 로고
    • On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures
    • Springer LNCS 773
    • I. Damgard, T. Pedersen and B. Pfitzmann. On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. In Crypto93, Springer LNCS 773, pages 250-265, 1993.
    • (1993) Crypto93 , pp. 250-265
    • Damgard, I.1    Pedersen, T.2    Pfitzmann, B.3
  • 5
    • 35048823252 scopus 로고
    • Ph.D. thesis, Alternative Models for Zero Knowledge Interactive Proofs. Weizmann Institute of Science
    • U. Feige. Ph.D. thesis, Alternative Models for Zero Knowledge Interactive Proofs. Weizmann Institute of Science, 1990.
    • (1990)
    • Feige, U.1
  • 7
    • 0000108216 scopus 로고    scopus 로고
    • How to Construct Constant-Round Zero-Knowledge Proof Systems for NP
    • O. Goldreich and A. Kahan. How to Construct Constant-Round Zero-Knowledge Proof Systems for NP. Jour, of Cryptology, Vol. 9, No. 2, pages 167-189, 1996.
    • (1996) Jour, of Cryptology , vol.9 , Issue.2 , pp. 167-189
    • Goldreich, O.1    Kahan, A.2
  • 8
    • 0029767165 scopus 로고    scopus 로고
    • On the Composition of Zero-Knowledge Proof Systems
    • O. Goldreich and H. Krawczyk. On the Composition of Zero-Knowledge Proof Systems. SIAM J. Computing, Vol. 25, No. 1, pages 169-192, 1996.
    • (1996) SIAM J. Computing , vol.25 , Issue.1 , pp. 169-192
    • Goldreich, O.1    Krawczyk, H.2
  • 9
    • 0028676264 scopus 로고
    • Definitions and Properties of Zero-Knowledge Proof Systems
    • O. Goldreich and Y. Oren. Definitions and Properties of Zero-Knowledge Proof Systems. Jour, of Cryptology, Vol. 7, No. 1, pages 1-32, 1994.
    • (1994) Jour, of Cryptology , vol.7 , Issue.1 , pp. 1-32
    • Goldreich, O.1    Oren, Y.2
  • 10
    • 0024611659 scopus 로고
    • The Knowledge Complexity of Interactive Proof Systems
    • S. Goldwasser, S. Micali and C. Rackoff. The Knowledge Complexity of Interactive Proof Systems. SIAM J. Comput., Vol. 18, No. 1, pp. 186-208, 1989.
    • (1989) SIAM J. Comput. , vol.18 , Issue.1 , pp. 186-208
    • Goldwasser, S.1    Micali, S.2    Rackoff, C.3
  • 11
    • 71149116146 scopus 로고
    • Proofs that Yield Nothing but Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems
    • O. Goldreich, S. Micali and A. Wigderson. Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems. JACM, Vol. 38, No. 1, pages 691-729, 1991.
    • (1991) JACM , vol.38 , Issue.1 , pp. 691-729
    • Goldreich, O.1    Micali, S.2    Wigderson, A.3
  • 12
    • 0345253860 scopus 로고    scopus 로고
    • Construction of Pseudorandom Generator from any One-Way Function
    • J. Hastad, R. Impagliazzo, L.A. Levin and M. Luby. Construction of Pseudorandom Generator from any One-Way Function. SIAM Jour, on Computing, Vol. 28 (4), pages 1364-1396, 1999.
    • (1999) SIAM Jour, on Computing , vol.28 , Issue.4 , pp. 1364-1396
    • Hastad, J.1    Impagliazzo, R.2    Levin, L.A.3    Luby, M.4
  • 13
    • 0034830278 scopus 로고    scopus 로고
    • Concurrent and Resettable Zero-Knowledge in Polylogarithmic Rounds
    • J. Kilian and E. Petrank. Concurrent and Resettable Zero-Knowledge in Polylogarithmic Rounds. In 33rd STOC, pages 560-569, 2001.
    • (2001) 33rd STOC , pp. 560-569
    • Kilian, J.1    Petrank, E.2
  • 14
    • 35248834133 scopus 로고    scopus 로고
    • Simulatable Commitments and Efficient Concurrent Zero-Knowledge
    • Springer LNCS 2656
    • D. Micciancio and E. Petrank. Simulatable Commitments and Efficient Concurrent Zero-Knowledge. In EUROCRYPT03, Springer LNCS 2656, pages 140-159, 2003.
    • (2003) EUROCRYPT03 , pp. 140-159
    • Micciancio, D.1    Petrank, E.2
  • 15
    • 0001448484 scopus 로고
    • Bit Commitment using Pseudorandomness
    • M. Naor. Bit Commitment using Pseudorandomness. Jour, of Cryptology, Vol. 4, pages 151-158, 1991.
    • (1991) Jour, of Cryptology , vol.4 , pp. 151-158
    • Naor, M.1
  • 16
    • 0141544069 scopus 로고    scopus 로고
    • Zero-Knowledge Arguments for NP can be Based on General Assumptions
    • M. Naor, R. Ostrovsky, R. Venkatesan and M. Yung. Zero-Knowledge Arguments for NP can be Based on General Assumptions. Jour, of Cryptology, Vol. 11, pages 87-108, 1998.
    • (1998) Jour, of Cryptology , vol.11 , pp. 87-108
    • Naor, M.1    Ostrovsky, R.2    Venkatesan, R.3    Yung, M.4
  • 17
    • 0024867751 scopus 로고
    • Universal One-Way Hash Functions and their Cryptographic Applications
    • M. Naor and M. Yung. Universal One-Way Hash Functions and their Cryptographic Applications. In 21st STOC, pages 33-43, 1989.
    • (1989) 21st STOC , pp. 33-43
    • Naor, M.1    Yung, M.2
  • 18
    • 0036957024 scopus 로고    scopus 로고
    • Concurrent Zero Knowledge with Logarithmic Round-Complexity
    • M. Prabhakaran and A. Rosen and A. Sahai. Concurrent Zero Knowledge with Logarithmic Round-Complexity. In 43rd FOCS, pages 366-375, 2002.
    • (2002) 43rd FOCS , pp. 366-375
    • Prabhakaran, M.1    Rosen, A.2    Sahai, A.3
  • 19
    • 84957621865 scopus 로고    scopus 로고
    • On the Concurrent Composition of Zero-Knowledge Proofs
    • Springer LNCS 1592
    • R. Richardson and J. Kilian. On the Concurrent Composition of Zero-Knowledge Proofs. In EuroCrypt99, Springer LNCS 1592, pages 415-431, 1999.
    • (1999) EuroCrypt99 , pp. 415-431
    • Richardson, R.1    Kilian, J.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.