Module zkp::toolbox::prover

Implements proof creation.

Structs

PointVar	A public variable used during proving.
Prover	Used to create proofs.
ScalarVar	A secret variable used during proving.