add acks and references

README.md

@@ -9,6 +9,14 @@ To run tests, run:
 cargo test
 ```
 
+## References
+[Nova: Recursive Zero-Knowledge Arguments from Folding Schemes](https://eprint.iacr.org/2021/370) \
+Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla \
+Cryptology ePrint Archive: Report 2021/370
+
+## Acknowledgements
+v0.1.0 includes code written by: Abhiram Kothapalli, Srinath Setty, and Ioanna Tzialla.
+
 ## Contributing
 
 This project welcomes contributions and suggestions.  Most contributions require you to agree to a

src/lib.rs

@@ -91,7 +91,7 @@ impl StepSNARK {
     // fold the instance using `r` and `comm_T`
     let U = U1.fold(U2, &self.comm_T, &r)?;
 
-    // return the folded instance and witness
+    // return the folded instance
     Ok(U)
   }
 }

src/r1cs.rs

@@ -218,9 +218,9 @@ impl R1CSShape {
       .map(|(((a, b), c), d)| a + b - c - d)
       .collect::<Vec<Scalar>>();
 
-    let T_commit = T.commit(&gens.gens_E).compress();
+    let comm_T = T.commit(&gens.gens_E).compress();
 
-    Ok((T, T_commit))
+    Ok((T, comm_T))
   }
 }