Deserialize proof in solidity (#53)

* deserialization of opening proof

* improving error return in deserializeOpeningProof

* changes in test_deserialize_opening_proof

* small changes

* Demo verifier eth test deserialize (#57)

* Added rmp serialization

* Better test for deser

* Refactor, cleared some code

* Formatting

* Removed unused circuit_gen

* WIP Deserialize URS

* WIP URS deserialization

* Fixed deser, added test

* Added comments'

* Implemented pow for base field

* Removed unnecesary log

* Added FFT

* Fix fft

* WIP generating basis

* Finish iFFT

* Finished calculate_lagrange_bases

* Implemented inv for field

* Refactor xgcd

* Fixed lagrange_base nested arrays problem

* WIP Iterative FFT

* Finished iterative FFT

* Fixed circular dependency

---------

Co-authored-by: Pablo Deymonnaz <[email protected]>
Co-authored-by: Estéfano Bargas <[email protected]>

demo/circuit_gen/Cargo.toml

@@ -11,9 +11,11 @@ num-traits = "0.2"
 ark-ff = { version = "0.3.0", features = [ "parallel", "asm" ] }
 ark-ec = { version = "0.3.0", features = [ "parallel" ] }
 ark-poly = { version = "0.3.0", features = [ "parallel" ] }
+ark-serialize = "0.3.0"
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 num-bigint = "0.4.3"
 ark-bn254 = "0.3.0"
 rand = "0.8.0"
 rand_core = "0.6.3"
+rmp-serde = "1.1.2"

demo/circuit_gen/opening_proof.json

@@ -0,0 +1,4 @@
+{
+  "quotient": "a5a3ad49d6784ac81e6da0a2cb147038f4ce4b98e8a22c862bbba2854f87da0b",
+  "blinding": "138a93e53cf407225b1ee3da019c79d58b5c0597089e9fdf411102ce28365613"
+}

demo/circuit_gen/opening_proof.mpk

@@ -0,0 +1 @@
+�� ���I�xJ�m���p8��K��,�+���O��� ���<�"[��
�yՋ\����A�(6V