feat!: Update to ACVM 0.21.0 (#2051)

* feat!: Update to ACVM 0.21.0

* chore: update printing of ACIR

* chore: update to use crates.io

* chore: update test artifacts

Cargo.toml

@@ -24,7 +24,7 @@ edition = "2021"
 rust-version = "1.66"
 
 [workspace.dependencies]
-acvm = "0.20.1"
+acvm = "0.21.0"
 arena = { path = "crates/arena" }
 fm = { path = "crates/fm" }
 iter-extended = { path = "crates/iter-extended" }

crates/nargo/src/ops/execute.rs

@@ -22,11 +22,9 @@ pub fn execute_circuit<B: BlackBoxFunctionSolver + Default>(
                 unreachable!("Execution should not stop while in `InProgress` state.")
             }
             ACVMStatus::Failure(error) => return Err(error.into()),
-            ACVMStatus::RequiresForeignCall => {
-                while let Some(foreign_call) = acvm.get_pending_foreign_call() {
-                    let foreign_call_result = ForeignCall::execute(foreign_call)?;
-                    acvm.resolve_pending_foreign_call(foreign_call_result);
-                }
+            ACVMStatus::RequiresForeignCall(foreign_call) => {
+                let foreign_call_result = ForeignCall::execute(&foreign_call)?;
+                acvm.resolve_pending_foreign_call(foreign_call_result);
             }
         }
     }

crates/nargo_cli/Cargo.toml

@@ -48,7 +48,7 @@ color-eyre = "0.6.2"
 tokio = { version = "1.0", features = ["io-std"] }
 
 # Backends
-acvm-backend-barretenberg = { version = "0.9.1", default-features = false }
+acvm-backend-barretenberg = { version = "0.10.0", default-features = false }
 
 [dev-dependencies]
 tempdir = "0.3.7"

