Trait proof_of_sql::base::commitment::Commitment

pub trait Commitment: AddAssign + SubAssign + Sized + Default + Copy + Neg<Output = Self> + Eq + Sub<Output = Self> + Debug + Sync + Send {
    type Scalar: Scalar + for<'a> Mul<&'a Self, Output = Self> + Mul<Self, Output = Self> + Serialize + for<'a> Deserialize<'a>;
    type PublicSetup<'a>;

    // Required methods
    fn compute_commitments(
        commitments: &mut [Self],
        committable_columns: &[CommittableColumn<'_>],
        offset: usize,
        setup: &Self::PublicSetup<'_>,
    );
    fn fold_commitments(
        commitments: &[Self],
        multipliers: &[Self::Scalar],
    ) -> Self;
}

A trait for using commitment schemes generically.

Required Associated Types

type Scalar: Scalar + for<'a> Mul<&'a Self, Output = Self> + Mul<Self, Output = Self> + Serialize + for<'a> Deserialize<'a>

The associated scalar that the commitment is for. There are multiple possible commitment schemes for a scalar, but only one scalar for any commitment.

type PublicSetup<'a>

The public setup for the commitment scheme.

Required Methods

fn compute_commitments( commitments: &mut [Self], committable_columns: &[CommittableColumn<'_>], offset: usize, setup: &Self::PublicSetup<'_>, )

Compute the commitments for the given columns.

fn fold_commitments(commitments: &[Self], multipliers: &[Self::Scalar]) -> Self

Compute a linear combination of the given commitments: sum commitment[i] * multiplier[i].

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Commitment for RistrettoPoint

type Scalar = MontScalar<FrConfig>

type PublicSetup<'a> = ()

fn compute_commitments( commitments: &mut [Self], committable_columns: &[CommittableColumn<'_>], offset: usize, _setup: &Self::PublicSetup<'_>, )

fn fold_commitments(commitments: &[Self], multipliers: &[Self::Scalar]) -> Self

Implementors

impl Commitment for DoryCommitment

type Scalar = MontScalar<FrConfig>

type PublicSetup<'a> = DoryProverPublicSetup<'a>