RSA accumulator · dynamic membership · non-membership proofs
Prove a certificate is not on a revocation list — in one fixed-size witness, against real RSA accumulator arithmetic.