fil_blst
pub fn verify_batch_proof( proof_vec: &[u8], num_proofs: usize, public_inputs: &[blst_fr], num_inputs: usize, rand_z: &[blst_scalar], nbits: usize, vk_path: &Path) -> bool