Nonmembership witness in universal accumulator
In accumulators based on groups of unknown order (such as RSA or class groups) or accumulators based on bilinear pairings, both membership and non-membership proofs are constant-sized (i.e. independent of the size of the set and the size of the subset you are proving membership/non-membership for).