Struct saffron::commitment::Commitment

pub struct Commitment<G: CommitmentCurve> {
    pub chunks: Vec<PolyComm<G>>,
    pub alpha: G::ScalarField,
    pub folded: PolyComm<G>,
}

Fields

chunks: Vec<PolyComm<G>>

alpha: G::ScalarField

folded: PolyComm<G>

Implementations

impl<G: KimchiCurve> Commitment<G>

pub fn from_chunks<EFqSponge>( chunks: Vec<PolyComm<G>>, sponge: &mut EFqSponge ) -> Selfwhere EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>,

pub fn update<EFqSponge>( &self, diff: Vec<PolyComm<G>>, sponge: &mut EFqSponge ) -> Selfwhere EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>,

Trait Implementations

impl<G: Clone + CommitmentCurve> Clone for Commitment<G>where G::ScalarField: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<G: Debug + CommitmentCurve> Debug for Commitment<G>where G::ScalarField: Debug,

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

Formats the value using the given formatter.

impl<'de, G: CommitmentCurve> Deserialize<'de> for Commitment<G>where G::ScalarField: CanonicalDeserialize + CanonicalSerialize,

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

Deserialize this value from the given Serde deserializer.

impl<G: PartialEq + CommitmentCurve> PartialEq<Commitment<G>> for Commitment<G>where G::ScalarField: PartialEq,

fn eq(&self, other: &Commitment<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: CommitmentCurve> Serialize for Commitment<G>where G::ScalarField: CanonicalDeserialize + CanonicalSerialize,

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

Serialize this value into the given Serde serializer.

impl<G: CommitmentCurve> StructuralPartialEq for Commitment<G>