From cffea15f0444f3cca616b650e33d65c8f443b94b Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Mon, 1 Jul 2024 17:51:38 +0000
Subject: [PATCH 1/8] chore: apply sync fixes

---
 .aztec-sync-commit                            |   2 +-
 ...te_note_hash_and_optionally_a_nullifier.rs |   8 +--
 .../src/transforms/contract_interface.rs      |  14 ++---
 aztec_macros/src/transforms/note_interface.rs |  10 +--
 aztec_macros/src/utils/ast_utils.rs           |   2 +-
 .../noirc_driver/tests/stdlib_warnings.rs     |   1 -
 .../src/brillig/brillig_gen/brillig_block.rs  |   5 ++
 compiler/noirc_evaluator/src/errors.rs        |   9 +++
 compiler/noirc_evaluator/src/ssa.rs           |   5 +-
 compiler/noirc_evaluator/src/ssa/ir/dfg.rs    |  17 ++++-
 .../noirc_evaluator/src/ssa/ir/instruction.rs |  10 ++-
 .../src/ssa/ir/instruction/call.rs            |  15 +++++
 .../src/ssa/opt/assert_constant.rs            |  39 +++++++++++-
 .../src/ssa/opt/remove_enable_side_effects.rs |   1 +
 .../src/ssa/opt/remove_if_else.rs             |   1 +
 compiler/noirc_frontend/src/ast/expression.rs |  17 -----
 .../src/hir/resolution/import.rs              |   7 ---
 .../src/hir/resolution/traits.rs              |   6 +-
 .../src/monomorphization/mod.rs               |   5 +-
 docs/docs/how_to/how-to-oracles.md            |   8 +--
 docs/docs/noir/concepts/assert.md             |  39 +++++++++++-
 examples/.gitignore                           |   2 +
 examples/codegen_verifier/.gitignore          |   1 -
 examples/prove_and_verify/proofs/proof        | Bin 2176 -> 0 bytes
 examples/prove_and_verify/prove_and_verify.sh |   2 +-
 noir_stdlib/src/hash/mimc.nr                  |   1 -
 noir_stdlib/src/hash/poseidon/bn254.nr        |  17 -----
 noir_stdlib/src/hash/poseidon2.nr             |   1 -
 noir_stdlib/src/lib.nr                        |   5 ++
 noir_stdlib/src/sha256.nr                     |   1 -
 noir_stdlib/src/sha512.nr                     |   1 -
 .../bench_eddsa_poseidon/src/main.nr          |   2 +-
 .../bench_poseidon_hash_100/src/main.nr       |   2 +-
 .../bench_poseidon_hash_30/src/main.nr        |   2 +-
 .../benchmarks/bench_sha256/Prover.toml       |   1 -
 .../benchmarks/bench_sha256_100/src/main.nr   |   3 +-
 .../benchmarks/bench_sha256_30/src/main.nr    |   3 +-
 .../assert_constant_dynamic_array/Nargo.toml  |   7 +++
 .../assert_constant_dynamic_array/src/main.nr |   5 ++
 .../assert_constant_dynamic_plus/Nargo.toml   |   7 +++
 .../assert_constant_dynamic_plus/src/main.nr  |   5 ++
 .../assert_constant_dynamic_slice/Nargo.toml  |   7 +++
 .../assert_constant_dynamic_slice/src/main.nr |   5 ++
 .../Nargo.toml                                |   7 +++
 .../src/main.nr                               |  12 ++++
 .../Nargo.toml                                |   7 +++
 .../src/main.nr                               |  12 ++++
 .../Nargo.toml                                |   7 +++
 .../src/main.nr                               |  12 ++++
 .../assert_constant_dynamic_tuple/Nargo.toml  |   7 +++
 .../assert_constant_dynamic_tuple/src/main.nr |   5 ++
 .../assert_constant_false/Nargo.toml          |   7 +++
 .../assert_constant_false/src/main.nr         |   3 +
 .../negate_unsigned/src/main.nr               |   1 -
 .../non_comptime_local_fn_call/Nargo.toml     |   2 +-
 .../non_comptime_local_fn_call/src/main.nr    |   2 +-
 .../orphaned_trait_impl/src/main.nr           |   2 +-
 .../restricted_bit_sizes/src/main.nr          |   2 +
 .../Nargo.toml                                |   7 +++
 .../src/main.nr                               |   5 ++
 .../static_assert_dynamic_slice/Nargo.toml    |   7 +++
 .../static_assert_dynamic_slice/src/main.nr   |  15 +++++
 .../static_assert_plus/Nargo.toml             |   7 +++
 .../static_assert_plus/src/main.nr            |   7 +++
 .../turbofish_generic_count/src/main.nr       |   1 -
 .../abi_attribute/Nargo.toml                  |   2 +-
 .../abi_attribute/src/main.nr                 |   2 +-
 .../assert_constant/Nargo.toml                |   7 +++
 .../assert_constant/src/main.nr               |  59 ++++++++++++++++++
 .../impl_where_clause/Nargo.toml              |   3 +-
 .../compile_success_empty/macros/src/main.nr  |   4 +-
 .../numeric_generics/src/main.nr              |   1 -
 .../reexports/src/main.nr                     |   2 +-
 .../static_assert/Nargo.toml                  |   7 +++
 .../static_assert/src/main.nr                 |  46 ++++++++++++++
 .../workspace_reexport_bug/binary/src/main.nr |   2 +-
 .../workspace_reexport_bug/library/src/lib.nr |   2 +-
 .../div_by_zero_numerator_witness/src/main.nr |   1 -
 .../execution_success/as_witness/Nargo.toml   |   6 ++
 .../execution_success/as_witness/Prover.toml  |   1 +
 .../execution_success/as_witness/src/main.nr  |   5 ++
 .../diamond_deps_0/src/main.nr                |   6 +-
 .../execution_success/hashmap/src/main.nr     |   1 +
 .../traits_in_crates_1/crate1/src/lib.nr      |   2 +-
 .../traits_in_crates_1/src/main.nr            |   2 +-
 .../traits_in_crates_2/crate2/src/lib.nr      |   2 +-
 .../traits_in_crates_2/src/main.nr            |   2 +-
 .../verify_honk_proof/Nargo.toml              |   6 ++
 .../verify_honk_proof/Prover.toml             |   4 ++
 .../verify_honk_proof/src/main.nr             |  21 +++++++
 .../should_fail_mismatch/src/main.nr          |   2 +-
 test_programs/rebuild.sh                      |  47 +++++++++++++-
 .../test_libraries/diamond_deps_1/src/lib.nr  |   2 +-
 .../test_libraries/reexporting_lib/src/lib.nr |   4 +-
 tooling/acvm_cli/Cargo.toml                   |   2 +-
 tooling/nargo_cli/Cargo.toml                  |   9 +--
 tooling/nargo_fmt/tests/expected/contract.nr  |   4 +-
 tooling/nargo_fmt/tests/expected/let.nr       |   8 +--
 tooling/nargo_fmt/tests/input/contract.nr     |   4 +-
 tooling/nargo_fmt/tests/input/let.nr          |   8 +--
 100 files changed, 583 insertions(+), 141 deletions(-)
 create mode 100644 examples/.gitignore
 delete mode 100644 examples/prove_and_verify/proofs/proof
 delete mode 100644 test_programs/benchmarks/bench_sha256/Prover.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_array/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_array/src/main.nr
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_plus/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_plus/src/main.nr
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_slice/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_slice/src/main.nr
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_struct_array/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_struct_array/src/main.nr
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_struct_field/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_struct_field/src/main.nr
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_struct_slice/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_struct_slice/src/main.nr
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_tuple/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_dynamic_tuple/src/main.nr
 create mode 100644 test_programs/compile_failure/assert_constant_false/Nargo.toml
 create mode 100644 test_programs/compile_failure/assert_constant_false/src/main.nr
 create mode 100644 test_programs/compile_failure/static_assert_dynamic_array_len/Nargo.toml
 create mode 100644 test_programs/compile_failure/static_assert_dynamic_array_len/src/main.nr
 create mode 100644 test_programs/compile_failure/static_assert_dynamic_slice/Nargo.toml
 create mode 100644 test_programs/compile_failure/static_assert_dynamic_slice/src/main.nr
 create mode 100644 test_programs/compile_failure/static_assert_plus/Nargo.toml
 create mode 100644 test_programs/compile_failure/static_assert_plus/src/main.nr
 create mode 100644 test_programs/compile_success_empty/assert_constant/Nargo.toml
 create mode 100644 test_programs/compile_success_empty/assert_constant/src/main.nr
 create mode 100644 test_programs/compile_success_empty/static_assert/Nargo.toml
 create mode 100644 test_programs/compile_success_empty/static_assert/src/main.nr
 create mode 100644 test_programs/execution_success/as_witness/Nargo.toml
 create mode 100644 test_programs/execution_success/as_witness/Prover.toml
 create mode 100644 test_programs/execution_success/as_witness/src/main.nr
 create mode 100644 test_programs/execution_success/verify_honk_proof/Nargo.toml
 create mode 100644 test_programs/execution_success/verify_honk_proof/Prover.toml
 create mode 100644 test_programs/execution_success/verify_honk_proof/src/main.nr

