Simple Demo for An Interactive Zero Knowledge Proof Scheme
Prover
Verifier
g=
, p=
(must be prime)
Secret w =
Calculate y
y = g^w mod p =
Random x =
Calculate t
t = g^x mod p =
Random c =
Challenge
r = x - c * w =
Verify
g^r mod p=
y^c mod p=
v = g^r.y^c mod p =