fix: Prevent dead instruction elimination of brillig functions which may contain side-effects

crates/nargo_cli/build.rs

@@ -41,6 +41,7 @@ fn main() {
 
     generate_execution_success_tests(&mut test_file, &test_dir);
     generate_compile_success_empty_tests(&mut test_file, &test_dir);
+    generate_compile_success_contract_tests(&mut test_file, &test_dir);
     generate_compile_failure_tests(&mut test_file, &test_dir);
 }
 
@@ -123,6 +124,43 @@ fn compile_success_empty_{test_name}() {{
     }
 }
 
+fn generate_compile_success_contract_tests(test_file: &mut File, test_data_dir: &Path) {
+    let test_sub_dir = "compile_success_contract";
+    let test_data_dir = test_data_dir.join(test_sub_dir);
+
+    let test_case_dirs =
+        fs::read_dir(test_data_dir).unwrap().flatten().filter(|c| c.path().is_dir());
+
+    for test_dir in test_case_dirs {
+        let test_name =
+            test_dir.file_name().into_string().expect("Directory can't be converted to string");
+        if test_name.contains('-') {
+            panic!(
+                "Invalid test directory: {test_name}. Cannot include `-`, please convert to `_`"
+            );
+        };
+        let test_dir = &test_dir.path();
+
+        write!(
+            test_file,
+            r#"
+#[test]
+fn compile_success_contract_{test_name}() {{
+    let test_program_dir = PathBuf::from("{test_dir}");
+
+    let mut cmd = Command::cargo_bin("nargo").unwrap();
+    cmd.arg("--program-dir").arg(test_program_dir);
+    cmd.arg("compile");
+
+    cmd.assert().success();
+}}
+            "#,
+            test_dir = test_dir.display(),
+        )
+        .expect("Could not write templated test file.");
+    }
+}
+
 fn generate_compile_failure_tests(test_file: &mut File, test_data_dir: &Path) {
     let test_sub_dir = "compile_failure";
     let test_data_dir = test_data_dir.join(test_sub_dir);

crates/nargo_cli/tests/README.md

@@ -4,6 +4,7 @@ Integration tests for the Noir compiler are broken down into the following direc
 
 - `compile_failure`: programs which are not valid or unsatisfiable Noir code and so the compiler should reject.
 - `compile_success_empty`: programs which are valid satisfiable Noir code but have no opcodes.
+- `compile_success_contract`: contracts which are valid Noir code.
 - `execution_success`: programs which are valid Noir satisfiable code and have opcodes.
 
 The current testing flow can be thought of as shown:
@@ -29,6 +30,10 @@ flowchart TD
         C3 --> C6
         C5 --> C6
     end
+
+    subgraph compile_success_contract
+        D1[Attempt to compile] --> D2[Assert compilation succeeds]
+    end
 ```
 
 ## `execution_success` vs `compile_success_empty`

crates/nargo_cli/tests/execution_success/contracts/Nargo.toml → crates/nargo_cli/tests/compile_success_contract/simple_contract/Nargo.toml

@@ -1,7 +1,8 @@
 [package]
-name = "contracts"
+name = "simple_contract"
 type = "contract"
 authors = [""]
 compiler_version = "0.1"
 
 [dependencies]
+

crates/nargo_cli/tests/execution_success/contracts/src/main.nr → crates/nargo_cli/tests/compile_success_contract/simple_contract/src/main.nr

@@ -1,7 +1,3 @@
-fn main(x : Field, y : pub Field) {
-    assert(x * 2 == y * 3);
-}
-
 contract Foo {
     fn double(x: Field) -> pub Field { x * 2 }
     fn triple(x: Field) -> pub Field { x * 3 }

crates/nargo_cli/tests/compile_success_empty/intrinsic_die/src/main.nr

@@ -6,4 +6,6 @@ fn main(x: Field) {
     let bytes = x.to_be_bytes(32);
 
     let hash = std::hash::pedersen([x]);
+    let _p1 = std::scalar_mul::fixed_base(x);
+
 }

crates/nargo_cli/tests/execution_success/6/target/6.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"private"},{"name":"result","type":{"kind":"array","length":32,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"public"}],"param_witnesses":{"result":[6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37],"x":[1,2,3,4,5]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2d+ZPNRxTFD2MYOxEREUFE9uU9M8NM9n3f9z0xMbLIvu/7IgiCIAiCIAiCIAiCIAiCIAhC/pDcW1q5uvzWp6u+XfV9Vaem7yjnnXvv82mmzJv/AKzBwUcdUV33sczUdb26xKvreXWpq0udb6nnX+J+T6n5XH3Po4FXl3l1Q69u5NWNvbqJVzf16mZe3dyrW3h1S68+xqtbefWxXt3aq4/z6jZefbxXt/XqE7y6nVef6NXtvfokr+7g1R29upNXn+zVnb36FK/ugsOvkTrOXx/6Oji0+4Zur43d/pq6PTV3+2jp5t7Kzbe1m2MbN6+2bi7tXP/tXZ8d3PN1crk7u3xdXJYSHPmaLcPh1+Ch1349k7/M5D9VdJrodNEZojNFZ4nOFp0jOld0nqggKoq6ispFFaJKUTdRd1GVqFp0vugC0YWii0QXiy4RXSq6THS56ArRlaKrCPmvFl0julZ0neh60Q2iG0U3iW4W3SK6VXSb6HbRHaI7RXeJ7hbdI7pXdJ/oftEDogdFD4keFj0ielTUQ1QjekzUU1SLIx8l7uOl7mN5oVtFRW33rrXF8mKPQtfqmqrKQkVlTbeqYlWxsqqyZ9eq8vLaqoqq7tU11d0L1cWK8tpir8rq8l6Fg4/6xqsQ9iheTczVi5erUOJ27j/qeLMshD2KzMw27+PmXM99rHuU10T9CD3Bex5/js2O8jnqk8dY0uMRfJ8A78Ufq+8n+DsqwHuBgDiHBsT+ryHmehLpwYmZ2eZ9ypxzOAV6PukGyvbtjWzDSfvuzd9RVDiVEfu/lpjraaQHJ2Zmm/cZc87hFOj5tBso2/dZZBtO2vez/B1Fyap/w+t9FN/QuT6HNKDckDjL64i5nkd6UGZmtnlfMOccyoGez7uBsn1fRLahrH2/yN9RlKx6eTwHPpRfQhpQbkSc5fXEXC8jPSgzM9u8r5hzDuVAz5fdQNm+ryLbUNa+X+XvKEpWvTxeAh/KryENKDcmzvIGYq7XkR6UmZlt3jfMOYdyoOfrbqBs3zeRbShr32/ydxQlq14er4EP5beQBpSbEGd5IzHX20gPyszMNu875pxDOdDzbTdQtu+7yDaUte93+TuKklUvj7fAh/J7SAPKTYmzvImY632kB2VmZpv3A3POoRzo+b4bKNv3Q2Qbytr3h/wdRcmql8d74EP5I6QB5WbEWd5MzPUx0oMyM7PN+4k551AO9PzYDZTt+ymyDWXt+1P+jqJk1cvjI/Ch/BnSgHJz4ixvIebqg/SgzMxs835uzjmUAz37uIGyffsi21DWvvvydxQlq14en4EP5X5IA8otiLO8lZirP9KDMjOzzfuFOedQDvTs7wbK9h2AbENZ+x7A31GUrHp59AMfygORBpRbEmd5GzHXIKQHZWZmm/dLc86hHOg5yA2U7TsY2Yay9j2Yv6MoWfXyGAg+lIcgDSgfQ5zl7cRcQ5EelJmZbd6vzDmHcqDnUDdQtu8wZBvK2vcw/o6iZNXLYwj4UB6ONKDcijjLO4i5RiA9KDMz27xfm3MO5UDPEW6gbN+RyDaUte+R/B1FyaqXx3DwoTwKaUD5WOIs7yTmGo30oMzMbPN+Y845lAM9R7uBsn3HINtQ1r7H8HcUJateHqPAh/JYpAHl1sRZ3kXMNQ7pQZmZ2eb91pxzKAd6jnMDZfuOR7ahrH2P5+8oSla9PMaCD+UJSAPKxxFneTcx10SkB2VmZpv3O3POoRzoOdENlO07CdmGsvY9ib+jKFn18pgAPpQnIw0otyHO8h5irilID8rMzDbv9+acQznQc4obKNt3KrINZe17Kn9HUbLq5TEZfChPQxpQPp44y3uJuaYjPSgzM9u8P5hzDuVAz+luoGzfGcg2lLXvGfwdRcmql8c08KE8E2lAuS1xlvcRc81CelBmZrZ5fzTnHMqBnrPcQNm+s5FtKGvfs/k7ipJVL4+Z4EN5DtKA8gnEWd5PzDUX6UGZmdnm/cmccygHes51A2X7zkO2oax9z+PvKEpWvTzmgA/l+UgDyu2Is3yAmGsB0oMyM7PN+7M551AO9FzgBsr2XYhsQ1n7XsjfUZSsennMBx/Ki5AGlE8kzvJBYq7FSA/KzMw27y/mnEM50HOxGyjbdwmyDWXtewl/R1Gy6uWxCHwoL0UaUG5PnOVDxFzLkB6UmZlt3l/NOYdyoOcyN1C273JkG8ra93L+jqJk1ctjKfhQXoE0oHwScZYPE3OtRHpQZma2eX8z5xzKgZ4r3UDZvquQbShr36v4O4qSVS+PFeBDeTXSgHIH4iwfIeZag/SgzMxs8/5uzjmUAz3XuIGyfdci21DWvtfydxQlq14eq8GH8jqkAeWOxFk+Ssy1HulBmZnZ5v3DnHMoB3qudwNl+25AtqGsfW/g7yhKVr081oEP5Y1IA8qdiLPsQcy1CelBmZnZ5v3TnHMoB3pucgNl+25GtqGsfW/m7yhKVr08NoIP5S1IA8onE2dZQ8y1FelBmZnZ5v3LnHMoB3pudQNl+25DtqGsfW/j7yhKVr08toAP5e1IA8qdibN8jJhrB9KDMjOzzfu3OedQDvTc4QbK9t2JbENZ+97J31GUrHp5bAcfyruQBpRPIc6yJzHXbqQHZWZmm/cfc86hHOi52w2U7bsH2Yay9r2Hv6MoWfXy2AU+lPciDSh3Ic6ylphrH9KDMjOzzfuvOedQDvTc5wbK9t2PbENZ+97P31GUrHp57AUfygcy3rfu58BRdhTad6nz0bwKDv2DrCDRz3d0v6bwaCAqEzUUNRI1FjURNcXBP+jNRS1ELUX6cwT1x1bpT0nRN+XX94DWtxzVd7jTN1TS9+/QbxfX707Ub4bR/3vdwT1fJ5F+3Vy/TKP/Kuhiev4fUgfSI5i2AAA=","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"private"},{"name":"result","type":{"kind":"array","length":32,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"public"}],"param_witnesses":{"result":[6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37],"x":[1,2,3,4,5]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2d+ZPNRxTFD2MYO7Hv+769N4t5Y1+DEARBEMswQxAEQRAEQRAEQRAEQRAEQRCEVOXfSt/SytU1v/Xpqm9XfV/Vrek7ynnnnvt8minz5l8A/+H1o5qp6vZjgeqrO32e09dw+nzb51vdfEc/z/6efPW5mo5GLacvcPraTl/H6es6fT2nr+/0DZy+odM3cvrGTv+e0zdx+qZO38zpmzt9C6dv6fStnL6107dx+rZO387p2zt9B6fv6PSdnL6z03dx+q5O3w1vXyPVrL485HXwZve17V7r2v3Vt3tqaPfR2ObexObbzObYwubVyubSxs7fzs7ZwT5fJ+u7i/XXzXrJw7uv2QK8fQ2+ee3XUP4LlP/upnqY6mmql6nepvqY6muqn6n+pgaYypjKmio0VWSq2FSJqYGmSk3lTJWZGmRqsKkhpoaaGmZquKkRpkaaGmVqtKkxpsbi3Uee/TjCfizKDCwurigtrMgWZRdlCsvKcyWZ4pLygblsLluSK1lSmCsqqsgV50rLystKM2XZ4qKKbGVJWVFl5vWjptLK+D2y3Ym+3uf5yuTZnbuPak6WGb9HlulZ+x2nzjXsx+pVvCZqBpgJzvO4OTao4nPUJw+xpHEBdMeD9+IPNfd4/o4ycF4gIOZQizh/D6KvCYgPTkzP2u8H6pzCyVNzgg2UrTsRyYaTzD2Rv6OgcCogzt+T6GsS4oMT07P2+6E6p3Dy1JxkA2XrTkay4SRzT+bvKIhX+RvexCp0fXOdgjigXJuYZS+ir6mID8pMz9rvR+qcQtlTc6oNlK07DcmGssw9jb+jIF7l8pgCPpSnIw4o1yFm2ZvoawbigzLTs/b7sTqnUPbUnGEDZevORLKhLHPP5O8oiFe5PKaDD+VZiAPKdYlZ9iH6mo34oMz0rP1+os4plD01Z9tA2bpzkGwoy9xz+DsK4lUuj1ngQ3ku4oByPWKWfYm+5iE+KDM9a7+fqnMKZU/NeTZQtu58JBvKMvd8/o6CeJXLYy74UF6AOKBcn5hlP6KvhYgPykzP2u8idU6h7Km50AbK1i1HsqEsc5fzdxTEq1weC8CH8mLEAeUGxCz7E30tQXxQZnrWfivUOYWyp+YSGyhbtxLJhrLMXcnfURCvcnksBh/KSxEHlBsSsxxA9LUM8UGZ6Vn7/UydUyh7ai6zgbJ1lyPZUJa5l/N3FMSrXB5LwYfyCsQB5UbELDNEXysRH5SZnrXfz9U5hbKn5kobKFt3FZINZZl7FX9HQbzK5bECfCivRhxQbkzMMkv0tQbxQZnpWfv9Qp1TKHtqrrGBsnXXItlQlrnX8ncUxKtcHqvBh/I6xAHl94hZFhJ9rUd8UGZ61n6/VOcUyp6a622gbN0NSDaUZe4N/B0F8SqXxzrwobwRcUC5CTHLIqKvTYgPykzP2u9X6pxC2VNzkw2UrbsZyYayzL2Zv6MgXuXy2Ag+lLcgDig3JWZZTPS1FfFBmelZ+/1anVMoe2putYGydbch2VCWubfxdxTEq1weW8CH8nbEAeVmxCxLiL52ID4oMz1rv9+ocwplT80dNlC27k4kG8oy907+joJ4lctjO/hQ3oU4oNycmOVAoq/diA/KTM/a77fqnELZU3O3DZStuwfJhrLMvYe/oyBe5fLYBT6U9yIOKLcgZllK9LUP8UGZ6Vn7/U6dUyh7au6zgbJ19yPZUJa59/N3FMSrXB57wYfyAcQB5ZbELHNEXwcRH5SZnrXf79U5hbKn5kEbKFv3EJINZZn7EH9HQbzK5XEAfCgfRhxQbkXMsozo6wjigzLTs/b7gzqnUPbUPGIDZeseRbKhLHMf5e8oiFe5PA6DD+VjiAPKrYlZDiL6Oo74oMz0rP3+qM4plD01j9tA2bonkGwoy9wn+DsK4lUuj2PgQ/kk4oByG2KWg4m+TiE+KDM9a78/qXMKZU/NUzZQtu5pJBvKMvdp/o6CeJXL4yT4UD6DOKDclpjlEKKvs4gPykzP2u/P6pxC2VPzrA2UrXsOyYayzH2Ov6MgXuXyOAM+lM8jDii3I2Y5lOjrAuKDMtOz9vuLOqdQ9tS8YANl615EsqEsc1/k7yiIV7k8zoMP5UuIA8rtiVkOI/q6jPigzPSs/f6qzimUPTUv20DZuleQbCjL3Ff4OwriVS6PS+BD+SrigHIHYpbDib6uIT4oMz1rv7+pcwplT81rNlC27nUkG8oy93X+joJ4lcvjKvhQvoE4oNyRmOUIoq+biA/KTM/a7+/qnELZU/OmDZStewvJhrLMfYu/oyBe5fK4AT6UbyMOKHciZjmS6OsO4oMy07P2+4c6p1D21LxjA2Xr3kWyoSxz3+XvKIhXuTxugw/le4gDyp2JWY4i+rqP+KDM9Kz9/qnOKZQ9Ne/bQNm6D5BsKMvcD/g7CuJVLo974EP5IeKAchdilqOJvh4hPigzPWu/f6lzCmVPzUc2ULbuYyQbyjL3Y/6OgniVy+Mh+FB+gjig3JWY5Riir6eID8pMz9rv3+qcQtlT86kNlK37DMmGssz9jL+jIF7l8ngCPpSfIw4odyNmOZbo6wXigzLTs/b7jzqnUPbUfGEDZeu+RLKhLHO/5O8oiFe5PJ6DD+VXCZ9b9vOqih35zp1vdcSvgEP+IAtI5PMd7a8JPGqZKjBV21QdU3VN1TNVH6//oDc01chUY1PycwTlx1bJT0mRN+WX94CWtxyVd7iTN1SS9++QbxeX706Ub4aR/3vdwT5fJ1PydXP5Mo38q6Cbmvl/ofZISdi1AAA=","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/execution_success/brillig_references/target/brillig_references.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2cS3PTMBSF5dpOIitp0/QVHi2lD6DvNG2HbfiBLNnBmr/Az6MyusOJqqbTQbc5C+4ME8nC93z3SHacOPWKMaYwf6KENoZsm4XXyb/FdZEv1yRm/RVg7f2/lWisA+1ZJv1Ofn8m9X2OOuRaDdxVXo2pDfOdmufYIwP6FthK8LWTl69dI3XEUoOeDwcMK4os7hFtk9CuFXwwkQ8SdYKlJGKpiFiKJbNY8/D4Sh1LeN6q4fVH8XAfrEnz+JPzdXwMNMBQE7BURCwlEUu8nhoYx/NFLy/fjc/RDbkq0OyBtozLG/kg/L8mL0v7fmfNfCw6bhvwxeVlmXiOfshlQWeQV6ddH/2ovj74bEJtFtpaLC6h3SR8eOx9VcMbE3ljEt5IlEQsFRFLTcTSIWLpErH0iFi0z3fPYWmIWDTPvc9l6ROxFEtmeey6fRB5hdftMubPjT+Lh/tgTasKNaHODPqihdftAwKWPhGLI2JpiFgsEUuPiKVLxNIhYqmJWCoilpKIJX6/amAcr9Nyf/71OdZCrgo0RaeE8a/A6FnW87K03wsMzXwsui5YV/TFs4xCriHobOTVadfHKKpP+hswF0Noa7G4hLaCztRGNftYNM+i7/fbDO0R8G1l9qEAHckr/S2Yh9T6yM3iEtoKOlMb1exj0ZyIvt9vO7Q3gW8nsw8F6Ehe6YsWejVSZHEJ7SbhQwPj28Aogd+pjRX8MpFfEuMES0nEUhGx1EQsHSKWLhFLj4jFErE0RCyOiKVPxDIgYlklYlkjYhkSsawTsYyIWDaIWDaJWLaIWLaJWHaIWIolszx2X2UceYX3VWQs/j3UOFHTK4WaUGcGfdHC+ypjApYdIpZtIpYtIpZNIpYNIpYREcs6EcuQiGWNiGWViGVAxNInYnFELA0RiyVi6RGxdIlYOkQsNRFLRcRSErHEn1kaGMd7Na8T+74J7ddQx27mOnyOtyFXBZqiU8L4l/ChRu7Bv8vL0t4H3DPzUUT9GbTfgS/vFVj2n8HyHlgO8rJMtOb9EPj3w6uwOxjfhdoOM3MUoCl5pX+opzv1OY6eqP8owXH0gvWLloVte0tmccCwr8cydQltDR0b1exj0XGOc3Ic2gfA9yEvXzsnxxGL9EULvdpTZHEJbQWdqY1q9rFoTpBF47dYH0OuY9D5lNnbAnQkr/RFC/13iiwuoa2gM7VRzT4WzbPo+/1OQvsj8J1m9qEAHckr/VOYB2E4UGRxCe0m4UMD4yfAc56Xp527MzMfi+buHFgu8rJMtP5m9RL4pVZhdzCOvwG5zMvRrsELM++p9C/1dG99jqsn6r9KcFy9YP2iZWHb6ZJZHDCc6bG010exdgPbjmGbjOM5YpLY91rYgFvjN9835m9cg2/CMQ3tG+DQOL4lfwWa+DfpMv4t+tyr8Vnszjz0ZBc8uQ3tO/BE45i/A09E8xI8kfHv4EnXzH/vsgKMuZ+xIWwGmIyZf75GJ8HRzcxRgI7klb5oOWCoFFlcQrsbtv1/XhDX84IUjonPuObR22Wt+dQzT15qzcdrMWvxJiVwH78BOCjDTz1NAAA=","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2cS1PbMBSFZWwnkZVACK/0AaU8+qAPgqF0m/7Abrtr1/0L/XdFru70RIgwTHXJWfTOdCJZ9T3fPZIdJw5eM8YU5k+U0MaQbfPwOvu3uCjy5ZrFrL8CrL35txaN9aA9z6Tfy+/PrL7JUYdc64G7yqvR2jDfqXmOPTKgb4GtBF97efm6NVJHLDXo+XDAsKbI4u7QNgntWsEHE/kgUSdYSiKWioilWDGLNbePr9SxhOetGl5/FLf3wZo0jz85X8fHQAMMNQFLRcRSErHE66mBcTxfDPLyXfoc/ZCrAs0BaMu4vJGPwv9r8rJ073fWLMay47YBX1xelpnnGIZcFnRGeXW69TGM6huCzybUZqGtxeIS2k3Ch7veVzW8MZE3JuGNREnEUhGx1EQsPSKWPhHLgIhF+3z3EJaGiEXz3PtQliERS7Filruu20eRV3jdLmP+3PizuL0P1rSuUBPqzKEvWnjdPiJgGRKxOCKWhojFErEMiFj6RCw9IpaaiKUiYimJWOL3qwbG8Tot9+dfn2Mj5KpAU3RKGP8KjJ5lMy9L973A2CzGsuuCTUVfPMsk5BqDzlZenW59TKL6pL8FczGGthaLS2gr6LQ2qtnHsnkWfb/fdmhPgG8nsw8F6Ehe6e/APKTWR24Wl9BW0GltVLOPZXMi+n6/3dDeBr69zD4UoCN5pS9a6NVEkcUltJuEDw2M7wKjBH6nNlXwy0R+SUwTLCURS0XEUhOx9IhY+kQsAyIWS8TSELE4IpYhEcuIiGWdiGWDiGVMxLJJxDIhYtkiYtkmYtkhYtklYtkjYilWzHLXfZVp5BXeV5Gx+PdQ00RNTxRqQp059EUL76tMCVj2iFh2iVh2iFi2iVi2iFgmRCybRCxjIpYNIpZ1IpYREcuQiMURsTRELJaIZUDE0idi6RGx1EQsFRFLScQSf2ZpYBzv1TxN7PsstJ9CHfuZ6/A5nodcFWiKTgnjX8KHGrkH/yIvS3cf8MAsRhH159B+Ab68VGA5fADLS2A5yssy05r3Y+A/DK/C7mB8H2o7zsxRgKbklf6xnm7rc5zcU/9JguPkEesXLQvbDlbM4oDhUI+ldQltDR0b1exj2XGOc3Ia2kfA9yovXzcnpxGL9EULvTpQZHEJbQWd1kY1+1g2J8ii8Vus1yHXKei8yextATqSV/qihf47RRaX0FbQaW1Us49l8yz6fr+3of0a+M4y+1CAjuSV/hnMgzAcKbK4hHYD205h21nkjd/2LtrXM37Iy9jN53uzGMvm8wOwfMzLMtP6O9Zz4Jdahd3BOP4u5DwvR7cuP5pFT6V/rqd71eW4p/5ZgmP2iPWLloVt71bM4oDhvR5Ld80UazewDc8RMo7niIvEvm1oXwC3xu/Ar8zfaME34bgM7Svg0Di+JX8Fmvh36jL+LfosrPH57Nrc9mQfPPkU2tfgicYxfw2eiOY5eCLj38GTvln8LmYNGHM/d0PYDDAZs/jMjV6Co5+ZowAdySt90XLAUCmyuIR2P2z7/wwhrmcIKRwTn3HNo7erWvOp56A81pqP12LW4k1K4CZ+A56PDDZRTQAA","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/execution_success/import/target/import.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/7VTSQ7DIAw0SRt66ltslmBu/UpRyf9fULVSieQmucWMhGw4jMdjcwOACX4wLTfi/m75+D0X+MfY4qNFPAcygsvjHEJNrpKnJ7pcOGKIZWZiihxfjr2vHDjlkhNmCr7SErNfGtmgyHXV6xFH4a+EUfZSU7PUO4l83YfhYCemDj3Bps7Wx/vBm2rxHkPqYZQFveXv1bfVnxEKyp3msz5YRZ2D0Cg/z4oPWGlYTZUFAAA=","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/7VTMQ7DIAw0JGTsW2wMwWz9SlHJ/59QqSISSthibjFiON+d7Q0AHNyxtPpuFZ+BTMfFuIdQk6/E9EGfi0QMsexCQlHi1wtzlSApl5wwU+BKR8x8NDKryLXoefxzmUGWRjlLTc293nXwtoOd2CZ4gkufa46vwZ9q8xlDWifwOtBb/lm+nf6MsKO8aX6ag1PUaTuN/fGc+AEp7slRcQUAAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/execution_success/references/target/references.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2UXQ6DIBCEF3+qtUl7FRBQeOtVaor3P0JrismG+uZugonzAtFkYGbJdwOAB/yriOszrnKflEBeWg7GhLEPSquX7P3krDR2Gpxyyjr77p3WwRk3+smP0iujg5qt13M0Kwi8wvxT+fUQG/kFcf6Czkvi+5ZoXyWzw/8vDJkgOSft8b7xjfRwjiGVDL4V0D1+rtwV/Ywkssy+01U5g6+G44GvBh7wXdD+BN9Oz5qpqAbyBt+Su6GfESv4qDtdlTP4Wjge+FrgAd8V7U/w7fRsY6HUvh3kDb4ld0c/I1bwUXYqkjtifQBGeiGvEw8AAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1c8ZONVRh+WCKykYqIiFRE37f37u5dkY2IEEJEtLv2bkJKQkpCSkJKIjLGNE3TmJqpmZqpmZrRH9L/Uu907szZzfjlPO+Z98yc88u+w8yz3/O853ue93zf3fsXgL/x/zXY/ex0P4uwVQ7ysCpFW7Vab2+pl5Wyu2jp6Km1FtXWnrZaWStba629LbVKpV6r1to7ejrai46yWqmXfa0dlT4HNpiAVe/7bzX9izHoJvwHkfkP5mEV/vU2efWQAb3z//82BU4Y8HsG6th8k3+j/nKNJjUp4A4Bb/Nr8R7C71HhQZrXtLEsG99QpGd8Q6FjfLd5dTa+QMyhSkINg23jE97D+D1SNT62po1l2fiGIz3jGw4d47vdq7PxBWIOd4KycUfAtvEJ7xH8HqkaH1vTxrJsfCORnvGNhI7x3eHV2fgCMUc6Qdm4o2Db+IT3KH6PVI2PrWljWTa+ZtCMrxbL+JqhY3x3enU2vkDMZicoG3c0bBuf8B7N71EyhjIGLEOp12MZyhjoGMpdXp0NJRBzjBOUjTsWtg1FeI/l9+iWhhKqA9Ok74bOTcHmzNxH9yTCmdnneyNxLsJWL7PP43jX1SIYbO+Rnoy7CW4o76vQ8bEmKv+yytzf44l9uQrWkBXvcRWRf78h6z6vzkNWIOZ4JygbdwJsD1nCewK/R6qPq9iaNhZ7SGCeLifS9CsrsYyPd839je9+r87GF4g50QnKxp0E28YnvCfxe6T5uKqVqelkIudYhsK8Zv96H/DqbCiBmJOdoGzcKbBtKMJ7Cr9HqpPUFMSZpIqwRX1OP5WAFfsIORU6xvegV2fjC8Sc6gRl406DbeMT3tP4PUrGUKaDZSjxXvxNh46hPOTV2VACMac7Qdm4M2DbUIT3DH6PVJ/1ME36YejcFGzOzH30SCKcmX1+NBLnImz1Mvs8k3ddKi/+pCczwX/xdw06PsZ+8cfc37OIfbkG2pDVG2vIIvLvN2Q95tV5yArEnOUEZePOhu0hS3jP5vdI9XEVW9PGsny6nAOW8cX7nPoc6Bjf416djS8Qc44TlI1bwLbxCe+C3yNFQylbmJqWRM6xDIV5zf71tnh1NpRAzNIJysatwLahCO8Kv0eqkxRb08ayPElVkd4kVYWO8bV6dTa+QMyqE5SN2wbbxie82/g9SsZQ2pGeobRDx1BqXp0NJRCz3QnKxu2AbUMR3h38HiVjKHORnqHMhY6hPOHV2VACMec6Qdm482DbUIT3PH6PkjGU+UjPUOZDx1Ce9OpsKIGY852gbNwFsG0ownsBv0fJGEon0jOUTugYylNenQ0lELPTCcrGXQjbhiI4C/k9SsZQFiE9Q1kEHUN52quzoQRiLnKCsnEXw7ahCO/F/B4lYyhLwDKUeH+NsQQ6hvKMV2dDCcRc4gRl4y6FbUMR3kv5PUrGUJYhPUNZBh1Dedars6EEYi5zgrJxl8O2oQjv5fweqf55F9OkV/A4t9yKcxG2qCa6EumZ6EromOhzXp1NNBBzpROUjbsKtk1UeK/i90jlWsXsV4D/N3XfQCc8mkjX2fiWEGYgryb2hahfMkG0BukF0RroBNHzXp2DKBBzjROUjbsWtoNIeK/l90jlWiUwV4MfRN8ijSBiDjXriH0h6pdMEK1HekG0HjpB9IJX5yAKxFzvBGXjboDtIBLeG/g9UrlWCcx14AfRd0gjiJhDzUZiX4j63TKIQjkzX0K/CNt+Jvf0RoV75Xukca8wfXcTsS9E/VS+yUn29SaFfXM90r4pglZZZXrEZmJfrhPvjViDL5F/v8H3Ja/Og28g5mYnKBt3C2wPvsJ7C79Hqt8/wNa0sSyf+LeCZnzRPuq6FTrG97JXZ+MLxNzqBGXjdsG28QnvLn6PkjGUbqRnKN3QMZQer86GEojZ7QRl426DbUMR3tv4PVL9ZFoXEasXOjcFmzNzH9UjcS7CFjU4+sAKjnjvnvqgExyveHUOjkDMPicoG3c7bAeH8N7O75FqcDBN9FWkERzMfbSDx7nfuyLLz4F3Evus9RzdcvDuAit4453YdkEneF/z6hy8gZi7nKBs3N2wHbzCeze/R8mc2F5HGsHL3EdvROJchC1qcOwBKzjindj2QCc43vTqHByBmHucoGzcvbAdHMJ7L79HqsHBNNG3kEZwMPfRPh5nlU8syYl8J/ifWPoB3P3N5i1PD3Yo8P4ROvd1E/k69xO1JPa61NLP8qB1AKxBK94J/QB0Bq23vToPWoGYB5ygbNyDsD1oCe+D/B4lc0J/Bzo3BZszcx+9G4lzEbaowXEIrOCId0I/BJ3geM+rc3AEYh5ygrJxD8N2cAjvw/weqQYH00TfRxrBwdxHR3icVU7o8gRmP/gn1Z/A3d9s3vK0aJ8C75+hc1+zT+hHiVoSe11q6Wd50DoG1qAV74R+DDqD1gdenQetQMxjTlA27nHYHrSE93F+j5I5oX8InZuCzZm5jz6KxLkIW9TgOAFWcMQ7oZ+ATnB87NU5OAIxTzhB2bgnYTs4hPdJfo9Ug4Npop8gjeBg7qNTPM4qJ3R5AnMU/JPqL+DubzZveVp0RIH3r9C5r9kn9NNELYm9LrX0szxonQFr0Ip3Qj8DnUHrU6/Og1Yg5hknKBv3LGwPWsL7LL9HyZzQP4POTcHmzNxHn0fiXIQtanCcAys44p3Qz0EnOL7w6hwcgZjnnKBs3POwHRzC+zy/R6rBwTTRL5FGcDD30QUeZ5UTujyBOQ3+SfU3cPc3m7c8LTqlwPt36NzX7BP6RaKWxF6XWvpZHqi/gu28lgy4qHCv/AHbHiF5dUGB959IwyMuEbUk9rpk68feN3I/X1LYNzcQZ98UQausdhE5Xyb25QbhumJ/1zWRf78D7ddenQ+0gZiXnaBs3CuwfaAV3lf4PVL9rmumpoMGXKO//gGokXOuaucAAA==","proving_key":null,"verification_key":null}