Helper to facilitate easier writing of tests using `RangeChip` and `RangeCircuitBuilder`. By default, the [`MockProver`] is used. Currently this test

Bench stats

Trait that implements functionality to get a constant expression from commonly used types.

Trait used to reduce verbosity with the declaration of the [`PrimeField`] trait and its repr.

Trait for common functionality for finite field chips. Primarily intended to emulate a "non-native" finite field using "native" values in a prime fiel

helper trait so we can actually construct and read the Fp2 struct needs to be implemented for Fp2 struct for use cases below

Trait that defines basic arithmetic operations for a gate.

Basic statistics

This trait should be implemented on the minimal circuit configuration data necessary to completely determine a circuit (independent of circuit inputs)

To avoid issues with mutably borrowing twice (not allowed in Rust), we only store fp_chip and construct g2_chip and fp12_chip in scope when needed for

Chip for Poseidon hash.

Trait for Poseidon instructions

Poseidon sponge. This is stateful.

Common functionality for prime field chips

Trait for creating a proving key and a pinning for a circuit from minimal circuit configuration data.