Merge branch 'master' into assert-eq-builtin

* master:
  fix: Display warning if last expression of block is unused (#2314)
  chore(noir): Release 0.10.2 (#2343)
  fix: Prevent dead instruction elimination of brillig functions which may contain side-effects (#2340)
  chore: Separate integration tests for contracts and programs (#2339)

.release-please-manifest.json

@@ -1,3 +1,3 @@
 {
-  ".": "0.10.1"
+  ".": "0.10.2"
 }

CHANGELOG.md

@@ -1,5 +1,12 @@
 # Changelog
 
+## [0.10.2](https://github.com/noir-lang/noir/compare/v0.10.1...v0.10.2) (2023-08-16)
+
+
+### Bug Fixes
+
+* Prevent dead instruction elimination of brillig functions which may contain side-effects ([#2340](https://github.com/noir-lang/noir/issues/2340)) ([ba8ffd8](https://github.com/noir-lang/noir/commit/ba8ffd84c19b3516334c126bc2f25c725985baa3))
+
 ## [0.10.1](https://github.com/noir-lang/noir/compare/v0.10.0...v0.10.1) (2023-08-15)
 
 

Cargo.toml

@@ -18,7 +18,7 @@ default-members = ["crates/nargo_cli"]
 
 [workspace.package]
 # x-release-please-start-version
-version = "0.10.1"
+version = "0.10.2"
 # x-release-please-end
 authors = ["The Noir Team <team@noir-lang.org>"]
 edition = "2021"

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_acir_as_brillig/target/brillig_acir_as_brillig.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2bzY7bIBDHx+DPJLuHPkHUQ6XeTJxsnJsfpJdGm1RqL32LnvrOXXeZ9h+Mt6sY1jQCKYIEmPmB7RmY4BURvaPnlDx9hM7XTx+py2bi3zqd19OSStzJqpFXQHmv88r4vU85lDtHHLn7eaozYK0s47zX9amH6yNB3xp0psCT6TK3XVoYc/o7hs4hH1muIYEuZJEBsaQBsWQBsSQzs1Q0tH0V1GfwmzD69nUK6gtdFhY5haUdjr30MHbU08F31rUAhiIAliwgljQgFhkQizBYKqjHZ0oYfQsKy2e99hkvyLI26hzBo0zhWLYAWU39sN2e9puTatTnenM4trt6uzs+tKpVu3b3uGmb5tRu2/3heNjXB7VtTuq8OzRnLUw6kHU6P6e3WmxKd7IuFpuppYwLTVx0uB4TGXrMebwnzzerj4uUepCbkbub39e4M/fXqAaRQc+ppEur7YvZ4Y5TWXCnylZc8CD7jw40TuZqtE+8wxQ09H7oXfvn9D0Nr1UCZaHbyBfaJCNycKfL/XmnS27nxMuu3avx5ZBNDpPZf+8v5NrQKT3oZllXPvgb/eCrnNwZkYLcGmQzXEQUtEHyauwLT5x9+q7zioaG4lbCdr0xGAuL+dgCkWWOCHSNhcXmZklmZhkL/5gr+7EtpG2ryfUZ5N+gPrfILiyyMUxncv0rnOQjlDYWHmBdY+GkuVhkQCxm2CShy/DDmob3l4Q2H3R+p/uWRl/zfpXQ5iP0HbNJlYd5wdRBmXWN2aS5WdKAWLKAWPKAWIqAWMqAWJKZWcb8KddjqHWhy+g7hUUe24YFyEB/yuPHvitdlhZ9SwvXytIX55L7dDqvp6Xfc4l6Ovi+hPEmBt+cLGVALEVALHlALFlALGlALDIgFmGwJFDP6zm2Vbie4zZfdM5rwTujbwV9OOc2X6FvQZd7CtveA23qa/Y6Xv8u+9/PKZVQ/mmZWE7xnNKLKZ5T8sgSzynFc0pmu3hOKZ5TiueUpnNHn+WHJfqs2/RZn6A++qxpLNFnRZ91DXf0WX5Yos+6TZ/1A+qjz5rGEn1W9FnXcMf3QSyyS5A19eRl5UCWfh/k8a2C+pU7WRdB/QWU4/sgE2Xy3/Su5S7J3c3va9xL99fI6xFhl3OaGIyYfgFXBJCIukAAAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1ZUXKCMBBdAiHGTj2DR0gEJPxxkP7UEa/Sr965OsbpmuajlY2Nzu4Mk5WFl7cJ+LJkCQCvcLbieAjfro9H6f3QLudG35p5Zgs6LIP5CuT3vtXB+ZPVyB+JeNT042Qk4qojea58vEowPyXqb436rBAf6f3LtS8RjjV85zAS8oPIHALqC3MpM+JSZcRFZsSl+GcuGn7+92kUl+icCO49xSyKK++LCI6KXIdzXyTIHfczot+XvpaIg8qAi8yIS5URlzIjLiLgolEcv1MiuFdBXpr123dcQWRtNBKRx5iCGFsgrMZs23bqN5Nt7LvZDDvXmbbbbZ11tnPdfuOaZnKt64fd0JvBts1kD93QHDxYSYA1Hc52r8VmSYd1tdisIj5eaOJFB3VOEPQTjuMKEj+sKSapSoArge7hT5W3pJ8jgyCzHtNHrzhxJfnpW644/2xccSbkwhUnV5zhdVxxcsXJFed83qxZabiwZj2nZr2hOGvWPC6sWaxZt/BmzUrDhTXrOTXrA8VZs+ZxYc1izbqFN+/sRbBroPsQrwiw/M7e/l4f9RUd1tVH/QXyeWdvJqbyA0qNqyHvnb1T3pp+jpLu7FGOaRFwxPYFSEFLoYQqAAA=","proving_key":null,"verification_key":null}

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

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1czW7bMAym7fgvadL/7hoMw4DtZMdJk9z8AHuEXVY0HbBd9hY77Z1Xt+L6hZGzIpZqtZCAQop+yI+yREo03SMiOqfHFNz/hSqf3v9FqiwT19UqL7qlMjBHq0C8IZSXKs9FfZMSKNeGcCTm56mIAWuukXOi2gcWnk8E/KbAcwB4YlXmviMNxoSeZKgN4iPNMyTghVgih7AMHMISO4Ql6BlLTru6L4f2GOpCMbZpK6E9VeVQQyfV9EPZMwuyI58afjOvIWBIHcASO4Rl4BCWyCEsocCSQzvuqVCMTcktm/XcPZ6S5mxUGwKPNEPDtEOgVRXX8/lmOduUVfmtmK1vVotivri5XpWrcrFa3M5WVbVZzVfL9c16WazLebUp7xbr6k4RiwzQ2tw9ppc6bEbmaG0dNgeaMh408dBhWiYSfOQ8TsjyYrXxkAYW6MZkbvHbkjs2/4wKIOn0nEa0rbVtYTZ44yw1cLvSLrlggfY/Hqic5Gm0SXzDDGnX+qF1bfbpe9p9VgGUQ9Un2tMnaKGDN10ezzddMjsnVm7tVpUvu2wSmMzmd/Mgp4JnZIE30zpw48/Uxi8TMqdEUjKrkKW7iMhphWRV2aeWcDbpl8pz2lUUb8Vt1yiDNreYjSsQaeaIgFebW6xvLEHPWNrcP/Jk33aF1F01uT2G/Ce0JxraqYY2uukkrv+5k2y40trcA8yrzZ3UF5bIISzSbRLQtvthSrvrK4I+H1U+VmMzMVau1wj6fIKxbToptzAvmGooM682ndQ3loFDWGKHsCQOYUkdwpI5hCXoGUubPeV2dLUOVRltZ6ihx7phCDTQnrL8OPZIlSMNv5EG15FmLM4lj6lVXnRLD3OJfGr4PQJ5A4GvTyyZQ1hSh7AkDmGJHcIycAhL5BCWUGAJoJ3Pc6yr8DzHfb6rnM+CYzE2hzGcc58fMDal7TuF7u6BOvU5dx2rr8tee5xSBuU/monl5OOU9iYfp2QRi49T8nFKsp+PU/JxSj5OqTtub7PsYPE2623arK/Q7m1WNyzeZnmbdQhub7PsYPE2623arN/Q7m1WNyzeZnmbdQhu/z2IhnYGtLpGXuYGaKnvQW5fyqmfm6O15dQfQtl/D9KRJr+mN013ROYWvy25R+afkdUQYZNz+hrf7EmsX1T+2t/osfXbF8Js4xMD0swRkf5WGfSMpe2WEIm5wrWAr8rxv1TobgmZhh+/YcVTDIZESQx4IuMxGdThGM4xZFXysB1ahnxqgYExBQJfn1hCDRYbp3Dm2aQp7Z6kcQ3lgFuGlMh1gSElH1Q+VnKMzcoxw9AYKccYsE9UGUNjjoUcvJYnIAf3+SzkODUrR9XgOSG9HKcgx5kqn4Ac50IO3n9nIAf3KYQcl2blmDd4LkgvxyXIcaXKFyDHOyEH64wrkIP7XIMcrt34EnraC7UZLA/rPGnBsu+G3ORDs1iqfboD9RmGwzIWw/t/fuj+b+pw/3Md7yvUgbz/UB7eWxOoY77HUMdr4gTqeO3gvpZ71qo3gAnrDsZ/AfPEEVbPSwAA","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1ZUXKCMBBdAiHGTj2DR0gEJPxxkP7UEa/Sr965OsbpmuajlY2Nzu4Mk5WFl7cJ+LJkCQCvcLbieAjfro9H6f3QLudG35p5Zgs6LIP5CuT3vtXB+ZPVyB+JeNT042Qk4qojea58vEowPyXqb436rBAf6f3LtS8RjjV85zAS8oPIHALqC3MpM+JSZcRFZsSl+GcuGn7+92kUl+icCO49xSyKK++LCI6KXIdzXyTIHfczot+XvpaIg8qAi8yIS5URlzIjLiLgolEcv1MiuFdBXpr123dcQWRtNBKRx5iCGFsgrMZs23bqN5Nt7LvZDDvXmbbbbZ11tnPdfuOaZnKt64fd0JvBts1kD93QHDxYSYA1Hc52r8VmSYd1tdisIj5eaOJFB3VOEPQTjuMKEj+sKSapSoArge7hT5W3pJ8jgyCzHtNHrzhxJfnpW644/2xccSbkwhUnV5zhdVxxcsXJFed83qxZabiwZj2nZr2hOGvWPC6sWaxZt/BmzUrDhTXrOTXrA8VZs+ZxYc1izbqFN+/sRbBroPsQrwiw/M7e/l4f9RUd1tVH/QXyeWdvJqbyA0qNqyHvnb1T3pp+jpLu7FGOaRFwxPYFSEFLoYQqAAA=","proving_key":null,"verification_key":null}