Module universal_prover

Source

Structsยง

UniversalProver
UniversalProver is used to compute evaluation proofs for a given commitment.