Introduce VID [WIP / prototype / do not merge]

poly-commitment/src/ipa.rs

@@ -16,7 +16,8 @@ use crate::{
 use ark_ec::{AffineRepr, CurveGroup, VariableBaseMSM};
 use ark_ff::{BigInteger, Field, One, PrimeField, UniformRand, Zero};
 use ark_poly::{
-    univariate::DensePolynomial, EvaluationDomain, Evaluations, Radix2EvaluationDomain as D,
+    univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Evaluations,
+    Radix2EvaluationDomain as D,
 };
 use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
 use blake2::{Blake2b512, Digest};
@@ -802,6 +803,29 @@ impl<G: CommitmentCurve> SRS<G> {
         }
     }
 
+    pub fn lagrange_basis_raw(
+        &self,
+        domain: D<G::ScalarField>,
+        indices: &[usize],
+    ) -> Vec<DensePolynomial<G::ScalarField>> {
+        let n = domain.size();
+
+        let mut polys: Vec<DensePolynomial<_>> = vec![];
+
+        for i in indices.iter() {
+            println!("Generating lagrange poly number {:?}", i);
+            let mut ifft_input: Vec<G::ScalarField> = vec![G::ScalarField::zero(); n];
+            ifft_input[*i] = G::ScalarField::one();
+            // Apply the IFFT
+            domain.ifft_in_place(&mut ifft_input);
+            polys.push(DensePolynomial::from_coefficients_vec(ifft_input));
+            // Append the 'partial Langrange polynomials' to the vector of elems chunks
+            //polys.push(<G as AffineRepr>::Group::normalize_batch(lg.as_mut_slice()));
+        }
+
+        polys
+    }
+
     fn lagrange_basis(&self, domain: D<G::ScalarField>) -> Vec<PolyComm<G>> {
         let n = domain.size();
 

saffron/src/lib.rs

@@ -9,6 +9,7 @@ pub mod read_proof;
 pub mod storage;
 pub mod storage_proof;
 pub mod utils;
+pub mod vid;
 
 use mina_curves::pasta::{Fp, Fq, ProjectiveVesta, Vesta, VestaParameters};
 use mina_poseidon::{