История

rc carter 96b60e11f1 Added v 0.85 of Benaloh spec PDF version		2019-09-24 11:43:51 -07:00
..
description	Initial Launch commit	2019-09-24 18:35:53 +00:00
.gitignore	Initial Launch commit	2019-09-24 18:35:53 +00:00
Ballot Marking Device Server API.md	Initial Launch commit	2019-09-24 18:35:53 +00:00
ElectionGuardSpecificationV0.85.pdf	Added v 0.85 of Benaloh spec	2019-09-24 11:43:51 -07:00
README.md	Initial Launch commit	2019-09-24 18:35:53 +00:00
assurancechart.png	Initial Launch commit	2019-09-24 18:35:53 +00:00
process.png	Initial Launch commit	2019-09-24 18:35:53 +00:00
statemachine.png	Initial Launch commit	2019-09-24 18:35:53 +00:00

README.md

Informal specifications

This directory contains informal specifications of the SDK.

Highlights are:

A description of how an E2E-V election might run

Images of the state machine, process chart, and assurance layers