# Functions
NewVerifier initializes a new Verifier instance.
PlaceholderVerifyingKey returns a placeholder value for the verifying key for compiling if the witness is going to be in precomputed form using [ValueOfVerifyingKeyFixed].
No description provided by the author
ValueOfCommitment initializes a KZG commitment witness from a native commitment.
ValueOfOpeningProof initializes an opening proof from the given proof and point.
ValueOfScalar initializes a scalar in a witness from a native scalar (Fr) point.
ValueOfVerifyingKey initializes verifying key witness from the native verifying key.
ValueOfVerifyingKeyFixed initializes verifying key witness from the native verifying key and perform pre-computations for G2 elements.
# Structs
No description provided by the author
Commitment is an KZG commitment to a polynomial.
OpeningProof embeds the opening proof that polynomial evaluated at Point is equal to ClaimedValue.
Verifier allows verifying KZG opening proofs.
VerifyingKey is the trusted setup for KZG polynomial commitment scheme.