test: added more noir tests

test_vectors/noir/poseidon2/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "poseidon2"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.33.0"
+
+[dependencies]
+poseidon2 = { tag = "v0.1.0", git = "https://github.com/TaceoLabs/noir-poseidon", directory = "poseidon2" }

test_vectors/noir/poseidon2/Prover.toml

@@ -0,0 +1 @@
+plains = ["0", "1", "2", "3", "4", "5", "6", "7"]

test_vectors/noir/poseidon2/src/main.nr

@@ -0,0 +1,6 @@
+use dep::poseidon2;
+
+//-8724675007627701394367576277397137785970603800817593955743442482136808733218
+fn main(plains: [Field; 8]) -> pub Field {
+    poseidon2::bn254::hash_8(plains)
+}

test_vectors/noir/poseidon_stdlib/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "poseidon_stdlib"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.33.0"
+
+[dependencies]

test_vectors/noir/poseidon_stdlib/Prover.toml

@@ -0,0 +1,4 @@
+x1 = ["1", "2"]
+x2 = ["3", "4", "5", "6"]
+y1 = "0x115cc0f5e7d690413df64c6b9662e9cf2a3617f2743245519e19607a4417189a"
+y2 = "0x24995e31c5b1cf0c406e7f25ac0a8e6315ec4a341f241a472ce5b459d38ddf44"

test_vectors/noir/poseidon_stdlib/src/main.nr

@@ -0,0 +1,9 @@
+use std::hash::poseidon;
+
+fn main(x1: [Field; 2], y1: pub Field, x2: [Field; 4], y2: pub Field) {
+    let hash1 = poseidon::bn254::hash_2(x1);
+    assert(hash1 == y1);
+
+    let hash2 = poseidon::bn254::hash_4(x2);
+    assert(hash2 == y2);
+}

tests/tests/noir/witness_extension_tests/plain_solver.rs

@@ -6,3 +6,5 @@ use super::add_plain_acvm_test;
 
 add_plain_acvm_test!("addition_multiplication");
 add_plain_acvm_test!("poseidon");
+add_plain_acvm_test!("poseidon2");
+add_plain_acvm_test!("poseidon_stdlib");

tests/tests/noir/witness_extension_tests/rep3.rs

@@ -9,3 +9,5 @@ use tests::rep3_network::Rep3TestNetwork;
 use super::add_rep3_acvm_test;
 add_rep3_acvm_test!("addition_multiplication");
 add_rep3_acvm_test!("poseidon");
+add_rep3_acvm_test!("poseidon2");
+add_rep3_acvm_test!("poseidon_stdlib");