From e41e3624f730578b997f5a50f586a31c0f08320c Mon Sep 17 00:00:00 2001
From: Alex Vlasov <alex.m.vlasov@gmail.com>
Date: Mon, 4 Feb 2019 14:01:44 +0300
Subject: [PATCH] make TODO plan

---
 src/sonic/README.md          | 10 +++++++++-
 src/sonic/helped/verifier.rs |  2 ++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/sonic/README.md b/src/sonic/README.md
index 1e0c6c2..1f334e5 100644
--- a/src/sonic/README.md
+++ b/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
\ No newline at end of file
+- 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
\ No newline at end of file
diff --git a/src/sonic/helped/verifier.rs b/src/sonic/helped/verifier.rs
index 9b68d17..35e1ae4 100644
--- a/src/sonic/helped/verifier.rs
+++ b/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();