can now deserialize barretenberg

co-noir/ultrahonk/Cargo.toml

@@ -10,6 +10,7 @@ license.workspace = true
 rust-version.workspace = true
 
 [dependencies]
+acir.workspace = true
 ark-ec.workspace = true
 ark-ff.workspace = true
 ark-serialize.workspace = true
@@ -18,8 +19,10 @@ byteorder.workspace = true
 eyre.workspace = true
 itertools.workspace = true
 lazy_static = "1.5"
+noirc-artifacts.workspace = true
 num-bigint.workspace = true
 num-traits.workspace = true
+serde_json.workspace = true
 tracing.workspace = true
 thiserror.workspace = true
 rand.workspace = true

co-noir/ultrahonk/tests/poseidon.rs

@@ -1,5 +1,14 @@
+use acir::{native_types::WitnessStack, FieldElement};
+use noirc_artifacts::program::ProgramArtifact;
+
 #[test]
 fn poseidon_test() {
-    const BYTECODE_PATH: &str = "example/poseidon/poseidon.rs";
-    const WITNESS_PATH: &str = "example/poseidon/poseidon.json";
+    let program =
+        std::fs::read_to_string("../../test_vectors/noir/poseidon/kat/poseidon.json").unwrap();
+    let program_artifact = serde_json::from_str::<ProgramArtifact>(&program)
+        .expect("failed to parse program artifact");
+
+    let should_witness = std::fs::read("../../test_vectors/noir/poseidon/kat/poseidon.gz").unwrap();
+
+    let should_witness = WitnessStack::<FieldElement>::try_from(should_witness.as_slice()).unwrap();
 }