Many-out-of-Many Proofs and Applications to Anonymous Zether | IEEE Conference Publication | IEEE Xplore