Type Definition ark_linear_sumcheck::ml_sumcheck::Proof[−][src]

type Proof<F> = Vec<ProverMsg<F>>;
Expand description

proof generated by prover