pub type CircuitField = Fq;
Base field in the prover circuit
struct CircuitField(pub BigInt<4>);
0: BigInt<4>