Implemented set membership and ElGamal validity proof