Auditorium

Auditorium is the network protocol first outlined here. It is a massively redundant networking protocol designed to ensure security and auditability of election systems.

Auditorium sends messages in the form of signed S-expressions, whose syntax and functionality are detailed extensively in the auditorium messages page.

To see examples of auditorium messages used during elections, see this page