Module yobicrypto::zkp [] [src]

The zkp module provides Schnorr Algorithm types, traits, and methods.

Structs

ZKPProof

The ZKP proof is a non-interactive cryptographical proof of the knowledge of a secret value x for wich w = g^x is true, where g is a generator of the elliptic curve G.

ZKPWitness

The ZKP witness is the publicly known variable of the relation R(x, w) in the language L of the statements of the type w = g^x, for g a generator of an elliptic curve G. The receiver uses the Schnorr Protocol to prove that she know an x that verifies w = gx, without revealing the value of x. In this way we can build a simple anonymous credential system.