dc:subject
|
Probabilistic proof systems, computationally-sound proof systems, zero-knowledge proof systems, proofs of knowledge, probabilistic checkable proofs (PCP), collision-free hashing, witness indistinguishable proof systems, error-correcting codes
(xsd:string)
|