flux-model An executable specification for the voteflux system. It is intended to be a vehicle by which concrete aspects of the system can be discussed and tested without requiring a full cryptographic implementation.