Type Definition Proof
ark_linear_sumcheck::ml_sumcheck
type Proof<F> = Vec<ProverMsg<F>>;
proof generated by prover