Package groth16 provides in-circuit Groth16 verifier.

Package plonk implements in-circuit PLONK verifier.

Package sumcheck implements non-native sumcheck verifier.

NewHash returns a circuit hash function which reads elements in the current native field and outputs element in the target field (usually the scalar field of the circuit being recursed).

NewShort returns a native hash function which reads elements in the current native field and outputs element in the target field (usually the scalar field of the circuit being recursed).

NewTranscript returns a new Fiat-Shamir transcript for computing bound challenges.