Journal of Cryptology · 1991 · 45 citations · 20 references
ComputingComputer ScienceCryptographyFormal MethodsAlgebraic ProofDeductive VerificationProof AssistantsProof ComplexityTheorem ProvingZero-knowledge ProofsNon-interactive Zero-knowledge ProofsZero-knowledge Proof ProtocolsZero-knowledge Proof Systems
20
Shafi Goldwasser, Silvio Micali · Journal of Computer and System Sciences · 1984 · 2.6K citations
Zero-knowledge proofs of identity
Uriel Feige, Amos Fiat, Adi Shamir · Journal of Cryptology · 1988 · 1K citations · Full text