Integrate with sponge & Add multivariate challenge strategy

src/challenge.rs

@@ -2,6 +2,7 @@ use ark_ff::PrimeField;
 use ark_sponge::FieldBasedCryptographicSponge;
 
 /// State stored for univariate generator
+#[derive(Copy, Clone)]
 pub struct UnivariateGeneratorState<F: PrimeField> {
  gen: F,
  next: F,
@@ -19,12 +20,12 @@ impl<F: PrimeField> UnivariateGeneratorState<F> {
  }
 }
 
-// TODO: Copy and Clone trait cannot be derived
 /// Challenge Generator (todo doc)
+#[derive(Copy, Clone)]
 pub enum ChallengeGenerator<'a, F: PrimeField, S: 'a + FieldBasedCryptographicSponge<F>> {
- /// todo: doc
+ /// Each challenge is freshly squeezed from a sponge.
  Multivariate(&'a mut S),
- /// todo: doc
+ /// ach challenge is a power of one squeezed element from sponge.
  Univariate(UnivariateGeneratorState<F>),
 }
 

src/data_structures.rs

@@ -8,6 +8,7 @@ use ark_std::{
  marker::PhantomData,
  ops::{AddAssign, MulAssign, SubAssign},
 };
+use ark_sponge::FieldBasedCryptographicSponge;
 
 /// Labels a `LabeledPolynomial` or a `LabeledCommitment`.
 pub type PolynomialLabel = String;
@@ -104,11 +105,12 @@ pub trait PCProof: Clone + ark_ff::ToBytes + CanonicalSerialize + CanonicalDeser
 
 /// A proof of satisfaction of linear combinations.
 #[derive(Clone, CanonicalSerialize, CanonicalDeserialize)]
-pub struct BatchLCProof<F: Field, P: Polynomial<F>, PC: PolynomialCommitment<F, P>> {
+pub struct BatchLCProof<F: Field, P: Polynomial<F>, PC: PolynomialCommitment<F, P, S>, S: FieldBasedCryptographicSponge<F>> {
  /// Evaluation proof.
  pub proof: PC::BatchProof,
  /// Evaluations required to verify the proof.
  pub evals: Option<Vec<F>>,
+ _sponge: PhantomData<S>
 }
 
 /// A polynomial along with information about its degree bound (if any), and the