A mix network (also known as a mixnet) is a type ...