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

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

proof generated by prover