Trait snarkos_polycommit::data_structures::PCRandomness

pub trait PCRandomness: CanonicalSerialize + CanonicalDeserialize + Clone {
    fn empty() -> Self;
    fn rand<R: RngCore>(
        num_queries: usize, 
        has_degree_bound: bool, 
        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,
    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 strict degree bound.

Loading content...

Implementors

impl<E: PairingEngine> PCRandomness for snarkos_polycommit::kzg10::Randomness<E>

fn empty() -> Self

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

impl<E: PairingEngine> PCRandomness for snarkos_polycommit::marlin_pc::Randomness<E>

fn empty() -> Self

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

Loading content...