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