{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T19:20:55Z","timestamp":1791314455296,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540648925","type":"print"},{"value":"9783540684626","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055745","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T17:12:36Z","timestamp":1154020356000},"page":"424-441","source":"Crossref","is-referenced-by-count":96,"title":["Zero-knowledge proofs for finite field arithmetic, or: Can zero-knowledge be for free?"],"prefix":"10.1007","author":[{"given":"Ronald","family":"Cramer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivan","family":"Damg\u00e5rd","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"D. Beaver: Efficient Multiparty Protocols Using Circuit Randomization, Proceedings of Crypto 91, Springer-Verlag LNCS, 1992, pp. 420\u2013432.","DOI":"10.1007\/3-540-46766-1_34"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"L. Babai, L. Fortnow, L. Levin and M. Szegedi: Checking Computations in Polylogarithmic Time, Proceedings of STOC '91.","DOI":"10.1145\/103418.103428"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"M. Bellare and and O. Goldreich: On Defining Proofs of Knowledge, Proceedings of Crypto '92, Springer Verlag LNCS, vol. 740, pp. 390\u2013420.","DOI":"10.1007\/3-540-48071-4_28"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"J. Boyar, G. Brassard and R. Peralta: Subquadratic Zero-Knowledge, Journal of the ACM, November 1995.","DOI":"10.1145\/227683.227686"},{"key":"30_CR5","first-page":"156","volume":"37","author":"G. Brassard","year":"1988","unstructured":"G. Brassard, D. Chaum and C. Cr\u00e9peau: Minimum Disclosure Proofs of Knowledge, JCSS, vol.37, pp. 156\u2013189, 1988.","journal-title":"JCSS"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"M.Ben-Or, O.Goldreich, S.Goldwasser, J.H\u00e5stad, J.Kilian, S.Micali and P.Rogaway: Everything Provable is Provable in Zero-Knowledge, Proceedings of Crypto 88, Springer Verlag LNCS series, 37\u201356.","DOI":"10.1007\/0-387-34799-2_4"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"J. Benaloh: Secret Sharing Homomorphisms: Keeping Shares of a Secret Secret, Proc. of Crypto 86, Springer Verlag LNCS series, 251\u2013260.","DOI":"10.1007\/3-540-47721-7_19"},{"key":"30_CR8","unstructured":"R. Cramer and I. Damg\u00e5rd: Linear Zero-Knowledge, Proc. of STOC 97."},{"key":"30_CR9","unstructured":"R. Cramer, I. Damg\u00e5rd and U. Maurer: Span Programs and General Secure Multiparty Computations, BRICS Report series RS-97-27, available from http:\/\/www.brics.dk."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"R. Cramer, I. Damg\u00e5rd and B. Schoenmakers: Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols, Proceedings of Crypto '94, Springer verlag LNCS, vol. 839, pp. 174\u2013187.","DOI":"10.1007\/3-540-48658-5_19"},{"issue":"6","key":"30_CR11","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"IT-22","author":"W. Diffie","year":"1976","unstructured":"W. Diffie and M. Hellman: New Directions in Cryptography, IEEE Transactions on Information Theory IT-22 (6): 644\u2013654, 1976.","journal-title":"IEEE Transactions on Information Theory"},{"key":"30_CR12","unstructured":"De Santis, Di Crecenzo, Persiano and Yung, Proceedings of FOCS 1994."},{"key":"30_CR13","unstructured":"I. Damga\u00e5rd and B. Pfitzmann: Sequential Iteration of Interactive Arguments, Proc. of ICALP 98, Springer Verlag LNCS series."},{"issue":"4","key":"30_CR14","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/TIT.1985.1057074","volume":"IT-31","author":"T. ElGamal","year":"1985","unstructured":"T. ElGamal, A Public-Key Cryptosystem and a Signature Scheme based on Discrete Logarithms, IEEE Transactions on Information Theory, IT-31 (4): 469\u2013472, 1985.","journal-title":"IEEE Transactions on Information Theory"},{"key":"30_CR15","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2190\/4U1D-VQRM-J70D-JEQF","volume":"5","author":"L. Fortnow","year":"1989","unstructured":"L. Fortnow: The complexity of Perfect Zero-Knowledge, Adv. in Computing Research, vol.5, 1989, 327\u2013344.","journal-title":"Adv. in Computing Research"},{"key":"30_CR16","unstructured":"E. Fujisaki and T. Okamoto: Statistical Zero-Knowledge Protocols to prove Modular Polynomial Relations, Proceedings of Crypto 97, Springer Verlag LNCS series."},{"key":"30_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s001459900010","volume":"9","author":"O. Goldreich","year":"1996","unstructured":"O. Goldreich and A. Kahan: How to Construct Constant-Round Zero-Knowledge Proof Systems for NP, Journal of Cryptology, (1996) 9: 167\u2013189.","journal-title":"Journal of Cryptology"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"S. Goldwasser and S. Micali: Probabilistic Encryption, JCSS, vol.28, 1984.","DOI":"10.1016\/0022-0000(84)90070-9"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"O. Goldreich, S. Micali and A. Wigderson: Proofs that yield Nothing but their Validity and a Methodology of Cryptographic Protocol Design, Proceedings of FOCS '86, pp. 174\u2013187.","DOI":"10.1109\/SFCS.1986.47"},{"key":"30_CR20","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1137\/0218012","volume":"18","author":"S. Goldwasser","year":"1989","unstructured":"S. Goldwasser, S. Micali and C. Rackoff: The Knowledge Complexity of Interactive Proof Systems, SIAM J.Computing, Vol. 18, pp. 186\u2013208, 1989.","journal-title":"SIAM J.Computing"},{"key":"30_CR21","unstructured":"R.Gennaro, T.Rabin and M.Rabin: Simplified VSS and Fast-Track Multiparty Computations, Proceedings of PODC '98."},{"key":"30_CR22","unstructured":"J. Kilian: A note on Efficient Proofs and Arguments, Proceedings of STOC '92."},{"key":"30_CR23","unstructured":"J. Kilian: Efficient Interactive Arguments, Proceedings of Crypto '95, Springer Verlag LNCS, vol. 963, pp. 311\u2013324."},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"T. Pedersen: Non-Interactive and Information Theoretic Secure Verifiable Secret Sharing, proc. of Crypto 91, Springer Verlag LNCS, vol. 576, pp. 129\u2013140.","DOI":"10.1007\/3-540-46766-1_9"},{"issue":"3","key":"30_CR25","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF00196725","volume":"4","author":"C. P. Schnorr","year":"1991","unstructured":"C. P. Schnorr: Efficient Signature Generation by Smart Cards, Journal of Cryptology, 4 (3): 161\u2013174, 1991.","journal-title":"Journal of Cryptology"},{"key":"30_CR26","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1145\/146585.146609","volume":"39","author":"A. Shamir","year":"1992","unstructured":"A. Shamir: IP=PSPACE, Journal of the ACM, vol.39 (1992), 869\u2013877.","journal-title":"Journal of the ACM"},{"key":"30_CR27","doi-asserted-by":"publisher","first-page":"878","DOI":"10.1145\/146585.146613","volume":"39","author":"A. Shen","year":"1992","unstructured":"A. Shen: IP=PSPACE, Simplified Proof, Journal of the ACM, vol.39 (1992),pp.878\u2013880.","journal-title":"Journal of the ACM"},{"key":"30_CR28","unstructured":"A. De Santis, S. Micali, G. Persiano: Non-interactive zero-knowledge with preprocessing, Advances in Cryptology \u2014 Proceedings of CRYPTO 88 (1989) Lecture Notes in Computer Science, Springer-Verlag pp. 269\u2013282."}],"container-title":["Lecture Notes in Computer Science","Advances in Cryptology \u2014 CRYPTO '98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T05:08:48Z","timestamp":1555736928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055745"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648925","9783540684626"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0055745","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}