Process / pipelineInteractive proof systems
הוכחת אפס ידע
הוכחת אפס ידע היא פרוטוקול קריפטוגרפי שבו מוכיח (prover) יכול לשכנע מאמת (verifier) שטענה מסוימת נכונה, מבלי לחשוף כל מידע נוסף מעבר לאמיתות הטענה. הוכחות אפס ידע, שהוצגו על ידי גולדווסר, מיקאלי וראקוף בשנת 1985, זוכות ליישומים עמוקים בתחומי אימות, אימות שומר פרטיות ומערכות בלוקצ'יין.
קראו את השיטה במלואה
לחברים בלבד
התחברותהתחברו עם חשבון חינמי כדי לקרוא חלק זה.
מפת שיטות
סביבת השיטות הקרובות — בחרו צומת כדי לחקור.
מקורות
- Goldwasser, S., Micali, S., & Rackoff, C. (1985). The knowledge complexity of interactive proof systems. SIAM Journal on Computing, 18(1), 186–208. DOI: 10.1137/0218012 ↗
- Ben-Or, M., Goldwasser, S., Kilian, J., & Wigderson, A. (1988). Multi-prover interactive proofs: How to remove intractability assumptions. Proceedings of the 20th ACM STOC, 113–131. DOI: 10.1145/62212.62223 ↗
- Groth, J. (2016). On the size of pairing-based non-interactive arguments. Advances in Cryptology – EUROCRYPT 2016, 305–326. DOI: 10.1007/978-3-662-49896-5_11 ↗
איך לצטט עמוד זה
ScholarGate. (2026, June 3). Zero-Knowledge Proof Protocol and Interactive Verification. ScholarGate. https://scholargate.app/he/cryptography/zero-knowledge-proof
איזו שיטה?
הציבו שיטה זו לצד קרובותיה הקרובות וקראו אותן זו לצד זו — הספרייה מניחה את הספרים על השולחן; הבחירה בידיכם.
- חתימה דיגיטליתקריפטוגרפיה↔ השוואה
- ניתוח מערכת הצפנה RSAקריפטוגרפיה↔ השוואה
- ניתוח פרוטוקול TLSקריפטוגרפיה↔ השוואה