Function accumulator_check 

pub fn accumulator_check(
    urs: &SRS<Vesta>,
    proofs: &[&PicklesProofProofsVerified2ReprStableV2],
) -> Result<bool, InvalidBigInt>