feat: moved the hashing to poseidon lib instead of stdlib (#11)

Co-authored-by: Khashayar Barooti <[email protected]>

Author: kashbrti

.github/workflows/benchmark.yml

@@ -23,6 +23,8 @@ jobs:
         run: |
           npm install -g bbup
           bbup -nv 0.36.0
+          sudo apt install libc++-dev
+
 
       - name: Build Noir benchmark programs
         run: nargo export
@@ -34,7 +36,7 @@ jobs:
 
       - name: Compare gates reports
         id: gates_diff
-        uses: noir-lang/noir-gates-diff@1931aaaa848a1a009363d6115293f7b7fc72bb87
+        uses: noir-lang/noir-gates-diff@dbe920a8dcc3370af4be4f702ca9cef29317bec1
         with:
           report: gates_report.json
           summaryQuantile: 0.9 # only display the 10% most significant circuit size diffs in the summary (defaults to 20%)

Nargo.toml

@@ -6,3 +6,4 @@ compiler_version = ">=0.36.0"
 
 [dependencies]
 ec = { tag = "v0.1.2", git = "https://github.com/noir-lang/ec" }
+poseidon = { tag = "v0.1.0", git = "https://github.com/noir-lang/poseidon" }

src/lib.nr

@@ -1,3 +1,4 @@
+use poseidon;
 use std::default::Default;
 use std::hash::Hasher;
 
@@ -56,8 +57,8 @@ pub fn eddsa_to_pub(secret: Field) -> (Field, Field) {
 }
 
 mod tests {
-    use std::hash::poseidon::PoseidonHasher;
-    use std::hash::poseidon2::Poseidon2Hasher;
+    use poseidon::poseidon::PoseidonHasher;
+    use poseidon::poseidon2::Poseidon2Hasher;
 
     use ec::{consts::te::baby_jubjub, tecurve::affine::Point as TEPoint};
 
@@ -128,7 +129,7 @@ fn bench_eddsa_poseidon(
     signature_r8_y: Field,
     message: Field,
 ) -> bool {
-    eddsa_verify::<std::hash::poseidon::PoseidonHasher>(
+    eddsa_verify::<poseidon::poseidon::PoseidonHasher>(
         pub_key_x,
         pub_key_y,
         signature_s,