pub type CircuitField = Fq;
Base field in the prover circuit
pub struct CircuitField(/* private fields */);