no duplicates ~zk