Module universal_verifier

Source

Structsยง

UniversalVerifier
UniversalVerifier is used to check evaluation proofs for a given commitment.