#[no_mangle]
pub unsafe extern "C" fn ergo_lib_batch_merkle_proof_valid(
    proof: ConstBatchMerkleProofPtr,
    root_hash: *const u8,
    len: usize
) -> bool