diff --git a/crates/acvm_backend_barretenberg/src/cli/contract.rs b/crates/acvm_backend_barretenberg/src/cli/contract.rs index 635e4ad499..6301431d0f 100644 --- a/crates/acvm_backend_barretenberg/src/cli/contract.rs +++ b/crates/acvm_backend_barretenberg/src/cli/contract.rs @@ -59,10 +59,10 @@ fn contract_command() -> Result<(), BackendError> { is_recursive: false, crs_path: crs_path.clone(), }; - write_vk_command.run(&backend.binary_path())?; + write_vk_command.run(backend.binary_path())?; let contract_command = ContractCommand { vk_path, crs_path }; - contract_command.run(&backend.binary_path())?; + contract_command.run(backend.binary_path())?; drop(temp_directory); diff --git a/crates/acvm_backend_barretenberg/src/cli/gates.rs b/crates/acvm_backend_barretenberg/src/cli/gates.rs index bcfcb14b4e..446c6eee81 100644 --- a/crates/acvm_backend_barretenberg/src/cli/gates.rs +++ b/crates/acvm_backend_barretenberg/src/cli/gates.rs @@ -51,7 +51,7 @@ fn gate_command() -> Result<(), BackendError> { let gate_command = GatesCommand { crs_path, bytecode_path }; - let output = gate_command.run(&backend.binary_path())?; + let output = gate_command.run(backend.binary_path())?; // Mock backend always returns zero gates. assert_eq!(output, 0); diff --git a/crates/acvm_backend_barretenberg/src/cli/info.rs b/crates/acvm_backend_barretenberg/src/cli/info.rs index d1a7410623..680d956903 100644 --- a/crates/acvm_backend_barretenberg/src/cli/info.rs +++ b/crates/acvm_backend_barretenberg/src/cli/info.rs @@ -80,7 +80,7 @@ fn info_command() -> Result<(), BackendError> { let backend = crate::get_mock_backend()?; let crs_path = backend.backend_directory(); - let (language, is_opcode_supported) = InfoCommand { crs_path }.run(&backend.binary_path())?; + let (language, is_opcode_supported) = InfoCommand { crs_path }.run(backend.binary_path())?; assert!(matches!(language, Language::PLONKCSat { width: 3 })); assert!(is_opcode_supported(&Opcode::Arithmetic(Expression::default()))); diff --git a/crates/acvm_backend_barretenberg/src/cli/prove.rs b/crates/acvm_backend_barretenberg/src/cli/prove.rs index 7b8a4eb943..a229506a3d 100644 --- a/crates/acvm_backend_barretenberg/src/cli/prove.rs +++ b/crates/acvm_backend_barretenberg/src/cli/prove.rs @@ -61,7 +61,7 @@ fn prove_command() -> Result<(), BackendError> { let crs_path = backend.backend_directory(); let prove_command = ProveCommand { crs_path, bytecode_path, witness_path, is_recursive: false }; - let proof = prove_command.run(&backend.binary_path())?; + let proof = prove_command.run(backend.binary_path())?; assert_eq!(proof, "proof".as_bytes()); drop(temp_directory); diff --git a/crates/acvm_backend_barretenberg/src/cli/verify.rs b/crates/acvm_backend_barretenberg/src/cli/verify.rs index 2028f05f01..741dd8cbd1 100644 --- a/crates/acvm_backend_barretenberg/src/cli/verify.rs +++ b/crates/acvm_backend_barretenberg/src/cli/verify.rs @@ -63,7 +63,7 @@ fn verify_command() -> Result<(), BackendError> { vk_path_output: vk_path_output.clone(), }; - write_vk_command.run(&backend.binary_path())?; + write_vk_command.run(backend.binary_path())?; let prove_command = ProveCommand { crs_path: crs_path.clone(), @@ -71,14 +71,14 @@ fn verify_command() -> Result<(), BackendError> { bytecode_path, witness_path, }; - let proof = prove_command.run(&backend.binary_path())?; + let proof = prove_command.run(backend.binary_path())?; write_to_file(&proof, &proof_path); let verify_command = VerifyCommand { crs_path, is_recursive: false, proof_path, vk_path: vk_path_output }; - let verified = verify_command.run(&backend.binary_path())?; + let verified = verify_command.run(backend.binary_path())?; assert!(verified); drop(temp_directory); diff --git a/crates/acvm_backend_barretenberg/src/cli/write_vk.rs b/crates/acvm_backend_barretenberg/src/cli/write_vk.rs index b9ceadc625..05db7e4738 100644 --- a/crates/acvm_backend_barretenberg/src/cli/write_vk.rs +++ b/crates/acvm_backend_barretenberg/src/cli/write_vk.rs @@ -55,7 +55,7 @@ fn write_vk_command() -> Result<(), BackendError> { let write_vk_command = WriteVkCommand { bytecode_path, crs_path, is_recursive: false, vk_path_output }; - write_vk_command.run(&backend.binary_path())?; + write_vk_command.run(backend.binary_path())?; drop(temp_directory); Ok(()) diff --git a/crates/acvm_backend_barretenberg/src/proof_system.rs b/crates/acvm_backend_barretenberg/src/proof_system.rs index 9f68dba226..a591358945 100644 --- a/crates/acvm_backend_barretenberg/src/proof_system.rs +++ b/crates/acvm_backend_barretenberg/src/proof_system.rs @@ -24,14 +24,14 @@ impl Backend { write_to_file(&serialized_circuit, &circuit_path); GatesCommand { crs_path: self.crs_directory(), bytecode_path: circuit_path } - .run(&binary_path) + .run(binary_path) } pub fn get_backend_info( &self, ) -> Result<(Language, Box bool>), BackendError> { let binary_path = self.assert_binary_exists()?; - InfoCommand { crs_path: self.crs_directory() }.run(&binary_path) + InfoCommand { crs_path: self.crs_directory() }.run(binary_path) } pub fn prove( @@ -64,7 +64,7 @@ impl Backend { bytecode_path, witness_path, } - .run(&binary_path)?; + .run(binary_path)?; // Barretenberg return the proof prepended with the public inputs. // @@ -120,11 +120,11 @@ impl Backend { bytecode_path, vk_path_output: vk_path.clone(), } - .run(&binary_path)?; + .run(binary_path)?; // Verify the proof VerifyCommand { crs_path: self.crs_directory(), is_recursive, proof_path, vk_path } - .run(&binary_path) + .run(binary_path) } } diff --git a/crates/acvm_backend_barretenberg/src/smart_contract.rs b/crates/acvm_backend_barretenberg/src/smart_contract.rs index f8ed8cbe1c..e5018c69bd 100644 --- a/crates/acvm_backend_barretenberg/src/smart_contract.rs +++ b/crates/acvm_backend_barretenberg/src/smart_contract.rs @@ -30,10 +30,10 @@ impl Backend { bytecode_path, vk_path_output: vk_path.clone(), } - .run(&binary_path)?; + .run(binary_path)?; let verification_key_library = - ContractCommand { crs_path: self.crs_directory(), vk_path }.run(&binary_path)?; + ContractCommand { crs_path: self.crs_directory(), vk_path }.run(binary_path)?; drop(temp_directory); Ok(format!("{verification_key_library}{ULTRA_VERIFIER_CONTRACT}"))