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