Trait ark_poly_commit::data_structures::PCRandomness

pub trait PCRandomness: Clone + CanonicalSerialize + CanonicalDeserialize {
    fn empty() -> Self;
    fn rand<R: RngCore>(
        num_queries: usize, 
        has_degree_bound: bool, 
        num_vars: Option<usize>, 
        rng: &mut R
    ) -> Self;
}

Defines the minimal interface of commitment randomness for any polynomial commitment scheme.

Required methods

fn empty() -> Self

Outputs empty randomness that does not hide the commitment.

fn rand<R: RngCore>(
    num_queries: usize,
    has_degree_bound: bool,
    num_vars: Option<usize>,
    rng: &mut R
) -> Self

Samples randomness for commitments; num_queries specifies the number of queries that the commitment will be opened at. has_degree_bound indicates that the corresponding commitment has an enforced num_vars specifies the number of variables for multivariate commitment. strict degree bound.

Loading content...

Implementors

impl<E, P> PCRandomness for ark_poly_commit::marlin::marlin_pst13_pc::Randomness<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>, 

fn empty() -> Self

fn rand<R: RngCore>(
    hiding_bound: usize,
    _: bool,
    num_vars: Option<usize>,
    rng: &mut R
) -> Self

impl<F: PrimeField, P: UVPolynomial<F>> PCRandomness for ark_poly_commit::kzg10::Randomness<F, P>

fn empty() -> Self

fn rand<R: RngCore>(
    hiding_bound: usize,
    _: bool,
    _: Option<usize>,
    rng: &mut R
) -> Self

impl<F: PrimeField, P: UVPolynomial<F>> PCRandomness for ark_poly_commit::marlin::marlin_pc::Randomness<F, P>

fn empty() -> Self

fn rand<R: RngCore>(
    hiding_bound: usize,
    has_degree_bound: bool,
    _: Option<usize>,
    rng: &mut R
) -> Self

impl<G: AffineCurve> PCRandomness for ark_poly_commit::ipa_pc::Randomness<G>

fn empty() -> Self

fn rand<R: RngCore>(
    _: usize,
    has_degree_bound: bool,
    _: Option<usize>,
    rng: &mut R
) -> Self

Loading content...