pub type Witness<T> = <T as CircuitElement>::CircuitWitness;
Represents the witness portion of a circuit.