Trait ark_poly_commit::data_structures::PCRandomness [−][src]
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; }
Expand description
Defines the minimal interface of commitment randomness for any polynomial commitment scheme.
Required methods
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.
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>,
[src]
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>,
[src]impl<F: PrimeField, P: UVPolynomial<F>> PCRandomness for ark_poly_commit::kzg10::Randomness<F, P>
[src]
impl<F: PrimeField, P: UVPolynomial<F>> PCRandomness for ark_poly_commit::kzg10::Randomness<F, P>
[src]impl<F: PrimeField, P: UVPolynomial<F>> PCRandomness for ark_poly_commit::marlin::marlin_pc::Randomness<F, P>
[src]
impl<F: PrimeField, P: UVPolynomial<F>> PCRandomness for ark_poly_commit::marlin::marlin_pc::Randomness<F, P>
[src]