Merge branch 'master' into release-please--branches--master

noir-lang · Nov 28, 2023 · 93ba12b · 93ba12b
2 parents e89c612 + a847fca
commit 93ba12b
Show file tree

Hide file tree

Showing 1,013 changed files with 38 additions and 49 deletions.
diff --git a/.github/workflows/auto-pr-rebuild-script.yml b/.github/workflows/auto-pr-rebuild-script.yml
@@ -99,7 +99,7 @@ jobs:
           git config --local user.email kevtheappdev@gmail.com
 
       - name: Run rebuild script
-        working-directory: tooling/nargo_cli/tests
+        working-directory: test_programs
         run: |
           chmod +x ./rebuild.sh
           ./rebuild.sh
@@ -108,14 +108,14 @@ jobs:
         uses: actions/upload-artifact@v3
         with:
           name: acir-artifacts
-          path: ./tooling/nargo_cli/tests/acir_artifacts
+          path: ./test_programs/acir_artifacts
           retention-days: 10
 
       - name: Check for changes in acir_artifacts directory
         id: check_changes
         if: ${{ github.ref_name }} == "master"
         run: |
-          git diff --quiet tooling/nargo_cli/tests/acir_artifacts/ || echo "::set-output name=changes::true"
+          git diff --quiet test_programs/acir_artifacts/ || echo "::set-output name=changes::true"
           
       - name: Create or Update PR
         if: steps.check_changes.outputs.changes == 'true'
@@ -125,6 +125,6 @@ jobs:
           commit-message: "chore: update acir artifacts"
           title: "chore: Update ACIR artifacts"
           body: "Automatic PR to update acir artifacts"
-          add-paths: tooling/nargo_cli/tests/acir_artifacts/*.gz
+          add-paths: test_programs/acir_artifacts/*.gz
           labels: "auto-pr"
           branch: "auto-pr-rebuild-script-branch"
diff --git a/.github/workflows/gates_report.yml b/.github/workflows/gates_report.yml
@@ -50,9 +50,7 @@ jobs:
       pull-requests: write
 
     steps:
-      - uses: actions/checkout@v3
-        with:
-          submodules: recursive
+      - uses: actions/checkout@v4
 
       - name: Download nargo binary
         uses: actions/download-artifact@v3
@@ -69,10 +67,10 @@ jobs:
           nargo -V
 
       - name: Generate gates report
-        working-directory: ./tooling/nargo_cli/tests
+        working-directory: ./test_programs
         run: |
           ./gates_report.sh
-          mv gates_report.json ../../../gates_report.json
+          mv gates_report.json ../gates_report.json
        
       - name: Compare gates reports
         id: gates_diff

diff --git a/.gitignore b/.gitignore
@@ -36,9 +36,10 @@ result
 *.pk
 *.vk
 **/Verifier.toml
+**/contract
 **/target
-!tooling/nargo_cli/tests/acir_artifacts/*/target
-!tooling/nargo_cli/tests/acir_artifacts/*/target/witness.gz
+!test_programs/acir_artifacts/*/target
+!test_programs/acir_artifacts/*/target/witness.gz
 !compiler/wasm/noir-script/target
 
 gates_report.json

diff --git a/compiler/integration-tests/circuits/main/Nargo.toml b/compiler/integration-tests/circuits/main/Nargo.toml
diff --git a/compiler/integration-tests/scripts/codegen-verifiers.sh b/compiler/integration-tests/scripts/codegen-verifiers.sh
@@ -5,16 +5,16 @@ self_path=$(dirname "$(readlink -f "$0")")
 repo_root=$self_path/../../..
 
 # Run codegen-verifier for 1_mul
-mul_dir=$repo_root/tooling/nargo_cli/tests/execution_success/1_mul
+mul_dir=$repo_root/test_programs/execution_success/1_mul
 nargo --program-dir $mul_dir codegen-verifier
 
-# Run codegen-verifier for main
-main_dir=$repo_root/compiler/integration-tests/circuits/main
-nargo --program-dir $main_dir codegen-verifier
+# Run codegen-verifier for assert_statement
+assert_statement_dir=$repo_root/test_programs/execution_success/assert_statement
+nargo --program-dir $assert_statement_dir codegen-verifier
 
 # Copy compiled contracts from the root of compiler/integration-tests
 contracts_dir=$self_path/../contracts
 mkdir $contracts_dir
 
 cp $mul_dir/contract/1_mul/plonk_vk.sol $contracts_dir/1_mul.sol
-cp $main_dir/contract/main/plonk_vk.sol $contracts_dir/main.sol
+cp $assert_statement_dir/contract/assert_statement/plonk_vk.sol $contracts_dir/assert_statement.sol
diff --git a/compiler/integration-tests/test/browser/compile_prove_verify.test.ts b/compiler/integration-tests/test/browser/compile_prove_verify.test.ts
@@ -19,11 +19,11 @@ compilerLogLevel('INFO');
 
 const test_cases = [
   {
-    case: 'tooling/nargo_cli/tests/execution_success/1_mul',
+    case: 'test_programs/execution_success/1_mul',
     numPublicInputs: 0,
   },
   {
-    case: 'compiler/integration-tests/circuits/main',
+    case: 'test_programs/execution_success/assert_statement',
     numPublicInputs: 1,
   },
 ];

diff --git a/compiler/integration-tests/test/browser/recursion.test.ts b/compiler/integration-tests/test/browser/recursion.test.ts
@@ -23,7 +23,7 @@ await initACVM();
 compilerLogLevel('INFO');
 
 const base_relative_path = '../../../../..';
