Support non-membership proofs for the ECC accumulator

[seresistvanandras]

This might be also super useful to be implemented in Solidity.
The original paper by Lan Nguyen: https://eprint.iacr.org/2005/123.pdf which is already implemented in this library.
This construction can also support non-membership proofs. See this by Ivan Damgård. Could be an interesting extension and addition to the ECC accumulator.

[HarryR]

http://www.cypherpunks.ca/~iang/pubs/PolyCommit-AsiaCrypt.pdf also covers accumulators and commitments to them, in a more general form, using quadratic divisibility as proof of inclusion/exclusion (which is very similar to RSA accumulators)

It too, requires a trusted setup phase, and I can't find anything which doesn't.