Constant EVM_HALO2_VERIFIER_BASE_NAME 

pub const EVM_HALO2_VERIFIER_BASE_NAME: &str = "OpenVmHalo2Verifier.sol";