feat!: Move WitnessMap type into ACVM to avoid leaking BTreeMap type

Cargo.toml

@@ -24,7 +24,7 @@ edition = "2021"
 rust-version = "1.66"
 
 [workspace.dependencies]
-acvm = "0.10.3"
+acvm = "0.11.0"
 arena = { path = "crates/arena" }
 fm = { path = "crates/fm" }
 iter-extended = { path = "crates/iter-extended" }
@@ -50,3 +50,7 @@ toml = "0.7.2"
 url = "2.2.0"
 wasm-bindgen = { version = "0.2.83", features = ["serde-serialize"] }
 wasm-bindgen-test = "0.3.33"
+
+[patch.crates-io]
+acvm = { package = "acvm", git = "https://github.com/noir-lang/acvm", rev = "c395c55b7acc84b10dbe6896398ca4df32b2a48a" }
+acvm-backend-barretenberg = { git = "https://github.com/noir-lang/acvm-backend-barretenberg", rev = "030a7e7b9ba842f3d307dbab178962b63d0dedcf" }

crates/nargo/src/ops/codegen_verifier.rs

@@ -1,10 +1,8 @@
 use acvm::SmartContract;
 
-use crate::NargoError;
-
-pub fn codegen_verifier(
-    backend: &impl SmartContract,
+pub fn codegen_verifier<B: SmartContract>(
+    backend: &B,
     verification_key: &[u8],
-) -> Result<String, NargoError> {
-    Ok(backend.eth_contract_from_vk(verification_key))
+) -> Result<String, B::Error> {
+    backend.eth_contract_from_vk(verification_key)
 }

crates/nargo/src/ops/execute.rs

@@ -1,6 +1,7 @@
+use acvm::acir::native_types::WitnessMap;
+use acvm::pwg::{solve, PartialWitnessGeneratorStatus};
+use acvm::PartialWitnessGenerator;
 use acvm::{acir::circuit::Circuit, pwg::block::Blocks};
-use acvm::{PartialWitnessGenerator, PartialWitnessGeneratorStatus};
-use noirc_abi::WitnessMap;
 
 use crate::NargoError;
 
@@ -10,7 +11,7 @@ pub fn execute_circuit(
     mut initial_witness: WitnessMap,
 ) -> Result<WitnessMap, NargoError> {
     let mut blocks = Blocks::default();
-    let solver_status = backend.solve(&mut initial_witness, &mut blocks, circuit.opcodes)?;
+    let solver_status = solve(backend, &mut initial_witness, &mut blocks, circuit.opcodes)?;
     if matches!(solver_status, PartialWitnessGeneratorStatus::RequiresOracleData { .. }) {
         todo!("Add oracle support to nargo execute")
     }

crates/nargo/src/ops/preprocess.rs

@@ -1,26 +1,23 @@
 use acvm::ProofSystemCompiler;
-use iter_extended::vecmap;
+use iter_extended::try_vecmap;
 use noirc_driver::{CompiledContract, CompiledProgram};
 
-use crate::{
-    artifacts::{
-        contract::{PreprocessedContract, PreprocessedContractFunction},
-        program::PreprocessedProgram,
-    },
-    NargoError,
+use crate::artifacts::{
+    contract::{PreprocessedContract, PreprocessedContractFunction},
+    program::PreprocessedProgram,
 };
 
 // TODO: pull this from backend.
 const BACKEND_IDENTIFIER: &str = "acvm-backend-barretenberg";
 
-pub fn preprocess_program(
-    backend: &impl ProofSystemCompiler,
+pub fn preprocess_program<B: ProofSystemCompiler>(
+    backend: &B,
     compiled_program: CompiledProgram,
-) -> Result<PreprocessedProgram, NargoError> {
+) -> Result<PreprocessedProgram, B::Error> {
     // TODO: currently `compiled_program`'s bytecode is already optimized for the backend.
     // In future we'll need to apply those optimizations here.
     let optimized_bytecode = compiled_program.circuit;
-    let (proving_key, verification_key) = backend.preprocess(&optimized_bytecode);
+    let (proving_key, verification_key) = backend.preprocess(&optimized_bytecode)?;
 
     Ok(PreprocessedProgram {
         backend: String::from(BACKEND_IDENTIFIER),
@@ -31,26 +28,26 @@ pub fn preprocess_program(
     })
 }
 
-pub fn preprocess_contract(
-    backend: &impl ProofSystemCompiler,
+pub fn preprocess_contract<B: ProofSystemCompiler>(
+    backend: &B,
     compiled_contract: CompiledContract,
-) -> Result<PreprocessedContract, NargoError> {
-    let preprocessed_contract_functions = vecmap(compiled_contract.functions, |func| {
+) -> Result<PreprocessedContract, B::Error> {
+    let preprocessed_contract_functions = try_vecmap(compiled_contract.functions, |func| {
         // TODO: currently `func`'s bytecode is already optimized for the backend.
         // In future we'll need to apply those optimizations here.
         let optimized_bytecode = func.bytecode;
-        let (proving_key, verification_key) = backend.preprocess(&optimized_bytecode);
+        let (proving_key, verification_key) = backend.preprocess(&optimized_bytecode)?;
 
-        PreprocessedContractFunction {
+        Ok(PreprocessedContractFunction {
             name: func.name,
             function_type: func.function_type,
             abi: func.abi,
 
             bytecode: optimized_bytecode,
             proving_key,
             verification_key,
-        }
-    });
+        })
+    })?;
 
     Ok(PreprocessedContract {
         name: compiled_contract.name,

crates/nargo/src/ops/prove.rs

@@ -1,16 +1,11 @@
-use acvm::acir::circuit::Circuit;
+use acvm::acir::{circuit::Circuit, native_types::WitnessMap};
 use acvm::ProofSystemCompiler;
-use noirc_abi::WitnessMap;
 
-use crate::NargoError;
-
-pub fn prove_execution(
-    backend: &impl ProofSystemCompiler,
+pub fn prove_execution<B: ProofSystemCompiler>(
+    backend: &B,
     circuit: &Circuit,
     solved_witness: WitnessMap,
     proving_key: &[u8],
-) -> Result<Vec<u8>, NargoError> {
-    let proof = backend.prove_with_pk(circuit, solved_witness, proving_key);
-
-    Ok(proof)
+) -> Result<Vec<u8>, B::Error> {
+    backend.prove_with_pk(circuit, solved_witness, proving_key)
 }

crates/nargo/src/ops/verify.rs

@@ -1,17 +1,12 @@
-use acvm::acir::circuit::Circuit;
+use acvm::acir::{circuit::Circuit, native_types::WitnessMap};
 use acvm::ProofSystemCompiler;
-use noirc_abi::WitnessMap;
 
-use crate::NargoError;
-
-pub fn verify_proof(
-    backend: &impl ProofSystemCompiler,
+pub fn verify_proof<B: ProofSystemCompiler>(
+    backend: &B,
     circuit: &Circuit,
     proof: &[u8],
     public_inputs: WitnessMap,
     verification_key: &[u8],
-) -> Result<bool, NargoError> {
-    let valid_proof = backend.verify_with_vk(proof, public_inputs, circuit, verification_key);
-
-    Ok(valid_proof)
+) -> Result<bool, B::Error> {
+    backend.verify_with_vk(proof, public_inputs, circuit, verification_key)
 }

crates/nargo_cli/Cargo.toml

@@ -37,7 +37,7 @@ termcolor = "1.1.2"
 color-eyre = "0.6.2"
 
 # Backends
-acvm-backend-barretenberg = { git = "https://github.com/noir-lang/aztec_backend", rev = "677f10e07011849f8aa0d75fe80390bb3081b1e5", default-features = false }
+acvm-backend-barretenberg = { version = "0.1.2", default-features = false }
 
 [dev-dependencies]
 tempdir = "0.3.7"