README.md

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.