poly_commit/kzg/
proof.rs

1use crate::commitment::Commitment;
2use zkstd::common::{Decode, Encode, Pairing};
3
4/// Proof that a polynomial `p` was correctly evaluated at a point `z`
5/// producing the evaluated point p(z).
6#[derive(Clone, Debug, Decode, Encode)]
7pub struct Proof<P: Pairing> {
8    /// This is a commitment to the witness polynomial.
9    pub commitment_to_witness: Commitment<P::G1Affine>,
10    /// This is the result of evaluating a polynomial at the point `z`.
11    pub evaluated_point: P::ScalarField,
12    /// This is the commitment to the polynomial that you want to prove a
13    /// statement about.
14    pub commitment_to_polynomial: Commitment<P::G1Affine>,
15}