Type Alias PublicWitness 

pub type PublicWitness<T> = <<T as CircuitElement>::CircuitWitness as CircuitWitness>::PublicWitness;

Represents the public witness portion of a circuit.