# Functions
GetNativeProverOptions returns Groth16 prover options for the native prover to initialize the configuration suitable for in-circuit verification.
GetNativeVerifierOptions returns Groth16 verifier options to initialize the configuration to be compatible with in-circuit verification.
NewVerifier returns a new [Verifier] instance using the curve and pairing interfaces.
No description provided by the author
PlaceholderVerifyingKey returns an empty verifying key for a given compiled constraint system.
PlaceholderWitness creates a stub witness which can be used to allocate the variables in the circuit if the actual witness is not yet known.
ValueOfProof returns the typed witness of the native proof.
ValueOfVerifyingKey initializes witness from the given Groth16 verifying key.
ValueOfVerifyingKey initializes witness from the given Groth16 verifying key.
ValueOfWitness assigns a outer-circuit witness from the inner circuit witness.
WithCompleteArithmetic returns a VerifierOption that forces complete arithmetic.
WithSubgroupCheck returns a VerifierOption that forces subgroup checks.
# Structs
Proof is a typed Groth16 proof of SNARK.
Verifier verifies Groth16 proofs.
VerifyingKey is a typed Groth16 verifying key for checking SNARK proofs.
Witness is a public witness to verify the SNARK proof against.
# Type aliases
VerifierOption allows to modify the behaviour of Groth16 verifier.