Add Pedersen hash for Noir (#53)

* Add pedersen hash for Noir

* Fix strings in generated toml files

noir/benches/bench.rs

@@ -2,7 +2,7 @@ extern crate noir;
 extern crate rand;
 
 use benchy::{benchmark, BenchmarkRun};
-use noir::{InputMap, InputValue, Proof};
+use noir::{backends::FIELD_BITS, InputMap, InputValue, Proof};
 use rand::Rng;
 
 #[benchmark]
@@ -112,6 +112,41 @@ fn sha256(b: &mut BenchmarkRun, p: usize) {
     );
 }
 
+#[benchmark("pedersen", [
+    ("1k bytes", 1000),
+    ("10k bytes", 10000),
+    ("100k bytes", 100000),
+])]
+fn pedersen(b: &mut BenchmarkRun, n_bytes: usize) {
+    let bytes_per_field = (FIELD_BITS as f64 / 8.).floor();
+    let n_fields = (n_bytes as f64 / bytes_per_field).ceil() as usize;
+
+    let backend = noir::backends::ConcreteBackend::default();
+    let dir = std::env::current_dir().expect("current dir to exist");
+
+    let mut inputs = InputMap::new();
+
+    // Generate random bytes
+    let bytes = generate_random_u8_slice(n_fields)
+        .iter()
+        .map(|b| InputValue::Field((*b as u128).into()))
+        .collect::<Vec<_>>();
+
+    inputs.insert("x".to_string(), InputValue::Vec(bytes));
+
+    let proof = Proof::new(
+        &backend,
+        "pedersen",
+        dir.join(format!("pkgs/pedersen/{}", n_fields)),
+    );
+    let proof_bytes = b.run(|| proof.run_and_prove(&inputs));
+    b.log("proof_size_bytes", proof_bytes.len());
+    b.log(
+        "compressed_proof_size_bytes",
+        zstd::encode_all(&proof_bytes[..], 21).unwrap().len(),
+    );
+}
+
 fn generate_random_u8_slice(len: usize) -> Vec<u8> {
     let mut rng = rand::thread_rng();
     let mut vec = Vec::with_capacity(len);
@@ -121,4 +156,11 @@ fn generate_random_u8_slice(len: usize) -> Vec<u8> {
     vec
 }
 
-benchy::main!("noir", assert, fibonacci, sha256, merkle_membership);
+benchy::main!(
+    "noir",
+    assert,
+    fibonacci,
+    sha256,
+    pedersen,
+    merkle_membership
+);

noir/pkgs/fib/1/Nargo.toml

@@ -1,9 +1,7 @@
-
 [package]
-name = fib_1
-type = bin
-authors = []
-compiler_version = 0.10.3
+name = "fib_1"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
 
 [dependencies]
-

noir/pkgs/fib/1/src/main.nr

@@ -1,4 +1,3 @@
-
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;

noir/pkgs/fib/10/Nargo.toml

@@ -1,9 +1,7 @@
-
 [package]
-name = fib_10
-type = bin
-authors = []
-compiler_version = 0.10.3
+name = "fib_10"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
 
 [dependencies]
-

noir/pkgs/fib/10/src/main.nr

@@ -1,4 +1,3 @@
-
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;

noir/pkgs/fib/100/Nargo.toml

@@ -1,9 +1,7 @@
-
 [package]
-name = fib_100
-type = bin
-authors = []
-compiler_version = 0.10.3
+name = "fib_100"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
 
 [dependencies]
-

noir/pkgs/fib/100/src/main.nr

@@ -1,4 +1,3 @@
-
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;

noir/pkgs/fib/1000/Nargo.toml

@@ -1,9 +1,7 @@
-
 [package]
-name = fib_1000
-type = bin
-authors = []
-compiler_version = 0.10.3
+name = "fib_1000"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
 
 [dependencies]
-

noir/pkgs/fib/1000/src/main.nr

@@ -1,4 +1,3 @@
-
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;

noir/pkgs/fib/10000/Nargo.toml

@@ -1,9 +1,7 @@
-
 [package]
-name = fib_10000
-type = bin
-authors = []
-compiler_version = 0.10.3
+name = "fib_10000"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
 
 [dependencies]
-

noir/pkgs/fib/10000/src/main.nr

@@ -1,4 +1,3 @@
-
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;

noir/pkgs/fib/100000/Nargo.toml

@@ -1,9 +1,7 @@
-
 [package]
-name = fib_100000
-type = bin
-authors = []
-compiler_version = 0.10.3
+name = "fib_100000"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
 
 [dependencies]
-

noir/pkgs/fib/100000/src/main.nr

@@ -1,4 +1,3 @@
-
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;

noir/pkgs/fib/1000000/Nargo.toml

@@ -1,9 +1,7 @@
-
 [package]
-name = fib_1000000
-type = bin
-authors = []
-compiler_version = 0.10.3
+name = "fib_1000000"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
 
 [dependencies]
-

noir/pkgs/fib/1000000/src/main.nr

@@ -1,4 +1,3 @@
-
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;

noir/pkgs/fib/generate.sh

@@ -4,7 +4,7 @@ set -eo pipefail
 
 function generate() {
     n="$1"
-    code="
+    code=$(cat <<EOF
 fn main(a_start: Field, b_start: Field) -> pub Field {
     let mut a = a_start;
     let mut b = b_start;
@@ -15,16 +15,20 @@ fn main(a_start: Field, b_start: Field) -> pub Field {
     }
 
     b
-}"
-    toml="
+}
+EOF
+)
+
+    toml=$(cat <<EOF
 [package]
 name = "fib_$n"
 type = "bin"
 authors = [""]
 compiler_version = "0.10.3"
 
 [dependencies]
-"
+EOF
+)
 
     mkdir -p "$n/src"
     echo "$code" > "$n/src/main.nr"

noir/pkgs/pedersen/3226/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "pedersen_3226"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
+
+[dependencies]

noir/pkgs/pedersen/3226/src/main.nr

@@ -0,0 +1,6 @@
+
+use dep::std;
+
+fn main(x: [Field; 3226]) -> pub [Field; 2] {
+    std::hash::pedersen(x)
+}

noir/pkgs/pedersen/323/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "pedersen_323"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
+
+[dependencies]

noir/pkgs/pedersen/323/src/main.nr

@@ -0,0 +1,6 @@
+
+use dep::std;
+
+fn main(x: [Field; 323]) -> pub [Field; 2] {
+    std::hash::pedersen(x)
+}

noir/pkgs/pedersen/33/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "pedersen_33"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
+
+[dependencies]

noir/pkgs/pedersen/33/src/main.nr

@@ -0,0 +1,6 @@
+
+use dep::std;
+
+fn main(x: [Field; 33]) -> pub [Field; 2] {
+    std::hash::pedersen(x)
+}

noir/pkgs/pedersen/generate.sh

@@ -0,0 +1,36 @@
+#!/usr/bin/env bash
+
+set -eo pipefail
+
+field_bits=254
+
+function generate() {
+    n_bytes="$1"
+    n_fields="$(python3 -c "import math; print(math.ceil($n_bytes / math.floor($field_bits / 8)))")"
+    n="$n_fields"
+
+    code="
+use dep::std;
+
+fn main(x: [Field; $n]) -> pub [Field; 2] {
+    std::hash::pedersen(x)
+}"
+    toml=$(cat <<EOF
+[package]
+name = "pedersen_$n"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.3"
+
+[dependencies]
+EOF
+)
+
+    mkdir -p "$n/src"
+    echo "$code" > "$n/src/main.nr"
+    echo "$toml" > "$n/Nargo.toml"
+}
+
+generate 1000
+generate 10000
+generate 100000

noir/src/backends.rs

@@ -7,3 +7,5 @@ compile_error!("please specify a backend to compile with");
 compile_error!(
     "feature \"plonk_bn254\"  and feature \"plonk_bn254_wasm\" cannot be enabled at the same time"
 );
+
+pub const FIELD_BITS: usize = 254;