Impl.Proof_inputs
The complete set of inputs needed to generate a zero-knowledge proof.
type t = {
public_inputs : Field.Vector.t;
auxiliary_inputs : Field.Vector.t;
}