Struct Diff

pub struct Diff<F: PrimeField> {
    pub region: u64,
    pub addresses: Vec<u64>,
    pub new_values: Vec<F>,
}

Diff request pointing to a single commitment.

Fields

region: u64

Which commitment within a group of commitments representing the data is the diff for.

addresses: Vec<u64>

A list of unique addresses, each ∈ [0, SRS_SIZE]

new_values: Vec<F>

A list of new values, each corresponding to address in addresses

Implementations

impl<F: PrimeField> Diff<F>

pub fn create_from_field_elements( old: &Vec<Vec<F>>, new: &Vec<Vec<F>>, ) -> Result<Vec<Diff<F>>, DiffError>

pub fn create_from_bytes<D: EvaluationDomain<F>>( domain: &D, old: &[u8], new: &[u8], ) -> Result<Vec<Diff<F>>, DiffError>

pub fn apply_inplace(data: &mut [Vec<F>], diff: &Diff<F>)

Updates the data with the provided diff, replacing old values at specified addresses by corresponding new ones

pub fn apply(data: &[Vec<F>], diff: &Diff<F>) -> Vec<Vec<F>>

Returns a new vector that contains the data updated with the specified diff

Trait Implementations

impl<F: Clone + PrimeField> Clone for Diff<F>

fn clone(&self) -> Diff<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField> Debug for Diff<F>

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

Formats the value using the given formatter.

impl<F: PartialEq + PrimeField> PartialEq for Diff<F>

fn eq(&self, other: &Diff<F>) -> 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<F: PrimeField> StructuralPartialEq for Diff<F>