Trait snarkvm_algorithms::traits::commitment::CommitmentScheme

pub trait CommitmentScheme: ToBytes + FromBytes + Sized + Clone + From<Self::Parameters> {
    type Output: Clone + Debug + Default + Eq + Hash + ToBytes + FromBytes + Sync + Send;
    type Parameters: Clone + Debug + Eq;
    type Randomness: Clone + Debug + Default + Eq + UniformRand + ToBytes + FromBytes + Sync + Send;
    fn setup(message: &str) -> Self;
    fn commit(
        &self, 
        input: &[u8], 
        randomness: &Self::Randomness
    ) -> Result<Self::Output, CommitmentError>;
    fn parameters(&self) -> Self::Parameters;
}

Associated Types

type Output: Clone + Debug + Default + Eq + Hash + ToBytes + FromBytes + Sync + Send

type Parameters: Clone + Debug + Eq

type Randomness: Clone + Debug + Default + Eq + UniformRand + ToBytes + FromBytes + Sync + Send

Required methods

fn setup(message: &str) -> Self

fn commit(
    &self,
    input: &[u8],
    randomness: &Self::Randomness
) -> Result<Self::Output, CommitmentError>

fn parameters(&self) -> Self::Parameters

Implementors

impl<G: ProjectiveCurve, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CommitmentScheme for BHPCommitment<G, NUM_WINDOWS, WINDOW_SIZE>

type Output = <G::Affine as AffineCurve>::BaseField

type Parameters = (Arc<Vec<Vec<G>>>, Vec<G>)

type Randomness = G::ScalarField

impl<G: ProjectiveCurve, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CommitmentScheme for PedersenCommitment<G, NUM_WINDOWS, WINDOW_SIZE>

type Output = G::Affine

type Parameters = (Vec<Vec<G>>, Vec<G>)

type Randomness = G::ScalarField

impl<G: ProjectiveCurve, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CommitmentScheme for PedersenCompressedCommitment<G, NUM_WINDOWS, WINDOW_SIZE>

type Output = <G::Affine as AffineCurve>::BaseField

type Parameters = (Vec<Vec<G>>, Vec<G>)

type Randomness = <G as Group>::ScalarField