Bezkľúčový dôkaz
Bezkľúčový dôkaz je kryptografický protokol, v ktorom preukazovateľ (prover) môže presvedčiť overovateľa (verifier), že tvrdenie je pravdivé, bez odhalenia akýchkoľvek dodatočných informácií nad rámec pravdivosti tvrdenia. Bezkľúčové dôkazy, predstavené Goldwasserovou, Micaliovou a Rackoffom v roku 1985, majú hlboké aplikácie v autentizácii, overovaní ochrany súkromia a blockchainových systémoch.
Prečítať celú metódu
Ak si chcete prečítať túto sekciu, prihláste sa s bezplatným účtom.
Method map
The neighbourhood of related methods — select a node to explore.
Zdroje
- 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 ↗
Ako citovať túto stránku
ScholarGate. (2026, June 3). Zero-Knowledge Proof Protocol and Interactive Verification. ScholarGate. https://scholargate.app/sk/cryptography/zero-knowledge-proof
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- Schéma digitálneho podpisuKryptografia↔ compare
- Analýza kryptosystému RSAKryptografia↔ compare
- Analýza protokolu TLSKryptografia↔ compare
Našli ste na tejto stránke chybu? Nahláste ju alebo navrhnite opravu →