| prov:value
| - to the verifier entity, the second signal being produced, by the signer entity, by calculating a value e by hashing a value x with m (e=h(x, m)), a value y1 (y1 ???r+er4 mod q), and a value y2 (y2 r2 +er3 mod q), where the value x is calculated according to a function (x???gr1 mod p), p and q are prime numbers, g is an integer between 1 and p, r1, r2 and r3 are random numbers, the value r is calcu
|