feat: add zeromorph, new unipoly, new mle, and more

Author: gy001

README.md

@@ -60,7 +60,7 @@ The main files showcasing our work are as follows (in the `univarization/src` fo
 - `fftunipoly.rs`: FFT functions needed on polynomial commitments
 - `snark.rs`: implementation of a Spartan like proving system
 
-We use ark_bn254, ark_std, ark_ff and ark_poly in our implementations.
+We use ark_bn254, ark_std and ark_ff in our implementations.
 
 | File           | Blank | Comment | Code |
 | -------------- | ----- | ------- | ---- |

univarization/Cargo.toml

@@ -11,8 +11,7 @@ ark-ff = { version = "0.3", default-features = false }
 ark-poly = { version = "0.3" }
 ark-poly-commit = { version = "0.3" }
 ark-bn254 = { version = "0.3.0" }
-merlin = { version = "3.0", default-features = false }
 sha3 = { version = "0.10", default-features = false }
-
+ff = { version = "0.13" , features = ["derive"]}
 log = { version = "0.4" }
 env_logger = { version = "0.10" }

univarization/README.md

@@ -10,9 +10,8 @@
 
 ## TODOs
 
-- unipoly coeffs should be [f0, f1, ..., fn]
-- more comments 
-- protocol description
+- unipoly coeffs should be [f0, f1, ..., fn] ✅
+- more comments, protocol description 
 - clean up the space
 - towards zeromorph
 - batch kzg10 proofs