diff --git a/.aztec-sync-commit b/.aztec-sync-commit
index 0e17b00d0d2..ec0df2d1b06 100644
--- a/.aztec-sync-commit
+++ b/.aztec-sync-commit
@@ -1 +1 @@
-ed815a3713fc311056a8bd0a616945f12d9be2a8
+eb9e9f6f2b3952760822faaacb7e851e936e0800
diff --git a/aztec_macros/src/transforms/compute_note_hash_and_optionally_a_nullifier.rs b/aztec_macros/src/transforms/compute_note_hash_and_optionally_a_nullifier.rs
index 30c0f63a2d4..40fde39a06f 100644
--- a/aztec_macros/src/transforms/compute_note_hash_and_optionally_a_nullifier.rs
+++ b/aztec_macros/src/transforms/compute_note_hash_and_optionally_a_nullifier.rs
@@ -176,7 +176,7 @@ fn generate_compute_note_hash_and_optionally_a_nullifier_source(
         format!(
             "
         unconstrained fn compute_note_hash_and_optionally_a_nullifier(
-            contract_address: dep::aztec::protocol_types::address::AztecAddress,
+            contract_address: aztec::protocol_types::address::AztecAddress,
             nonce: Field,
             storage_slot: Field,
             note_type_id: Field,
@@ -194,7 +194,7 @@ fn generate_compute_note_hash_and_optionally_a_nullifier_source(
 
         let if_statements: Vec<String> = note_types.iter().map(|note_type| format!(
             "if (note_type_id == {0}::get_note_type_id()) {{
-                dep::aztec::note::utils::compute_note_hash_and_optionally_a_nullifier({0}::deserialize_content, note_header, compute_nullifier, serialized_note)
+                aztec::note::utils::compute_note_hash_and_optionally_a_nullifier({0}::deserialize_content, note_header, compute_nullifier, serialized_note)
             }}"
         , note_type)).collect();
 
@@ -208,14 +208,14 @@ fn generate_compute_note_hash_and_optionally_a_nullifier_source(
         format!(
             "
             unconstrained fn compute_note_hash_and_optionally_a_nullifier(
-                contract_address: dep::aztec::protocol_types::address::AztecAddress,
+                contract_address: aztec::protocol_types::address::AztecAddress,
                 nonce: Field,
                 storage_slot: Field,
                 note_type_id: Field,
                 compute_nullifier: bool,
                 serialized_note: [Field; {}],
             ) -> pub [Field; 4] {{
-                let note_header = dep::aztec::prelude::NoteHeader::new(contract_address, nonce, storage_slot);
+                let note_header = aztec::prelude::NoteHeader::new(contract_address, nonce, storage_slot);
 
                 {}
             }}",
diff --git a/aztec_macros/src/transforms/contract_interface.rs b/aztec_macros/src/transforms/contract_interface.rs
index ed451fdd998..b9323644379 100644
--- a/aztec_macros/src/transforms/contract_interface.rs
+++ b/aztec_macros/src/transforms/contract_interface.rs
@@ -30,8 +30,8 @@ use crate::utils::{
 //   for i in 0..third_arg.len() {
 //     args_acc = args_acc.append(third_arg[i].serialize().as_slice());
 //   }
-//   let args_hash = dep::aztec::hash::hash_args(args_acc);
-//   assert(args_hash == dep::aztec::oracle::arguments::pack_arguments(args_acc));
+//   let args_hash = aztec::hash::hash_args(args_acc);
+//   assert(args_hash == aztec::oracle::arguments::pack_arguments(args_acc));
 //   PublicCallInterface {
 //     target_contract: self.target_contract,
 //     selector: FunctionSelector::from_signature("SELECTOR_PLACEHOLDER"),
@@ -137,8 +137,8 @@ pub fn stub_function(aztec_visibility: &str, func: &NoirFunction, is_static_call
             format!(
                 "let mut args_acc: [Field] = &[];
                 {}
-                let args_hash = dep::aztec::hash::hash_args(args_acc);
-                assert(args_hash == dep::aztec::oracle::arguments::pack_arguments(args_acc));",
+                let args_hash = aztec::hash::hash_args(args_acc);
+                assert(args_hash == aztec::oracle::arguments::pack_arguments(args_acc));",
                 call_args
             )
         } else {
@@ -234,14 +234,14 @@ pub fn generate_contract_interface(
     let contract_interface = format!(
         "
         struct {0} {{
-            target_contract: dep::aztec::protocol_types::address::AztecAddress
+            target_contract: aztec::protocol_types::address::AztecAddress
         }}
 
         impl {0} {{
             {1}
 
             pub fn at(
-                target_contract: dep::aztec::protocol_types::address::AztecAddress
+                target_contract: aztec::protocol_types::address::AztecAddress
             ) -> Self {{
                 Self {{ target_contract }}
             }}
@@ -255,7 +255,7 @@ pub fn generate_contract_interface(
 
         #[contract_library_method]
         pub fn at(
-            target_contract: dep::aztec::protocol_types::address::AztecAddress
+            target_contract: aztec::protocol_types::address::AztecAddress
         ) -> {0} {{
             {0} {{ target_contract }}
         }}
diff --git a/aztec_macros/src/transforms/note_interface.rs b/aztec_macros/src/transforms/note_interface.rs
index c2dfb3d86d4..49525fc2ae1 100644
--- a/aztec_macros/src/transforms/note_interface.rs
+++ b/aztec_macros/src/transforms/note_interface.rs
@@ -272,7 +272,7 @@ fn generate_note_get_header(
 ) -> Result<NoirFunction, AztecMacroError> {
     let function_source = format!(
         "
-        fn get_header(note: {}) -> dep::aztec::note::note_header::NoteHeader {{
+        fn get_header(note: {}) -> aztec::note::note_header::NoteHeader {{
             note.{}
         }}
     ",
@@ -303,7 +303,7 @@ fn generate_note_set_header(
 ) -> Result<NoirFunction, AztecMacroError> {
     let function_source = format!(
         "
-        fn set_header(self: &mut {}, header: dep::aztec::note::note_header::NoteHeader) {{
+        fn set_header(self: &mut {}, header: aztec::note::note_header::NoteHeader) {{
             self.{} = header;
         }}
     ",
@@ -493,7 +493,7 @@ fn generate_note_properties_fn(
 
 // Automatically generate the method to compute the note's content hash as:
 // fn compute_note_content_hash(self: NoteType) -> Field {
-//    dep::aztec::hash::pedersen_hash(self.serialize_content(), dep::aztec::protocol_types::constants::GENERATOR_INDEX__NOTE_CONTENT_HASH)
+//    aztec::hash::pedersen_hash(self.serialize_content(), aztec::protocol_types::constants::GENERATOR_INDEX__NOTE_CONTENT_HASH)
 // }
 //
 fn generate_compute_note_content_hash(
@@ -503,7 +503,7 @@ fn generate_compute_note_content_hash(
     let function_source = format!(
         "
         fn compute_note_content_hash(self: {}) -> Field {{
-            dep::aztec::hash::pedersen_hash(self.serialize_content(), dep::aztec::protocol_types::constants::GENERATOR_INDEX__NOTE_CONTENT_HASH)
+            aztec::hash::pedersen_hash(self.serialize_content(), aztec::protocol_types::constants::GENERATOR_INDEX__NOTE_CONTENT_HASH)
         }}
         ",
         note_type
@@ -592,7 +592,7 @@ fn generate_note_properties_fn_source(
         .filter_map(|(index, (field_name, _))| {
             if field_name != note_header_field_name {
                 Some(format!(
-                    "{}: dep::aztec::note::note_getter_options::PropertySelector {{ index: {}, offset: 0, length: 32 }}",
+                    "{}: aztec::note::note_getter_options::PropertySelector {{ index: {}, offset: 0, length: 32 }}",
                     field_name,
                     index
                 ))
diff --git a/aztec_macros/src/utils/ast_utils.rs b/aztec_macros/src/utils/ast_utils.rs
index 48b3b25747b..4467c4bca4b 100644
--- a/aztec_macros/src/utils/ast_utils.rs
+++ b/aztec_macros/src/utils/ast_utils.rs
@@ -161,7 +161,7 @@ macro_rules! chained_dep {
     ( $base:expr $(, $tail:expr)* ) => {
         {
             let mut base_path = ident_path($base);
-            base_path.kind = PathKind::Dep;
+            base_path.kind = PathKind::Plain;
             $(
                 base_path.segments.push(ident($tail));
             )*
diff --git a/compiler/noirc_driver/tests/stdlib_warnings.rs b/compiler/noirc_driver/tests/stdlib_warnings.rs
index 9b2aeaecd94..47ce893d202 100644
--- a/compiler/noirc_driver/tests/stdlib_warnings.rs
+++ b/compiler/noirc_driver/tests/stdlib_warnings.rs
@@ -3,7 +3,6 @@ use std::path::Path;
 use noirc_driver::{file_manager_with_stdlib, prepare_crate, ErrorsAndWarnings};
 use noirc_frontend::hir::{def_map::parse_file, Context};
 
-#[ignore = "Temporarily ignoring the test until the stdlib is updated to use explicit numeric generics"]
 #[test]
 fn stdlib_does_not_produce_constant_warnings() -> Result<(), ErrorsAndWarnings> {
     // We use a minimal source file so that if stdlib produces warnings then we can expect these warnings to _always_
diff --git a/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs b/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs
index f10ff834f6c..c2bc1e32cd6 100644
--- a/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs
+++ b/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs
@@ -583,6 +583,11 @@ impl<'block> BrilligBlock<'block> {
                         1,
                     );
                 }
+
+                // `Intrinsic::AsWitness` is used to provide hints to acir-gen on optimal expression splitting.
+                // It is then useless in the brillig runtime and so we can ignore it
+                Value::Intrinsic(Intrinsic::AsWitness) => (),
+
                 _ => {
                     unreachable!("unsupported function call type {:?}", dfg[*func])
                 }
diff --git a/compiler/noirc_evaluator/src/errors.rs b/compiler/noirc_evaluator/src/errors.rs
index dd63a254a18..0879056ad36 100644
--- a/compiler/noirc_evaluator/src/errors.rs
+++ b/compiler/noirc_evaluator/src/errors.rs
@@ -35,6 +35,12 @@ pub enum RuntimeError {
     UnknownLoopBound { call_stack: CallStack },
     #[error("Argument is not constant")]
     AssertConstantFailed { call_stack: CallStack },
+    #[error("The static_assert message is not constant")]
+    StaticAssertDynamicMessage { call_stack: CallStack },
+    #[error("Argument is dynamic")]
+    StaticAssertDynamicPredicate { call_stack: CallStack },
+    #[error("Argument is false")]
+    StaticAssertFailed { call_stack: CallStack },
     #[error("Nested slices are not supported")]
     NestedSlice { call_stack: CallStack },
     #[error("Big Integer modulus do no match")]
@@ -120,6 +126,9 @@ impl RuntimeError {
             | RuntimeError::UnInitialized { call_stack, .. }
             | RuntimeError::UnknownLoopBound { call_stack }
             | RuntimeError::AssertConstantFailed { call_stack }
+            | RuntimeError::StaticAssertDynamicMessage { call_stack }
+            | RuntimeError::StaticAssertDynamicPredicate { call_stack }
+            | RuntimeError::StaticAssertFailed { call_stack }
             | RuntimeError::IntegerOutOfBounds { call_stack, .. }
             | RuntimeError::UnsupportedIntegerSize { call_stack, .. }
             | RuntimeError::NestedSlice { call_stack, .. }
diff --git a/compiler/noirc_evaluator/src/ssa.rs b/compiler/noirc_evaluator/src/ssa.rs
index 71fb51bf750..0e0c3f1e631 100644
--- a/compiler/noirc_evaluator/src/ssa.rs
+++ b/compiler/noirc_evaluator/src/ssa.rs
@@ -66,7 +66,10 @@ pub(crate) fn optimize_into_acir(
     // Run mem2reg with the CFG separated into blocks
     .run_pass(Ssa::mem2reg, "After Mem2Reg:")
     .run_pass(Ssa::as_slice_optimization, "After `as_slice` optimization")
-    .try_run_pass(Ssa::evaluate_assert_constant, "After Assert Constant:")?
+    .try_run_pass(
+        Ssa::evaluate_static_assert_and_assert_constant,
+        "After `static_assert` and `assert_constant`:",
+    )?
     .try_run_pass(Ssa::unroll_loops_iteratively, "After Unrolling:")?
     .run_pass(Ssa::simplify_cfg, "After Simplifying:")
     .run_pass(Ssa::flatten_cfg, "After Flattening:")
diff --git a/compiler/noirc_evaluator/src/ssa/ir/dfg.rs b/compiler/noirc_evaluator/src/ssa/ir/dfg.rs
index f763ae52d50..994386f8197 100644
--- a/compiler/noirc_evaluator/src/ssa/ir/dfg.rs
+++ b/compiler/noirc_evaluator/src/ssa/ir/dfg.rs
@@ -497,9 +497,22 @@ impl DataFlowGraph {
         }
     }
 
-    /// True if the given ValueId refers to a constant value
+    /// True if the given ValueId refers to a (recursively) constant value
     pub(crate) fn is_constant(&self, argument: ValueId) -> bool {
-        !matches!(&self[self.resolve(argument)], Value::Instruction { .. } | Value::Param { .. })
+        match &self[self.resolve(argument)] {
+            Value::Instruction { .. } | Value::Param { .. } => false,
+            Value::Array { array, .. } => array.iter().all(|element| self.is_constant(*element)),
+            _ => true,
+        }
+    }
+
+    /// True that the input is a non-zero `Value::NumericConstant`
+    pub(crate) fn is_constant_true(&self, argument: ValueId) -> bool {
+        if let Some(constant) = self.get_numeric_constant(argument) {
+            !constant.is_zero()
+        } else {
+            false
+        }
     }
 }
 
diff --git a/compiler/noirc_evaluator/src/ssa/ir/instruction.rs b/compiler/noirc_evaluator/src/ssa/ir/instruction.rs
index 8f881b86e47..f854e8e0693 100644
--- a/compiler/noirc_evaluator/src/ssa/ir/instruction.rs
+++ b/compiler/noirc_evaluator/src/ssa/ir/instruction.rs
@@ -52,6 +52,7 @@ pub(crate) enum Intrinsic {
     ArrayLen,
     AsSlice,
     AssertConstant,
+    StaticAssert,
     SlicePushBack,
     SlicePushFront,
     SlicePopBack,
@@ -76,6 +77,7 @@ impl std::fmt::Display for Intrinsic {
             Intrinsic::ArrayLen => write!(f, "array_len"),
             Intrinsic::AsSlice => write!(f, "as_slice"),
             Intrinsic::AssertConstant => write!(f, "assert_constant"),
+            Intrinsic::StaticAssert => write!(f, "static_assert"),
             Intrinsic::SlicePushBack => write!(f, "slice_push_back"),
             Intrinsic::SlicePushFront => write!(f, "slice_push_front"),
             Intrinsic::SlicePopBack => write!(f, "slice_pop_back"),
@@ -104,9 +106,10 @@ impl Intrinsic {
     /// If there are no side effects then the `Intrinsic` can be removed if the result is unused.
     pub(crate) fn has_side_effects(&self) -> bool {
         match self {
-            Intrinsic::AssertConstant | Intrinsic::ApplyRangeConstraint | Intrinsic::AsWitness => {
-                true
-            }
+            Intrinsic::AssertConstant
+            | Intrinsic::StaticAssert
+            | Intrinsic::ApplyRangeConstraint
+            | Intrinsic::AsWitness => true,
 
             // These apply a constraint that the input must fit into a specified number of limbs.
             Intrinsic::ToBits(_) | Intrinsic::ToRadix(_) => true,
@@ -142,6 +145,7 @@ impl Intrinsic {
             "array_len" => Some(Intrinsic::ArrayLen),
             "as_slice" => Some(Intrinsic::AsSlice),
             "assert_constant" => Some(Intrinsic::AssertConstant),
+            "static_assert" => Some(Intrinsic::StaticAssert),
             "apply_range_constraint" => Some(Intrinsic::ApplyRangeConstraint),
             "slice_push_back" => Some(Intrinsic::SlicePushBack),
             "slice_push_front" => Some(Intrinsic::SlicePushFront),
diff --git a/compiler/noirc_evaluator/src/ssa/ir/instruction/call.rs b/compiler/noirc_evaluator/src/ssa/ir/instruction/call.rs
index e4635c0f974..281ab7c3057 100644
--- a/compiler/noirc_evaluator/src/ssa/ir/instruction/call.rs
+++ b/compiler/noirc_evaluator/src/ssa/ir/instruction/call.rs
@@ -246,6 +246,21 @@ pub(super) fn simplify_call(
                 SimplifyResult::None
             }
         }
+        Intrinsic::StaticAssert => {
+            if arguments.len() != 2 {
+                panic!("ICE: static_assert called with wrong number of arguments")
+            }
+
+            if !dfg.is_constant(arguments[1]) {
+                return SimplifyResult::None;
+            }
+
+            if dfg.is_constant_true(arguments[0]) {
+                SimplifyResult::Remove
+            } else {
+                SimplifyResult::None
+            }
+        }
         Intrinsic::ApplyRangeConstraint => {
             let value = arguments[0];
             let max_bit_size = dfg.get_numeric_constant(arguments[1]);
diff --git a/compiler/noirc_evaluator/src/ssa/opt/assert_constant.rs b/compiler/noirc_evaluator/src/ssa/opt/assert_constant.rs
index a3608f89612..ae0681a55ff 100644
--- a/compiler/noirc_evaluator/src/ssa/opt/assert_constant.rs
+++ b/compiler/noirc_evaluator/src/ssa/opt/assert_constant.rs
@@ -22,7 +22,9 @@ impl Ssa {
     /// since we must go through every instruction to find all references to `assert_constant`
     /// while loop unrolling only touches blocks with loops in them.
     #[tracing::instrument(level = "trace", skip(self))]
-    pub(crate) fn evaluate_assert_constant(mut self) -> Result<Ssa, RuntimeError> {
+    pub(crate) fn evaluate_static_assert_and_assert_constant(
+        mut self,
+    ) -> Result<Ssa, RuntimeError> {
         for function in self.functions.values_mut() {
             for block in function.reachable_blocks() {
                 // Unfortunately we can't just use instructions.retain(...) here since
@@ -54,10 +56,13 @@ fn check_instruction(
     instruction: InstructionId,
 ) -> Result<bool, RuntimeError> {
     let assert_constant_id = function.dfg.import_intrinsic(Intrinsic::AssertConstant);
+    let static_assert_id = function.dfg.import_intrinsic(Intrinsic::StaticAssert);
     match &function.dfg[instruction] {
         Instruction::Call { func, arguments } => {
             if *func == assert_constant_id {
                 evaluate_assert_constant(function, instruction, arguments)
+            } else if *func == static_assert_id {
+                evaluate_static_assert(function, instruction, arguments)
             } else {
                 Ok(true)
             }
@@ -82,3 +87,35 @@ fn evaluate_assert_constant(
         Err(RuntimeError::AssertConstantFailed { call_stack })
     }
 }
+
+/// Evaluate a call to `static_assert`, returning an error if the value is false
+/// or not constant (see assert_constant).
+///
+/// When it passes, Ok(false) is returned. This signifies a
+/// success but also that the instruction need not be reinserted into the block being unrolled
+/// since it has already been evaluated.
+fn evaluate_static_assert(
+    function: &Function,
+    instruction: InstructionId,
+    arguments: &[ValueId],
+) -> Result<bool, RuntimeError> {
+    if arguments.len() != 2 {
+        panic!("ICE: static_assert called with wrong number of arguments")
+    }
+
+    if !function.dfg.is_constant(arguments[1]) {
+        let call_stack = function.dfg.get_call_stack(instruction);
+        return Err(RuntimeError::StaticAssertDynamicMessage { call_stack });
+    }
+
+    if function.dfg.is_constant_true(arguments[0]) {
+        Ok(false)
+    } else {
+        let call_stack = function.dfg.get_call_stack(instruction);
+        if function.dfg.is_constant(arguments[0]) {
+            Err(RuntimeError::StaticAssertFailed { call_stack })
+        } else {
+            Err(RuntimeError::StaticAssertDynamicPredicate { call_stack })
+        }
+    }
+}
diff --git a/compiler/noirc_evaluator/src/ssa/opt/remove_enable_side_effects.rs b/compiler/noirc_evaluator/src/ssa/opt/remove_enable_side_effects.rs
index c9a6b7bf9c3..f9a3c9a55eb 100644
--- a/compiler/noirc_evaluator/src/ssa/opt/remove_enable_side_effects.rs
+++ b/compiler/noirc_evaluator/src/ssa/opt/remove_enable_side_effects.rs
@@ -150,6 +150,7 @@ impl Context {
 
                     Intrinsic::ArrayLen
                     | Intrinsic::AssertConstant
+                    | Intrinsic::StaticAssert
                     | Intrinsic::ApplyRangeConstraint
                     | Intrinsic::StrAsBytes
                     | Intrinsic::ToBits(_)
diff --git a/compiler/noirc_evaluator/src/ssa/opt/remove_if_else.rs b/compiler/noirc_evaluator/src/ssa/opt/remove_if_else.rs
index fd7a1a06fc8..242eea7d6f4 100644
--- a/compiler/noirc_evaluator/src/ssa/opt/remove_if_else.rs
+++ b/compiler/noirc_evaluator/src/ssa/opt/remove_if_else.rs
@@ -226,6 +226,7 @@ fn slice_capacity_change(
 
         // These cases don't affect slice capacities
         Intrinsic::AssertConstant
+        | Intrinsic::StaticAssert
         | Intrinsic::ApplyRangeConstraint
         | Intrinsic::ArrayLen
         | Intrinsic::StrAsBytes
diff --git a/compiler/noirc_frontend/src/ast/expression.rs b/compiler/noirc_frontend/src/ast/expression.rs
index ae973385182..87cc7990753 100644
--- a/compiler/noirc_frontend/src/ast/expression.rs
+++ b/compiler/noirc_frontend/src/ast/expression.rs
@@ -189,23 +189,6 @@ impl ExpressionKind {
             struct_type: None,
         }))
     }
-
-    /// Returns true if the expression is a literal integer
-    pub fn is_integer(&self) -> bool {
-        self.as_integer().is_some()
-    }
-
-    fn as_integer(&self) -> Option<FieldElement> {
-        let literal = match self {
-            ExpressionKind::Literal(literal) => literal,
-            _ => return None,
-        };
-
-        match literal {
-            Literal::Integer(integer, _) => Some(*integer),
-            _ => None,
-        }
-    }
 }
 
 impl Recoverable for ExpressionKind {
diff --git a/compiler/noirc_frontend/src/hir/resolution/import.rs b/compiler/noirc_frontend/src/hir/resolution/import.rs
index 282ee8a23c2..d73130411e4 100644
--- a/compiler/noirc_frontend/src/hir/resolution/import.rs
+++ b/compiler/noirc_frontend/src/hir/resolution/import.rs
@@ -38,8 +38,6 @@ pub(crate) type PathResolutionResult = Result<PathResolution, PathResolutionErro
 pub enum PathResolutionError {
     #[error("Could not resolve '{0}' in path")]
     Unresolved(Ident),
-    #[error("Contract variable '{0}' referenced from outside the contract")]
-    ExternalContractUsed(Ident),
     #[error("{0} is private and not visible from the current module")]
     Private(Ident),
 }
@@ -68,11 +66,6 @@ impl<'a> From<&'a PathResolutionError> for CustomDiagnostic {
             PathResolutionError::Unresolved(ident) => {
                 CustomDiagnostic::simple_error(error.to_string(), String::new(), ident.span())
             }
-            PathResolutionError::ExternalContractUsed(ident) => CustomDiagnostic::simple_error(
-                error.to_string(),
-                "Contracts may only be referenced from within a contract".to_string(),
-                ident.span(),
-            ),
             // This will be upgraded to an error in future versions
             PathResolutionError::Private(ident) => CustomDiagnostic::simple_warning(
                 error.to_string(),
diff --git a/compiler/noirc_frontend/src/hir/resolution/traits.rs b/compiler/noirc_frontend/src/hir/resolution/traits.rs
index a6b732439b0..e674a48e779 100644
--- a/compiler/noirc_frontend/src/hir/resolution/traits.rs
+++ b/compiler/noirc_frontend/src/hir/resolution/traits.rs
@@ -35,9 +35,6 @@ pub(crate) fn resolve_traits(
     traits: BTreeMap<TraitId, UnresolvedTrait>,
     crate_id: CrateId,
 ) -> Vec<(CompilationError, FileId)> {
-    for (trait_id, unresolved_trait) in &traits {
-        context.def_interner.push_empty_trait(*trait_id, unresolved_trait, vec![]);
-    }
     let mut all_errors = Vec::new();
 
     for (trait_id, unresolved_trait) in traits {
@@ -49,6 +46,8 @@ pub(crate) fn resolve_traits(
         );
         let generic_type_vars = generics.iter().map(|generic| generic.type_var.clone()).collect();
 
+        context.def_interner.push_empty_trait(trait_id, &unresolved_trait, generics);
+
         // Resolve order
         // 1. Trait Types ( Trait constants can have a trait type, therefore types before constants)
         let _ = resolve_trait_types(context, crate_id, &unresolved_trait);
@@ -67,7 +66,6 @@ pub(crate) fn resolve_traits(
 
         context.def_interner.update_trait(trait_id, |trait_def| {
             trait_def.set_methods(methods);
-            trait_def.generics = generics;
         });
 
         // This check needs to be after the trait's methods are set since
diff --git a/compiler/noirc_frontend/src/monomorphization/mod.rs b/compiler/noirc_frontend/src/monomorphization/mod.rs
index d589294d4fd..ebf0503963e 100644
--- a/compiler/noirc_frontend/src/monomorphization/mod.rs
+++ b/compiler/noirc_frontend/src/monomorphization/mod.rs
@@ -241,7 +241,9 @@ impl<'interner> Monomorphizer<'interner> {
                         Definition::Oracle(opcode.to_string())
                     }
                     FunctionKind::Recursive => {
-                        unreachable!("Only main can be specified as recursive, which should already be checked");
+                        let id =
+                            self.queue_function(id, expr_id, typ, turbofish_generics, trait_method);
+                        Definition::Function(id)
                     }
                 }
             }
@@ -610,6 +612,7 @@ impl<'interner> Monomorphizer<'interner> {
                     })
                     .transpose()?
                     .map(Box::new);
+
                 Ok(ast::Expression::Constrain(Box::new(expr), location, assert_message))
             }
             HirStatement::Assign(assign) => self.assign(assign),
diff --git a/docs/docs/how_to/how-to-oracles.md b/docs/docs/how_to/how-to-oracles.md
index d6834c09c84..2d2ed5c94b9 100644
--- a/docs/docs/how_to/how-to-oracles.md
+++ b/docs/docs/how_to/how-to-oracles.md
@@ -141,10 +141,10 @@ server.addMethod("resolve_function_call", async (params) => {
   if params.function !== "getSqrt" {
     throw Error("Unexpected foreign call")
   };
-  const values = params.inputs[0].map((field) => {
+  const values = params.inputs[0].Array.map((field) => {
     return `${Math.sqrt(parseInt(field, 16))}`;
   });
-  return { values };
+  return { values: [{ Array: values }] };
 });
 ```
 
@@ -236,9 +236,9 @@ const foreignCallHandler = async (name, input) => {
     // notice that the "inputs" parameter contains *all* the inputs
     // in this case we to make the RPC request with the first parameter "numbers", which would be input[0]
     const oracleReturn = await client.request(name, [
-      input[0].map((i) => i.toString("hex")),
+      { Array: input[0].map((i) => i.toString("hex")) },
     ]);
-    return { values: oracleReturn };
+    return [oracleReturn.values[0].Array];
 };
 
 // the rest of your NoirJS code
diff --git a/docs/docs/noir/concepts/assert.md b/docs/docs/noir/concepts/assert.md
index bcff613a695..2132de42072 100644
--- a/docs/docs/noir/concepts/assert.md
+++ b/docs/docs/noir/concepts/assert.md
@@ -1,9 +1,9 @@
 ---
 title: Assert Function
 description:
-  Learn about the assert function in Noir, which can be used to explicitly constrain the predicate or
-  comparison expression that follows to be true, and what happens if the expression is false at
-  runtime.
+  Learn about the `assert` and `static_assert` functions in Noir, which can be used to explicitly
+  constrain the predicate or comparison expression that follows to be true, and what happens if
+  the expression is false at runtime or compile-time, respectively.
 keywords: [Noir programming language, assert statement, predicate expression, comparison expression]
 sidebar_position: 4
 ---
@@ -43,3 +43,36 @@ let s = myStruct { myField: y };
 assert(s.myField == x, s);
 ```
 
+There is also a special `static_assert` function that behaves like `assert`,
+but that runs at compile-time.
+
+```rust
+fn main(xs: [Field; 3]) {
+    let x = 2 + 2;
+    let y = 4;
+    static_assert(x == y, "expected 2 + 2 to equal 4");
+
+    // This passes since the length of `xs` is known at compile-time
+    static_assert(xs.len() == 3, "expected the input to have 3 elements");
+}
+```
+
+This function fails when passed a dynamic (run-time) argument:
+
+```rust
+fn main(x : Field, y : Field) {
+    // this fails because `x` is not known at compile-time
+    static_assert(x == 2, "expected x to be known at compile-time and equal to 2");
+
+    let mut example_slice = &[];
+    if y == 4 {
+        example_slice = example_slice.push_back(0);
+    }
+
+    // This fails because the length of `example_slice` is not known at
+    // compile-time
+    let error_message = "expected an empty slice, known at compile-time";
+    static_assert(example_slice.len() == 0, error_message);
+}
+```
+
diff --git a/examples/.gitignore b/examples/.gitignore
new file mode 100644
index 00000000000..c4fdcad6719
--- /dev/null
+++ b/examples/.gitignore
@@ -0,0 +1,2 @@
+target
+proofs
\ No newline at end of file
diff --git a/examples/codegen_verifier/.gitignore b/examples/codegen_verifier/.gitignore
index c0d62c447d3..ae13a24752c 100644
--- a/examples/codegen_verifier/.gitignore
+++ b/examples/codegen_verifier/.gitignore
@@ -1,4 +1,3 @@
 out
 cache
-target
 src/contract.sol
\ No newline at end of file
diff --git a/examples/prove_and_verify/proofs/proof b/examples/prove_and_verify/proofs/proof
deleted file mode 100644
index 01d5ad276865ced1d94c7e1be9a84e09e0d6cb50..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 2176
zcmV-`2!Hng000000000000000000000000000000000000006J0S8cdAa>aDI1er`
zD|x|5vMZ?MQTBMo$;s!NqkKRF(GdPwXbO6bc<rdOr-RQYc!>BHP4(CLcGZ{3r7QLt
zaWO0Zhf%!!=``aT_Ngbft_>T+6XBD6%_RL2=Nb|XZKh8$=o?+MNSMEld2+}qL|YqH
zLv37TBiqvfn7o4__bhJ|M<8>FmMP<3Sen_18u;R<?_DFXp{Sv#RK0j6vbl=OYBe1k
zv{7wB0M{25o>yI*DdwZ_hvTws2jpcP8bGBZ^e3)Jn6=g9>4a&jMY3YvROW7@1uygo
z;5@Y@!u0*#UO#;c$)lIBLj70Kd<IW48|MJ)2Vpp9fbGT!0PKF)vN@iHl1D=sZ5%K&
z?L3TtB{o8>l)i$`9uWor`4HW4^9?RD2x4cYsS-=KY2m(_GRbXxLd`oyO*Z)%l*L|x
zv-CZ8>9svulPJHe7Fxx>8C!H#UbE;2(0fM-gegT@y=e-H?)xt_#D9X$wMVOf>DFaK
z0%<E{OqX^Hx2vOEyRm;cK*|L-6I5fCkYV{qZK^_|3O95Ho|LQ>FYk?xNKLWKuV8By
z9xl$MPJ!&4KjFIO(;;Z(vbJ*pWgkp2C<&#9&3u_v<SJ(Bl$oW!OmPboIW0pvJ7LBb
zpd~ZFDX{Tf%#MAZUditXFx!REYq_9a^b&G_h3oeLRHq6~aWs+n54O7XHkL<o>oM;b
zOtM%%_fQ{^&wAJfZ;GiN0p9qKBout>sXkPL)2W#Jx`<}s)UUqDwXxO`peHgLbtXEi
zA}QV2A5Y-kA}enoMo<vFyiLU^%vpaOd9-Tjn*uhMRvIA=-qr5fv|ljlOrXYId=om2
zWGVjx&_<w(-spSQyOP)~kTbvhgvy3t^b`E`fVCZH?c}Kr%nEu?tSzUx%Ik)6YFqkU
zD|ux)I%4J(+K!yW{(g@fm{>M3VRp`w6Y)0a8ZZH@O!Ts}z*}woW#imU_!aB{?Y1w4
zd~iKsf)fzvxs8$Gq6iEr7lL!+cc7iQiE*bBVf0JiH2S;)RXw_%l4}P~<Dk)g7!*DA
zHD8bA3>Q)<W2Ujq%z`(!)V(&JW1s}|ew|Z7V=zXj#G&;b`E3Uie=UbDVx{D<1LKqP
z0uLP64X3x0JL4H9_)*6{bbxXa1??hhZ}8h=RGO#rD+B11k;X_}s4wgfn{2qwP2dS9
zPo;?ImK}>PHJu_p4<qtLyuYO19;+~&PCIGTGB>{*Ru_1m9Dp8)*zYD$!A&?i2<dur
z1XM=Z4B`7ue+D5CJLuJ6^5$2NUGR}f#9elr_@n22U!P*#aY^Twftx`l1fT8}bI&#v
zZBAc#k@aU2^W9>~NJxFh-<d&sC{QyjXmxZs;+1%1csbv^bs(7By+-4uZsxs?>eka_
z5&@JLG^IL)kaSba{Rl?wehG5T^4158geGzaxi$V!E+Cd58w*SZEJDPnAuDv|2SQ2v
zD6U<H-l7}1?=|TJwc(EgK}eqw<>)1Jf#xchKQNmnPi0fe{GsY<!$)T9tx=&Kqmko<
zvgIDHjl2u}aV*!Ge${1=+4sewJjZx^yoHe#ivIF#)PA}GXfXh@*mdadxYyDw-Y1tP
zGoa)A(hKMsv^z-Ja)r?xlsXIm5mLMuF_P&`G1e_0v~#e`%8?NPBGq$i3}j#JN0Gw_
z9-!-;{LS`RJ*@9m_p8(R7NhzwBF7jR4F+1x%g$`}8ZjKgouyaoK>(T|4-SxmAGRYR
z!;|O<+&dyFTcx>!{NBfR7#ofvKxi;V`O!!mxJ=Y6>I+}AZGrHbn%qc<GmP%oXKNfS
zPo|O>>U<W=1z+$cn%BFxr-~T%4$o~N%C`P{MMBk5#J}~}#%|nY=7QcYQ<)CD#PUq0
zwFvk+Gc@Z8)7HOi=ev9s>|YtSq617FqhC6+)VddC>J;Cq)J1og5Luo@<-Q12xSbLa
zp4H7G58tL4;|ZpwE*GX6ePf%~(6m1I<@^({r+s^J%rvkGB@5*3ayuiQ!Fasr&xbP)
zK^aV+8fDOXvjj{o^OVgaZxq-wLO0uf;Uit)e{PD7iO70nerlMaHatF2o1>d1co%5j
zw_sTKrNcmFmNe2Vd}^mZ>`6X298oXo2{Ic8E_?0a`h_++3w<c|hm?4M;s&XLwJ)sA
zh*MT9DL0`k3X?U=s=UiABkUj8*Ko)MxXjI3SgmYZ?<s=60+GcU5puz+<>IRNg(+kP
zb-A39b^ZaJVA~p0gnqqRfL<9O+WIHv)7i5Wx6|)VbSDHDJAecE!UA?Iom+~24j~r_
z0o~7H^Q};cpVA~TpTksRgysp2c=}a06gZg`WJGKS3~JRg-RURs=LMFuX7>T#u|qq@
zqW7q6c{6l)ehj4=`-R~qJstJS6W?>-Ks(wKT*z4TN_7gwYUa}5Y-@}e^2-u#-0`N8
zhrUI9DFl3KIvt{UlC9G^Sb2>`aAU|Hah48r%uVBMRlEXl>FO?W8eBWSIGd$9k32Gi
zv#M(<)#fWe=Xb3LG@0zy4oWefBzX1!I!VPV*gt~=P#t9w^~deLGAGQZA07Pf|Mif}
zddk93$K#e}$j;HZ1L|la>frfIP|MwU9zkTl7mWdCoVt=%Lg1jKVgDRgntNg{1!LxB
z5V7Ku@3Sc}26&B|D4S8BB)h7jOK-f&6j@IS-K*efFN6G$90iBbvClb1UX_J6;X{d)
z4b5cs8uKU`K;Eh0C;UB?yTPS{8b-r#20xH2mHtQTX?08lgJ97bm3F-#stFrS(n0h9
z4CA}n2txgxH+HlnLO#AneCmV&#-b9mZ@<ok$kGy?e8&YU>nAn!i#}(}^jL#=8#xmc
C5)-Ka

diff --git a/examples/prove_and_verify/prove_and_verify.sh b/examples/prove_and_verify/prove_and_verify.sh
index 01ee6c70738..df3ec3ff97a 100755
--- a/examples/prove_and_verify/prove_and_verify.sh
+++ b/examples/prove_and_verify/prove_and_verify.sh
@@ -11,4 +11,4 @@ $BACKEND prove -b ./target/hello_world.json -w ./target/witness.gz
 
 # TODO: backend should automatically generate vk if necessary.
 $BACKEND write_vk -b ./target/hello_world.json
-$BACKEND verify -v ./target/vk -p ./proofs/proof
\ No newline at end of file
+$BACKEND verify -k ./target/vk -p ./proofs/proof
\ No newline at end of file
diff --git a/noir_stdlib/src/hash/mimc.nr b/noir_stdlib/src/hash/mimc.nr
index de4475d9446..a16a73c5bc5 100644
--- a/noir_stdlib/src/hash/mimc.nr
+++ b/noir_stdlib/src/hash/mimc.nr
@@ -116,7 +116,6 @@ global MIMC_BN254_CONSTANTS: [Field; MIMC_BN254_ROUNDS] = [
 
 //mimc implementation with hardcoded parameters for BN254 curve.
 #[field(bn254)]
-#[no_predicates]
 pub fn mimc_bn254<let N: u32>(array: [Field; N]) -> Field {
     let exponent = 7;
     let mut r = 0;
diff --git a/noir_stdlib/src/hash/poseidon/bn254.nr b/noir_stdlib/src/hash/poseidon/bn254.nr
index 6800fac421d..0e47ca11e20 100644
--- a/noir_stdlib/src/hash/poseidon/bn254.nr
+++ b/noir_stdlib/src/hash/poseidon/bn254.nr
@@ -6,14 +6,12 @@ use crate::hash::poseidon::{PoseidonConfig, absorb};
 
 // Variable-length Poseidon-128 sponge as suggested in second bullet point of §3 of https://eprint.iacr.org/2019/458.pdf
 #[field(bn254)]
-#[no_predicates]
 pub fn sponge<let N: u32>(msg: [Field; N]) -> Field {
     absorb(consts::x5_5_config(), [0; 5], 4, 1, msg)[1]
 }
 
 // Various instances of the Poseidon hash function
 // Consistent with Circom's implementation
-#[no_predicates]
 pub fn hash_1(input: [Field; 1]) -> Field {
     let mut state = [0; 2];
     for i in 0..input.len() {
@@ -23,7 +21,6 @@ pub fn hash_1(input: [Field; 1]) -> Field {
     perm::x5_2(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_2(input: [Field; 2]) -> Field {
     let mut state = [0; 3];
     for i in 0..input.len() {
@@ -33,7 +30,6 @@ pub fn hash_2(input: [Field; 2]) -> Field {
     perm::x5_3(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_3(input: [Field; 3]) -> Field {
     let mut state = [0; 4];
     for i in 0..input.len() {
@@ -43,7 +39,6 @@ pub fn hash_3(input: [Field; 3]) -> Field {
     perm::x5_4(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_4(input: [Field; 4]) -> Field {
     let mut state = [0; 5];
     for i in 0..input.len() {
@@ -53,7 +48,6 @@ pub fn hash_4(input: [Field; 4]) -> Field {
     perm::x5_5(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_5(input: [Field; 5]) -> Field {
     let mut state = [0; 6];
     for i in 0..input.len() {
@@ -63,7 +57,6 @@ pub fn hash_5(input: [Field; 5]) -> Field {
     perm::x5_6(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_6(input: [Field; 6]) -> Field {
     let mut state = [0; 7];
     for i in 0..input.len() {
@@ -73,7 +66,6 @@ pub fn hash_6(input: [Field; 6]) -> Field {
     perm::x5_7(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_7(input: [Field; 7]) -> Field {
     let mut state = [0; 8];
     for i in 0..input.len() {
@@ -83,7 +75,6 @@ pub fn hash_7(input: [Field; 7]) -> Field {
     perm::x5_8(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_8(input: [Field; 8]) -> Field {
     let mut state = [0; 9];
     for i in 0..input.len() {
@@ -93,7 +84,6 @@ pub fn hash_8(input: [Field; 8]) -> Field {
     perm::x5_9(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_9(input: [Field; 9]) -> Field {
     let mut state = [0; 10];
     for i in 0..input.len() {
@@ -103,7 +93,6 @@ pub fn hash_9(input: [Field; 9]) -> Field {
     perm::x5_10(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_10(input: [Field; 10]) -> Field {
     let mut state = [0; 11];
     for i in 0..input.len() {
@@ -113,7 +102,6 @@ pub fn hash_10(input: [Field; 10]) -> Field {
     perm::x5_11(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_11(input: [Field; 11]) -> Field {
     let mut state = [0; 12];
     for i in 0..input.len() {
@@ -123,7 +111,6 @@ pub fn hash_11(input: [Field; 11]) -> Field {
     perm::x5_12(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_12(input: [Field; 12]) -> Field {
     let mut state = [0; 13];
     for i in 0..input.len() {
@@ -133,7 +120,6 @@ pub fn hash_12(input: [Field; 12]) -> Field {
     perm::x5_13(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_13(input: [Field; 13]) -> Field {
     let mut state = [0; 14];
     for i in 0..input.len() {
@@ -143,7 +129,6 @@ pub fn hash_13(input: [Field; 13]) -> Field {
     perm::x5_14(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_14(input: [Field; 14]) -> Field {
     let mut state = [0; 15];
     for i in 0..input.len() {
@@ -153,7 +138,6 @@ pub fn hash_14(input: [Field; 14]) -> Field {
     perm::x5_15(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_15(input: [Field; 15]) -> Field {
     let mut state = [0; 16];
     for i in 0..input.len() {
@@ -163,7 +147,6 @@ pub fn hash_15(input: [Field; 15]) -> Field {
     perm::x5_16(state)[0]
 }
 
-#[no_predicates]
 pub fn hash_16(input: [Field; 16]) -> Field {
     let mut state = [0; 17];
     for i in 0..input.len() {
diff --git a/noir_stdlib/src/hash/poseidon2.nr b/noir_stdlib/src/hash/poseidon2.nr
index 08cf68d1f82..e34992364ab 100644
--- a/noir_stdlib/src/hash/poseidon2.nr
+++ b/noir_stdlib/src/hash/poseidon2.nr
@@ -11,7 +11,6 @@ struct Poseidon2 {
 }
 
 impl Poseidon2 {
-    #[no_predicates]
     pub fn hash<let N: u32>(input: [Field; N], message_size: u32) -> Field {
         if message_size == N {
             Poseidon2::hash_internal(input, N, false)
diff --git a/noir_stdlib/src/lib.nr b/noir_stdlib/src/lib.nr
index 1a756f441ba..65da7e6e9ab 100644
--- a/noir_stdlib/src/lib.nr
+++ b/noir_stdlib/src/lib.nr
@@ -48,6 +48,11 @@ pub fn verify_proof<N>(verification_key: [Field], proof: [Field], public_inputs:
 // Useful for debugging for-loop bounds.
 #[builtin(assert_constant)]
 pub fn assert_constant<T>(x: T) {}
+
+// Asserts that the given value is both true and known at compile-time
+#[builtin(static_assert)]
+pub fn static_assert<let N: u32>(predicate: bool, message: str<N>) {}
+
 // from_field and as_field are private since they are not valid for every type.
 // `as` should be the default for users to cast between primitive types, and in the future
 // traits can be used to work with generic types.
diff --git a/noir_stdlib/src/sha256.nr b/noir_stdlib/src/sha256.nr
index 96ea8bb82c3..0161756c1d0 100644
--- a/noir_stdlib/src/sha256.nr
+++ b/noir_stdlib/src/sha256.nr
@@ -38,7 +38,6 @@ fn hash_final_block(msg_block: [u8; 64], mut state: [u32; 8]) -> [u8; 32] {
 }
 
 // Variable size SHA-256 hash
-#[no_predicates]
 pub fn sha256_var<let N: u32>(msg: [u8; N], message_size: u64) -> [u8; 32] {
     let mut msg_block: [u8; 64] = [0; 64];
     let mut h: [u32; 8] = [1779033703, 3144134277, 1013904242, 2773480762, 1359893119, 2600822924, 528734635, 1541459225]; // Intermediate hash, starting with the canonical initial value
diff --git a/noir_stdlib/src/sha512.nr b/noir_stdlib/src/sha512.nr
index 993f328341f..aed6c2878b3 100644
--- a/noir_stdlib/src/sha512.nr
+++ b/noir_stdlib/src/sha512.nr
@@ -87,7 +87,6 @@ fn msg_u8_to_u64(msg: [u8; 128]) -> [u64; 16] {
     msg64
 }
 // SHA-512 hash function
-#[no_predicates]
 pub fn digest<let N: u32>(msg: [u8; N]) -> [u8; 64] {
     let mut msg_block: [u8; 128] = [0; 128];
     // noir-fmt:ignore
diff --git a/test_programs/benchmarks/bench_eddsa_poseidon/src/main.nr b/test_programs/benchmarks/bench_eddsa_poseidon/src/main.nr
index 2d38f5b1063..cb853e48c30 100644
--- a/test_programs/benchmarks/bench_eddsa_poseidon/src/main.nr
+++ b/test_programs/benchmarks/bench_eddsa_poseidon/src/main.nr
@@ -9,4 +9,4 @@ fn main(
     s: Field
 ) -> pub bool {
     eddsa_poseidon_verify(pub_key_x, pub_key_y, s, r8_x, r8_y, msg)
-}
\ No newline at end of file
+}
diff --git a/test_programs/benchmarks/bench_poseidon_hash_100/src/main.nr b/test_programs/benchmarks/bench_poseidon_hash_100/src/main.nr
index 5fc9e313179..1c9bbfe61bf 100644
--- a/test_programs/benchmarks/bench_poseidon_hash_100/src/main.nr
+++ b/test_programs/benchmarks/bench_poseidon_hash_100/src/main.nr
@@ -9,4 +9,4 @@ fn main(input: [[Field; 2]; SIZE]) -> pub [Field; SIZE] {
     }
 
     results
-}
\ No newline at end of file
+}
diff --git a/test_programs/benchmarks/bench_poseidon_hash_30/src/main.nr b/test_programs/benchmarks/bench_poseidon_hash_30/src/main.nr
index 3e319d2b025..3edb47e9f72 100644
--- a/test_programs/benchmarks/bench_poseidon_hash_30/src/main.nr
+++ b/test_programs/benchmarks/bench_poseidon_hash_30/src/main.nr
@@ -9,4 +9,4 @@ fn main(input: [[Field; 2]; SIZE]) -> pub [Field; SIZE] {
     }
 
     results
-}
\ No newline at end of file
+}
diff --git a/test_programs/benchmarks/bench_sha256/Prover.toml b/test_programs/benchmarks/bench_sha256/Prover.toml
deleted file mode 100644
index 66779dea9d7..00000000000
--- a/test_programs/benchmarks/bench_sha256/Prover.toml
+++ /dev/null
@@ -1 +0,0 @@
-input = [1,2]
diff --git a/test_programs/benchmarks/bench_sha256_100/src/main.nr b/test_programs/benchmarks/bench_sha256_100/src/main.nr
index 48b7fbac93c..6df856a83fc 100644
--- a/test_programs/benchmarks/bench_sha256_100/src/main.nr
+++ b/test_programs/benchmarks/bench_sha256_100/src/main.nr
@@ -1,4 +1,3 @@
-
 global SIZE = 100;
 
 fn main(input: [[u8; 2]; SIZE]) -> pub [[u8; 32]; SIZE] {
@@ -8,4 +7,4 @@ fn main(input: [[u8; 2]; SIZE]) -> pub [[u8; 32]; SIZE] {
     }
 
     results
-}
\ No newline at end of file
+}
diff --git a/test_programs/benchmarks/bench_sha256_30/src/main.nr b/test_programs/benchmarks/bench_sha256_30/src/main.nr
index 37c742f9667..220c1cfbbed 100644
--- a/test_programs/benchmarks/bench_sha256_30/src/main.nr
+++ b/test_programs/benchmarks/bench_sha256_30/src/main.nr
@@ -1,4 +1,3 @@
-
 global SIZE = 30;
 
 fn main(input: [[u8; 2]; SIZE]) -> pub [[u8; 32]; SIZE] {
@@ -8,4 +7,4 @@ fn main(input: [[u8; 2]; SIZE]) -> pub [[u8; 32]; SIZE] {
     }
 
     results
-}
\ No newline at end of file
+}
diff --git a/test_programs/compile_failure/assert_constant_dynamic_array/Nargo.toml b/test_programs/compile_failure/assert_constant_dynamic_array/Nargo.toml
new file mode 100644
index 00000000000..6171770b62b
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_array/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_dynamic_array"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_dynamic_array/src/main.nr b/test_programs/compile_failure/assert_constant_dynamic_array/src/main.nr
new file mode 100644
index 00000000000..43da3ef0eaa
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_array/src/main.nr
@@ -0,0 +1,5 @@
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    assert_constant([dynamic_one]);
+}
diff --git a/test_programs/compile_failure/assert_constant_dynamic_plus/Nargo.toml b/test_programs/compile_failure/assert_constant_dynamic_plus/Nargo.toml
new file mode 100644
index 00000000000..e5583e53126
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_plus/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_dynamic_plus"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_dynamic_plus/src/main.nr b/test_programs/compile_failure/assert_constant_dynamic_plus/src/main.nr
new file mode 100644
index 00000000000..f8a377092a2
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_plus/src/main.nr
@@ -0,0 +1,5 @@
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    assert_constant(dynamic_one + 1 == 3);
+}
diff --git a/test_programs/compile_failure/assert_constant_dynamic_slice/Nargo.toml b/test_programs/compile_failure/assert_constant_dynamic_slice/Nargo.toml
new file mode 100644
index 00000000000..d1d068a79b8
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_slice/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_dynamic_slice"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_dynamic_slice/src/main.nr b/test_programs/compile_failure/assert_constant_dynamic_slice/src/main.nr
new file mode 100644
index 00000000000..f07002d7d4c
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_slice/src/main.nr
@@ -0,0 +1,5 @@
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    assert_constant(&[dynamic_one]);
+}
diff --git a/test_programs/compile_failure/assert_constant_dynamic_struct_array/Nargo.toml b/test_programs/compile_failure/assert_constant_dynamic_struct_array/Nargo.toml
new file mode 100644
index 00000000000..18781f4d57d
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_struct_array/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_dynamic_struct_array"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_dynamic_struct_array/src/main.nr b/test_programs/compile_failure/assert_constant_dynamic_struct_array/src/main.nr
new file mode 100644
index 00000000000..b9f4dceafc0
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_struct_array/src/main.nr
@@ -0,0 +1,12 @@
+struct Foo {
+    field: Field,
+    array: [Field; 3],
+    slice: [Field],
+}
+
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    let foo_dynamic_array = Foo { field: 0, array: [dynamic_one, 2, 3], slice: &[] };
+    assert_constant(foo_dynamic_array);
+}
diff --git a/test_programs/compile_failure/assert_constant_dynamic_struct_field/Nargo.toml b/test_programs/compile_failure/assert_constant_dynamic_struct_field/Nargo.toml
new file mode 100644
index 00000000000..173ea44101a
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_struct_field/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_dynamic_struct_field"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_dynamic_struct_field/src/main.nr b/test_programs/compile_failure/assert_constant_dynamic_struct_field/src/main.nr
new file mode 100644
index 00000000000..e7986c93b6b
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_struct_field/src/main.nr
@@ -0,0 +1,12 @@
+struct Foo {
+    field: Field,
+    array: [Field; 3],
+    slice: [Field],
+}
+
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    let foo_dynamic = Foo { field: dynamic_one, array: [1, 2, 3], slice: &[] };
+    assert_constant(foo_dynamic);
+}
diff --git a/test_programs/compile_failure/assert_constant_dynamic_struct_slice/Nargo.toml b/test_programs/compile_failure/assert_constant_dynamic_struct_slice/Nargo.toml
new file mode 100644
index 00000000000..426f4826a0b
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_struct_slice/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_dynamic_struct_slice"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_dynamic_struct_slice/src/main.nr b/test_programs/compile_failure/assert_constant_dynamic_struct_slice/src/main.nr
new file mode 100644
index 00000000000..c775b563928
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_struct_slice/src/main.nr
@@ -0,0 +1,12 @@
+struct Foo {
+    field: Field,
+    array: [Field; 3],
+    slice: [Field],
+}
+
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    let foo_dynamic_slice = Foo { field: 0, array: [1, 2, 3], slice: &[dynamic_one] };
+    assert_constant(foo_dynamic_slice);
+}
diff --git a/test_programs/compile_failure/assert_constant_dynamic_tuple/Nargo.toml b/test_programs/compile_failure/assert_constant_dynamic_tuple/Nargo.toml
new file mode 100644
index 00000000000..de7b2031300
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_tuple/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_dynamic_tuple"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_dynamic_tuple/src/main.nr b/test_programs/compile_failure/assert_constant_dynamic_tuple/src/main.nr
new file mode 100644
index 00000000000..579a5a0991f
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_dynamic_tuple/src/main.nr
@@ -0,0 +1,5 @@
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    assert_constant((dynamic_one, 2));
+}
diff --git a/test_programs/compile_failure/assert_constant_false/Nargo.toml b/test_programs/compile_failure/assert_constant_false/Nargo.toml
new file mode 100644
index 00000000000..cb8d59f4293
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_false/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant_false"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/assert_constant_false/src/main.nr b/test_programs/compile_failure/assert_constant_false/src/main.nr
new file mode 100644
index 00000000000..f4e98cfec37
--- /dev/null
+++ b/test_programs/compile_failure/assert_constant_false/src/main.nr
@@ -0,0 +1,3 @@
+fn main() {
+    std::static_assert(false, "");
+}
diff --git a/test_programs/compile_failure/negate_unsigned/src/main.nr b/test_programs/compile_failure/negate_unsigned/src/main.nr
index af4802a4ce6..4d3c5abe5a4 100644
--- a/test_programs/compile_failure/negate_unsigned/src/main.nr
+++ b/test_programs/compile_failure/negate_unsigned/src/main.nr
@@ -1,4 +1,3 @@
-
 fn main() {
     let var = -1 as u8;
     std::println(var);
diff --git a/test_programs/compile_failure/non_comptime_local_fn_call/Nargo.toml b/test_programs/compile_failure/non_comptime_local_fn_call/Nargo.toml
index 4ea2b75aa85..8bdefbbbd21 100644
--- a/test_programs/compile_failure/non_comptime_local_fn_call/Nargo.toml
+++ b/test_programs/compile_failure/non_comptime_local_fn_call/Nargo.toml
@@ -4,4 +4,4 @@ type = "bin"
 authors = [""]
 compiler_version = ">=0.23.0"
 
-[dependencies]
\ No newline at end of file
+[dependencies]
diff --git a/test_programs/compile_failure/non_comptime_local_fn_call/src/main.nr b/test_programs/compile_failure/non_comptime_local_fn_call/src/main.nr
index 7cbf4213425..d75bb1a922a 100644
--- a/test_programs/compile_failure/non_comptime_local_fn_call/src/main.nr
+++ b/test_programs/compile_failure/non_comptime_local_fn_call/src/main.nr
@@ -6,4 +6,4 @@ fn main() {
 
 fn id(x: Field) -> Field {
     x
-}
\ No newline at end of file
+}
diff --git a/test_programs/compile_failure/orphaned_trait_impl/src/main.nr b/test_programs/compile_failure/orphaned_trait_impl/src/main.nr
index dfd88d8f074..dd04aa454b2 100644
--- a/test_programs/compile_failure/orphaned_trait_impl/src/main.nr
+++ b/test_programs/compile_failure/orphaned_trait_impl/src/main.nr
@@ -1,4 +1,4 @@
-impl dep::crate1::MyTrait for dep::crate2::MyStruct {
+impl crate1::MyTrait for crate2::MyStruct {
 }
 
 fn main(x: Field, y: pub Field) {
diff --git a/test_programs/compile_failure/restricted_bit_sizes/src/main.nr b/test_programs/compile_failure/restricted_bit_sizes/src/main.nr
index 4298c2052a7..a3fea13cc3a 100644
--- a/test_programs/compile_failure/restricted_bit_sizes/src/main.nr
+++ b/test_programs/compile_failure/restricted_bit_sizes/src/main.nr
@@ -1,3 +1,5 @@
+use std::assert_constant;
+
 fn main() -> pub u63 {
     5
 }
diff --git a/test_programs/compile_failure/static_assert_dynamic_array_len/Nargo.toml b/test_programs/compile_failure/static_assert_dynamic_array_len/Nargo.toml
new file mode 100644
index 00000000000..1c6c13ce225
--- /dev/null
+++ b/test_programs/compile_failure/static_assert_dynamic_array_len/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "static_assert_dynamic_array_len"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/static_assert_dynamic_array_len/src/main.nr b/test_programs/compile_failure/static_assert_dynamic_array_len/src/main.nr
new file mode 100644
index 00000000000..9e4665f8ad8
--- /dev/null
+++ b/test_programs/compile_failure/static_assert_dynamic_array_len/src/main.nr
@@ -0,0 +1,5 @@
+fn main(
+    dynamic_one: Field, // == 1
+) {
+    std::static_assert([1, 2, dynamic_one].len() == 4, "");
+}
diff --git a/test_programs/compile_failure/static_assert_dynamic_slice/Nargo.toml b/test_programs/compile_failure/static_assert_dynamic_slice/Nargo.toml
new file mode 100644
index 00000000000..45e39ae24a8
--- /dev/null
+++ b/test_programs/compile_failure/static_assert_dynamic_slice/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "static_assert_dynamic_slice"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/static_assert_dynamic_slice/src/main.nr b/test_programs/compile_failure/static_assert_dynamic_slice/src/main.nr
new file mode 100644
index 00000000000..6621b8a1fb3
--- /dev/null
+++ b/test_programs/compile_failure/static_assert_dynamic_slice/src/main.nr
@@ -0,0 +1,15 @@
+fn main(
+    dynamic_one: Field, // == 1
+    dynamic_two: Field, // == 2
+) {
+    // length unknown at compile time
+    let mut dynamic_built_slice_pair = &[];
+    if dynamic_one == 1 {
+        dynamic_built_slice_pair = dynamic_built_slice_pair.push_back(dynamic_one);
+    }
+    if dynamic_two == 2 {
+        dynamic_built_slice_pair = dynamic_built_slice_pair.push_back(dynamic_two);
+    }
+
+    std::static_assert(dynamic_built_slice_pair.len() == 3, "");
+}
diff --git a/test_programs/compile_failure/static_assert_plus/Nargo.toml b/test_programs/compile_failure/static_assert_plus/Nargo.toml
new file mode 100644
index 00000000000..fdb90c0dc1c
--- /dev/null
+++ b/test_programs/compile_failure/static_assert_plus/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "static_assert_plus"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_failure/static_assert_plus/src/main.nr b/test_programs/compile_failure/static_assert_plus/src/main.nr
new file mode 100644
index 00000000000..2241743ddb0
--- /dev/null
+++ b/test_programs/compile_failure/static_assert_plus/src/main.nr
@@ -0,0 +1,7 @@
+fn main() {
+    let x = 2;
+    let y = 3;
+    let xy = x + y;
+
+    std::static_assert(xy == 6, "2 + 3 != 6");
+}
diff --git a/test_programs/compile_failure/turbofish_generic_count/src/main.nr b/test_programs/compile_failure/turbofish_generic_count/src/main.nr
index a5f46adb6a5..4091b2f0581 100644
--- a/test_programs/compile_failure/turbofish_generic_count/src/main.nr
+++ b/test_programs/compile_failure/turbofish_generic_count/src/main.nr
@@ -1,4 +1,3 @@
-
 struct Bar<T> {
     one: Field,
     two: Field,
diff --git a/test_programs/compile_success_contract/abi_attribute/Nargo.toml b/test_programs/compile_success_contract/abi_attribute/Nargo.toml
index 9fcd61c235e..56fa88ccb68 100644
--- a/test_programs/compile_success_contract/abi_attribute/Nargo.toml
+++ b/test_programs/compile_success_contract/abi_attribute/Nargo.toml
@@ -3,4 +3,4 @@ name = "abi_attribute"
 type = "contract"
 authors = [""]
 
-[dependencies]
\ No newline at end of file
+[dependencies]
diff --git a/test_programs/compile_success_contract/abi_attribute/src/main.nr b/test_programs/compile_success_contract/abi_attribute/src/main.nr
index 0c376b54686..164512b03db 100644
--- a/test_programs/compile_success_contract/abi_attribute/src/main.nr
+++ b/test_programs/compile_success_contract/abi_attribute/src/main.nr
@@ -6,4 +6,4 @@ contract Foo {
     struct Bar {
         inner: Field
     }
-}
\ No newline at end of file
+}
diff --git a/test_programs/compile_success_empty/assert_constant/Nargo.toml b/test_programs/compile_success_empty/assert_constant/Nargo.toml
new file mode 100644
index 00000000000..f18d4828fdf
--- /dev/null
+++ b/test_programs/compile_success_empty/assert_constant/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "assert_constant"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_success_empty/assert_constant/src/main.nr b/test_programs/compile_success_empty/assert_constant/src/main.nr
new file mode 100644
index 00000000000..6910a2d17b2
--- /dev/null
+++ b/test_programs/compile_success_empty/assert_constant/src/main.nr
@@ -0,0 +1,59 @@
+use std::static_assert;
+
+global GLOBAL_ONE = 1;
+global GLOBAL_TWO = 2;
+global GLOBAL_THREE = GLOBAL_ONE + GLOBAL_TWO;
+
+// contents known at compile time
+// length known at compile time
+global GLOBAL_ARRAY_PAIR = [GLOBAL_ONE, GLOBAL_TWO];
+global GLOBAL_SLICE_PAIR = &[GLOBAL_ONE, GLOBAL_TWO];
+
+struct Foo {
+    field: Field,
+    array: [Field; 3],
+    slice: [Field],
+}
+
+fn main(
+    dynamic_one: Field, // == 1
+    dynamic_two: Field // == 2
+) {
+    // contents unknown at compile time
+    // length known at compile time
+    let dynamic_array_pair = [dynamic_one, dynamic_two];
+    let dynamic_slice_pair = &[dynamic_one, dynamic_two];
+
+    assert_constant(true);
+    assert_constant(false);
+
+    assert_constant(2 == 2);
+    assert_constant(1 + 1 == 2);
+
+    // assert_constant doesn't check for true
+    assert_constant(1 + 1 == 3);
+
+    let local_one = 1;
+    let local_two = 2;
+    let local_three = local_one + local_two;
+    let local_array_pair = [local_one, local_two];
+    let local_slice_pair = &[local_one, local_two];
+
+    assert_constant(local_one);
+    assert_constant(local_three);
+    assert_constant(local_array_pair);
+    assert_constant(local_slice_pair);
+
+    assert_constant(GLOBAL_ONE);
+    assert_constant(GLOBAL_THREE);
+    assert_constant(GLOBAL_ARRAY_PAIR);
+    assert_constant(GLOBAL_SLICE_PAIR);
+
+    assert_constant([1, 2, dynamic_one].len() == 4);
+
+    static_assert(dynamic_array_pair.len() == 2, "");
+    static_assert(dynamic_slice_pair.len() == 2, "");
+
+    let foo = Foo { field: 0, array: [1, 2, 3], slice: &[] };
+    assert_constant(foo);
+}
diff --git a/test_programs/compile_success_empty/impl_where_clause/Nargo.toml b/test_programs/compile_success_empty/impl_where_clause/Nargo.toml
index 58e774846cf..7d0d5f3513e 100644
--- a/test_programs/compile_success_empty/impl_where_clause/Nargo.toml
+++ b/test_programs/compile_success_empty/impl_where_clause/Nargo.toml
@@ -2,5 +2,6 @@
 name = "impl_where_clause"
 type = "bin"
 authors = [""]
+compiler_version = ">=0.31.0"
 
-[dependencies]
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_success_empty/macros/src/main.nr b/test_programs/compile_success_empty/macros/src/main.nr
index 1b00a084c61..587c2c4c077 100644
--- a/test_programs/compile_success_empty/macros/src/main.nr
+++ b/test_programs/compile_success_empty/macros/src/main.nr
@@ -2,7 +2,9 @@ comptime fn my_macro(x: Field, y: Field) -> Quoted {
     // Current version of macros in Noir are not hygienic
     // so we can quote a and b here and expect them to resolve
     // to the a and b in main at the callsite of my_macro.
-    quote { $x + $y + a + b }
+    quote {
+        $x + $y + a + b
+    }
 }
 
 fn main() {
diff --git a/test_programs/compile_success_empty/numeric_generics/src/main.nr b/test_programs/compile_success_empty/numeric_generics/src/main.nr
index 1e03a382fed..340c18c2a1d 100644
--- a/test_programs/compile_success_empty/numeric_generics/src/main.nr
+++ b/test_programs/compile_success_empty/numeric_generics/src/main.nr
@@ -36,4 +36,3 @@ fn foo(mut s: MyStruct<2+1>) -> MyStruct<10/2-2> {
     s.data[0] = s.data[0] + 1;
     s
 }
-
diff --git a/test_programs/compile_success_empty/reexports/src/main.nr b/test_programs/compile_success_empty/reexports/src/main.nr
index ed469ff77d0..0fd65a33564 100644
--- a/test_programs/compile_success_empty/reexports/src/main.nr
+++ b/test_programs/compile_success_empty/reexports/src/main.nr
@@ -1,4 +1,4 @@
-use dep::reexporting_lib::{FooStruct, MyStruct, lib};
+use reexporting_lib::{FooStruct, MyStruct, lib};
 
 fn main() {
     let x: FooStruct = MyStruct { inner: 0 };
diff --git a/test_programs/compile_success_empty/static_assert/Nargo.toml b/test_programs/compile_success_empty/static_assert/Nargo.toml
new file mode 100644
index 00000000000..5dabd7803e3
--- /dev/null
+++ b/test_programs/compile_success_empty/static_assert/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "static_assert"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_success_empty/static_assert/src/main.nr b/test_programs/compile_success_empty/static_assert/src/main.nr
new file mode 100644
index 00000000000..e61d9388ceb
--- /dev/null
+++ b/test_programs/compile_success_empty/static_assert/src/main.nr
@@ -0,0 +1,46 @@
+use std::static_assert;
+
+global GLOBAL_ONE = 1;
+global GLOBAL_TWO = 2;
+global GLOBAL_THREE = GLOBAL_ONE + GLOBAL_TWO;
+
+// contents known at compile time
+// length known at compile time
+global GLOBAL_ARRAY_PAIR = [GLOBAL_ONE, GLOBAL_TWO];
+global GLOBAL_SLICE_PAIR = &[GLOBAL_ONE, GLOBAL_TWO];
+
+struct Foo {
+    field: Field,
+    array: [Field; 3],
+    slice: [Field],
+}
+
+fn main(
+    dynamic_one: Field, // == 1
+    dynamic_two: Field // == 2
+) {
+    // contents unknown at compile time
+    // length known at compile time
+    let dynamic_array_pair = [dynamic_one, dynamic_two];
+    let dynamic_slice_pair = &[dynamic_one, dynamic_two];
+
+    static_assert(true, "");
+
+    static_assert(1 + 1 == 2, "");
+
+    let x = 2;
+    let y = 3;
+    let xy = x + y;
+    static_assert(xy == 5, "");
+
+    static_assert(3 == GLOBAL_THREE, "");
+
+    static_assert(GLOBAL_ARRAY_PAIR.len() == 2, "");
+    static_assert(GLOBAL_SLICE_PAIR.len() == 2, "");
+
+    static_assert(dynamic_array_pair.len() == 2, "");
+    static_assert(dynamic_slice_pair.len() == 2, "");
+
+    assert_constant([1, 2, dynamic_one].len() == 4);
+    static_assert([1, 2, dynamic_one].len() == 3, "");
+}
diff --git a/test_programs/compile_success_empty/workspace_reexport_bug/binary/src/main.nr b/test_programs/compile_success_empty/workspace_reexport_bug/binary/src/main.nr
index ab0ae9a48b8..a4207794a8a 100644
--- a/test_programs/compile_success_empty/workspace_reexport_bug/binary/src/main.nr
+++ b/test_programs/compile_success_empty/workspace_reexport_bug/binary/src/main.nr
@@ -1,2 +1,2 @@
-use dep::library::ReExportMeFromAnotherLib;
+use library::ReExportMeFromAnotherLib;
 fn main(_x: ReExportMeFromAnotherLib) {}
diff --git a/test_programs/compile_success_empty/workspace_reexport_bug/library/src/lib.nr b/test_programs/compile_success_empty/workspace_reexport_bug/library/src/lib.nr
index 8e84662ed03..e3a1539ea65 100644
--- a/test_programs/compile_success_empty/workspace_reexport_bug/library/src/lib.nr
+++ b/test_programs/compile_success_empty/workspace_reexport_bug/library/src/lib.nr
@@ -1,2 +1,2 @@
 // Re-export 
-use dep::library2::ReExportMeFromAnotherLib;
+use library2::ReExportMeFromAnotherLib;
diff --git a/test_programs/execution_failure/div_by_zero_numerator_witness/src/main.nr b/test_programs/execution_failure/div_by_zero_numerator_witness/src/main.nr
index 7c6cae4932e..012e823b297 100644
--- a/test_programs/execution_failure/div_by_zero_numerator_witness/src/main.nr
+++ b/test_programs/execution_failure/div_by_zero_numerator_witness/src/main.nr
@@ -1,4 +1,3 @@
-
 fn main(x: Field) {
     let a: Field = x / 0;
     std::println(a);
diff --git a/test_programs/execution_success/as_witness/Nargo.toml b/test_programs/execution_success/as_witness/Nargo.toml
new file mode 100644
index 00000000000..18f3f99b5b5
--- /dev/null
+++ b/test_programs/execution_success/as_witness/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "as_witness"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/execution_success/as_witness/Prover.toml b/test_programs/execution_success/as_witness/Prover.toml
new file mode 100644
index 00000000000..cd8a5b5e03c
--- /dev/null
+++ b/test_programs/execution_success/as_witness/Prover.toml
@@ -0,0 +1 @@
+a = 42
\ No newline at end of file
diff --git a/test_programs/execution_success/as_witness/src/main.nr b/test_programs/execution_success/as_witness/src/main.nr
new file mode 100644
index 00000000000..a24f4af7669
--- /dev/null
+++ b/test_programs/execution_success/as_witness/src/main.nr
@@ -0,0 +1,5 @@
+// Simple example of checking where two arrays are different
+fn main(a: Field) -> pub Field {
+    std::as_witness(a);
+    a
+}
diff --git a/test_programs/execution_success/diamond_deps_0/src/main.nr b/test_programs/execution_success/diamond_deps_0/src/main.nr
index ca95c6e0aa8..690d6fc9fc8 100644
--- a/test_programs/execution_success/diamond_deps_0/src/main.nr
+++ b/test_programs/execution_success/diamond_deps_0/src/main.nr
@@ -1,6 +1,6 @@
-use dep::dep1::call_dep1_then_dep2;
-use dep::dep2::call_dep2;
-use dep::dep2::RESOLVE_THIS;
+use dep1::call_dep1_then_dep2;
+use dep2::call_dep2;
+use dep2::RESOLVE_THIS;
 
 fn main(x: Field, y: pub Field) -> pub Field {
     call_dep1_then_dep2(x, y) + call_dep2(x, y) + RESOLVE_THIS
diff --git a/test_programs/execution_success/hashmap/src/main.nr b/test_programs/execution_success/hashmap/src/main.nr
index 56b13d6779b..8cf70cc5970 100644
--- a/test_programs/execution_success/hashmap/src/main.nr
+++ b/test_programs/execution_success/hashmap/src/main.nr
@@ -3,6 +3,7 @@ mod utils;
 use std::collections::map::HashMap;
 use std::hash::BuildHasherDefault;
 use std::hash::poseidon2::Poseidon2Hasher;
+use std::cmp::Eq;
 
 use utils::cut;
 
diff --git a/test_programs/execution_success/traits_in_crates_1/crate1/src/lib.nr b/test_programs/execution_success/traits_in_crates_1/crate1/src/lib.nr
index 62dd5a2c111..e36a263093a 100644
--- a/test_programs/execution_success/traits_in_crates_1/crate1/src/lib.nr
+++ b/test_programs/execution_success/traits_in_crates_1/crate1/src/lib.nr
@@ -2,7 +2,7 @@ trait MyTrait {
     fn Add10(&mut self);
 }
 
-impl MyTrait for dep::crate2::MyStruct {
+impl MyTrait for crate2::MyStruct {
     fn Add10(&mut self) {
         self.Q += 10;
     }
diff --git a/test_programs/execution_success/traits_in_crates_1/src/main.nr b/test_programs/execution_success/traits_in_crates_1/src/main.nr
index 7ba2f63c5c0..2afec29ee1f 100644
--- a/test_programs/execution_success/traits_in_crates_1/src/main.nr
+++ b/test_programs/execution_success/traits_in_crates_1/src/main.nr
@@ -1,5 +1,5 @@
 fn main(x: Field, y: pub Field) {
-    let mut V = dep::crate2::MyStruct { Q: x };
+    let mut V = crate2::MyStruct { Q: x };
     V.Add10();
     assert(V.Q == y);
 }
diff --git a/test_programs/execution_success/traits_in_crates_2/crate2/src/lib.nr b/test_programs/execution_success/traits_in_crates_2/crate2/src/lib.nr
index 38870489131..fe6a94a4a95 100644
--- a/test_programs/execution_success/traits_in_crates_2/crate2/src/lib.nr
+++ b/test_programs/execution_success/traits_in_crates_2/crate2/src/lib.nr
@@ -2,7 +2,7 @@ struct MyStruct {
     Q: Field,
 }
 
-impl dep::crate1::MyTrait for MyStruct {
+impl crate1::MyTrait for MyStruct {
     fn Add10(&mut self) {
         self.Q += 10;
     }
diff --git a/test_programs/execution_success/traits_in_crates_2/src/main.nr b/test_programs/execution_success/traits_in_crates_2/src/main.nr
index 7ba2f63c5c0..2afec29ee1f 100644
--- a/test_programs/execution_success/traits_in_crates_2/src/main.nr
+++ b/test_programs/execution_success/traits_in_crates_2/src/main.nr
@@ -1,5 +1,5 @@
 fn main(x: Field, y: pub Field) {
-    let mut V = dep::crate2::MyStruct { Q: x };
+    let mut V = crate2::MyStruct { Q: x };
     V.Add10();
     assert(V.Q == y);
 }
diff --git a/test_programs/execution_success/verify_honk_proof/Nargo.toml b/test_programs/execution_success/verify_honk_proof/Nargo.toml
new file mode 100644
index 00000000000..8fce1bf44b6
--- /dev/null
+++ b/test_programs/execution_success/verify_honk_proof/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "verify_honk_proof"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/execution_success/verify_honk_proof/Prover.toml b/test_programs/execution_success/verify_honk_proof/Prover.toml
new file mode 100644
index 00000000000..c1ec4049fa9
--- /dev/null
+++ b/test_programs/execution_success/verify_honk_proof/Prover.toml
@@ -0,0 +1,4 @@
+key_hash = "0x096129b1c6e108252fc5c829c4cc9b7e8f0d1fd9f29c2532b563d6396645e08f"
+proof = ["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf","0x00000000000000000000000000000000000000000000000b75c020998797da78","0x0000000000000000000000000000000000000000000000005a107acb64952eca","0x000000000000000000000000000000000000000000000000000031e97a575e9d","0x00000000000000000000000000000000000000000000000b5666547acf8bd5a4","0x00000000000000000000000000000000000000000000000c410db10a01750aeb","0x00000000000000000000000000000000000000000000000d722669117f9758a4","0x000000000000000000000000000000000000000000000000000178cbf4206471","0x000000000000000000000000000000000000000000000000e91b8a11e7842c38","0x000000000000000000000000000000000000000000000007fd51009034b3357f","0x000000000000000000000000000000000000000000000009889939f81e9c7402","0x0000000000000000000000000000000000000000000000000000f94656a2ca48","0x000000000000000000000000000000000000000000000006fb128b46c1ddb67f","0x0000000000000000000000000000000000000000000000093fe27776f50224bd","0x000000000000000000000000000000000000000000000004a0c80c0da527a081","0x0000000000000000000000000000000000000000000000000001b52c2020d746","0x0000000000000000000000000000005a9bae947e1e91af9e4033d8d6aa6ed632","0x000000000000000000000000000000000025e485e013446d4ac7981c88ba6ecc","0x000000000000000000000000000000ff1e0496e30ab24a63b32b2d1120b76e62","0x00000000000000000000000000000000001afe0a8a685d7cd85d1010e55d9d7c","0x000000000000000000000000000000b0804efd6573805f991458295f510a2004","0x00000000000000000000000000000000000c81a178016e2fe18605022d5a8b0e","0x000000000000000000000000000000eba51e76eb1cfff60a53a0092a3c3dea47","0x000000000000000000000000000000000022e7466247b533282f5936ac4e6c15","0x00000000000000000000000000000071b1d76edf770edff98f00ff4deec264cd","0x00000000000000000000000000000000001e48128e68794d8861fcbb2986a383","0x000000000000000000000000000000d3a2af4915ae6d86b097adc377fafda2d4","0x000000000000000000000000000000000006359de9ca452dab3a4f1f8d9c9d98","0x0000000000000000000000000000000d9d719a8b9f020ad3642d60fe704e696f","0x00000000000000000000000000000000000ddfdbbdefc4ac1580ed38e12cfa49","0x0000000000000000000000000000008289fe9754ce48cd01b7be96a861b5e157","0x00000000000000000000000000000000000ff3e0896bdea021253b3d360fa678","0x0000000000000000000000000000000d9d719a8b9f020ad3642d60fe704e696f","0x00000000000000000000000000000000000ddfdbbdefc4ac1580ed38e12cfa49","0x0000000000000000000000000000008289fe9754ce48cd01b7be96a861b5e157","0x00000000000000000000000000000000000ff3e0896bdea021253b3d360fa678","0x000000000000000000000000000000f968b227a358a305607f3efc933823d288","0x00000000000000000000000000000000000eaf8adb390375a76d95e918b65e08","0x000000000000000000000000000000bb34b4b447aae56f5e24f81c3acd6d547f","0x00000000000000000000000000000000002175d012746260ebcfe339a91a81e1","0x0000000000000000000000000000005b739ed2075f2b046062b8fc6a2d1e9863","0x00000000000000000000000000000000001285cd1030d338c0e1603b4da2c838","0x00000000000000000000000000000027447d6c281eb38b2b937af4a516d60c04","0x000000000000000000000000000000000019bc3d980465fbb4a656a74296fc58","0x000000000000000000000000000000b484788ace8f7df86dd5e325d2e9b12599","0x00000000000000000000000000000000000a2ca0d10eb7b767114ae230b728d3","0x000000000000000000000000000000c6dfc7092f16f95795e437664498b88d53","0x0000000000000000000000000000000000131067b4e4d95a4f6f8cf5c9b5450a","0x0f413f22eec51f2a02800e0cafaeec1d92d744fbbaef213c687b9edabd6985f5","0x21230f4ff26c80ffb5d037a9d1d26c3f955ca34cbeca4f54db6656b932967a0c","0x0521f877fe35535767f99597cc50effbd283dcae6812ee0a7620d796ccbfd642","0x202b01350a9cc5c20ec0f3eaada338c0a3b793811bd539418ffa3cc4302615e2","0x2d1214d9b0d41058ad4a172d9c0aecc5bdabe95e687c3465050c6b5396509be4","0x1113b344a151b0af091cb28d728b752ebb4865da6cd7ee68471b961ca5cf69b9","0x2aa66d0954bb83e17bd5c9928d3aa7a7df75d741d409f7c15ba596804ba643fb","0x2e26bc7a530771ef7a95d5360d537e41cf94d8a0942764ff09881c107f91a106","0x0f14f32b921bb63ad1df00adab7c82af58ea8aa7f353f14b281208d8c5fab504","0x13429515c0c53b6502bbcdf545defb3cb69a986c9263e070fcbb397391aae1a3","0x1f21cac5e2f262afc1006a21454cc6bcb018c44e53ad8ab61cebbac99e539176","0x2a9886a6ddc8a61b097c668cd362fc8acdee8dde74f7b1af192c3e060bb2948f","0x2d718181e408ead2e9bcd30a84ad1fccbaf8d48ab6d1820bad4933d284b503c4","0x2634c1aafc902f14508f34d3d7e9d485f42d1a4c95b5a1ef73711ed0d3c68d77","0x092ede9777e6472ce5ffd8c963d466006189e960e2c591d338dc8d4af1a057fb","0x1cba45b17fd24f1cb1b4ab7b83eee741f6c77ba70a497dc4de259eceb7d5ea26","0x246e887c7bf2e17f919b2393b6e9b00b33e8822d862544a775aac05cb7bff710","0x04c3f539fe8689971948afcb437f1ecbd444a5bddaca1c8a450348dcd8480047","0x20c6a423ae4fd58e8951aa378d02d77baf90508ceb48856db2319d70938b186e","0x1bcf8786b554b3316d8ebdbc9d006a4e5d4865aad512ffd404b7f83550d3d030","0x09ab038260518f0970564afcd6bf22e2abf6b1fa5e12a327bbf195b6ca5edd78","0x1024e32554746f89c195286ba6ccfc9765e5d14bbe8064bc6fdf22d16ec6b495","0x17706656f8dbd7e47bb257a6428f0cb7278ea02fa9e6ce431d7bcc9133fba9c7","0x25a3e8a33c15ef2a4dd16313a6049bf1d468b4cdc141f238f2d51a1e8e1c22b3","0x1198863f08006edb27aee23164fb117a4ddec1bf1ed89807aa907e5cd24bf068","0x1862b4856b5b4d4a064f873e221703e4e2cd1ebfca1337dedca56485c38ed5a0","0x062214af1ea6dd6bf8895b92d394571c43970b6f967e1c794624d96071b25ad3","0x1e5be9428ddcf1f9b0cbafc28101e792ec5cf73852b0cd0b84fbff71b4490e09","0x2d4189bea5b1e30f63c64bd26df82f18bcaf885ec8887b54634b2557869ce87f","0x0f2e5d9a908850e9d44925e17d8b12d1adb1ed029799c9b5858598504242bbc0","0x3050dc85746a57931d99f3f35e77c2ba561fba0baa018b79ff1fd544026833ae","0x2a591a32437e5e0b875a137fd868bd1b6dbc003ff1b661f26e00627cc7c5cf47","0x27946841e1670ad9c65717016d0cedf524724217236e81b9fd0a264a36ebfb0e","0x0fc396e9d19d6e68e289602e292ee345542d0d28bf6de34fa62cc577cbdfb1df","0x08e7433a07a44c0c9c4dd4b273a2685bbd1a91fd5cf2b43409458fab42a23e1b","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x12bd9bfb029c3503a5c6deea87b0a0f11bb9f7ea584af2d48f3e48d7e09247ae","0x2ccc4810748c0a82dfc0f063d0b8c7999ffe9474653080e6ef92b3cb7a428784","0x08eb574d7fecadadb508c8bd35fdad06b99110609d679763c2e3645229b1b95a","0x0f1a65e747c8021ed7c454a4be1e89b1bce66ead9ed980fa98a7a050eafe98a1","0x1c8ff9e36684ec71614dee4c17859b06c742089f6029d3694a16e00dac9b57f1","0x0303101a8ba712aeca4da85b767ab8d3ecf489ec7d746f8ee20041717cc000e9","0x0aaf64c65e7088e5596108c9601467911fea809ca6540d79af77e6e66e36cd99","0x17caf164ce74ea7edfb1390e07763d2197797ec26661b92cde18a98d61d2fddc","0x18cb055c7ad6d01437725bb457681d81f3ecadc4f35d838a3c13daf25a44456a","0x2d78602b8bbcd32b36a99a6e2d248e7fe044ef1b50813133370412f9ef5299f0","0x2b139276ea86d426a115479e4154f72a6bd83a6253bf13e9670dc6b4664378f0","0x127c7837b384902c39a104036c09546728571c46c8166b1b9b13b3a615ebb781","0x05faa4816f83cf0189a482ad943c94b9ec6474002f2b327f8698763ad0ea0985","0x2f90359cc30ee693fb3aced96523cf7aebd152c22329eee56a398d9a4ac0628e","0x0a71beaf17a59c5a238f04c1f203848d87502c5057a78c13f0cfb0f9876e7714","0x2696c1e6d089556adaeb95c8a5e3065b00a393a38c2d69e9bd6ce8cdc49d87da","0x1f3d165a7dc6564a036e451eb9cb7f1e1cb1e6d29daa75e3f135ea3e58a79ccd","0x1473a660819bdd838d56122b72b32b267211e9f1103239480ec50fa85c9e1035","0x0a8ccaeb22451f391b3fc3467c8e6e900270a7afb7b510e8acf5a4f06f1c0888","0x03b3080afc0658cc87e307758cebc171921f43eca159b9dedf7f72aa8dd926bd","0x2dd7d6663fa0e1755dfafac352c361fcd64c7f4d53627e3646870ac169cc4a07","0x1ec54b883f5f35ccad0e75695af20790d9860104095bab34c9bf01628dd40cb9","0x193dff50f83c241f7a9e087a29ce72ecf3f6d8563593f786dcd04c32bcfd4ced","0x135122c0dae26cda8ca1c09de8225064ad86d10423ab0aaa53b481aa4626e1d6","0x08d5a56cbfab5aeed56d3cdd7fb6b30fc26b0c1a5b63fccd7fa44c53ba6fd35a","0x0d12f126dfa2daad3726d00ca339284cc22e36c6d81bb7a4b95c6f9598b60e7c","0x2e8b24bbdf2fd839d3c7cae1f0eeb96bfcfaeef30b27476f2fafcb17da78cd5e","0x2364acfe0cea39b7f749c5f303b99504977357925f810f684c60f35d16315211","0x06ca062eb70b8c51cfac35345e7b6b51f33a8ec9ebe204fb9b4911200bf508b7","0x266c0aa1ccb97186815bf69084f600d06ddd934e59a38dfe602ee5d6b9487f22","0x1d817537a49c6d0e3b4b65c6665334b91d7593142e60065048be9e55ceb5e7ab","0x05e9b7256a368df053c691952b59e9327a7c12ed322bbd6f72c669b9b9c26d49","0x05e9b7256a368df053c691952b59e9327a7c12ed322bbd6f72c669b9b9c26d49","0x25b77026673a1e613e50df0e88fb510973739d5f9064bd364079a9f884209632","0x25c9bc7a3f6aae3d43ff68b5614b34b5eaceff37157b37347995d231784ac1fd","0x085f69baef22680ae15f4801ef4361ebe9c7fc24a94b5bc2527dce8fb705439e","0x0d7c6b9ce31bfc32238a205455baf5ffe99cd30eb0f7bb5b504e1d4501e01382","0x1001a8cc4bc1221c814fba0eddcf3c40619b133373640c600de5bed0a0a05b10","0x20f5894be90e52977cb70f4f4cbd5101693db0360848939750db7e91109d54b6","0x22c09cb26db43f0599408b4daed0f4f496c66424e6affa41c14387d8e0af851b","0x24e5f41357798432426a9549d71e8cc681eaebacbe87f6e3bf38e85de5aa2f3d","0x06eb90100c736fbf2b87432d7821ecdc0b365024739bc36363d48b905973f5b9","0x000000000000000000000000000000ece6d09ed58e9f5661c01140b10558a8c2","0x000000000000000000000000000000000012b6e4f37adcb34b8e88ff8b6eebce","0x000000000000000000000000000000b226a2bb93593fa1fab19a44767828a3f5","0x00000000000000000000000000000000002b5b518342030543092e1428a7e33c","0x00000000000000000000000000000022ba33857034a0574c216eb3c1ddff3025","0x00000000000000000000000000000000001918e58df857985a7cf9eae7802165","0x00000000000000000000000000000045c2d840b96fb6106cc14dcad89dd5f675","0x00000000000000000000000000000000000afdfac1e3a1febdd0208867d44f98","0x00000000000000000000000000000042ebed6c5ec45d794f119aef24c192af0f","0x00000000000000000000000000000000002d05ef250900bbcc5751bbeb210d6a","0x00000000000000000000000000000060d604bdda48eecc90ed065bd9770e1323","0x00000000000000000000000000000000001fed91c63d0041660c1cbc84c2ffbb","0x00000000000000000000000000000054196b549cde36092e8184c7f4f7d878de","0x00000000000000000000000000000000000153f26a01294329922b492485cc31","0x00000000000000000000000000000056ebea579d10dbb440f0222931df2c0059","0x00000000000000000000000000000000000d2cbc61ce5b7cdd7fce398da4637b","0x000000000000000000000000000000e2b9512360b9797d96675d8a2fd2f7aa5d","0x000000000000000000000000000000000025742905f105ff895f74e7c3daa34a","0x000000000000000000000000000000a2dd7df55db59bd41b83518d4403fbc382","0x00000000000000000000000000000000002c1d9c3cbb9371d4cc4e9f900b9a46","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000bcf12ae40c9425c3e67654b84181f90502","0x00000000000000000000000000000000000b6d3faa8a71ff6ef1aa887b7307cf","0x0000000000000000000000000000001f6f719acc23b8f84808c0275d61cfb456","0x0000000000000000000000000000000000296030933ed0c134457ae71c393dfe","0x000000000000000000000000000000ebe1a57cdd7d3d763289b40ef5ed9a7ae0","0x000000000000000000000000000000000010f30483e7df51fca2316d3367603c","0x0000000000000000000000000000000149b7b283ab18060618c8e051864c03cd","0x00000000000000000000000000000000001ef7763235a3a25e241a5f06704dc3"]
+public_inputs = ["0x0000000000000000000000000000000000000000000000000000000000000003"]
+verification_key = ["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000000001","0x00000000000000000000000000000060e430ad1c23bfcf3514323aae3f206e84","0x00000000000000000000000000000000001b5c3ff4c2458d8f481b1c068f27ae","0x000000000000000000000000000000bb510ab2112def34980e4fc6998ad9dd16","0x00000000000000000000000000000000000576e7c105b43e061e13cb877fefe1","0x000000000000000000000000000000ced074785d11857b065d8199e6669a601c","0x00000000000000000000000000000000000053b48a4098c1c0ae268f273952f7","0x000000000000000000000000000000d1d4b26e941db8168cee8f6de548ae0fd8","0x00000000000000000000000000000000001a9adf5a6dadc3d948bb61dfd63f4c","0x0000000000000000000000000000009ce1faac6f8de6ebb18f1db17372c82ad5","0x00000000000000000000000000000000002002681bb417184b2df070a16a3858","0x000000000000000000000000000000161baa651a8092e0e84725594de5aba511","0x00000000000000000000000000000000000be0064399c2a1efff9eb0cdcb2223","0x0000000000000000000000000000008673be6fd1bdbe980a29d8c1ded54381e7","0x000000000000000000000000000000000008a5158a7d9648cf1d234524c9fa0c","0x0000000000000000000000000000002b4fce6e4b1c72062b296d49bca2aa4130","0x00000000000000000000000000000000002e45a9eff4b6769e55fb710cded44f","0x00000000000000000000000000000072b85bf733758b76bcf97333efb85a23e3","0x000000000000000000000000000000000017da0ea508994fc82862715e4b5592","0x00000000000000000000000000000094fa74695cf058dba8ff35aec95456c6c3","0x0000000000000000000000000000000000211acddb851061c24b8f159e832bd1","0x000000000000000000000000000000303b5e5c531384b9a792e11702ad3bcab0","0x00000000000000000000000000000000000d336dff51a60b8833d5d7f6d4314c","0x0000000000000000000000000000009f825dde88092070747180d581c342444a","0x0000000000000000000000000000000000237fbd6511a03cca8cac01b555fe01","0x0000000000000000000000000000007c313205159495df6d8de292079a4844ff","0x000000000000000000000000000000000018facdfc468530dd45e8f7a1d38ce9","0x0000000000000000000000000000000d1ce33446fc3dc4ab40ca38d92dac74e1","0x00000000000000000000000000000000000852d8e3e0e8f4435af3e94222688b","0x0000000000000000000000000000006c04ee19ec1dfec87ed47d6d04aa158de2","0x000000000000000000000000000000000013240f97a584b45184c8ec31319b5f","0x000000000000000000000000000000cefb5d240b07ceb4be26ea429b6dc9d9e0","0x00000000000000000000000000000000002dad22022121d689f57fb38ca21349","0x000000000000000000000000000000c9f189f2a91aeb664ce376d8b157ba98f8","0x00000000000000000000000000000000002531a51ad54f124d58094b219818d2","0x000000000000000000000000000000ef1e6db71809307f677677e62b4163f556","0x0000000000000000000000000000000000272da4396fb2a7ee0638b9140e523d","0x0000000000000000000000000000002e54c0244a7732c87bc4712a76dd8c83fb","0x000000000000000000000000000000000007db77b3e04b7eba9643da57cbbe4d","0x000000000000000000000000000000e0dfe1ddd7f74ae0d636c910c3e85830d8","0x00000000000000000000000000000000000466fa9b57ec4664abd1505b490862","0x0000000000000000000000000000009ee55ae8a32fe5384c79907067cc27192e","0x00000000000000000000000000000000000799d0e465cec07ecb5238c854e830","0x0000000000000000000000000000001d5910ad361e76e1c241247a823733c39f","0x00000000000000000000000000000000002b03f2ccf7507564da2e6678bef8fe","0x000000000000000000000000000000231147211b3c75e1f47d150e4bbd2fb22e","0x00000000000000000000000000000000000d19ee104a10d3c701cfd87473cbbe","0x0000000000000000000000000000006705f3f382637d00f698e2c5c94ed05ae9","0x00000000000000000000000000000000000b9c792da28bb60601dd7ce4b74e68","0x000000000000000000000000000000ac5acc8cc21e4ddb225c510670f80c80b3","0x00000000000000000000000000000000002da9d3fa57343e6998aba19429b9fa","0x0000000000000000000000000000004bacbf54b7c17a560df0af18b6d0d527be","0x00000000000000000000000000000000000faea33aeca2025b22c288964b21eb","0x000000000000000000000000000000492e756298d68d6e95de096055cc0336c3","0x00000000000000000000000000000000001a12a12f004859e5a3675c7315121b","0x000000000000000000000000000000893d521d512f30e6d32afbbc0cecd8ee00","0x00000000000000000000000000000000001674b3c1ef12c6da690631e0d86c04","0x000000000000000000000000000000aa6cb02a52e7a613873d4ac9b411349945","0x00000000000000000000000000000000001ecb1fe9c493add46751f9940f73e1","0x00000000000000000000000000000045b3d362ca82cba69fb2b9c733a5b8c351","0x000000000000000000000000000000000019a683586af466e331945b732d2f8c","0x000000000000000000000000000000fc79b052dfdfe67c0ecfc06b4267ffd694","0x00000000000000000000000000000000001336a70c396393038d5e9913744ac2","0x0000000000000000000000000000005450d29af1e9438e91cd33ddeb2548226e","0x000000000000000000000000000000000000993a602891cfd0e6f6ecf7404933","0x000000000000000000000000000000498efddab90a32e9b2db729ed6e9b40192","0x00000000000000000000000000000000002425efebe9628c63ca6fc28bdb5901","0x000000000000000000000000000000d8488157f875a21ab5f93f1c2b641f3de9","0x0000000000000000000000000000000000290f95ada3936604dc4b14df7504e3","0x0000000000000000000000000000005d6902187f3ed60dcce06fca211b40329a","0x00000000000000000000000000000000002b5870a6ba0b20aaa0178e5adfbc36","0x000000000000000000000000000000e5c2519171fa0e548fc3c4966ffc1ce570","0x00000000000000000000000000000000001cb8d8f4793b7debbdc429389dbf2d","0x000000000000000000000000000000a3ee22dd60456277b86c32a18982dcb185","0x00000000000000000000000000000000002493c99a3d068b03f8f2b8d28b57ce","0x000000000000000000000000000000f6c3731486320082c20ec71bbdc92196c1","0x00000000000000000000000000000000001ded39c4c8366469843cd63f09ecac","0x000000000000000000000000000000494997477ab161763e46601d95844837ef","0x00000000000000000000000000000000002e0cddbc5712d79b59cb3b41ebbcdd","0x000000000000000000000000000000426db4c64531d350750df62dbbc41a1bd9","0x0000000000000000000000000000000000303126892f664d8d505964d14315ec","0x00000000000000000000000000000076a6b2c6040c0c62bd59acfe3e3e125672","0x000000000000000000000000000000000000874a5ad262eecc6b565e0b085074","0x000000000000000000000000000000ef082fb517183c9c6841c2b8ef2ca1df04","0x0000000000000000000000000000000000127b2a745a1b74968c3edc18982b9b","0x000000000000000000000000000000c9efd4f8c3d56e1eb23d789a8f710d5be6","0x000000000000000000000000000000000015a18748490ff4c2b1871081954e86","0x000000000000000000000000000000a0011ef987dc016ab110eacd554a1d8bbf","0x00000000000000000000000000000000002097c84955059442a95df075833071","0x000000000000000000000000000000d38e9426ad3085b68b00a93c17897c2877","0x00000000000000000000000000000000002aecd48089890ea0798eb952c66824","0x00000000000000000000000000000078d8a9ce405ce559f441f2e71477ff3ddb","0x00000000000000000000000000000000001216bdb2f0d961bb8a7a23331d2150","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000ee40d90bea71fba7a412dd61fcf34e8ceb","0x0000000000000000000000000000000000140b0936c323fd2471155617b6af56","0x0000000000000000000000000000002b90071823185c5ff8e440fd3d73b6fefc","0x00000000000000000000000000000000002b6c10790a5f6631c87d652e059df4"]
\ No newline at end of file
diff --git a/test_programs/execution_success/verify_honk_proof/src/main.nr b/test_programs/execution_success/verify_honk_proof/src/main.nr
new file mode 100644
index 00000000000..ecfd18f3837
--- /dev/null
+++ b/test_programs/execution_success/verify_honk_proof/src/main.nr
@@ -0,0 +1,21 @@
+
+// This circuit aggregates a single Honk proof from `assert_statement_recursive`.
+global SIZE_OF_PROOF_IF_LOGN_IS_28 : u32 = 409;
+fn main(
+    verification_key: [Field; 103],
+    // This is the proof without public inputs attached.
+    // 
+    // This means: the size of this does not change with the number of public inputs.
+    proof: [Field; SIZE_OF_PROOF_IF_LOGN_IS_28],
+    public_inputs: pub [Field; 1],
+    // This is currently not public. It is fine given that the vk is a part of the circuit definition.
+    // I believe we want to eventually make it public too though.
+    key_hash: Field
+) {
+    std::verify_proof(
+        verification_key.as_slice(),
+        proof.as_slice(),
+        public_inputs.as_slice(),
+        key_hash
+    );
+}
diff --git a/test_programs/noir_test_failure/should_fail_mismatch/src/main.nr b/test_programs/noir_test_failure/should_fail_mismatch/src/main.nr
index 62e03c153ed..59b99c85c0b 100644
--- a/test_programs/noir_test_failure/should_fail_mismatch/src/main.nr
+++ b/test_programs/noir_test_failure/should_fail_mismatch/src/main.nr
@@ -7,4 +7,4 @@ fn test_different_string() {
 #[test(should_fail_with = "Definitely Not equal!")]
 fn test_wrong_expectation() {
     assert_eq(0, 1, "Not equal");
-}
\ No newline at end of file
+}
diff --git a/test_programs/rebuild.sh b/test_programs/rebuild.sh
index 094c3902583..a8175d05066 100755
--- a/test_programs/rebuild.sh
+++ b/test_programs/rebuild.sh
@@ -1,6 +1,8 @@
 #!/usr/bin/env bash
 set -e
 
+NO_PARALLEL=${1:-}
+
 process_dir() {
     local dir=$1
     local current_dir=$2
@@ -60,7 +62,46 @@ for dir in $current_dir/benchmarks/*; do
     dirs_to_process+=("$dir")
 done
 
+pids=() # Array to hold PIDs of background processes
+dirs_map=() # Array to map PIDs to directories
+
+if [ -z $NO_PARALLEL ]; then
+    # Process directories in parallel
+    for dir in "${dirs_to_process[@]}"; do
+        process_dir "$dir" "$current_dir" &  # Run process_dir in the background
+        pid=$!  # Get PID of the last background command
+        pids+=($pid)  # Add PID to the pids array
+        dirs_map[$pid]=$dir  # Map PID to the directory being processed
+    done
+else
+    # Process directories sequentially
+    for dir in "${dirs_to_process[@]}"; do
+        process_dir "$dir" "$current_dir"  # Run process_dir in the foreground
+        pid=$!  # Get PID of the last command
+        pids+=($pid)  # Add PID to the pids array
+        dirs_map[$pid]=$dir  # Map PID to the directory being processed
+    done
+fi
+
+# Store the failed processes
+failed_pids=()
+# Check the exit status of each background job.
+for pid in "${pids[@]}"; do
+    if ! wait $pid; then  # Wait for the process to complete, check if it failed
+        exit_status=$?  # Capture the failed exit status
+        failed_pids+=($pid)
+    fi
+done
 
-parallel -j0  process_dir {} "$current_dir" ::: ${dirs_to_process[@]}
-
-echo "Rebuild Succeeded!"
+echo ""
+
+# Exit with a failure status if any job failed.
+if [ ! -z "$exit_status" ]; then
+    echo "Rebuild failed for directories:"
+    # Print the failed directories after waiting for each process to complete
+    for pid in "${failed_pids[@]}"; do
+        echo "${dirs_map[$pid]}"
+    done
+    exit $exit_status
+fi
+echo "Rebuild Succeeded!"
\ No newline at end of file
diff --git a/test_programs/test_libraries/diamond_deps_1/src/lib.nr b/test_programs/test_libraries/diamond_deps_1/src/lib.nr
index 60c001ec64e..d76ce5a05e9 100644
--- a/test_programs/test_libraries/diamond_deps_1/src/lib.nr
+++ b/test_programs/test_libraries/diamond_deps_1/src/lib.nr
@@ -1,4 +1,4 @@
-use dep::dep2::call_dep2;
+use dep2::call_dep2;
 
 pub fn call_dep1_then_dep2(x: Field, y: Field) -> Field {
     call_dep2(x, y)
diff --git a/test_programs/test_libraries/reexporting_lib/src/lib.nr b/test_programs/test_libraries/reexporting_lib/src/lib.nr
index f12dfe01ecd..1bced548304 100644
--- a/test_programs/test_libraries/reexporting_lib/src/lib.nr
+++ b/test_programs/test_libraries/reexporting_lib/src/lib.nr
@@ -1,3 +1,3 @@
-use dep::exporting_lib::{MyStruct, FooStruct};
+use exporting_lib::{MyStruct, FooStruct};
 
-use dep::exporting_lib as lib;
+use exporting_lib as lib;
diff --git a/tooling/acvm_cli/Cargo.toml b/tooling/acvm_cli/Cargo.toml
index a592f2d65f3..1cfd1f3b270 100644
--- a/tooling/acvm_cli/Cargo.toml
+++ b/tooling/acvm_cli/Cargo.toml
@@ -20,7 +20,7 @@ path = "src/main.rs"
 [dependencies]
 thiserror.workspace = true
 toml.workspace = true
-color-eyre.workspace = true
+color-eyre = "0.6.2"
 clap.workspace = true
 acvm.workspace = true
 nargo.workspace = true
diff --git a/tooling/nargo_cli/Cargo.toml b/tooling/nargo_cli/Cargo.toml
index e0e54449a6f..b9d7d7e3e48 100644
--- a/tooling/nargo_cli/Cargo.toml
+++ b/tooling/nargo_cli/Cargo.toml
@@ -43,16 +43,11 @@ prettytable-rs = "0.10"
 rayon = "1.8.0"
 thiserror.workspace = true
 tower.workspace = true
-async-lsp = { workspace = true, features = [
-  "client-monitor",
-  "stdio",
-  "tracing",
-  "tokio",
-] }
+async-lsp = { workspace = true, features = ["client-monitor", "stdio", "tracing", "tokio"] }
 const_format.workspace = true
 similar-asserts.workspace = true
 termcolor = "1.1.2"
-color-eyre.workspace = true
+color-eyre = "0.6.2"
 tokio = { version = "1.0", features = ["io-std", "rt"] }
 dap.workspace = true
 clap-markdown = { git = "https://github.com/noir-lang/clap-markdown", rev = "450d759532c88f0dba70891ceecdbc9ff8f25d2b", optional = true }
diff --git a/tooling/nargo_fmt/tests/expected/contract.nr b/tooling/nargo_fmt/tests/expected/contract.nr
index 14b1af4a848..e3a5877725a 100644
--- a/tooling/nargo_fmt/tests/expected/contract.nr
+++ b/tooling/nargo_fmt/tests/expected/contract.nr
@@ -3,11 +3,11 @@
 // Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. 
 // Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
 contract Benchmarking {
-    use dep::aztec::protocol_types::abis::function_selector::FunctionSelector;
+    use aztec::protocol_types::abis::function_selector::FunctionSelector;
 
     use value_note::{utils::{increment, decrement}, value_note::{VALUE_NOTE_LEN, ValueNote, ValueNoteMethods}};
 
-    use dep::aztec::{
+    use aztec::{
         context::Context, note::{note_getter_options::NoteGetterOptions, note_header::NoteHeader},
         log::emit_unencrypted_log, state_vars::{Map, PublicMutable, PrivateSet},
         types::type_serialization::field_serialization::{FieldSerializationMethods, FIELD_SERIALIZED_LEN},
diff --git a/tooling/nargo_fmt/tests/expected/let.nr b/tooling/nargo_fmt/tests/expected/let.nr
index 7ff69e74306..0edc0eaf922 100644
--- a/tooling/nargo_fmt/tests/expected/let.nr
+++ b/tooling/nargo_fmt/tests/expected/let.nr
@@ -51,10 +51,10 @@ fn let_() {
 
     let expr = MyExpr { /*A boolean literal (true, false).*/ kind: ExprKind::Bool(true) };
 
-    let mut V = dep::crate2::MyStruct { Q: x };
-    let mut V = dep::crate2::MyStruct {};
-    let mut V = dep::crate2::MyStruct {/*test*/};
-    let mut V = dep::crate2::MyStruct {
+    let mut V = crate2::MyStruct { Q: x };
+    let mut V = crate2::MyStruct {};
+    let mut V = crate2::MyStruct {/*test*/};
+    let mut V = crate2::MyStruct {
         // sad
     };
 }
diff --git a/tooling/nargo_fmt/tests/input/contract.nr b/tooling/nargo_fmt/tests/input/contract.nr
index 14b1af4a848..e3a5877725a 100644
--- a/tooling/nargo_fmt/tests/input/contract.nr
+++ b/tooling/nargo_fmt/tests/input/contract.nr
@@ -3,11 +3,11 @@
 // Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. 
 // Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
 contract Benchmarking {
-    use dep::aztec::protocol_types::abis::function_selector::FunctionSelector;
+    use aztec::protocol_types::abis::function_selector::FunctionSelector;
 
     use value_note::{utils::{increment, decrement}, value_note::{VALUE_NOTE_LEN, ValueNote, ValueNoteMethods}};
 
-    use dep::aztec::{
+    use aztec::{
         context::Context, note::{note_getter_options::NoteGetterOptions, note_header::NoteHeader},
         log::emit_unencrypted_log, state_vars::{Map, PublicMutable, PrivateSet},
         types::type_serialization::field_serialization::{FieldSerializationMethods, FIELD_SERIALIZED_LEN},
diff --git a/tooling/nargo_fmt/tests/input/let.nr b/tooling/nargo_fmt/tests/input/let.nr
index 37cdc6655c7..16ce0a9d7f1 100644
--- a/tooling/nargo_fmt/tests/input/let.nr
+++ b/tooling/nargo_fmt/tests/input/let.nr
@@ -26,10 +26,10 @@ kind: ExprKind::Bool(true),
 
     let expr = MyExpr {/*A boolean literal (true, false).*/kind: ExprKind::Bool(true),};
 
-    let mut V = dep::crate2::MyStruct { Q: x };
-    let mut V = dep::crate2::MyStruct {};
-    let mut V = dep::crate2::MyStruct {/*test*/};
-    let mut V = dep::crate2::MyStruct {
+    let mut V = crate2::MyStruct { Q: x };
+    let mut V = crate2::MyStruct {};
+    let mut V = crate2::MyStruct {/*test*/};
+    let mut V = crate2::MyStruct {
         // sad
     };
 }

From 6fae56fcea8f0207347472f940d8b3c2ccefea6d Mon Sep 17 00:00:00 2001
From: Tom French <15848336+TomAFrench@users.noreply.github.com>
Date: Mon, 1 Jul 2024 18:55:15 +0100
Subject: [PATCH 2/8] Apply suggestions from code review

---
 tooling/acvm_cli/Cargo.toml  | 2 +-
 tooling/nargo_cli/Cargo.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tooling/acvm_cli/Cargo.toml b/tooling/acvm_cli/Cargo.toml
index 1cfd1f3b270..a592f2d65f3 100644
--- a/tooling/acvm_cli/Cargo.toml
+++ b/tooling/acvm_cli/Cargo.toml
@@ -20,7 +20,7 @@ path = "src/main.rs"
 [dependencies]
 thiserror.workspace = true
 toml.workspace = true
-color-eyre = "0.6.2"
+color-eyre.workspace = true
 clap.workspace = true
 acvm.workspace = true
 nargo.workspace = true
diff --git a/tooling/nargo_cli/Cargo.toml b/tooling/nargo_cli/Cargo.toml
index b9d7d7e3e48..c6cf842a623 100644
--- a/tooling/nargo_cli/Cargo.toml
+++ b/tooling/nargo_cli/Cargo.toml
@@ -47,7 +47,7 @@ async-lsp = { workspace = true, features = ["client-monitor", "stdio", "tracing"
 const_format.workspace = true
 similar-asserts.workspace = true
 termcolor = "1.1.2"
-color-eyre = "0.6.2"
+color-eyre.workspace = true
 tokio = { version = "1.0", features = ["io-std", "rt"] }
 dap.workspace = true
 clap-markdown = { git = "https://github.com/noir-lang/clap-markdown", rev = "450d759532c88f0dba70891ceecdbc9ff8f25d2b", optional = true }

From 1b783999c7b96fee4a39e5b353cbdeb59df690a5 Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Mon, 1 Jul 2024 18:58:20 +0100
Subject: [PATCH 3/8] chore: revert stuff

---
 .../benchmarks/bench_sha256/src/Nargo.toml    |  7 +++
 .../benchmarks/bench_sha256/src/Prover.toml   |  1 +
 .../execution_success/hashmap/src/main.nr     |  1 -
 test_programs/rebuild.sh                      | 46 +------------------
 4 files changed, 10 insertions(+), 45 deletions(-)
 create mode 100644 test_programs/benchmarks/bench_sha256/src/Nargo.toml
 create mode 100644 test_programs/benchmarks/bench_sha256/src/Prover.toml

diff --git a/test_programs/benchmarks/bench_sha256/src/Nargo.toml b/test_programs/benchmarks/bench_sha256/src/Nargo.toml
new file mode 100644
index 00000000000..488b94ca858
--- /dev/null
+++ b/test_programs/benchmarks/bench_sha256/src/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "bench_sha256"
+version = "0.1.0"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/benchmarks/bench_sha256/src/Prover.toml b/test_programs/benchmarks/bench_sha256/src/Prover.toml
new file mode 100644
index 00000000000..66779dea9d7
--- /dev/null
+++ b/test_programs/benchmarks/bench_sha256/src/Prover.toml
@@ -0,0 +1 @@
+input = [1,2]
diff --git a/test_programs/execution_success/hashmap/src/main.nr b/test_programs/execution_success/hashmap/src/main.nr
index 8cf70cc5970..56b13d6779b 100644
--- a/test_programs/execution_success/hashmap/src/main.nr
+++ b/test_programs/execution_success/hashmap/src/main.nr
@@ -3,7 +3,6 @@ mod utils;
 use std::collections::map::HashMap;
 use std::hash::BuildHasherDefault;
 use std::hash::poseidon2::Poseidon2Hasher;
-use std::cmp::Eq;
 
 use utils::cut;
 
diff --git a/test_programs/rebuild.sh b/test_programs/rebuild.sh
index a8175d05066..13479f58b4b 100755
--- a/test_programs/rebuild.sh
+++ b/test_programs/rebuild.sh
@@ -1,8 +1,6 @@
 #!/usr/bin/env bash
 set -e
 
-NO_PARALLEL=${1:-}
-
 process_dir() {
     local dir=$1
     local current_dir=$2
@@ -62,46 +60,6 @@ for dir in $current_dir/benchmarks/*; do
     dirs_to_process+=("$dir")
 done
 
-pids=() # Array to hold PIDs of background processes
-dirs_map=() # Array to map PIDs to directories
-
-if [ -z $NO_PARALLEL ]; then
-    # Process directories in parallel
-    for dir in "${dirs_to_process[@]}"; do
-        process_dir "$dir" "$current_dir" &  # Run process_dir in the background
-        pid=$!  # Get PID of the last background command
-        pids+=($pid)  # Add PID to the pids array
-        dirs_map[$pid]=$dir  # Map PID to the directory being processed
-    done
-else
-    # Process directories sequentially
-    for dir in "${dirs_to_process[@]}"; do
-        process_dir "$dir" "$current_dir"  # Run process_dir in the foreground
-        pid=$!  # Get PID of the last command
-        pids+=($pid)  # Add PID to the pids array
-        dirs_map[$pid]=$dir  # Map PID to the directory being processed
-    done
-fi
-
-# Store the failed processes
-failed_pids=()
-# Check the exit status of each background job.
-for pid in "${pids[@]}"; do
-    if ! wait $pid; then  # Wait for the process to complete, check if it failed
-        exit_status=$?  # Capture the failed exit status
-        failed_pids+=($pid)
-    fi
-done
-
-echo ""
+parallel -j0  process_dir {} "$current_dir" ::: ${dirs_to_process[@]}
 
-# Exit with a failure status if any job failed.
-if [ ! -z "$exit_status" ]; then
-    echo "Rebuild failed for directories:"
-    # Print the failed directories after waiting for each process to complete
-    for pid in "${failed_pids[@]}"; do
-        echo "${dirs_map[$pid]}"
-    done
-    exit $exit_status
-fi
-echo "Rebuild Succeeded!"
\ No newline at end of file
+echo "Rebuild Succeeded!"

From 2f14045f7d65b64e9946c8a649d6392f0240ba6d Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Mon, 1 Jul 2024 19:09:03 +0100
Subject: [PATCH 4/8] chore: explicit numeric generic

---
 .../execution_success/fold_numeric_generic_poseidon/src/main.nr | 2 +-
 .../no_predicates_numeric_generic_poseidon/src/main.nr          | 2 +-
 test_programs/execution_success/regression_5252/src/main.nr     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/test_programs/execution_success/fold_numeric_generic_poseidon/src/main.nr b/test_programs/execution_success/fold_numeric_generic_poseidon/src/main.nr
index 7d12d63634b..8727b2a23de 100644
--- a/test_programs/execution_success/fold_numeric_generic_poseidon/src/main.nr
+++ b/test_programs/execution_success/fold_numeric_generic_poseidon/src/main.nr
@@ -4,7 +4,7 @@ global NUM_HASHES = 2;
 global HASH_LENGTH = 10;
 
 #[fold]
-pub fn poseidon_hash<N>(inputs: [Field; N]) -> Field {
+pub fn poseidon_hash<let N: u32>(inputs: [Field; N]) -> Field {
     Poseidon2::hash(inputs, inputs.len())
 }
 
diff --git a/test_programs/execution_success/no_predicates_numeric_generic_poseidon/src/main.nr b/test_programs/execution_success/no_predicates_numeric_generic_poseidon/src/main.nr
index 94db8c2b414..60a7d2f8d17 100644
--- a/test_programs/execution_success/no_predicates_numeric_generic_poseidon/src/main.nr
+++ b/test_programs/execution_success/no_predicates_numeric_generic_poseidon/src/main.nr
@@ -4,7 +4,7 @@ global NUM_HASHES = 2;
 global HASH_LENGTH = 10;
 
 #[no_predicates]
-pub fn poseidon_hash<N>(inputs: [Field; N]) -> Field {
+pub fn poseidon_hash<let N: u32>(inputs: [Field; N]) -> Field {
     Poseidon2::hash(inputs, inputs.len())
 }
 
diff --git a/test_programs/execution_success/regression_5252/src/main.nr b/test_programs/execution_success/regression_5252/src/main.nr
index 0bfd596a777..4b4d1937c0e 100644
--- a/test_programs/execution_success/regression_5252/src/main.nr
+++ b/test_programs/execution_success/regression_5252/src/main.nr
@@ -3,7 +3,7 @@ use std::hash::{mimc, poseidon, poseidon2::Poseidon2};
 global NUM_HASHES = 3;
 global HASH_LENGTH = 20;
 
-pub fn poseidon_hash<N>(inputs: [Field; N]) -> Field {
+pub fn poseidon_hash<let N: u32>(inputs: [Field; N]) -> Field {
     Poseidon2::hash(inputs, inputs.len())
 }
 

From 4502cfd763e08993f01916cb06a8d2d08941999a Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Mon, 1 Jul 2024 19:09:55 +0100
Subject: [PATCH 5/8] .

---
 test_programs/benchmarks/bench_sha256/{src => }/Nargo.toml  | 0
 test_programs/benchmarks/bench_sha256/{src => }/Prover.toml | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename test_programs/benchmarks/bench_sha256/{src => }/Nargo.toml (100%)
 rename test_programs/benchmarks/bench_sha256/{src => }/Prover.toml (100%)

diff --git a/test_programs/benchmarks/bench_sha256/src/Nargo.toml b/test_programs/benchmarks/bench_sha256/Nargo.toml
similarity index 100%
rename from test_programs/benchmarks/bench_sha256/src/Nargo.toml
rename to test_programs/benchmarks/bench_sha256/Nargo.toml
diff --git a/test_programs/benchmarks/bench_sha256/src/Prover.toml b/test_programs/benchmarks/bench_sha256/Prover.toml
similarity index 100%
rename from test_programs/benchmarks/bench_sha256/src/Prover.toml
rename to test_programs/benchmarks/bench_sha256/Prover.toml

From e63c9b23ed92aeeaabb2fada13cb1da970670008 Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Mon, 1 Jul 2024 19:27:43 +0100
Subject: [PATCH 6/8] .

---
 .../verify_honk_proof/Nargo.toml              |  6 ------
 .../verify_honk_proof/Prover.toml             |  4 ----
 .../verify_honk_proof/src/main.nr             | 21 -------------------
 3 files changed, 31 deletions(-)
 delete mode 100644 test_programs/execution_success/verify_honk_proof/Nargo.toml
 delete mode 100644 test_programs/execution_success/verify_honk_proof/Prover.toml
 delete mode 100644 test_programs/execution_success/verify_honk_proof/src/main.nr

diff --git a/test_programs/execution_success/verify_honk_proof/Nargo.toml b/test_programs/execution_success/verify_honk_proof/Nargo.toml
deleted file mode 100644
index 8fce1bf44b6..00000000000
--- a/test_programs/execution_success/verify_honk_proof/Nargo.toml
+++ /dev/null
@@ -1,6 +0,0 @@
-[package]
-name = "verify_honk_proof"
-type = "bin"
-authors = [""]
-
-[dependencies]
diff --git a/test_programs/execution_success/verify_honk_proof/Prover.toml b/test_programs/execution_success/verify_honk_proof/Prover.toml
deleted file mode 100644
index c1ec4049fa9..00000000000
--- a/test_programs/execution_success/verify_honk_proof/Prover.toml
+++ /dev/null
@@ -1,4 +0,0 @@
-key_hash = "0x096129b1c6e108252fc5c829c4cc9b7e8f0d1fd9f29c2532b563d6396645e08f"
-proof = ["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf","0x00000000000000000000000000000000000000000000000b75c020998797da78","0x0000000000000000000000000000000000000000000000005a107acb64952eca","0x000000000000000000000000000000000000000000000000000031e97a575e9d","0x00000000000000000000000000000000000000000000000b5666547acf8bd5a4","0x00000000000000000000000000000000000000000000000c410db10a01750aeb","0x00000000000000000000000000000000000000000000000d722669117f9758a4","0x000000000000000000000000000000000000000000000000000178cbf4206471","0x000000000000000000000000000000000000000000000000e91b8a11e7842c38","0x000000000000000000000000000000000000000000000007fd51009034b3357f","0x000000000000000000000000000000000000000000000009889939f81e9c7402","0x0000000000000000000000000000000000000000000000000000f94656a2ca48","0x000000000000000000000000000000000000000000000006fb128b46c1ddb67f","0x0000000000000000000000000000000000000000000000093fe27776f50224bd","0x000000000000000000000000000000000000000000000004a0c80c0da527a081","0x0000000000000000000000000000000000000000000000000001b52c2020d746","0x0000000000000000000000000000005a9bae947e1e91af9e4033d8d6aa6ed632","0x000000000000000000000000000000000025e485e013446d4ac7981c88ba6ecc","0x000000000000000000000000000000ff1e0496e30ab24a63b32b2d1120b76e62","0x00000000000000000000000000000000001afe0a8a685d7cd85d1010e55d9d7c","0x000000000000000000000000000000b0804efd6573805f991458295f510a2004","0x00000000000000000000000000000000000c81a178016e2fe18605022d5a8b0e","0x000000000000000000000000000000eba51e76eb1cfff60a53a0092a3c3dea47","0x000000000000000000000000000000000022e7466247b533282f5936ac4e6c15","0x00000000000000000000000000000071b1d76edf770edff98f00ff4deec264cd","0x00000000000000000000000000000000001e48128e68794d8861fcbb2986a383","0x000000000000000000000000000000d3a2af4915ae6d86b097adc377fafda2d4","0x000000000000000000000000000000000006359de9ca452dab3a4f1f8d9c9d98","0x0000000000000000000000000000000d9d719a8b9f020ad3642d60fe704e696f","0x00000000000000000000000000000000000ddfdbbdefc4ac1580ed38e12cfa49","0x0000000000000000000000000000008289fe9754ce48cd01b7be96a861b5e157","0x00000000000000000000000000000000000ff3e0896bdea021253b3d360fa678","0x0000000000000000000000000000000d9d719a8b9f020ad3642d60fe704e696f","0x00000000000000000000000000000000000ddfdbbdefc4ac1580ed38e12cfa49","0x0000000000000000000000000000008289fe9754ce48cd01b7be96a861b5e157","0x00000000000000000000000000000000000ff3e0896bdea021253b3d360fa678","0x000000000000000000000000000000f968b227a358a305607f3efc933823d288","0x00000000000000000000000000000000000eaf8adb390375a76d95e918b65e08","0x000000000000000000000000000000bb34b4b447aae56f5e24f81c3acd6d547f","0x00000000000000000000000000000000002175d012746260ebcfe339a91a81e1","0x0000000000000000000000000000005b739ed2075f2b046062b8fc6a2d1e9863","0x00000000000000000000000000000000001285cd1030d338c0e1603b4da2c838","0x00000000000000000000000000000027447d6c281eb38b2b937af4a516d60c04","0x000000000000000000000000000000000019bc3d980465fbb4a656a74296fc58","0x000000000000000000000000000000b484788ace8f7df86dd5e325d2e9b12599","0x00000000000000000000000000000000000a2ca0d10eb7b767114ae230b728d3","0x000000000000000000000000000000c6dfc7092f16f95795e437664498b88d53","0x0000000000000000000000000000000000131067b4e4d95a4f6f8cf5c9b5450a","0x0f413f22eec51f2a02800e0cafaeec1d92d744fbbaef213c687b9edabd6985f5","0x21230f4ff26c80ffb5d037a9d1d26c3f955ca34cbeca4f54db6656b932967a0c","0x0521f877fe35535767f99597cc50effbd283dcae6812ee0a7620d796ccbfd642","0x202b01350a9cc5c20ec0f3eaada338c0a3b793811bd539418ffa3cc4302615e2","0x2d1214d9b0d41058ad4a172d9c0aecc5bdabe95e687c3465050c6b5396509be4","0x1113b344a151b0af091cb28d728b752ebb4865da6cd7ee68471b961ca5cf69b9","0x2aa66d0954bb83e17bd5c9928d3aa7a7df75d741d409f7c15ba596804ba643fb","0x2e26bc7a530771ef7a95d5360d537e41cf94d8a0942764ff09881c107f91a106","0x0f14f32b921bb63ad1df00adab7c82af58ea8aa7f353f14b281208d8c5fab504","0x13429515c0c53b6502bbcdf545defb3cb69a986c9263e070fcbb397391aae1a3","0x1f21cac5e2f262afc1006a21454cc6bcb018c44e53ad8ab61cebbac99e539176","0x2a9886a6ddc8a61b097c668cd362fc8acdee8dde74f7b1af192c3e060bb2948f","0x2d718181e408ead2e9bcd30a84ad1fccbaf8d48ab6d1820bad4933d284b503c4","0x2634c1aafc902f14508f34d3d7e9d485f42d1a4c95b5a1ef73711ed0d3c68d77","0x092ede9777e6472ce5ffd8c963d466006189e960e2c591d338dc8d4af1a057fb","0x1cba45b17fd24f1cb1b4ab7b83eee741f6c77ba70a497dc4de259eceb7d5ea26","0x246e887c7bf2e17f919b2393b6e9b00b33e8822d862544a775aac05cb7bff710","0x04c3f539fe8689971948afcb437f1ecbd444a5bddaca1c8a450348dcd8480047","0x20c6a423ae4fd58e8951aa378d02d77baf90508ceb48856db2319d70938b186e","0x1bcf8786b554b3316d8ebdbc9d006a4e5d4865aad512ffd404b7f83550d3d030","0x09ab038260518f0970564afcd6bf22e2abf6b1fa5e12a327bbf195b6ca5edd78","0x1024e32554746f89c195286ba6ccfc9765e5d14bbe8064bc6fdf22d16ec6b495","0x17706656f8dbd7e47bb257a6428f0cb7278ea02fa9e6ce431d7bcc9133fba9c7","0x25a3e8a33c15ef2a4dd16313a6049bf1d468b4cdc141f238f2d51a1e8e1c22b3","0x1198863f08006edb27aee23164fb117a4ddec1bf1ed89807aa907e5cd24bf068","0x1862b4856b5b4d4a064f873e221703e4e2cd1ebfca1337dedca56485c38ed5a0","0x062214af1ea6dd6bf8895b92d394571c43970b6f967e1c794624d96071b25ad3","0x1e5be9428ddcf1f9b0cbafc28101e792ec5cf73852b0cd0b84fbff71b4490e09","0x2d4189bea5b1e30f63c64bd26df82f18bcaf885ec8887b54634b2557869ce87f","0x0f2e5d9a908850e9d44925e17d8b12d1adb1ed029799c9b5858598504242bbc0","0x3050dc85746a57931d99f3f35e77c2ba561fba0baa018b79ff1fd544026833ae","0x2a591a32437e5e0b875a137fd868bd1b6dbc003ff1b661f26e00627cc7c5cf47","0x27946841e1670ad9c65717016d0cedf524724217236e81b9fd0a264a36ebfb0e","0x0fc396e9d19d6e68e289602e292ee345542d0d28bf6de34fa62cc577cbdfb1df","0x08e7433a07a44c0c9c4dd4b273a2685bbd1a91fd5cf2b43409458fab42a23e1b","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x12bd9bfb029c3503a5c6deea87b0a0f11bb9f7ea584af2d48f3e48d7e09247ae","0x2ccc4810748c0a82dfc0f063d0b8c7999ffe9474653080e6ef92b3cb7a428784","0x08eb574d7fecadadb508c8bd35fdad06b99110609d679763c2e3645229b1b95a","0x0f1a65e747c8021ed7c454a4be1e89b1bce66ead9ed980fa98a7a050eafe98a1","0x1c8ff9e36684ec71614dee4c17859b06c742089f6029d3694a16e00dac9b57f1","0x0303101a8ba712aeca4da85b767ab8d3ecf489ec7d746f8ee20041717cc000e9","0x0aaf64c65e7088e5596108c9601467911fea809ca6540d79af77e6e66e36cd99","0x17caf164ce74ea7edfb1390e07763d2197797ec26661b92cde18a98d61d2fddc","0x18cb055c7ad6d01437725bb457681d81f3ecadc4f35d838a3c13daf25a44456a","0x2d78602b8bbcd32b36a99a6e2d248e7fe044ef1b50813133370412f9ef5299f0","0x2b139276ea86d426a115479e4154f72a6bd83a6253bf13e9670dc6b4664378f0","0x127c7837b384902c39a104036c09546728571c46c8166b1b9b13b3a615ebb781","0x05faa4816f83cf0189a482ad943c94b9ec6474002f2b327f8698763ad0ea0985","0x2f90359cc30ee693fb3aced96523cf7aebd152c22329eee56a398d9a4ac0628e","0x0a71beaf17a59c5a238f04c1f203848d87502c5057a78c13f0cfb0f9876e7714","0x2696c1e6d089556adaeb95c8a5e3065b00a393a38c2d69e9bd6ce8cdc49d87da","0x1f3d165a7dc6564a036e451eb9cb7f1e1cb1e6d29daa75e3f135ea3e58a79ccd","0x1473a660819bdd838d56122b72b32b267211e9f1103239480ec50fa85c9e1035","0x0a8ccaeb22451f391b3fc3467c8e6e900270a7afb7b510e8acf5a4f06f1c0888","0x03b3080afc0658cc87e307758cebc171921f43eca159b9dedf7f72aa8dd926bd","0x2dd7d6663fa0e1755dfafac352c361fcd64c7f4d53627e3646870ac169cc4a07","0x1ec54b883f5f35ccad0e75695af20790d9860104095bab34c9bf01628dd40cb9","0x193dff50f83c241f7a9e087a29ce72ecf3f6d8563593f786dcd04c32bcfd4ced","0x135122c0dae26cda8ca1c09de8225064ad86d10423ab0aaa53b481aa4626e1d6","0x08d5a56cbfab5aeed56d3cdd7fb6b30fc26b0c1a5b63fccd7fa44c53ba6fd35a","0x0d12f126dfa2daad3726d00ca339284cc22e36c6d81bb7a4b95c6f9598b60e7c","0x2e8b24bbdf2fd839d3c7cae1f0eeb96bfcfaeef30b27476f2fafcb17da78cd5e","0x2364acfe0cea39b7f749c5f303b99504977357925f810f684c60f35d16315211","0x06ca062eb70b8c51cfac35345e7b6b51f33a8ec9ebe204fb9b4911200bf508b7","0x266c0aa1ccb97186815bf69084f600d06ddd934e59a38dfe602ee5d6b9487f22","0x1d817537a49c6d0e3b4b65c6665334b91d7593142e60065048be9e55ceb5e7ab","0x05e9b7256a368df053c691952b59e9327a7c12ed322bbd6f72c669b9b9c26d49","0x05e9b7256a368df053c691952b59e9327a7c12ed322bbd6f72c669b9b9c26d49","0x25b77026673a1e613e50df0e88fb510973739d5f9064bd364079a9f884209632","0x25c9bc7a3f6aae3d43ff68b5614b34b5eaceff37157b37347995d231784ac1fd","0x085f69baef22680ae15f4801ef4361ebe9c7fc24a94b5bc2527dce8fb705439e","0x0d7c6b9ce31bfc32238a205455baf5ffe99cd30eb0f7bb5b504e1d4501e01382","0x1001a8cc4bc1221c814fba0eddcf3c40619b133373640c600de5bed0a0a05b10","0x20f5894be90e52977cb70f4f4cbd5101693db0360848939750db7e91109d54b6","0x22c09cb26db43f0599408b4daed0f4f496c66424e6affa41c14387d8e0af851b","0x24e5f41357798432426a9549d71e8cc681eaebacbe87f6e3bf38e85de5aa2f3d","0x06eb90100c736fbf2b87432d7821ecdc0b365024739bc36363d48b905973f5b9","0x000000000000000000000000000000ece6d09ed58e9f5661c01140b10558a8c2","0x000000000000000000000000000000000012b6e4f37adcb34b8e88ff8b6eebce","0x000000000000000000000000000000b226a2bb93593fa1fab19a44767828a3f5","0x00000000000000000000000000000000002b5b518342030543092e1428a7e33c","0x00000000000000000000000000000022ba33857034a0574c216eb3c1ddff3025","0x00000000000000000000000000000000001918e58df857985a7cf9eae7802165","0x00000000000000000000000000000045c2d840b96fb6106cc14dcad89dd5f675","0x00000000000000000000000000000000000afdfac1e3a1febdd0208867d44f98","0x00000000000000000000000000000042ebed6c5ec45d794f119aef24c192af0f","0x00000000000000000000000000000000002d05ef250900bbcc5751bbeb210d6a","0x00000000000000000000000000000060d604bdda48eecc90ed065bd9770e1323","0x00000000000000000000000000000000001fed91c63d0041660c1cbc84c2ffbb","0x00000000000000000000000000000054196b549cde36092e8184c7f4f7d878de","0x00000000000000000000000000000000000153f26a01294329922b492485cc31","0x00000000000000000000000000000056ebea579d10dbb440f0222931df2c0059","0x00000000000000000000000000000000000d2cbc61ce5b7cdd7fce398da4637b","0x000000000000000000000000000000e2b9512360b9797d96675d8a2fd2f7aa5d","0x000000000000000000000000000000000025742905f105ff895f74e7c3daa34a","0x000000000000000000000000000000a2dd7df55db59bd41b83518d4403fbc382","0x00000000000000000000000000000000002c1d9c3cbb9371d4cc4e9f900b9a46","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000bcf12ae40c9425c3e67654b84181f90502","0x00000000000000000000000000000000000b6d3faa8a71ff6ef1aa887b7307cf","0x0000000000000000000000000000001f6f719acc23b8f84808c0275d61cfb456","0x0000000000000000000000000000000000296030933ed0c134457ae71c393dfe","0x000000000000000000000000000000ebe1a57cdd7d3d763289b40ef5ed9a7ae0","0x000000000000000000000000000000000010f30483e7df51fca2316d3367603c","0x0000000000000000000000000000000149b7b283ab18060618c8e051864c03cd","0x00000000000000000000000000000000001ef7763235a3a25e241a5f06704dc3"]
-public_inputs = ["0x0000000000000000000000000000000000000000000000000000000000000003"]
-verification_key = ["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000000001","0x00000000000000000000000000000060e430ad1c23bfcf3514323aae3f206e84","0x00000000000000000000000000000000001b5c3ff4c2458d8f481b1c068f27ae","0x000000000000000000000000000000bb510ab2112def34980e4fc6998ad9dd16","0x00000000000000000000000000000000000576e7c105b43e061e13cb877fefe1","0x000000000000000000000000000000ced074785d11857b065d8199e6669a601c","0x00000000000000000000000000000000000053b48a4098c1c0ae268f273952f7","0x000000000000000000000000000000d1d4b26e941db8168cee8f6de548ae0fd8","0x00000000000000000000000000000000001a9adf5a6dadc3d948bb61dfd63f4c","0x0000000000000000000000000000009ce1faac6f8de6ebb18f1db17372c82ad5","0x00000000000000000000000000000000002002681bb417184b2df070a16a3858","0x000000000000000000000000000000161baa651a8092e0e84725594de5aba511","0x00000000000000000000000000000000000be0064399c2a1efff9eb0cdcb2223","0x0000000000000000000000000000008673be6fd1bdbe980a29d8c1ded54381e7","0x000000000000000000000000000000000008a5158a7d9648cf1d234524c9fa0c","0x0000000000000000000000000000002b4fce6e4b1c72062b296d49bca2aa4130","0x00000000000000000000000000000000002e45a9eff4b6769e55fb710cded44f","0x00000000000000000000000000000072b85bf733758b76bcf97333efb85a23e3","0x000000000000000000000000000000000017da0ea508994fc82862715e4b5592","0x00000000000000000000000000000094fa74695cf058dba8ff35aec95456c6c3","0x0000000000000000000000000000000000211acddb851061c24b8f159e832bd1","0x000000000000000000000000000000303b5e5c531384b9a792e11702ad3bcab0","0x00000000000000000000000000000000000d336dff51a60b8833d5d7f6d4314c","0x0000000000000000000000000000009f825dde88092070747180d581c342444a","0x0000000000000000000000000000000000237fbd6511a03cca8cac01b555fe01","0x0000000000000000000000000000007c313205159495df6d8de292079a4844ff","0x000000000000000000000000000000000018facdfc468530dd45e8f7a1d38ce9","0x0000000000000000000000000000000d1ce33446fc3dc4ab40ca38d92dac74e1","0x00000000000000000000000000000000000852d8e3e0e8f4435af3e94222688b","0x0000000000000000000000000000006c04ee19ec1dfec87ed47d6d04aa158de2","0x000000000000000000000000000000000013240f97a584b45184c8ec31319b5f","0x000000000000000000000000000000cefb5d240b07ceb4be26ea429b6dc9d9e0","0x00000000000000000000000000000000002dad22022121d689f57fb38ca21349","0x000000000000000000000000000000c9f189f2a91aeb664ce376d8b157ba98f8","0x00000000000000000000000000000000002531a51ad54f124d58094b219818d2","0x000000000000000000000000000000ef1e6db71809307f677677e62b4163f556","0x0000000000000000000000000000000000272da4396fb2a7ee0638b9140e523d","0x0000000000000000000000000000002e54c0244a7732c87bc4712a76dd8c83fb","0x000000000000000000000000000000000007db77b3e04b7eba9643da57cbbe4d","0x000000000000000000000000000000e0dfe1ddd7f74ae0d636c910c3e85830d8","0x00000000000000000000000000000000000466fa9b57ec4664abd1505b490862","0x0000000000000000000000000000009ee55ae8a32fe5384c79907067cc27192e","0x00000000000000000000000000000000000799d0e465cec07ecb5238c854e830","0x0000000000000000000000000000001d5910ad361e76e1c241247a823733c39f","0x00000000000000000000000000000000002b03f2ccf7507564da2e6678bef8fe","0x000000000000000000000000000000231147211b3c75e1f47d150e4bbd2fb22e","0x00000000000000000000000000000000000d19ee104a10d3c701cfd87473cbbe","0x0000000000000000000000000000006705f3f382637d00f698e2c5c94ed05ae9","0x00000000000000000000000000000000000b9c792da28bb60601dd7ce4b74e68","0x000000000000000000000000000000ac5acc8cc21e4ddb225c510670f80c80b3","0x00000000000000000000000000000000002da9d3fa57343e6998aba19429b9fa","0x0000000000000000000000000000004bacbf54b7c17a560df0af18b6d0d527be","0x00000000000000000000000000000000000faea33aeca2025b22c288964b21eb","0x000000000000000000000000000000492e756298d68d6e95de096055cc0336c3","0x00000000000000000000000000000000001a12a12f004859e5a3675c7315121b","0x000000000000000000000000000000893d521d512f30e6d32afbbc0cecd8ee00","0x00000000000000000000000000000000001674b3c1ef12c6da690631e0d86c04","0x000000000000000000000000000000aa6cb02a52e7a613873d4ac9b411349945","0x00000000000000000000000000000000001ecb1fe9c493add46751f9940f73e1","0x00000000000000000000000000000045b3d362ca82cba69fb2b9c733a5b8c351","0x000000000000000000000000000000000019a683586af466e331945b732d2f8c","0x000000000000000000000000000000fc79b052dfdfe67c0ecfc06b4267ffd694","0x00000000000000000000000000000000001336a70c396393038d5e9913744ac2","0x0000000000000000000000000000005450d29af1e9438e91cd33ddeb2548226e","0x000000000000000000000000000000000000993a602891cfd0e6f6ecf7404933","0x000000000000000000000000000000498efddab90a32e9b2db729ed6e9b40192","0x00000000000000000000000000000000002425efebe9628c63ca6fc28bdb5901","0x000000000000000000000000000000d8488157f875a21ab5f93f1c2b641f3de9","0x0000000000000000000000000000000000290f95ada3936604dc4b14df7504e3","0x0000000000000000000000000000005d6902187f3ed60dcce06fca211b40329a","0x00000000000000000000000000000000002b5870a6ba0b20aaa0178e5adfbc36","0x000000000000000000000000000000e5c2519171fa0e548fc3c4966ffc1ce570","0x00000000000000000000000000000000001cb8d8f4793b7debbdc429389dbf2d","0x000000000000000000000000000000a3ee22dd60456277b86c32a18982dcb185","0x00000000000000000000000000000000002493c99a3d068b03f8f2b8d28b57ce","0x000000000000000000000000000000f6c3731486320082c20ec71bbdc92196c1","0x00000000000000000000000000000000001ded39c4c8366469843cd63f09ecac","0x000000000000000000000000000000494997477ab161763e46601d95844837ef","0x00000000000000000000000000000000002e0cddbc5712d79b59cb3b41ebbcdd","0x000000000000000000000000000000426db4c64531d350750df62dbbc41a1bd9","0x0000000000000000000000000000000000303126892f664d8d505964d14315ec","0x00000000000000000000000000000076a6b2c6040c0c62bd59acfe3e3e125672","0x000000000000000000000000000000000000874a5ad262eecc6b565e0b085074","0x000000000000000000000000000000ef082fb517183c9c6841c2b8ef2ca1df04","0x0000000000000000000000000000000000127b2a745a1b74968c3edc18982b9b","0x000000000000000000000000000000c9efd4f8c3d56e1eb23d789a8f710d5be6","0x000000000000000000000000000000000015a18748490ff4c2b1871081954e86","0x000000000000000000000000000000a0011ef987dc016ab110eacd554a1d8bbf","0x00000000000000000000000000000000002097c84955059442a95df075833071","0x000000000000000000000000000000d38e9426ad3085b68b00a93c17897c2877","0x00000000000000000000000000000000002aecd48089890ea0798eb952c66824","0x00000000000000000000000000000078d8a9ce405ce559f441f2e71477ff3ddb","0x00000000000000000000000000000000001216bdb2f0d961bb8a7a23331d2150","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000ee40d90bea71fba7a412dd61fcf34e8ceb","0x0000000000000000000000000000000000140b0936c323fd2471155617b6af56","0x0000000000000000000000000000002b90071823185c5ff8e440fd3d73b6fefc","0x00000000000000000000000000000000002b6c10790a5f6631c87d652e059df4"]
\ No newline at end of file
diff --git a/test_programs/execution_success/verify_honk_proof/src/main.nr b/test_programs/execution_success/verify_honk_proof/src/main.nr
deleted file mode 100644
index ecfd18f3837..00000000000
--- a/test_programs/execution_success/verify_honk_proof/src/main.nr
+++ /dev/null
@@ -1,21 +0,0 @@
-
-// This circuit aggregates a single Honk proof from `assert_statement_recursive`.
-global SIZE_OF_PROOF_IF_LOGN_IS_28 : u32 = 409;
-fn main(
-    verification_key: [Field; 103],
-    // This is the proof without public inputs attached.
-    // 
-    // This means: the size of this does not change with the number of public inputs.
-    proof: [Field; SIZE_OF_PROOF_IF_LOGN_IS_28],
-    public_inputs: pub [Field; 1],
-    // This is currently not public. It is fine given that the vk is a part of the circuit definition.
-    // I believe we want to eventually make it public too though.
-    key_hash: Field
-) {
-    std::verify_proof(
-        verification_key.as_slice(),
-        proof.as_slice(),
-        public_inputs.as_slice(),
-        key_hash
-    );
-}

From 3da3f770bec64ca76503f1c76891ace64e5c32a1 Mon Sep 17 00:00:00 2001
From: Tom French <15848336+TomAFrench@users.noreply.github.com>
Date: Mon, 1 Jul 2024 19:35:02 +0100
Subject: [PATCH 7/8] Update docs/docs/how_to/how-to-oracles.md

---
 docs/docs/how_to/how-to-oracles.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/how_to/how-to-oracles.md b/docs/docs/how_to/how-to-oracles.md
index 2d2ed5c94b9..b810930df47 100644
--- a/docs/docs/how_to/how-to-oracles.md
+++ b/docs/docs/how_to/how-to-oracles.md
@@ -236,7 +236,7 @@ const foreignCallHandler = async (name, input) => {
     // notice that the "inputs" parameter contains *all* the inputs
     // in this case we to make the RPC request with the first parameter "numbers", which would be input[0]
     const oracleReturn = await client.request(name, [
-      { Array: input[0].map((i) => i.toString("hex")) },
+      input[0].map((i) => i.toString("hex")),
     ]);
     return [oracleReturn.values[0].Array];
 };

From f326517c2c9a7016d95d0a7ff31a615fdd42a311 Mon Sep 17 00:00:00 2001
From: Tom French <15848336+TomAFrench@users.noreply.github.com>
Date: Mon, 1 Jul 2024 19:35:06 +0100
Subject: [PATCH 8/8] Update docs/docs/how_to/how-to-oracles.md

---
 docs/docs/how_to/how-to-oracles.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/how_to/how-to-oracles.md b/docs/docs/how_to/how-to-oracles.md
index b810930df47..df41276cfe1 100644
--- a/docs/docs/how_to/how-to-oracles.md
+++ b/docs/docs/how_to/how-to-oracles.md
@@ -238,7 +238,7 @@ const foreignCallHandler = async (name, input) => {
     const oracleReturn = await client.request(name, [
       input[0].map((i) => i.toString("hex")),
     ]);
-    return [oracleReturn.values[0].Array];
+    return { values: oracleReturn };
 };
 
 // the rest of your NoirJS code