Struct kimchi::proof::ProverCommitments

pub struct ProverCommitments<G: AffineRepr> {
    pub w_comm: [PolyComm<G>; 15],
    pub z_comm: PolyComm<G>,
    pub t_comm: PolyComm<G>,
    pub lookup: Option<LookupCommitments<G>>,
}

All the commitments that the prover creates as part of the proof.

Fields

w_comm: [PolyComm<G>; 15]

The commitments to the witness (execution trace)

z_comm: PolyComm<G>

The commitment to the permutation polynomial

t_comm: PolyComm<G>

The commitment to the quotient polynomial

lookup: Option<LookupCommitments<G>>

Commitments related to the lookup argument

Trait Implementations

impl<G: Clone + AffineRepr> Clone for ProverCommitments<G>

fn clone(&self) -> ProverCommitments<G>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<G: Debug + AffineRepr> Debug for ProverCommitments<G>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, G> Deserialize<'de> for ProverCommitments<G>where G: CanonicalDeserialize + CanonicalSerialize + AffineRepr,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<G, CamlG> From<CamlProverCommitments<CamlG>> for ProverCommitments<G>where G: AffineRepr, PolyComm<G>: From<CamlPolyComm<CamlG>>,

fn from(caml_prover_comm: CamlProverCommitments<CamlG>) -> ProverCommitments<G>

Converts to this type from the input type.

impl<G, CamlG> From<ProverCommitments<G>> for CamlProverCommitments<CamlG>where G: AffineRepr, CamlPolyComm<CamlG>: From<PolyComm<G>>,

fn from(prover_comm: ProverCommitments<G>) -> Self

Converts to this type from the input type.

impl<G: PartialEq + AffineRepr> PartialEq<ProverCommitments<G>> for ProverCommitments<G>

fn eq(&self, other: &ProverCommitments<G>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<G> Serialize for ProverCommitments<G>where G: CanonicalDeserialize + CanonicalSerialize + AffineRepr,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<G: AffineRepr> StructuralPartialEq for ProverCommitments<G>