Module prover
zkp::toolbox
Implements proof creation.
A public variable used during proving.
Used to create proofs.
A secret variable used during proving.