This is the primary repository for Free & Fair’s work on the Tusk Philanthropies/Free Democracy Foundation Mobile Voting Project, which is being carried out using the Rigorous Digital Engineering methodology. The goal of this work is to develop the cryptographic core of an end-to-end verifiable Internet voting (E2E-VIV) system.
- The project's license, code of conduct, responsible disclosure guidelines, and contribution guidelines are available in separate documents.
- The team documentation contains information for the project team (some of which is also applicable to other contributors) about how development is carried out in this and related project repositories, team communication standards, etc.
- The continuous integration/deployment/verification documentation contains information about what artifacts are checked/created/verified in the repository (and related repositories) via continuous integration, deployment, and verification.
- In order to understand the modeling we are focused on at a high level, a white paper called "Refinements between High-Level Models" is available in our GitHub releases. Its target audience is computer scientists/mathematicians who have a basic understanding of rigorous modeling.
- The static version of our threat model is available in our GitHub releases.