fix: Download expected bb version if installed backend has version mismatch

tooling/backend_interface/src/cli/mod.rs

@@ -5,13 +5,15 @@ mod gates;
 mod info;
 mod prove;
 mod verify;
+mod version;
 mod write_vk;
 
 pub(crate) use contract::ContractCommand;
 pub(crate) use gates::GatesCommand;
 pub(crate) use info::InfoCommand;
 pub(crate) use prove::ProveCommand;
 pub(crate) use verify::VerifyCommand;
+pub(crate) use version::VersionCommand;
 pub(crate) use write_vk::WriteVkCommand;
 
 #[test]

tooling/backend_interface/src/cli/version.rs

@@ -0,0 +1,29 @@
+use std::path::Path;
+
+use crate::BackendError;
+
+use super::string_from_stderr;
+
+/// VersionCommand will call the backend binary
+/// to query installed version.
+pub(crate) struct VersionCommand;
+
+impl VersionCommand {
+    pub(crate) fn run(self, binary_path: &Path) -> Result<String, BackendError> {
+        let mut command = std::process::Command::new(binary_path);
+
+        command.arg("--version");
+
+        let output = command.output()?;
+        if output.status.success() {
+            match String::from_utf8(output.stdout) {
+                Ok(result) => Ok(result),
+                Err(_) => Err(BackendError::CommandFailed(
+                    "Unexpected output from --version check.".to_owned(),
+                )),
+            }
+        } else {
+            Err(BackendError::CommandFailed(string_from_stderr(&output.stderr)))
+        }
+    }
+}

tooling/backend_interface/src/lib.rs

@@ -10,6 +10,9 @@ mod smart_contract;
 
 use acvm::acir::circuit::Opcode;
 use bb_abstraction_leaks::ACVM_BACKEND_BARRETENBERG;
+use bb_abstraction_leaks::BACKEND_BARRETENBERG_SEARCH_STR;
+use bb_abstraction_leaks::BB_VERSION;
+use cli::VersionCommand;
 pub use download::download_backend;
 
 const BACKENDS_DIR: &str = ".nargo/backends";
@@ -104,6 +107,18 @@ impl Backend {
     fn crs_directory(&self) -> PathBuf {
         self.backend_directory().join("crs")
     }
+
+    fn assert_correct_version(&self) {
+        let binary_path = self.binary_path();
+        if binary_path.to_string_lossy().contains(BACKEND_BARRETENBERG_SEARCH_STR) {
+            let version_result = VersionCommand.run(binary_path);
+            if let Ok(version_string) = version_result {
+                if version_string.as_str() != BB_VERSION {
+                    println!("WARNING!: Configured backend version `{version_string}` is different from expected `{BB_VERSION}`");
+                }
+            }
+        }
+    }
 }
 
 pub struct BackendOpcodeSupport {

tooling/backend_interface/src/proof_system.rs

@@ -39,6 +39,8 @@ impl Backend {
     ) -> Result<Vec<u8>, BackendError> {
         let binary_path = self.assert_binary_exists()?;
 
+        self.assert_correct_version();
+
         let temp_directory = tempdir().expect("could not create a temporary directory");
         let temp_directory = temp_directory.path().to_path_buf();
 
@@ -78,6 +80,7 @@ impl Backend {
         is_recursive: bool,
     ) -> Result<bool, BackendError> {
         let binary_path = self.assert_binary_exists()?;
+        self.assert_correct_version();
 
         let temp_directory = tempdir().expect("could not create a temporary directory");
         let temp_directory = temp_directory.path().to_path_buf();

tooling/backend_interface/src/smart_contract.rs

@@ -10,6 +10,8 @@ impl Backend {
     pub fn eth_contract(&self, circuit: &Circuit) -> Result<String, BackendError> {
         let binary_path = self.assert_binary_exists()?;
 
+        self.assert_correct_version();
+
         let temp_directory = tempdir().expect("could not create a temporary directory");
         let temp_directory_path = temp_directory.path().to_path_buf();
 

tooling/bb_abstraction_leaks/build.rs

@@ -35,6 +35,7 @@ fn main() -> Result<(), String> {
     };
 
     println!("cargo:rustc-env=BB_BINARY_URL={}", get_bb_download_url(arch, os));
+    println!("cargo:rustc-env=BB_VERSION={}", VERSION);
 
     Ok(())
 }

tooling/bb_abstraction_leaks/src/lib.rs

@@ -3,8 +3,10 @@
 
 use acvm::FieldElement;
 
+pub const BACKEND_BARRETENBERG_SEARCH_STR: &str = "barretenberg";
 pub const ACVM_BACKEND_BARRETENBERG: &str = "acvm-backend-barretenberg";
 pub const BB_DOWNLOAD_URL: &str = env!("BB_BINARY_URL");
+pub const BB_VERSION: &str = env!("BB_VERSION");
 
 /// Embed the Solidity verifier file
 const ULTRA_VERIFIER_CONTRACT: &str = include_str!("contract.sol");