Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
: Pr[ E⟨P(x,w),V(x)⟩ = w ] ≤ 1 - negl Soundness comes in two flavors. The weaker notion of soundess captures a bit the intuition of an unforgeability property. In fact, proof systems and digitial signatures have much in common. Through the Fiat-Shamir transformation one can turn a class of