Efficient Non-Interactive Zero Knowledge Arguments for Set Operations