Remove export keyword on inner FFI verification rust functions

Author: Julian Ventura

operator/merkle_tree/lib/src/lib.rs

@@ -4,8 +4,7 @@ use aligned_sdk::core::types::{
 use lambdaworks_crypto::merkle_tree::merkle::MerkleTree;
 use log::error;
 
-#[no_mangle]
-pub extern "C" fn inner_verify_merkle_tree_batch_ffi(
+fn inner_verify_merkle_tree_batch_ffi(
     batch_ptr: *const u8,
     batch_len: usize,
     merkle_root: &[u8; 32],

operator/risc_zero/lib/src/lib.rs

@@ -1,8 +1,7 @@
 use log::error;
 use risc0_zkvm::{InnerReceipt, Receipt};
 
-#[no_mangle]
-extern "C" fn inner_verify_risc_zero_receipt_ffi(
+fn inner_verify_risc_zero_receipt_ffi(
     inner_receipt_bytes: *const u8,
     inner_receipt_len: u32,
     image_id: *const u8,

operator/sp1/lib/src/lib.rs

@@ -6,8 +6,7 @@ lazy_static! {
     static ref PROVER_CLIENT: ProverClient = ProverClient::new();
 }
 
-#[no_mangle]
-extern "C" fn inner_verify_sp1_proof_ffi(
+fn inner_verify_sp1_proof_ffi(
     proof_bytes: *const u8,
     proof_len: u32,
     elf_bytes: *const u8,