> Mixnets allow you to verify that the data in is _identical_ to data out (modulo the salts) to make it so that data an anonymized.

I think this is the part I don't understand. Partly because I don't know anything about mixnets, and it feels like its paradoxical. But if that's how it is, then I can accept it.