crates/nargo_cli/tests/test_data_ssa_refactor/1327_concrete_in_generic/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"input","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"input":[1]},"return_type":{"kind":"field"},"return_witnesses":[2]},"bytecode":"H4sIAAAAAAAA/62PQQ6AIAwEi36opS20N78isfz/CcYEY8JV5rJ7muzuAJDg4+3HSPwHpeGcvYxFJGoOYjoxezNF0VaMjNT0ysYcJla9eUUn4aCuzn2It3Ubcf7+uG/100MmGAEAAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"input","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"input":[1]},"return_type":{"kind":"field"},"return_witnesses":[2]},"bytecode":"H4sIAAAAAAAA/62PwQ2AMAwDU1goaZI2+bEKFen+IyCkIlC/4I/9OtsrACR4dOdtOH4TpcGcuYxFJGoOYtoxezNF0VaMjNT0yMYcJla9eUUn4aCuzn2Al/82Ypq+v/PVcwJ2MvbyJAEAAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/1_mul/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9WUTW6DMBSEJ/yFhoY26bYLjoAxBLPrVYpK7n+EgmoHamWXeShYQsYSvJ+Z9/kDwCf+1m58ArsXi3PgnUN7dt/u7P9fdi8fW8rlATduCW89GFe5l2iMES90YBd+EyTyjIjtGYIm+HF1eanroa0GpdV3WXW9acq66S9GGdWY5qcyWg+mNm3Xd23ZqVoP6tp0+moDJ5AxNOTUWdk6VUTsOSb6wtRPCuDYziaZAzGA92OMFCsAPCUqMAOcQg5gZwIb4BdsA+A9seeU6AtTPymAUzubZA7EAD6MMTKsAPCUqMAMcAY5gJ0JbIBfsQ2AD8SeM6IvTP2kAM7sbJI5EAP4OMbIsQLAU6ICM8A55AB2JrABfsM2AD4Se86Jvjy5freeQ2LPObGud6J+Ce5ADz6LzJqX9Z4W75HdgzszkQj0BC+Pr6PohSpl0kkg7hm84Zfq+8z36N/l9OyaLtcv2EfpKJUUAAA=","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9WYTW6DMBSEJwESGhrapNsuOIKNIZhdr1JUcv8jFFQ7UCu7zEPBEjKW4P3MvI8FHwA+8bc2w7V1ezE7b4Nz5M7+2Y17/8vt6rGlfR5w4yoE68G42t/EQ4xkpgO78JsgcWBE4s4QNCGMa9Slqvqm7LXR36psO1urqu4uVltd2/qntMb0trJN27WNanVlen2tW3N1gXeQMTTi1Fm6OnVM7Dkh+sLUTwrgxM0mmQMxgPdDjBQLADwmKjABnEIOYG8CG+AXrAPgPbHnlOgLUz8pgFM3m2QOxAA+DDEyLADwmKjABHAGOYC9CWyAX7EOgA/EnjOiL0z9pADO3GySORAD+DjEyLEAwGOiAhPAOeQA9iawAX7DOgA+EnvOib48uX63niNizzmxrneifhHuQA8+i8ya5/WeZvex27d3ZmIn0BOCPKGOoh9UKZNOAnHP4A2/VN9nvkf/Pk7PrGk0q9H/YAzXLy9W07upFAAA","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/2_div/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1Y7U7CMBQ9bANB5UNAYowm++ffdh+w/fNVJI73fwS32EGpxpjs3KUk3IRsTeD09NzbnlteAbzhOwb1JzDP2BoHzjg04/a7sH7fxLt5qm6hBzwsJcUxIHKMaoyhoyld0IZw5CR0aMZ2hIJCpWqbZdUuqXSqP1RS7otcZfl+W+hC50X+mRRpWhVZsSv35U6VOksrfcjL9GDAhkSsERGr1XNk6SlRcNEvuF25P4G/2STqiJn7GyIvKf0Csn4DP/VTVzPhmsm4xpigBzNpJopxMpMJLstMJkSsW/DN5BayZjIG30yegYswE2bu74i8pPTz2UyI+v1ZM115hkT9xkRe90T9mgb2h3GAf/4wOdt8p9Z7hPPat2tiJLAmOPO4Os4gaMpSSZoK4M7AK36pdc/4OTo7nHzWtO3I2RybTREI60rA1e3LvMZYoIdOupkoxqmTXkC28wvB7/we4LWLJ4annhPXvCDmhalfgPOi9bn7I2h43LBwgoW7rDFW6OEgWOJ08gZm0tiZk30V8iyZR14vQoXBPlCWRP1WRCyCfuo/+qluQf1fl6nfmqhfX9cqJmeb76P1fr1WdcRcG0HZuBv4fa1q1r3h50j0WsXW1I4vUWBTFYIfAAA=","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1Y7U7CMBQ9bAMB5UNAYowm++ffdh+w/fNVJI73fwTX2Empxpjs3GUk3IRsTeD09NzbnlteALziKwb1J7DP2BkH3ji04+a7cH5v4s0+VbvQAx6WkuIYEDlGNcbQ05QuqCEceQkd2rEboaBQqdplWbVPKp3qd5WUhyJXWX7YFbrQeZF/JEWaVkVW7MtDuVelztJKH/MyPVqwIRFrRMRq9Bw5ekoUXPQLblvuj+BvNok6Yub+hshLSr+ArN+gn/qpq5lwzWRcY0zQgZmYiWKczGSCyzKTCRFrCr6ZTCFrJmPwzeQJuAgzYeb+lshLSr8+mwlRvz9rpi3PkKjfmMjrjqifWeMP4wD//GFydvnOnPcI57Xv1sRIYE3w5vF1nEPQlKWSNBPAnYNX/FLrnvNzdHY49VnTpiNnczSbIhDWlYCrm5dFjbFEB520mSjGqZNeQrbzC8Hv/O7RaxdPLE+9IK55ScwLU78A50Xb5+6PoOH3hoUXLNxVjbFGBwfBCqeTN7CTxt6c7KuQVDLbYj3jMg6UFXHNa2JeCfrp/+in2gX1f901EWtDrL+urlVMzi7fB+f9eq1qibmxgrJxt+j3tcqse8vPkei1iqlp6HBsunA/PgHqZfGSlh8AAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/3_add/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+VX226DMAx1A/QCqHvbcz8hIUlx3vYrQ6P//wkDzenSbFIrYVdItYSMETqxj4+MeQOAd/ixzXQp8qckVllcUBzfjabIf5DXy8xsGLEUH5aGzBbimnhTThhVxik7oTMRJR0S44oamlrxGs00R5ARRs6f1Wfnxr4bjTWfugsDeu38cEaDxqP/6tDaER32YQi9DsbZ0Vx86C6UZ7kcyxKWrhixVs7fNc+CUTOc/G0Z+Zux/gyP5BlX/Zw5p/nukvuSvPpHE1uBmiA7J+fxCIKDWapJOwHcPfCJX6ruPX+PbobTmjnNtzLmXLGC9W9ShwmjhidsUvNBJ/jdpGoQ36SQ4etz3SoOjMKr+Wq8K+IV5BrFFkBIxM2E0cITRNzA7e9A+4CIORuwVMQNY16tkDC4BdyA3BT+BuQ1+5wUEAAA","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9VX226DMAx1A/QCqHvbcz8hIUlJ3vYrQ6P//wkDLenSbNKmclxRS8gYIef4+JCYFyJ6pS/bTJcI/pTEIouLEMd3o4ng34KXy0xtgLkELpekzBbmVfGmnHJUGadwQmciyrBIjKvQ0NSKJ2mmlmdjxr4blVbvsvODs9LY4eyUU9bZj85pPTrjej/4Xnpl9Kgu1utLSHYkHmHk/N2Jsws4VQmsuQL2YuX8XWsugDVXQFxbIH9zjT82j+QZqn4k5hTvLrkvgxe/aGLLUBNl6+Q8HolxY+Zq0o4h755w4ueqe4/v0c3mtGZO86kMjNUBDw+2Seow5ajpAZPUvNCJviepmtgnKQc4fa5TxQEovBpX458iXgHWKDZPTCJuphwtPUDEDd3+DrT/EDGyAUtF3ABxtUzCQAu4IdzHViQYRdLr1D4BH4OxCigQAAA=","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/4_sub/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/91UbQ7CIAxljH1Eo2fwCJSPDf55FRfZ/Y/gFsuC6C9XEuNLltKFPPpemx4ZYyf2RLV8HOMlyXmW15jHuxEc4xWj3AeoEi4tB2PCqAJouEnlJ2elsdPgwIF19q6c1sEZN/rJj9KD0QFm6/WMZHx/XRAPLAMVr1g4msxTckNXIwQ+EvMGG5qi/u9mbnUdCg1G7t+XmhVqBkHoX0PIReCfLOjfVmdNODOU/rWE/q1cb8sj+Ueln7LmtN4uOQuM/MNMtAU0seyd3MczK7iYSzWpK8DbM7rhL6W7p+/Ry3L6dU9TPABrAlFP4gkAAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9VWbQ6CMAwdgwHR6Bk8wroP2P55FYnj/kcQYmfmNP6QLtEmpCshb++9Ng17xtiB3aNaHo75lNQ8q2us47cxOOYzZrktoEqwtByMCaMKoOEilZ+clcZOgwMH1tmrcloHZ9zoJz9KD0YHmK3XM4Lx7bwgHlgWVLjNgiEyT8kNXY1o8JJYC2xoGvWfNHMr1o5Oo/zk35c8FfKEhlCzIOwrgX9Q0L+H5ppQsyDk1RLO36rxZXkk76j0U3JO+XbJucHM38xEW0ATy+7JfTyygou5VJO6Arg9oxv+Urp7+h49Ladf9rROOMa/tTxuSXEzsPYJAAA=","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/5_over/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81XUW6DMAx1A6MtdPvb56QdISYJJH+7ytDC/Y8waINKo/7xjGoJJRHo2X5+Scw7EX3SzQ7To9L4vVqrtF7eHdL3P2nU24zXmEBcTZltxOVlUkwYZRYznJCZ7CIrRJnWJFiEHNfoztrYt5EN/+o2DN5p64bOs2fn3V/rjYne+j4ModeBrYk8umDGBPxGMgUtMHG2KU4ugDmXwLrsxZ/eZqyE+NuKVQH5q+jJpif8XkTGvI73uJqXaVRPNFEJ5ESZn5zHDxI8UKWKdBTAPRFO/FJ5n/A1ejicXplTRY9CRccKvDzQHdBi/jxh1LRDBzQ7+qJ7BzQ7LTKf6JsMcfvE8WrhDBRejctRXMTAWDsSEnEzYVxoBxE3dG+tVXIqLeIaKOIGKOKLkDDQvy0NyZ3C/3XzYDN0DwAA","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81X226EIBCdBbsX3fatj036CYyIwlt/pab4/59QbTHLkn3zjNlJDBDNmcs5wPhKRO/0b4f5UWn8zNYqrdd3h/T9VxrNNuMcE4hrqLCNuLxO9IxRFTHDC7IUWxdEVGlNgiSUuNb0XReHNrLlb9OG0TvTubH37Nl599N6a6Pv/BDGMJjAnY08uWCnBPxCMoRqTJxtipM1MOcKyMte9TPbjJVQ/bZiHYH10/Rg0xN+LyJjzuM9ZfMqjeqBJo4COVHhp6zjGwkeqFIknQRwz4QTv1TeZzxHd4fTM9dU0b1Q0bECLw90B7Sav8wYNe3QAS2OPujWAS1OdeETfZMhbp84/Vm4AIVX43IUFzEw1p6ERNzMGFfaQcQN3VprlZxKi7gGirgBivgqJAz0b0tD2M1GGf+l/QIoZZmihA8AAA==","proving_key":null,"verification_key":null}