Module dleq 

Discrete Logarithm Equality (DLEQ) proof.

Proves that two points share the same discrete logarithm with respect to different bases. Specifically, proves knowledge of α such that X = α * G and Y = α * H.

Structs

DLEQProof

DLEQ proof implementation.

DLEQStatement

Public statement for DLEQ proof.

DLEQWitness

Private witness for DLEQ proof: the common discrete logarithm.