Tick.Proof_inputs
type t = {
public_inputs : Tick0.Field.Vector.t;
auxiliary_inputs : Tick0.Field.Vector.t;
}