pub fn verify_batch(proofs: Vec<Vec<u8>>) -> Result<Vec<bool>>
verify multiple proofs in parallel (native only)