-const circuit_main = 'compiler/integration-tests/circuits/main';
+const circuit_main = 'test_programs/execution_success/assert_statement';
 const circuit_recursion = 'compiler/integration-tests/circuits/recursion';
 
 function getCircuit(noirSource: string): CompiledProgram {

diff --git a/compiler/integration-tests/test/node/smart_contract_verifier.test.ts b/compiler/integration-tests/test/node/smart_contract_verifier.test.ts
@@ -13,13 +13,13 @@ compilerLogLevel('INFO');
 
 const test_cases = [
   {
-    case: 'tooling/nargo_cli/tests/execution_success/1_mul',
+    case: 'test_programs/execution_success/1_mul',
     compiled: 'contracts/1_mul.sol:UltraVerifier',
     numPublicInputs: 0,
   },
   {
-    case: 'compiler/integration-tests/circuits/main',
-    compiled: 'contracts/main.sol:UltraVerifier',
+    case: 'test_programs/execution_success/assert_statement',
+    compiled: 'contracts/assert_statement.sol:UltraVerifier',
     numPublicInputs: 1,
   },
 ];

diff --git a/release-tests/test/6_array.test.js b/release-tests/test/6_array.test.js
@@ -19,27 +19,27 @@ test("promise resolved", async () => {
   promiseResolved = true;
 });
 
-test("nargo builds ../tooling/nargo_cli/tests/execution_success/6_array sucessfully", async () => {
+test("nargo builds ../test_programs/execution_success/6_array sucessfully", async () => {
   await within(async () => {
-    cd("../tooling/nargo_cli/tests/execution_success/6_array");
+    cd("../test_programs/execution_success/6_array");
     const command = `${NARGO_BIN} check`;
 
     await $`${command}`.nothrow();
   });
 });
 
-test("nargo creates proof ../tooling/nargo_cli/tests/execution_success/6_array sucessfully", async () => {
+test("nargo creates proof ../test_programs/execution_success/6_array sucessfully", async () => {
   await within(async () => {
-    cd("../tooling/nargo_cli/tests/execution_success/6_array");
+    cd("../test_programs/execution_success/6_array");
     const command = `${NARGO_BIN} prove 6_array`;
 
     await $`${command}`.nothrow();
   });
 });
 
-test("nargo verifies proof ../tooling/nargo_cli/tests/execution_success/6_array sucessfully", async () => {
+test("nargo verifies proof ../test_programs/execution_success/6_array sucessfully", async () => {
   await within(async () => {
-    cd("../tooling/nargo_cli/tests/execution_success/6_array");
+    cd("../test_programs/execution_success/6_array");
     const command = `${NARGO_BIN} verify 6_array`;
 
     await $`${command}`.nothrow();

diff --git a/tooling/nargo_cli/tests/README.md → test_programs/README.md b/tooling/nargo_cli/tests/README.md → test_programs/README.md
diff --git a/...s/1327_concrete_in_generic/target/acir.gz → ...s/1327_concrete_in_generic/target/acir.gz b/...s/1327_concrete_in_generic/target/acir.gz → ...s/1327_concrete_in_generic/target/acir.gz
diff --git a/...327_concrete_in_generic/target/witness.gz → ...327_concrete_in_generic/target/witness.gz b/...327_concrete_in_generic/target/witness.gz → ...327_concrete_in_generic/target/witness.gz
diff --git a/...tests/acir_artifacts/1_mul/target/acir.gz → ...grams/acir_artifacts/1_mul/target/acir.gz b/...tests/acir_artifacts/1_mul/target/acir.gz → ...grams/acir_artifacts/1_mul/target/acir.gz
diff --git a/...ts/acir_artifacts/1_mul/target/witness.gz → ...ms/acir_artifacts/1_mul/target/witness.gz b/...ts/acir_artifacts/1_mul/target/witness.gz → ...ms/acir_artifacts/1_mul/target/witness.gz
diff --git a/...tests/acir_artifacts/2_div/target/acir.gz → ...grams/acir_artifacts/2_div/target/acir.gz b/...tests/acir_artifacts/2_div/target/acir.gz → ...grams/acir_artifacts/2_div/target/acir.gz
diff --git a/...ts/acir_artifacts/2_div/target/witness.gz → ...ms/acir_artifacts/2_div/target/witness.gz b/...ts/acir_artifacts/2_div/target/witness.gz → ...ms/acir_artifacts/2_div/target/witness.gz
diff --git a/...tests/acir_artifacts/3_add/target/acir.gz → ...grams/acir_artifacts/3_add/target/acir.gz b/...tests/acir_artifacts/3_add/target/acir.gz → ...grams/acir_artifacts/3_add/target/acir.gz
diff --git a/...ts/acir_artifacts/3_add/target/witness.gz → ...ms/acir_artifacts/3_add/target/witness.gz b/...ts/acir_artifacts/3_add/target/witness.gz → ...ms/acir_artifacts/3_add/target/witness.gz
diff --git a/...tests/acir_artifacts/4_sub/target/acir.gz → ...grams/acir_artifacts/4_sub/target/acir.gz b/...tests/acir_artifacts/4_sub/target/acir.gz → ...grams/acir_artifacts/4_sub/target/acir.gz
diff --git a/...ts/acir_artifacts/4_sub/target/witness.gz → ...ms/acir_artifacts/4_sub/target/witness.gz b/...ts/acir_artifacts/4_sub/target/witness.gz → ...ms/acir_artifacts/4_sub/target/witness.gz
diff --git a/...ests/acir_artifacts/5_over/target/acir.gz → ...rams/acir_artifacts/5_over/target/acir.gz b/...ests/acir_artifacts/5_over/target/acir.gz → ...rams/acir_artifacts/5_over/target/acir.gz
diff --git a/...s/acir_artifacts/5_over/target/witness.gz → ...s/acir_artifacts/5_over/target/witness.gz b/...s/acir_artifacts/5_over/target/witness.gz → ...s/acir_artifacts/5_over/target/witness.gz
diff --git a/...cli/tests/acir_artifacts/6/target/acir.gz → ..._programs/acir_artifacts/6/target/acir.gz b/...cli/tests/acir_artifacts/6/target/acir.gz → ..._programs/acir_artifacts/6/target/acir.gz
diff --git a/.../tests/acir_artifacts/6/target/witness.gz → ...ograms/acir_artifacts/6/target/witness.gz b/.../tests/acir_artifacts/6/target/witness.gz → ...ograms/acir_artifacts/6/target/witness.gz
diff --git a/...sts/acir_artifacts/6_array/target/acir.gz → ...ams/acir_artifacts/6_array/target/acir.gz b/...sts/acir_artifacts/6_array/target/acir.gz → ...ams/acir_artifacts/6_array/target/acir.gz
diff --git a/.../acir_artifacts/6_array/target/witness.gz → .../acir_artifacts/6_array/target/witness.gz b/.../acir_artifacts/6_array/target/witness.gz → .../acir_artifacts/6_array/target/witness.gz
diff --git a/...cli/tests/acir_artifacts/7/target/acir.gz → ..._programs/acir_artifacts/7/target/acir.gz b/...cli/tests/acir_artifacts/7/target/acir.gz → ..._programs/acir_artifacts/7/target/acir.gz
diff --git a/.../tests/acir_artifacts/7/target/witness.gz → ...ograms/acir_artifacts/7/target/witness.gz b/.../tests/acir_artifacts/7/target/witness.gz → ...ograms/acir_artifacts/7/target/witness.gz
diff --git a/.../acir_artifacts/7_function/target/acir.gz → .../acir_artifacts/7_function/target/acir.gz b/.../acir_artifacts/7_function/target/acir.gz → .../acir_artifacts/7_function/target/acir.gz
diff --git a/...ir_artifacts/7_function/target/witness.gz → ...ir_artifacts/7_function/target/witness.gz b/...ir_artifacts/7_function/target/witness.gz → ...ir_artifacts/7_function/target/witness.gz
diff --git a/...ithmetic_binary_operations/target/acir.gz → ...ithmetic_binary_operations/target/acir.gz b/...ithmetic_binary_operations/target/acir.gz → ...ithmetic_binary_operations/target/acir.gz
diff --git a/...metic_binary_operations/target/witness.gz → ...metic_binary_operations/target/witness.gz b/...metic_binary_operations/target/witness.gz → ...metic_binary_operations/target/witness.gz
diff --git a/...ir_artifacts/array_dynamic/target/acir.gz → ...ir_artifacts/array_dynamic/target/acir.gz b/...ir_artifacts/array_dynamic/target/acir.gz → ...ir_artifacts/array_dynamic/target/acir.gz
diff --git a/...artifacts/array_dynamic/target/witness.gz → ...artifacts/array_dynamic/target/witness.gz b/...artifacts/array_dynamic/target/witness.gz → ...artifacts/array_dynamic/target/witness.gz
diff --git a/...ts/acir_artifacts/array_eq/target/acir.gz → ...ms/acir_artifacts/array_eq/target/acir.gz b/...ts/acir_artifacts/array_eq/target/acir.gz → ...ms/acir_artifacts/array_eq/target/acir.gz
diff --git a/...acir_artifacts/array_eq/target/witness.gz → ...acir_artifacts/array_eq/target/witness.gz b/...acir_artifacts/array_eq/target/witness.gz → ...acir_artifacts/array_eq/target/witness.gz
diff --git a/...s/acir_artifacts/array_len/target/acir.gz → ...s/acir_artifacts/array_len/target/acir.gz b/...s/acir_artifacts/array_len/target/acir.gz → ...s/acir_artifacts/array_len/target/acir.gz
diff --git a/...cir_artifacts/array_len/target/witness.gz → ...cir_artifacts/array_len/target/witness.gz b/...cir_artifacts/array_len/target/witness.gz → ...cir_artifacts/array_len/target/witness.gz
diff --git a/...s/acir_artifacts/array_neq/target/acir.gz → ...s/acir_artifacts/array_neq/target/acir.gz b/...s/acir_artifacts/array_neq/target/acir.gz → ...s/acir_artifacts/array_neq/target/acir.gz
diff --git a/...cir_artifacts/array_neq/target/witness.gz → ...cir_artifacts/array_neq/target/witness.gz b/...cir_artifacts/array_neq/target/witness.gz → ...cir_artifacts/array_neq/target/witness.gz
diff --git a/.../acir_artifacts/array_sort/target/acir.gz → .../acir_artifacts/array_sort/target/acir.gz b/.../acir_artifacts/array_sort/target/acir.gz → .../acir_artifacts/array_sort/target/acir.gz
diff --git a/...ir_artifacts/array_sort/target/witness.gz → ...ir_artifacts/array_sort/target/witness.gz b/...ir_artifacts/array_sort/target/witness.gz → ...ir_artifacts/array_sort/target/witness.gz
diff --git a/...ests/acir_artifacts/assert/target/acir.gz → ...rams/acir_artifacts/assert/target/acir.gz b/...ests/acir_artifacts/assert/target/acir.gz → ...rams/acir_artifacts/assert/target/acir.gz
diff --git a/...s/acir_artifacts/assert/target/witness.gz → ...s/acir_artifacts/assert/target/witness.gz b/...s/acir_artifacts/assert/target/witness.gz → ...s/acir_artifacts/assert/target/witness.gz
diff --git a/...artifacts/assert_statement/target/acir.gz → ...artifacts/assert_statement/target/acir.gz b/...artifacts/assert_statement/target/acir.gz → ...artifacts/assert_statement/target/acir.gz
diff --git a/...ifacts/assert_statement/target/witness.gz → ...ifacts/assert_statement/target/witness.gz b/...ifacts/assert_statement/target/witness.gz → ...ifacts/assert_statement/target/witness.gz
diff --git a/...s/acir_artifacts/assign_ex/target/acir.gz → ...s/acir_artifacts/assign_ex/target/acir.gz b/...s/acir_artifacts/assign_ex/target/acir.gz → ...s/acir_artifacts/assign_ex/target/acir.gz
diff --git a/...cir_artifacts/assign_ex/target/witness.gz → ...cir_artifacts/assign_ex/target/witness.gz b/...cir_artifacts/assign_ex/target/witness.gz → ...cir_artifacts/assign_ex/target/witness.gz
diff --git a/...sts/acir_artifacts/bit_and/target/acir.gz → ...ams/acir_artifacts/bit_and/target/acir.gz b/...sts/acir_artifacts/bit_and/target/acir.gz → ...ams/acir_artifacts/bit_and/target/acir.gz
diff --git a/.../acir_artifacts/bit_and/target/witness.gz → .../acir_artifacts/bit_and/target/witness.gz b/.../acir_artifacts/bit_and/target/witness.gz → .../acir_artifacts/bit_and/target/witness.gz
diff --git a/...ifacts/bit_shifts_comptime/target/acir.gz → ...ifacts/bit_shifts_comptime/target/acir.gz b/...ifacts/bit_shifts_comptime/target/acir.gz → ...ifacts/bit_shifts_comptime/target/acir.gz
diff --git a/...cts/bit_shifts_comptime/target/witness.gz → ...cts/bit_shifts_comptime/target/witness.gz b/...cts/bit_shifts_comptime/target/witness.gz → ...cts/bit_shifts_comptime/target/witness.gz
diff --git a/...tifacts/bit_shifts_runtime/target/acir.gz → ...tifacts/bit_shifts_runtime/target/acir.gz b/...tifacts/bit_shifts_runtime/target/acir.gz → ...tifacts/bit_shifts_runtime/target/acir.gz
diff --git a/...acts/bit_shifts_runtime/target/witness.gz → ...acts/bit_shifts_runtime/target/witness.gz b/...acts/bit_shifts_runtime/target/witness.gz → ...acts/bit_shifts_runtime/target/witness.gz
diff --git a/...ts/acir_artifacts/bool_not/target/acir.gz → ...ms/acir_artifacts/bool_not/target/acir.gz b/...ts/acir_artifacts/bool_not/target/acir.gz → ...ms/acir_artifacts/bool_not/target/acir.gz
diff --git a/...acir_artifacts/bool_not/target/witness.gz → ...acir_artifacts/bool_not/target/witness.gz b/...acir_artifacts/bool_not/target/witness.gz → ...acir_artifacts/bool_not/target/witness.gz
diff --git a/...sts/acir_artifacts/bool_or/target/acir.gz → ...ams/acir_artifacts/bool_or/target/acir.gz b/...sts/acir_artifacts/bool_or/target/acir.gz → ...ams/acir_artifacts/bool_or/target/acir.gz
diff --git a/.../acir_artifacts/bool_or/target/witness.gz → .../acir_artifacts/bool_or/target/witness.gz b/.../acir_artifacts/bool_or/target/witness.gz → .../acir_artifacts/bool_or/target/witness.gz
diff --git a/...ts/brillig_acir_as_brillig/target/acir.gz → ...ts/brillig_acir_as_brillig/target/acir.gz b/...ts/brillig_acir_as_brillig/target/acir.gz → ...ts/brillig_acir_as_brillig/target/acir.gz
diff --git a/...brillig_acir_as_brillig/target/witness.gz → ...brillig_acir_as_brillig/target/witness.gz b/...brillig_acir_as_brillig/target/witness.gz → ...brillig_acir_as_brillig/target/witness.gz
diff --git a/...r_artifacts/brillig_arrays/target/acir.gz → ...r_artifacts/brillig_arrays/target/acir.gz b/...r_artifacts/brillig_arrays/target/acir.gz → ...r_artifacts/brillig_arrays/target/acir.gz
diff --git a/...rtifacts/brillig_arrays/target/witness.gz → ...rtifacts/brillig_arrays/target/witness.gz b/...rtifacts/brillig_arrays/target/witness.gz → ...rtifacts/brillig_arrays/target/witness.gz
diff --git a/...r_artifacts/brillig_assert/target/acir.gz → ...r_artifacts/brillig_assert/target/acir.gz b/...r_artifacts/brillig_assert/target/acir.gz → ...r_artifacts/brillig_assert/target/acir.gz
diff --git a/...rtifacts/brillig_assert/target/witness.gz → ...rtifacts/brillig_assert/target/witness.gz b/...rtifacts/brillig_assert/target/witness.gz → ...rtifacts/brillig_assert/target/witness.gz
diff --git a/..._artifacts/brillig_blake2s/target/acir.gz → ..._artifacts/brillig_blake2s/target/acir.gz b/..._artifacts/brillig_blake2s/target/acir.gz → ..._artifacts/brillig_blake2s/target/acir.gz
diff --git a/...tifacts/brillig_blake2s/target/witness.gz → ...tifacts/brillig_blake2s/target/witness.gz b/...tifacts/brillig_blake2s/target/witness.gz → ...tifacts/brillig_blake2s/target/witness.gz
diff --git a/...ir_artifacts/brillig_calls/target/acir.gz → ...ir_artifacts/brillig_calls/target/acir.gz b/...ir_artifacts/brillig_calls/target/acir.gz → ...ir_artifacts/brillig_calls/target/acir.gz
diff --git a/...artifacts/brillig_calls/target/witness.gz → ...artifacts/brillig_calls/target/witness.gz b/...artifacts/brillig_calls/target/witness.gz → ...artifacts/brillig_calls/target/witness.gz
diff --git a/...ifacts/brillig_calls_array/target/acir.gz → ...ifacts/brillig_calls_array/target/acir.gz b/...ifacts/brillig_calls_array/target/acir.gz → ...ifacts/brillig_calls_array/target/acir.gz
diff --git a/...cts/brillig_calls_array/target/witness.gz → ...cts/brillig_calls_array/target/witness.gz b/...cts/brillig_calls_array/target/witness.gz → ...cts/brillig_calls_array/target/witness.gz
diff --git a/...brillig_calls_conditionals/target/acir.gz → ...brillig_calls_conditionals/target/acir.gz b/...brillig_calls_conditionals/target/acir.gz → ...brillig_calls_conditionals/target/acir.gz
diff --git a/...llig_calls_conditionals/target/witness.gz → ...llig_calls_conditionals/target/witness.gz b/...llig_calls_conditionals/target/witness.gz → ...llig_calls_conditionals/target/witness.gz
diff --git a/...ifacts/brillig_conditional/target/acir.gz → ...ifacts/brillig_conditional/target/acir.gz b/...ifacts/brillig_conditional/target/acir.gz → ...ifacts/brillig_conditional/target/acir.gz
diff --git a/...cts/brillig_conditional/target/witness.gz → ...cts/brillig_conditional/target/witness.gz b/...cts/brillig_conditional/target/witness.gz → ...cts/brillig_conditional/target/witness.gz
diff --git a/...ir_artifacts/brillig_ecdsa/target/acir.gz → ...ir_artifacts/brillig_ecdsa/target/acir.gz b/...ir_artifacts/brillig_ecdsa/target/acir.gz → ...ir_artifacts/brillig_ecdsa/target/acir.gz
diff --git a/...artifacts/brillig_ecdsa/target/witness.gz → ...artifacts/brillig_ecdsa/target/witness.gz b/...artifacts/brillig_ecdsa/target/witness.gz → ...artifacts/brillig_ecdsa/target/witness.gz
diff --git a/...acts/brillig_fns_as_values/target/acir.gz → ...acts/brillig_fns_as_values/target/acir.gz b/...acts/brillig_fns_as_values/target/acir.gz → ...acts/brillig_fns_as_values/target/acir.gz
diff --git a/...s/brillig_fns_as_values/target/witness.gz → ...s/brillig_fns_as_values/target/witness.gz b/...s/brillig_fns_as_values/target/witness.gz → ...s/brillig_fns_as_values/target/witness.gz
diff --git a/...acts/brillig_hash_to_field/target/acir.gz → ...acts/brillig_hash_to_field/target/acir.gz b/...acts/brillig_hash_to_field/target/acir.gz → ...acts/brillig_hash_to_field/target/acir.gz
diff --git a/...s/brillig_hash_to_field/target/witness.gz → ...s/brillig_hash_to_field/target/witness.gz b/...s/brillig_hash_to_field/target/witness.gz → ...s/brillig_hash_to_field/target/witness.gz
diff --git a/.../brillig_identity_function/target/acir.gz → .../brillig_identity_function/target/acir.gz b/.../brillig_identity_function/target/acir.gz → .../brillig_identity_function/target/acir.gz
diff --git a/...illig_identity_function/target/witness.gz → ...illig_identity_function/target/witness.gz b/...illig_identity_function/target/witness.gz → ...illig_identity_function/target/witness.gz
diff --git a/...r_artifacts/brillig_keccak/target/acir.gz → ...r_artifacts/brillig_keccak/target/acir.gz b/...r_artifacts/brillig_keccak/target/acir.gz → ...r_artifacts/brillig_keccak/target/acir.gz
diff --git a/...rtifacts/brillig_keccak/target/witness.gz → ...rtifacts/brillig_keccak/target/witness.gz b/...rtifacts/brillig_keccak/target/witness.gz → ...rtifacts/brillig_keccak/target/witness.gz
diff --git a/...cir_artifacts/brillig_loop/target/acir.gz → ...cir_artifacts/brillig_loop/target/acir.gz b/...cir_artifacts/brillig_loop/target/acir.gz → ...cir_artifacts/brillig_loop/target/acir.gz
diff --git a/..._artifacts/brillig_loop/target/witness.gz → ..._artifacts/brillig_loop/target/witness.gz b/..._artifacts/brillig_loop/target/witness.gz → ..._artifacts/brillig_loop/target/witness.gz
diff --git a/...acts/brillig_nested_arrays/target/acir.gz → ...acts/brillig_nested_arrays/target/acir.gz b/...acts/brillig_nested_arrays/target/acir.gz → ...acts/brillig_nested_arrays/target/acir.gz
diff --git a/...s/brillig_nested_arrays/target/witness.gz → ...s/brillig_nested_arrays/target/witness.gz b/...s/brillig_nested_arrays/target/witness.gz → ...s/brillig_nested_arrays/target/witness.gz
diff --git a/...acts/brillig_nested_slices/target/acir.gz → ...acts/brillig_nested_slices/target/acir.gz b/...acts/brillig_nested_slices/target/acir.gz → ...acts/brillig_nested_slices/target/acir.gz
diff --git a/...s/brillig_nested_slices/target/witness.gz → ...s/brillig_nested_slices/target/witness.gz b/...s/brillig_nested_slices/target/witness.gz → ...s/brillig_nested_slices/target/witness.gz
diff --git a/...acir_artifacts/brillig_not/target/acir.gz → ...acir_artifacts/brillig_not/target/acir.gz b/...acir_artifacts/brillig_not/target/acir.gz → ...acir_artifacts/brillig_not/target/acir.gz
diff --git a/...r_artifacts/brillig_not/target/witness.gz → ...r_artifacts/brillig_not/target/witness.gz b/...r_artifacts/brillig_not/target/witness.gz → ...r_artifacts/brillig_not/target/witness.gz
diff --git a/...r_artifacts/brillig_oracle/target/acir.gz → ...r_artifacts/brillig_oracle/target/acir.gz b/...r_artifacts/brillig_oracle/target/acir.gz → ...r_artifacts/brillig_oracle/target/acir.gz
diff --git a/...rtifacts/brillig_oracle/target/witness.gz → ...rtifacts/brillig_oracle/target/witness.gz b/...rtifacts/brillig_oracle/target/witness.gz → ...rtifacts/brillig_oracle/target/witness.gz
diff --git a/...artifacts/brillig_pedersen/target/acir.gz → ...artifacts/brillig_pedersen/target/acir.gz b/...artifacts/brillig_pedersen/target/acir.gz → ...artifacts/brillig_pedersen/target/acir.gz
diff --git a/...ifacts/brillig_pedersen/target/witness.gz → ...ifacts/brillig_pedersen/target/witness.gz b/...ifacts/brillig_pedersen/target/witness.gz → ...ifacts/brillig_pedersen/target/witness.gz
diff --git a/...rtifacts/brillig_recursion/target/acir.gz → ...rtifacts/brillig_recursion/target/acir.gz b/...rtifacts/brillig_recursion/target/acir.gz → ...rtifacts/brillig_recursion/target/acir.gz
diff --git a/...facts/brillig_recursion/target/witness.gz → ...facts/brillig_recursion/target/witness.gz b/...facts/brillig_recursion/target/witness.gz → ...facts/brillig_recursion/target/witness.gz
diff --git a/...tifacts/brillig_references/target/acir.gz → ...tifacts/brillig_references/target/acir.gz b/...tifacts/brillig_references/target/acir.gz → ...tifacts/brillig_references/target/acir.gz
diff --git a/...acts/brillig_references/target/witness.gz → ...acts/brillig_references/target/witness.gz b/...acts/brillig_references/target/witness.gz → ...acts/brillig_references/target/witness.gz
diff --git a/...tifacts/brillig_scalar_mul/target/acir.gz → ...tifacts/brillig_scalar_mul/target/acir.gz b/...tifacts/brillig_scalar_mul/target/acir.gz → ...tifacts/brillig_scalar_mul/target/acir.gz
diff --git a/...acts/brillig_scalar_mul/target/witness.gz → ...acts/brillig_scalar_mul/target/witness.gz b/...acts/brillig_scalar_mul/target/witness.gz → ...acts/brillig_scalar_mul/target/witness.gz
diff --git a/..._artifacts/brillig_schnorr/target/acir.gz → ..._artifacts/brillig_schnorr/target/acir.gz b/..._artifacts/brillig_schnorr/target/acir.gz → ..._artifacts/brillig_schnorr/target/acir.gz
diff --git a/...tifacts/brillig_schnorr/target/witness.gz → ...tifacts/brillig_schnorr/target/witness.gz b/...tifacts/brillig_schnorr/target/witness.gz → ...tifacts/brillig_schnorr/target/witness.gz
diff --git a/...r_artifacts/brillig_sha256/target/acir.gz → ...r_artifacts/brillig_sha256/target/acir.gz b/...r_artifacts/brillig_sha256/target/acir.gz → ...r_artifacts/brillig_sha256/target/acir.gz
diff --git a/...rtifacts/brillig_sha256/target/witness.gz → ...rtifacts/brillig_sha256/target/witness.gz b/...rtifacts/brillig_sha256/target/witness.gz → ...rtifacts/brillig_sha256/target/witness.gz
diff --git a/...r_artifacts/brillig_slices/target/acir.gz → ...r_artifacts/brillig_slices/target/acir.gz b/...r_artifacts/brillig_slices/target/acir.gz → ...r_artifacts/brillig_slices/target/acir.gz
diff --git a/...rtifacts/brillig_slices/target/witness.gz → ...rtifacts/brillig_slices/target/witness.gz b/...rtifacts/brillig_slices/target/witness.gz → ...rtifacts/brillig_slices/target/witness.gz
diff --git a/...ifacts/brillig_to_be_bytes/target/acir.gz → ...ifacts/brillig_to_be_bytes/target/acir.gz b/...ifacts/brillig_to_be_bytes/target/acir.gz → ...ifacts/brillig_to_be_bytes/target/acir.gz
diff --git a/...cts/brillig_to_be_bytes/target/witness.gz → ...cts/brillig_to_be_bytes/target/witness.gz b/...cts/brillig_to_be_bytes/target/witness.gz → ...cts/brillig_to_be_bytes/target/witness.gz
diff --git a/...illig_to_bytes_integration/target/acir.gz → ...illig_to_bytes_integration/target/acir.gz b/...illig_to_bytes_integration/target/acir.gz → ...illig_to_bytes_integration/target/acir.gz
diff --git a/...ig_to_bytes_integration/target/witness.gz → ...ig_to_bytes_integration/target/witness.gz b/...ig_to_bytes_integration/target/witness.gz → ...ig_to_bytes_integration/target/witness.gz
diff --git a/...ifacts/brillig_to_le_bytes/target/acir.gz → ...ifacts/brillig_to_le_bytes/target/acir.gz b/...ifacts/brillig_to_le_bytes/target/acir.gz → ...ifacts/brillig_to_le_bytes/target/acir.gz
diff --git a/...cts/brillig_to_le_bytes/target/witness.gz → ...cts/brillig_to_le_bytes/target/witness.gz b/...cts/brillig_to_le_bytes/target/witness.gz → ...cts/brillig_to_le_bytes/target/witness.gz
diff --git a/...rtifacts/brillig_top_level/target/acir.gz → ...rtifacts/brillig_top_level/target/acir.gz b/...rtifacts/brillig_top_level/target/acir.gz → ...rtifacts/brillig_top_level/target/acir.gz
diff --git a/...facts/brillig_top_level/target/witness.gz → ...facts/brillig_top_level/target/witness.gz b/...facts/brillig_top_level/target/witness.gz → ...facts/brillig_top_level/target/witness.gz
diff --git a/...brillig_unitialised_arrays/target/acir.gz → ...brillig_unitialised_arrays/target/acir.gz b/...brillig_unitialised_arrays/target/acir.gz → ...brillig_unitialised_arrays/target/acir.gz
diff --git a/...llig_unitialised_arrays/target/witness.gz → ...llig_unitialised_arrays/target/witness.gz b/...llig_unitialised_arrays/target/witness.gz → ...llig_unitialised_arrays/target/witness.gz
diff --git a/...s/acir_artifacts/cast_bool/target/acir.gz → ...s/acir_artifacts/cast_bool/target/acir.gz b/...s/acir_artifacts/cast_bool/target/acir.gz → ...s/acir_artifacts/cast_bool/target/acir.gz
diff --git a/...cir_artifacts/cast_bool/target/witness.gz → ...cir_artifacts/cast_bool/target/witness.gz b/...cir_artifacts/cast_bool/target/witness.gz → ...cir_artifacts/cast_bool/target/witness.gz
diff --git a/...artifacts/closures_mut_ref/target/acir.gz → ...artifacts/closures_mut_ref/target/acir.gz b/...artifacts/closures_mut_ref/target/acir.gz → ...artifacts/closures_mut_ref/target/acir.gz
diff --git a/...ifacts/closures_mut_ref/target/witness.gz → ...ifacts/closures_mut_ref/target/witness.gz b/...ifacts/closures_mut_ref/target/witness.gz → ...ifacts/closures_mut_ref/target/witness.gz
diff --git a/...ir_artifacts/conditional_1/target/acir.gz → ...ir_artifacts/conditional_1/target/acir.gz b/...ir_artifacts/conditional_1/target/acir.gz → ...ir_artifacts/conditional_1/target/acir.gz
diff --git a/...artifacts/conditional_1/target/witness.gz → ...artifacts/conditional_1/target/witness.gz b/...artifacts/conditional_1/target/witness.gz → ...artifacts/conditional_1/target/witness.gz
diff --git a/...ir_artifacts/conditional_2/target/acir.gz → ...ir_artifacts/conditional_2/target/acir.gz b/...ir_artifacts/conditional_2/target/acir.gz → ...ir_artifacts/conditional_2/target/acir.gz
diff --git a/...artifacts/conditional_2/target/witness.gz → ...artifacts/conditional_2/target/witness.gz b/...artifacts/conditional_2/target/witness.gz → ...artifacts/conditional_2/target/witness.gz
diff --git a/...conditional_regression_421/target/acir.gz → ...conditional_regression_421/target/acir.gz b/...conditional_regression_421/target/acir.gz → ...conditional_regression_421/target/acir.gz
diff --git a/...ditional_regression_421/target/witness.gz → ...ditional_regression_421/target/witness.gz b/...ditional_regression_421/target/witness.gz → ...ditional_regression_421/target/witness.gz
diff --git a/...conditional_regression_661/target/acir.gz → ...conditional_regression_661/target/acir.gz b/...conditional_regression_661/target/acir.gz → ...conditional_regression_661/target/acir.gz
diff --git a/...ditional_regression_661/target/witness.gz → ...ditional_regression_661/target/witness.gz b/...ditional_regression_661/target/witness.gz → ...ditional_regression_661/target/witness.gz
diff --git a/...l_regression_short_circuit/target/acir.gz → ...l_regression_short_circuit/target/acir.gz b/...l_regression_short_circuit/target/acir.gz → ...l_regression_short_circuit/target/acir.gz
diff --git a/...egression_short_circuit/target/witness.gz → ...egression_short_circuit/target/witness.gz b/...egression_short_circuit/target/witness.gz → ...egression_short_circuit/target/witness.gz
diff --git a/...ional_regression_underflow/target/acir.gz → ...ional_regression_underflow/target/acir.gz b/...ional_regression_underflow/target/acir.gz → ...ional_regression_underflow/target/acir.gz
diff --git a/...al_regression_underflow/target/witness.gz → ...al_regression_underflow/target/witness.gz b/...al_regression_underflow/target/witness.gz → ...al_regression_underflow/target/witness.gz
diff --git a/...cir_artifacts/custom_entry/target/acir.gz → ...cir_artifacts/custom_entry/target/acir.gz b/...cir_artifacts/custom_entry/target/acir.gz → ...cir_artifacts/custom_entry/target/acir.gz
diff --git a/..._artifacts/custom_entry/target/witness.gz → ..._artifacts/custom_entry/target/witness.gz b/..._artifacts/custom_entry/target/witness.gz → ..._artifacts/custom_entry/target/witness.gz
diff --git a/.../acir_artifacts/debug_logs/target/acir.gz → .../acir_artifacts/debug_logs/target/acir.gz b/.../acir_artifacts/debug_logs/target/acir.gz → .../acir_artifacts/debug_logs/target/acir.gz
diff --git a/...ir_artifacts/debug_logs/target/witness.gz → ...ir_artifacts/debug_logs/target/witness.gz b/...ir_artifacts/debug_logs/target/witness.gz → ...ir_artifacts/debug_logs/target/witness.gz
diff --git a/...r_artifacts/diamond_deps_0/target/acir.gz → ...r_artifacts/diamond_deps_0/target/acir.gz b/...r_artifacts/diamond_deps_0/target/acir.gz → ...r_artifacts/diamond_deps_0/target/acir.gz
diff --git a/...rtifacts/diamond_deps_0/target/witness.gz → ...rtifacts/diamond_deps_0/target/witness.gz b/...rtifacts/diamond_deps_0/target/witness.gz → ...rtifacts/diamond_deps_0/target/witness.gz
diff --git a/...artifacts/distinct_keyword/target/acir.gz → ...artifacts/distinct_keyword/target/acir.gz b/...artifacts/distinct_keyword/target/acir.gz → ...artifacts/distinct_keyword/target/acir.gz
diff --git a/...ifacts/distinct_keyword/target/witness.gz → ...ifacts/distinct_keyword/target/witness.gz b/...ifacts/distinct_keyword/target/witness.gz → ...ifacts/distinct_keyword/target/witness.gz
diff --git a/...ifacts/double_verify_proof/target/acir.gz → ...ifacts/double_verify_proof/target/acir.gz b/...ifacts/double_verify_proof/target/acir.gz → ...ifacts/double_verify_proof/target/acir.gz
diff --git a/...cts/double_verify_proof/target/witness.gz → ...cts/double_verify_proof/target/witness.gz b/...cts/double_verify_proof/target/witness.gz → ...cts/double_verify_proof/target/witness.gz
diff --git a/..._artifacts/ecdsa_secp256k1/target/acir.gz → ..._artifacts/ecdsa_secp256k1/target/acir.gz b/..._artifacts/ecdsa_secp256k1/target/acir.gz → ..._artifacts/ecdsa_secp256k1/target/acir.gz
diff --git a/...tifacts/ecdsa_secp256k1/target/witness.gz → ...tifacts/ecdsa_secp256k1/target/witness.gz b/...tifacts/ecdsa_secp256k1/target/witness.gz → ...tifacts/ecdsa_secp256k1/target/witness.gz
diff --git a/..._artifacts/ecdsa_secp256r1/target/acir.gz → ..._artifacts/ecdsa_secp256r1/target/acir.gz b/..._artifacts/ecdsa_secp256r1/target/acir.gz → ..._artifacts/ecdsa_secp256r1/target/acir.gz
diff --git a/...tifacts/ecdsa_secp256r1/target/witness.gz → ...tifacts/ecdsa_secp256r1/target/witness.gz b/...tifacts/ecdsa_secp256r1/target/witness.gz → ...tifacts/ecdsa_secp256r1/target/witness.gz
diff --git a/...tests/acir_artifacts/eddsa/target/acir.gz → ...grams/acir_artifacts/eddsa/target/acir.gz b/...tests/acir_artifacts/eddsa/target/acir.gz → ...grams/acir_artifacts/eddsa/target/acir.gz
diff --git a/...ts/acir_artifacts/eddsa/target/witness.gz → ...ms/acir_artifacts/eddsa/target/witness.gz b/...ts/acir_artifacts/eddsa/target/witness.gz → ...ms/acir_artifacts/eddsa/target/witness.gz
diff --git a/..._artifacts/field_attribute/target/acir.gz → ..._artifacts/field_attribute/target/acir.gz b/..._artifacts/field_attribute/target/acir.gz → ..._artifacts/field_attribute/target/acir.gz
diff --git a/...tifacts/field_attribute/target/witness.gz → ...tifacts/field_attribute/target/witness.gz b/...tifacts/field_attribute/target/witness.gz → ...tifacts/field_attribute/target/witness.gz
diff --git a/...ts/acir_artifacts/generics/target/acir.gz → ...ms/acir_artifacts/generics/target/acir.gz b/...ts/acir_artifacts/generics/target/acir.gz → ...ms/acir_artifacts/generics/target/acir.gz
diff --git a/...acir_artifacts/generics/target/witness.gz → ...acir_artifacts/generics/target/witness.gz b/...acir_artifacts/generics/target/witness.gz → ...acir_artifacts/generics/target/witness.gz
diff --git a/...ir_artifacts/global_consts/target/acir.gz → ...ir_artifacts/global_consts/target/acir.gz b/...ir_artifacts/global_consts/target/acir.gz → ...ir_artifacts/global_consts/target/acir.gz
diff --git a/...artifacts/global_consts/target/witness.gz → ...artifacts/global_consts/target/witness.gz b/...artifacts/global_consts/target/witness.gz → ...artifacts/global_consts/target/witness.gz
diff --git a/...ir_artifacts/hash_to_field/target/acir.gz → ...ir_artifacts/hash_to_field/target/acir.gz b/...ir_artifacts/hash_to_field/target/acir.gz → ...ir_artifacts/hash_to_field/target/acir.gz
diff --git a/...artifacts/hash_to_field/target/witness.gz → ...artifacts/hash_to_field/target/witness.gz b/...artifacts/hash_to_field/target/witness.gz → ...artifacts/hash_to_field/target/witness.gz
diff --git a/...cts/higher_order_functions/target/acir.gz → ...cts/higher_order_functions/target/acir.gz b/...cts/higher_order_functions/target/acir.gz → ...cts/higher_order_functions/target/acir.gz
diff --git a/.../higher_order_functions/target/witness.gz → .../higher_order_functions/target/witness.gz b/.../higher_order_functions/target/witness.gz → .../higher_order_functions/target/witness.gz
diff --git a/...ir_artifacts/if_else_chain/target/acir.gz → ...ir_artifacts/if_else_chain/target/acir.gz b/...ir_artifacts/if_else_chain/target/acir.gz → ...ir_artifacts/if_else_chain/target/acir.gz
diff --git a/...artifacts/if_else_chain/target/witness.gz → ...artifacts/if_else_chain/target/witness.gz b/...artifacts/if_else_chain/target/witness.gz → ...artifacts/if_else_chain/target/witness.gz
diff --git a/...ests/acir_artifacts/import/target/acir.gz → ...rams/acir_artifacts/import/target/acir.gz b/...ests/acir_artifacts/import/target/acir.gz → ...rams/acir_artifacts/import/target/acir.gz
diff --git a/...s/acir_artifacts/import/target/witness.gz → ...s/acir_artifacts/import/target/witness.gz b/...s/acir_artifacts/import/target/witness.gz → ...s/acir_artifacts/import/target/witness.gz
diff --git a/...cts/integer_array_indexing/target/acir.gz → ...cts/integer_array_indexing/target/acir.gz b/...cts/integer_array_indexing/target/acir.gz → ...cts/integer_array_indexing/target/acir.gz
diff --git a/.../integer_array_indexing/target/witness.gz → .../integer_array_indexing/target/witness.gz b/.../integer_array_indexing/target/witness.gz → .../integer_array_indexing/target/witness.gz
diff --git a/...s/acir_artifacts/keccak256/target/acir.gz → ...s/acir_artifacts/keccak256/target/acir.gz b/...s/acir_artifacts/keccak256/target/acir.gz → ...s/acir_artifacts/keccak256/target/acir.gz
diff --git a/...cir_artifacts/keccak256/target/witness.gz → ...cir_artifacts/keccak256/target/witness.gz b/...cir_artifacts/keccak256/target/witness.gz → ...cir_artifacts/keccak256/target/witness.gz
diff --git a/...ir_artifacts/main_bool_arg/target/acir.gz → ...ir_artifacts/main_bool_arg/target/acir.gz b/...ir_artifacts/main_bool_arg/target/acir.gz → ...ir_artifacts/main_bool_arg/target/acir.gz
diff --git a/...artifacts/main_bool_arg/target/witness.gz → ...artifacts/main_bool_arg/target/witness.gz b/...artifacts/main_bool_arg/target/witness.gz → ...artifacts/main_bool_arg/target/witness.gz
diff --git a/...ir_artifacts/merkle_insert/target/acir.gz → ...ir_artifacts/merkle_insert/target/acir.gz b/...ir_artifacts/merkle_insert/target/acir.gz → ...ir_artifacts/merkle_insert/target/acir.gz
diff --git a/...artifacts/merkle_insert/target/witness.gz → ...artifacts/merkle_insert/target/witness.gz b/...artifacts/merkle_insert/target/witness.gz → ...artifacts/merkle_insert/target/witness.gz
diff --git a/...acir_artifacts/mock_oracle/target/acir.gz → ...acir_artifacts/mock_oracle/target/acir.gz b/...acir_artifacts/mock_oracle/target/acir.gz → ...acir_artifacts/mock_oracle/target/acir.gz
diff --git a/...r_artifacts/mock_oracle/target/witness.gz → ...r_artifacts/mock_oracle/target/witness.gz b/...r_artifacts/mock_oracle/target/witness.gz → ...r_artifacts/mock_oracle/target/witness.gz
diff --git a/...sts/acir_artifacts/modules/target/acir.gz → ...ams/acir_artifacts/modules/target/acir.gz b/...sts/acir_artifacts/modules/target/acir.gz → ...ams/acir_artifacts/modules/target/acir.gz
diff --git a/.../acir_artifacts/modules/target/witness.gz → .../acir_artifacts/modules/target/witness.gz b/.../acir_artifacts/modules/target/witness.gz → .../acir_artifacts/modules/target/witness.gz
diff --git a/...cir_artifacts/modules_more/target/acir.gz → ...cir_artifacts/modules_more/target/acir.gz b/...cir_artifacts/modules_more/target/acir.gz → ...cir_artifacts/modules_more/target/acir.gz
diff --git a/..._artifacts/modules_more/target/witness.gz → ..._artifacts/modules_more/target/witness.gz b/..._artifacts/modules_more/target/witness.gz → ..._artifacts/modules_more/target/witness.gz
diff --git a/...sts/acir_artifacts/modulus/target/acir.gz → ...ams/acir_artifacts/modulus/target/acir.gz b/...sts/acir_artifacts/modulus/target/acir.gz → ...ams/acir_artifacts/modulus/target/acir.gz
diff --git a/.../acir_artifacts/modulus/target/witness.gz → .../acir_artifacts/modulus/target/witness.gz b/.../acir_artifacts/modulus/target/witness.gz → .../acir_artifacts/modulus/target/witness.gz
diff --git a/...facts/nested_array_dynamic/target/acir.gz → ...facts/nested_array_dynamic/target/acir.gz b/...facts/nested_array_dynamic/target/acir.gz → ...facts/nested_array_dynamic/target/acir.gz
diff --git a/...ts/nested_array_dynamic/target/witness.gz → ...ts/nested_array_dynamic/target/witness.gz b/...ts/nested_array_dynamic/target/witness.gz → ...ts/nested_array_dynamic/target/witness.gz
diff --git a/...nested_arrays_from_brillig/target/acir.gz → ...nested_arrays_from_brillig/target/acir.gz b/...nested_arrays_from_brillig/target/acir.gz → ...nested_arrays_from_brillig/target/acir.gz
diff --git a/...ted_arrays_from_brillig/target/witness.gz → ...ted_arrays_from_brillig/target/witness.gz b/...ted_arrays_from_brillig/target/witness.gz → ...ted_arrays_from_brillig/target/witness.gz
diff --git a/...facts/nested_slice_dynamic/target/acir.gz → ...facts/nested_slice_dynamic/target/acir.gz b/...facts/nested_slice_dynamic/target/acir.gz → ...facts/nested_slice_dynamic/target/acir.gz
diff --git a/...ts/nested_slice_dynamic/target/witness.gz → ...ts/nested_slice_dynamic/target/witness.gz b/...ts/nested_slice_dynamic/target/witness.gz → ...ts/nested_slice_dynamic/target/witness.gz
diff --git a/...r_artifacts/pedersen_check/target/acir.gz → ...r_artifacts/pedersen_check/target/acir.gz b/...r_artifacts/pedersen_check/target/acir.gz → ...r_artifacts/pedersen_check/target/acir.gz
diff --git a/...rtifacts/pedersen_check/target/witness.gz → ...rtifacts/pedersen_check/target/witness.gz b/...rtifacts/pedersen_check/target/witness.gz → ...rtifacts/pedersen_check/target/witness.gz
diff --git a/...ifacts/poseidon_bn254_hash/target/acir.gz → ...ifacts/poseidon_bn254_hash/target/acir.gz b/...ifacts/poseidon_bn254_hash/target/acir.gz → ...ifacts/poseidon_bn254_hash/target/acir.gz
diff --git a/...cts/poseidon_bn254_hash/target/witness.gz → ...cts/poseidon_bn254_hash/target/witness.gz b/...cts/poseidon_bn254_hash/target/witness.gz → ...cts/poseidon_bn254_hash/target/witness.gz
diff --git a/...acts/poseidonsponge_x5_254/target/acir.gz → ...acts/poseidonsponge_x5_254/target/acir.gz b/...acts/poseidonsponge_x5_254/target/acir.gz → ...acts/poseidonsponge_x5_254/target/acir.gz
diff --git a/...s/poseidonsponge_x5_254/target/witness.gz → ...s/poseidonsponge_x5_254/target/witness.gz b/...s/poseidonsponge_x5_254/target/witness.gz → ...s/poseidonsponge_x5_254/target/witness.gz
diff --git a/...sts/acir_artifacts/pred_eq/target/acir.gz → ...ams/acir_artifacts/pred_eq/target/acir.gz b/...sts/acir_artifacts/pred_eq/target/acir.gz → ...ams/acir_artifacts/pred_eq/target/acir.gz
diff --git a/.../acir_artifacts/pred_eq/target/witness.gz → .../acir_artifacts/pred_eq/target/witness.gz b/.../acir_artifacts/pred_eq/target/witness.gz → .../acir_artifacts/pred_eq/target/witness.gz
diff --git a/.../acir_artifacts/references/target/acir.gz → .../acir_artifacts/references/target/acir.gz b/.../acir_artifacts/references/target/acir.gz → .../acir_artifacts/references/target/acir.gz
diff --git a/...ir_artifacts/references/target/witness.gz → ...ir_artifacts/references/target/witness.gz b/...ir_artifacts/references/target/witness.gz → ...ir_artifacts/references/target/witness.gz
diff --git a/.../acir_artifacts/regression/target/acir.gz → .../acir_artifacts/regression/target/acir.gz b/.../acir_artifacts/regression/target/acir.gz → .../acir_artifacts/regression/target/acir.gz
diff --git a/...ir_artifacts/regression/target/witness.gz → ...ir_artifacts/regression/target/witness.gz b/...ir_artifacts/regression/target/witness.gz → ...ir_artifacts/regression/target/witness.gz
diff --git a/..._artifacts/regression_2854/target/acir.gz → ..._artifacts/regression_2854/target/acir.gz b/..._artifacts/regression_2854/target/acir.gz → ..._artifacts/regression_2854/target/acir.gz
diff --git a/...tifacts/regression_2854/target/witness.gz → ...tifacts/regression_2854/target/witness.gz b/...tifacts/regression_2854/target/witness.gz → ...tifacts/regression_2854/target/witness.gz
diff --git a/...egression_mem_op_predicate/target/acir.gz → ...egression_mem_op_predicate/target/acir.gz b/...egression_mem_op_predicate/target/acir.gz → ...egression_mem_op_predicate/target/acir.gz
diff --git a/...ession_mem_op_predicate/target/witness.gz → ...ession_mem_op_predicate/target/witness.gz b/...ession_mem_op_predicate/target/witness.gz → ...ession_mem_op_predicate/target/witness.gz
diff --git a/...ion_method_cannot_be_found/target/acir.gz → ...ion_method_cannot_be_found/target/acir.gz b/...ion_method_cannot_be_found/target/acir.gz → ...ion_method_cannot_be_found/target/acir.gz
diff --git a/..._method_cannot_be_found/target/witness.gz → ..._method_cannot_be_found/target/witness.gz b/..._method_cannot_be_found/target/witness.gz → ..._method_cannot_be_found/target/witness.gz
diff --git a/.../acir_artifacts/scalar_mul/target/acir.gz → .../acir_artifacts/scalar_mul/target/acir.gz b/.../acir_artifacts/scalar_mul/target/acir.gz → .../acir_artifacts/scalar_mul/target/acir.gz
diff --git a/...ir_artifacts/scalar_mul/target/witness.gz → ...ir_artifacts/scalar_mul/target/witness.gz b/...ir_artifacts/scalar_mul/target/witness.gz → ...ir_artifacts/scalar_mul/target/witness.gz
diff --git a/...sts/acir_artifacts/schnorr/target/acir.gz → ...ams/acir_artifacts/schnorr/target/acir.gz b/...sts/acir_artifacts/schnorr/target/acir.gz → ...ams/acir_artifacts/schnorr/target/acir.gz
diff --git a/.../acir_artifacts/schnorr/target/witness.gz → .../acir_artifacts/schnorr/target/witness.gz b/.../acir_artifacts/schnorr/target/witness.gz → .../acir_artifacts/schnorr/target/witness.gz
diff --git a/...ests/acir_artifacts/sha256/target/acir.gz → ...rams/acir_artifacts/sha256/target/acir.gz b/...ests/acir_artifacts/sha256/target/acir.gz → ...rams/acir_artifacts/sha256/target/acir.gz
diff --git a/...s/acir_artifacts/sha256/target/witness.gz → ...s/acir_artifacts/sha256/target/witness.gz b/...s/acir_artifacts/sha256/target/witness.gz → ...s/acir_artifacts/sha256/target/witness.gz
diff --git a/...s/acir_artifacts/sha2_byte/target/acir.gz → ...s/acir_artifacts/sha2_byte/target/acir.gz b/...s/acir_artifacts/sha2_byte/target/acir.gz → ...s/acir_artifacts/sha2_byte/target/acir.gz
diff --git a/...cir_artifacts/sha2_byte/target/witness.gz → ...cir_artifacts/sha2_byte/target/witness.gz b/...cir_artifacts/sha2_byte/target/witness.gz → ...cir_artifacts/sha2_byte/target/witness.gz
diff --git a/...rtifacts/signed_arithmetic/target/acir.gz → ...rtifacts/signed_arithmetic/target/acir.gz b/...rtifacts/signed_arithmetic/target/acir.gz → ...rtifacts/signed_arithmetic/target/acir.gz
diff --git a/...facts/signed_arithmetic/target/witness.gz → ...facts/signed_arithmetic/target/witness.gz b/...facts/signed_arithmetic/target/witness.gz → ...facts/signed_arithmetic/target/witness.gz
diff --git a/..._artifacts/signed_division/target/acir.gz → ..._artifacts/signed_division/target/acir.gz b/..._artifacts/signed_division/target/acir.gz → ..._artifacts/signed_division/target/acir.gz
diff --git a/...tifacts/signed_division/target/witness.gz → ...tifacts/signed_division/target/witness.gz b/...tifacts/signed_division/target/witness.gz → ...tifacts/signed_division/target/witness.gz
diff --git a/..._artifacts/simple_2d_array/target/acir.gz → ..._artifacts/simple_2d_array/target/acir.gz b/..._artifacts/simple_2d_array/target/acir.gz → ..._artifacts/simple_2d_array/target/acir.gz
diff --git a/...tifacts/simple_2d_array/target/witness.gz → ...tifacts/simple_2d_array/target/witness.gz b/...tifacts/simple_2d_array/target/witness.gz → ...tifacts/simple_2d_array/target/witness.gz
diff --git a/...cts/simple_add_and_ret_arr/target/acir.gz → ...cts/simple_add_and_ret_arr/target/acir.gz b/...cts/simple_add_and_ret_arr/target/acir.gz → ...cts/simple_add_and_ret_arr/target/acir.gz
diff --git a/.../simple_add_and_ret_arr/target/witness.gz → .../simple_add_and_ret_arr/target/witness.gz b/.../simple_add_and_ret_arr/target/witness.gz → .../simple_add_and_ret_arr/target/witness.gz
diff --git a/...r_artifacts/simple_bitwise/target/acir.gz → ...r_artifacts/simple_bitwise/target/acir.gz b/...r_artifacts/simple_bitwise/target/acir.gz → ...r_artifacts/simple_bitwise/target/acir.gz
diff --git a/...rtifacts/simple_bitwise/target/witness.gz → ...rtifacts/simple_bitwise/target/witness.gz b/...rtifacts/simple_bitwise/target/witness.gz → ...rtifacts/simple_bitwise/target/witness.gz
diff --git a/...rtifacts/simple_comparison/target/acir.gz → ...rtifacts/simple_comparison/target/acir.gz b/...rtifacts/simple_comparison/target/acir.gz → ...rtifacts/simple_comparison/target/acir.gz
diff --git a/...facts/simple_comparison/target/witness.gz → ...facts/simple_comparison/target/witness.gz b/...facts/simple_comparison/target/witness.gz → ...facts/simple_comparison/target/witness.gz
diff --git a/.../acir_artifacts/simple_mut/target/acir.gz → .../acir_artifacts/simple_mut/target/acir.gz b/.../acir_artifacts/simple_mut/target/acir.gz → .../acir_artifacts/simple_mut/target/acir.gz
diff --git a/...ir_artifacts/simple_mut/target/witness.gz → ...ir_artifacts/simple_mut/target/witness.gz b/...ir_artifacts/simple_mut/target/witness.gz → ...ir_artifacts/simple_mut/target/witness.gz
diff --git a/.../acir_artifacts/simple_not/target/acir.gz → .../acir_artifacts/simple_not/target/acir.gz b/.../acir_artifacts/simple_not/target/acir.gz → .../acir_artifacts/simple_not/target/acir.gz
diff --git a/...ir_artifacts/simple_not/target/witness.gz → ...ir_artifacts/simple_not/target/witness.gz b/...ir_artifacts/simple_not/target/witness.gz → ...ir_artifacts/simple_not/target/witness.gz
diff --git a/...cir_artifacts/simple_print/target/acir.gz → ...cir_artifacts/simple_print/target/acir.gz b/...cir_artifacts/simple_print/target/acir.gz → ...cir_artifacts/simple_print/target/acir.gz
diff --git a/..._artifacts/simple_print/target/witness.gz → ..._artifacts/simple_print/target/witness.gz b/..._artifacts/simple_print/target/witness.gz → ..._artifacts/simple_print/target/witness.gz
diff --git a/...ts/simple_program_addition/target/acir.gz → ...ts/simple_program_addition/target/acir.gz b/...ts/simple_program_addition/target/acir.gz → ...ts/simple_program_addition/target/acir.gz
diff --git a/...simple_program_addition/target/witness.gz → ...simple_program_addition/target/witness.gz b/...simple_program_addition/target/witness.gz → ...simple_program_addition/target/witness.gz
diff --git a/...cir_artifacts/simple_radix/target/acir.gz → ...cir_artifacts/simple_radix/target/acir.gz b/...cir_artifacts/simple_radix/target/acir.gz → ...cir_artifacts/simple_radix/target/acir.gz
diff --git a/..._artifacts/simple_radix/target/witness.gz → ..._artifacts/simple_radix/target/witness.gz b/..._artifacts/simple_radix/target/witness.gz → ..._artifacts/simple_radix/target/witness.gz
diff --git a/...ir_artifacts/simple_shield/target/acir.gz → ...ir_artifacts/simple_shield/target/acir.gz b/...ir_artifacts/simple_shield/target/acir.gz → ...ir_artifacts/simple_shield/target/acir.gz
diff --git a/...artifacts/simple_shield/target/witness.gz → ...artifacts/simple_shield/target/witness.gz b/...artifacts/simple_shield/target/witness.gz → ...artifacts/simple_shield/target/witness.gz
diff --git a/...ts/simple_shift_left_right/target/acir.gz → ...ts/simple_shift_left_right/target/acir.gz b/...ts/simple_shift_left_right/target/acir.gz → ...ts/simple_shift_left_right/target/acir.gz
diff --git a/...simple_shift_left_right/target/witness.gz → ...simple_shift_left_right/target/witness.gz b/...simple_shift_left_right/target/witness.gz → ...simple_shift_left_right/target/witness.gz
diff --git a/...ifacts/slice_dynamic_index/target/acir.gz → ...ifacts/slice_dynamic_index/target/acir.gz b/...ifacts/slice_dynamic_index/target/acir.gz → ...ifacts/slice_dynamic_index/target/acir.gz
diff --git a/...cts/slice_dynamic_index/target/witness.gz → ...cts/slice_dynamic_index/target/witness.gz b/...cts/slice_dynamic_index/target/witness.gz → ...cts/slice_dynamic_index/target/witness.gz
diff --git a/...tifacts/slice_struct_field/target/acir.gz → ...tifacts/slice_struct_field/target/acir.gz b/...tifacts/slice_struct_field/target/acir.gz → ...tifacts/slice_struct_field/target/acir.gz
diff --git a/...acts/slice_struct_field/target/witness.gz → ...acts/slice_struct_field/target/witness.gz b/...acts/slice_struct_field/target/witness.gz → ...acts/slice_struct_field/target/witness.gz
diff --git a/...ests/acir_artifacts/slices/target/acir.gz → ...rams/acir_artifacts/slices/target/acir.gz b/...ests/acir_artifacts/slices/target/acir.gz → ...rams/acir_artifacts/slices/target/acir.gz
diff --git a/...s/acir_artifacts/slices/target/witness.gz → ...s/acir_artifacts/slices/target/witness.gz b/...s/acir_artifacts/slices/target/witness.gz → ...s/acir_artifacts/slices/target/witness.gz
diff --git a/...sts/acir_artifacts/strings/target/acir.gz → ...ams/acir_artifacts/strings/target/acir.gz b/...sts/acir_artifacts/strings/target/acir.gz → ...ams/acir_artifacts/strings/target/acir.gz
diff --git a/.../acir_artifacts/strings/target/witness.gz → .../acir_artifacts/strings/target/witness.gz b/.../acir_artifacts/strings/target/witness.gz → .../acir_artifacts/strings/target/witness.gz
diff --git a/...ests/acir_artifacts/struct/target/acir.gz → ...rams/acir_artifacts/struct/target/acir.gz b/...ests/acir_artifacts/struct/target/acir.gz → ...rams/acir_artifacts/struct/target/acir.gz
diff --git a/...s/acir_artifacts/struct/target/witness.gz → ...s/acir_artifacts/struct/target/witness.gz b/...s/acir_artifacts/struct/target/witness.gz → ...s/acir_artifacts/struct/target/witness.gz
diff --git a/...ifacts/struct_array_inputs/target/acir.gz → ...ifacts/struct_array_inputs/target/acir.gz b/...ifacts/struct_array_inputs/target/acir.gz → ...ifacts/struct_array_inputs/target/acir.gz
diff --git a/...cts/struct_array_inputs/target/witness.gz → ...cts/struct_array_inputs/target/witness.gz b/...cts/struct_array_inputs/target/witness.gz → ...cts/struct_array_inputs/target/witness.gz
diff --git a/...cts/struct_fields_ordering/target/acir.gz → ...cts/struct_fields_ordering/target/acir.gz b/...cts/struct_fields_ordering/target/acir.gz → ...cts/struct_fields_ordering/target/acir.gz
diff --git a/.../struct_fields_ordering/target/witness.gz → .../struct_fields_ordering/target/witness.gz b/.../struct_fields_ordering/target/witness.gz → .../struct_fields_ordering/target/witness.gz
diff --git a/...ir_artifacts/struct_inputs/target/acir.gz → ...ir_artifacts/struct_inputs/target/acir.gz b/...ir_artifacts/struct_inputs/target/acir.gz → ...ir_artifacts/struct_inputs/target/acir.gz
diff --git a/...artifacts/struct_inputs/target/witness.gz → ...artifacts/struct_inputs/target/witness.gz b/...artifacts/struct_inputs/target/witness.gz → ...artifacts/struct_inputs/target/witness.gz
diff --git a/.../acir_artifacts/submodules/target/acir.gz → .../acir_artifacts/submodules/target/acir.gz b/.../acir_artifacts/submodules/target/acir.gz → .../acir_artifacts/submodules/target/acir.gz
diff --git a/...ir_artifacts/submodules/target/witness.gz → ...ir_artifacts/submodules/target/witness.gz b/...ir_artifacts/submodules/target/witness.gz → ...ir_artifacts/submodules/target/witness.gz
diff --git a/...acir_artifacts/to_be_bytes/target/acir.gz → ...acir_artifacts/to_be_bytes/target/acir.gz b/...acir_artifacts/to_be_bytes/target/acir.gz → ...acir_artifacts/to_be_bytes/target/acir.gz
diff --git a/...r_artifacts/to_be_bytes/target/witness.gz → ...r_artifacts/to_be_bytes/target/witness.gz b/...r_artifacts/to_be_bytes/target/witness.gz → ...r_artifacts/to_be_bytes/target/witness.gz
diff --git a/...ifacts/to_bytes_consistent/target/acir.gz → ...ifacts/to_bytes_consistent/target/acir.gz b/...ifacts/to_bytes_consistent/target/acir.gz → ...ifacts/to_bytes_consistent/target/acir.gz
diff --git a/...cts/to_bytes_consistent/target/witness.gz → ...cts/to_bytes_consistent/target/witness.gz b/...cts/to_bytes_consistent/target/witness.gz → ...cts/to_bytes_consistent/target/witness.gz
diff --git a/...facts/to_bytes_integration/target/acir.gz → ...facts/to_bytes_integration/target/acir.gz b/...facts/to_bytes_integration/target/acir.gz → ...facts/to_bytes_integration/target/acir.gz
diff --git a/...ts/to_bytes_integration/target/witness.gz → ...ts/to_bytes_integration/target/witness.gz b/...ts/to_bytes_integration/target/witness.gz → ...ts/to_bytes_integration/target/witness.gz
diff --git a/...acir_artifacts/to_le_bytes/target/acir.gz → ...acir_artifacts/to_le_bytes/target/acir.gz b/...acir_artifacts/to_le_bytes/target/acir.gz → ...acir_artifacts/to_le_bytes/target/acir.gz
diff --git a/...r_artifacts/to_le_bytes/target/witness.gz → ...r_artifacts/to_le_bytes/target/witness.gz b/...r_artifacts/to_le_bytes/target/witness.gz → ...r_artifacts/to_le_bytes/target/witness.gz
diff --git a/...facts/trait_as_return_type/target/acir.gz → ...facts/trait_as_return_type/target/acir.gz b/...facts/trait_as_return_type/target/acir.gz → ...facts/trait_as_return_type/target/acir.gz
diff --git a/...ts/trait_as_return_type/target/witness.gz → ...ts/trait_as_return_type/target/witness.gz b/...ts/trait_as_return_type/target/witness.gz → ...ts/trait_as_return_type/target/witness.gz
diff --git a/...facts/trait_impl_base_type/target/acir.gz → ...facts/trait_impl_base_type/target/acir.gz b/...facts/trait_impl_base_type/target/acir.gz → ...facts/trait_impl_base_type/target/acir.gz
diff --git a/...ts/trait_impl_base_type/target/witness.gz → ...ts/trait_impl_base_type/target/witness.gz b/...ts/trait_impl_base_type/target/witness.gz → ...ts/trait_impl_base_type/target/witness.gz
diff --git a/...tifacts/traits_in_crates_1/target/acir.gz → ...tifacts/traits_in_crates_1/target/acir.gz b/...tifacts/traits_in_crates_1/target/acir.gz → ...tifacts/traits_in_crates_1/target/acir.gz
diff --git a/...acts/traits_in_crates_1/target/witness.gz → ...acts/traits_in_crates_1/target/witness.gz b/...acts/traits_in_crates_1/target/witness.gz → ...acts/traits_in_crates_1/target/witness.gz
diff --git a/...tifacts/traits_in_crates_2/target/acir.gz → ...tifacts/traits_in_crates_2/target/acir.gz b/...tifacts/traits_in_crates_2/target/acir.gz → ...tifacts/traits_in_crates_2/target/acir.gz
diff --git a/...acts/traits_in_crates_2/target/witness.gz → ...acts/traits_in_crates_2/target/witness.gz b/...acts/traits_in_crates_2/target/witness.gz → ...acts/traits_in_crates_2/target/witness.gz
diff --git a/...cir_artifacts/tuple_inputs/target/acir.gz → ...cir_artifacts/tuple_inputs/target/acir.gz b/...cir_artifacts/tuple_inputs/target/acir.gz → ...cir_artifacts/tuple_inputs/target/acir.gz
diff --git a/..._artifacts/tuple_inputs/target/witness.gz → ..._artifacts/tuple_inputs/target/witness.gz b/..._artifacts/tuple_inputs/target/witness.gz → ..._artifacts/tuple_inputs/target/witness.gz
diff --git a/...ests/acir_artifacts/tuples/target/acir.gz → ...rams/acir_artifacts/tuples/target/acir.gz b/...ests/acir_artifacts/tuples/target/acir.gz → ...rams/acir_artifacts/tuples/target/acir.gz
diff --git a/...s/acir_artifacts/tuples/target/witness.gz → ...s/acir_artifacts/tuples/target/witness.gz b/...s/acir_artifacts/tuples/target/witness.gz → ...s/acir_artifacts/tuples/target/witness.gz
diff --git a/...cir_artifacts/type_aliases/target/acir.gz → ...cir_artifacts/type_aliases/target/acir.gz b/...cir_artifacts/type_aliases/target/acir.gz → ...cir_artifacts/type_aliases/target/acir.gz
diff --git a/..._artifacts/type_aliases/target/witness.gz → ..._artifacts/type_aliases/target/witness.gz b/..._artifacts/type_aliases/target/witness.gz → ..._artifacts/type_aliases/target/witness.gz
diff --git a/...i/tests/acir_artifacts/xor/target/acir.gz → ...rograms/acir_artifacts/xor/target/acir.gz b/...i/tests/acir_artifacts/xor/target/acir.gz → ...rograms/acir_artifacts/xor/target/acir.gz
diff --git a/...ests/acir_artifacts/xor/target/witness.gz → ...rams/acir_artifacts/xor/target/witness.gz b/...ests/acir_artifacts/xor/target/witness.gz → ...rams/acir_artifacts/xor/target/witness.gz
diff --git a/...e_failure/assert_constant_fail/Nargo.toml → ...e_failure/assert_constant_fail/Nargo.toml b/...e_failure/assert_constant_fail/Nargo.toml → ...e_failure/assert_constant_fail/Nargo.toml
diff --git a/..._failure/assert_constant_fail/src/main.nr → ..._failure/assert_constant_fail/src/main.nr b/..._failure/assert_constant_fail/src/main.nr → ..._failure/assert_constant_fail/src/main.nr
diff --git a/...mpile_failure/assert_eq_struct/Nargo.toml → ...mpile_failure/assert_eq_struct/Nargo.toml b/...mpile_failure/assert_eq_struct/Nargo.toml → ...mpile_failure/assert_eq_struct/Nargo.toml
diff --git a/...pile_failure/assert_eq_struct/src/main.nr → ...pile_failure/assert_eq_struct/src/main.nr b/...pile_failure/assert_eq_struct/src/main.nr → ...pile_failure/assert_eq_struct/src/main.nr
diff --git a/...le_failure/brillig_assert_fail/Nargo.toml → ...le_failure/brillig_assert_fail/Nargo.toml b/...le_failure/brillig_assert_fail/Nargo.toml → ...le_failure/brillig_assert_fail/Nargo.toml
diff --git a/...e_failure/brillig_assert_fail/Prover.toml → ...e_failure/brillig_assert_fail/Prover.toml b/...e_failure/brillig_assert_fail/Prover.toml → ...e_failure/brillig_assert_fail/Prover.toml
diff --git a/...e_failure/brillig_assert_fail/src/main.nr → ...e_failure/brillig_assert_fail/src/main.nr b/...e_failure/brillig_assert_fail/src/main.nr → ...e_failure/brillig_assert_fail/src/main.nr
diff --git a/...compile_failure/constrain_typo/Nargo.toml → ...compile_failure/constrain_typo/Nargo.toml b/...compile_failure/constrain_typo/Nargo.toml → ...compile_failure/constrain_typo/Nargo.toml
diff --git a/...ompile_failure/constrain_typo/src/main.nr → ...ompile_failure/constrain_typo/src/main.nr b/...ompile_failure/constrain_typo/src/main.nr → ...ompile_failure/constrain_typo/src/main.nr
diff --git a/...failure/custom_entry_not_found/Nargo.toml → ...failure/custom_entry_not_found/Nargo.toml b/...failure/custom_entry_not_found/Nargo.toml → ...failure/custom_entry_not_found/Nargo.toml
diff --git a/...ailure/custom_entry_not_found/Prover.toml → ...ailure/custom_entry_not_found/Prover.toml b/...ailure/custom_entry_not_found/Prover.toml → ...ailure/custom_entry_not_found/Prover.toml
diff --git a/...ailure/custom_entry_not_found/src/main.nr → ...ailure/custom_entry_not_found/src/main.nr b/...ailure/custom_entry_not_found/src/main.nr → ...ailure/custom_entry_not_found/src/main.nr
diff --git a/...ile_failure/dep_impl_primitive/Nargo.toml → ...ile_failure/dep_impl_primitive/Nargo.toml b/...ile_failure/dep_impl_primitive/Nargo.toml → ...ile_failure/dep_impl_primitive/Nargo.toml
diff --git a/...le_failure/dep_impl_primitive/Prover.toml → ...le_failure/dep_impl_primitive/Prover.toml b/...le_failure/dep_impl_primitive/Prover.toml → ...le_failure/dep_impl_primitive/Prover.toml
diff --git a/...le_failure/dep_impl_primitive/src/main.nr → ...le_failure/dep_impl_primitive/src/main.nr b/...le_failure/dep_impl_primitive/src/main.nr → ...le_failure/dep_impl_primitive/src/main.nr
diff --git a/.../compile_failure/depend_on_bin/Nargo.toml → .../compile_failure/depend_on_bin/Nargo.toml b/.../compile_failure/depend_on_bin/Nargo.toml → .../compile_failure/depend_on_bin/Nargo.toml
diff --git a/...compile_failure/depend_on_bin/Prover.toml → ...compile_failure/depend_on_bin/Prover.toml b/...compile_failure/depend_on_bin/Prover.toml → ...compile_failure/depend_on_bin/Prover.toml
diff --git a/...compile_failure/depend_on_bin/src/main.nr → ...compile_failure/depend_on_bin/src/main.nr b/...compile_failure/depend_on_bin/src/main.nr → ...compile_failure/depend_on_bin/src/main.nr
diff --git a/..._failure/div_by_zero_constants/Nargo.toml → ..._failure/div_by_zero_constants/Nargo.toml b/..._failure/div_by_zero_constants/Nargo.toml → ..._failure/div_by_zero_constants/Nargo.toml
diff --git a/...failure/div_by_zero_constants/Prover.toml → ...failure/div_by_zero_constants/Prover.toml b/...failure/div_by_zero_constants/Prover.toml → ...failure/div_by_zero_constants/Prover.toml