Struct Commitment

pub struct Commitment<G: KimchiCurve> {
    pub cm: G,
}

A commitment that represent a whole data TODO: for now, we consider 1 commitment = 1 contract = 1 data This type may be redundant with other types in Proof-systems

Fields

cm: G

Implementations

impl<G: KimchiCurve> Commitment<G>

pub fn from_data(srs: &SRS<G>, data: &[G::ScalarField]) -> Commitment<G>

Commit a data of length smaller than SRS_SIZE If greater data is provided, anything above SRS_SIZE is ignored

pub fn update(&self, srs: &SRS<G>, diff: Diff<G::ScalarField>) -> Commitment<G>

TODO: This only handle the single commitment version for now This function update the given commitment based on the given diff. The returned commitment correspond to the data for the given commitment updated according to the diff. This function is tested in storage.rs

Trait Implementations

impl<G: Clone + KimchiCurve> Clone for Commitment<G>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<G: Debug + KimchiCurve> Debug for Commitment<G>

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

Formats the value using the given formatter.

impl<G: KimchiCurve> From<G> for Commitment<G>

fn from(cm: G) -> Self

Converts to this type from the input type.

impl<G: PartialEq + KimchiCurve> PartialEq for Commitment<G>

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<G: Eq + KimchiCurve> Eq for Commitment<G>

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