extract the package

Cargo.toml

@@ -8,6 +8,7 @@ members = [
     "node/migration",
     "wano",
     "verkletree",
+    "poseidon",
 ]
 exclude = []
 resolver = "2"

poseidon/Cargo.toml

@@ -0,0 +1,22 @@
+[package]
+name = "poseidon"
+version = "0.1.1"
+description = "Poseidon Hash"
+authors.workspace = true
+repository.workspace = true
+edition.workspace = true
+license = "Apache-2.0"
+readme = "README.md"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[lib]
+name = "poseidon"
+path = "src/lib.rs"
+
+[dependencies]
+halo2_proofs = { workspace = true }
+halo2curves = { workspace = true }
+rand = { workspace = true }
+rand_core = { workspace = true }
+ff = { workspace = true }

poseidon/README.md

@@ -0,0 +1,9 @@
+# Poseidon Hash
+
+Poseidon hash implementation in Rust.
+
+## License
+
+This project licensed under the [Apache License, Version 2.0](LICENSE).
+
+_build with ❤️ and 🦀_

poseidon/examples/poseidon_hash.rs

@@ -0,0 +1,27 @@
+use poseidon::{
+    circuit::PoseidonCircuit,
+    poseidon_hash::{Hash, OrchardNullifier, ConstantLength}
+};
+use halo2_proofs::{
+    dev::MockProver,
+    arithmetic::Field,
+};
+use std::marker::PhantomData;
+use halo2curves::pasta::Fp;
+use rand::rngs::OsRng;
+fn main(){
+    let rng = OsRng;
+
+    let message = [Fp::random(rng), Fp::random(rng)];
+    let output = Hash::<Fp, OrchardNullifier, ConstantLength<2>, 3, 2>::init().hash(message);
+
+    let k = 6;
+    let circuit = PoseidonCircuit::<OrchardNullifier, Fp, ConstantLength<2>, 3, 2, 2> {
+        message,
+        output,
+        _marker: PhantomData,
+        _marker2: PhantomData,
+    };
+    let prover = MockProver::run(k, &circuit, vec![]).expect("cannot prove");
+    assert_eq!(prover.verify(), Ok(()))
+}