Module nizk 

General-purpose NIZK proof system using Fiat-Shamir transform.

Structs

NizkProof

A generic NIZK proof.

Functions

prove_dlog

Prove knowledge of a discrete log: know x such that Y = x * G.

prove_dlog_equality

Prove equality of discrete logs: Y1 = xG1 and Y2 = xG2 (same x).

verify_dlog

Verify a DLOG proof.

verify_dlog_equality

Verify equality of discrete logs.