Function verify_transaction

pub fn verify_transaction<'a>(
    proofs: impl IntoIterator<Item = (&'a Statement<SokDigest>, &'a TransactionSnarkProofStableV2)>,
    verifier_index: &VerifierIndex<Fq>,
    srs: &SRS<Vesta>,
) -> bool