Module zkp::toolbox::verifier

Implements proof verification of compact and batchable proofs.

Structs

PointVar	A public variable used during verification.
ScalarVar	A secret variable used during verification.
Verifier	Used to produce verification results.