make TODO plan

src/sonic/README.md

@@ -8,4 +8,12 @@ Initial SONIC proof system integration using the code from the [original impleme
 - Implementation of a memory constrained prover and helper
 - Smart-contract implementation of verifiers
 - Code cleanup
-- Migration for smart-contract compatible transcripts
+- Migration for smart-contract compatible transcripts
+
+## TODO Plan
+
+- [ ] Parallelize using existing primitives
+- [ ] Put public inputs into the account
+- [ ] Basic Ethereum smart-contract
+- [ ] Add blinding factors
+- [ ] Implement unhelped version

src/sonic/helped/verifier.rs

@@ -348,6 +348,7 @@ pub fn create_aggregate<E: Engine, C: Circuit<E>, S: SynthesisDriver>(
         ).into_affine()
     };
 
+    // TODO: parallelize
     // Let's open up C to every y.
     fn compute_value<E: Engine>(y: &E::Fr, poly_positive: &[E::Fr], poly_negative: &[E::Fr]) -> E::Fr {
         let mut value = E::Fr::zero();
@@ -431,6 +432,7 @@ pub fn create_aggregate<E: Engine, C: Circuit<E>, S: SynthesisDriver>(
         }
     }
 
+    // TODO: parallelize
     let s_opening = {
         let mut value = expected_value;
         value.negate();