Ballot secrecy
No component may link a cast ballot to its voter, and the private key is divided among trustees.
SEVA's architecture is governed by eight non-negotiable invariants.
No component may link a cast ballot to its voter, and the private key is divided among trustees.
Paper is the authoritative evidence boundary and software changes must not create undetectable result changes.
No egress is allowed while voting is open or paused, and backup transport cannot carry voter rolls or ballots.