chore: migrate the verifier contract to acvm-backend-barretenberg

acvm_backend_barretenberg/src/acvm_interop/smart_contract.rs

@@ -1,9 +1,11 @@
 use common::acvm::SmartContract;
 use common::crs::G2;
-use common::ULTRA_VERIFIER_CONTRACT;
 
 use crate::Barretenberg;
 
+/// Embed the Solidity verifier file
+const ULTRA_VERIFIER_CONTRACT: &str = include_str!("contract.sol");
+
 #[cfg(feature = "native")]
 impl SmartContract for Barretenberg {
     fn eth_contract_from_vk(&self, verification_key: &[u8]) -> String {

common/src/lib.rs

@@ -11,6 +11,3 @@ pub mod proof;
 
 // Re-export acvm
 pub use acvm;
-
-/// Embed the Solidity verifier file
-pub const ULTRA_VERIFIER_CONTRACT: &str = include_str!("contract.sol");