学院
使结果可核查的分层防护:纸质记录、审计、重新计票、观察员,以及解决争议的法院。
每一张选票的纸质记录,是可信计票的基石——它使结果能够通过人工核查,而不依赖任何可能失效或被入侵的计算机。
审计将已报告结果与纸质记录进行核对。风险限制审计以高效方式完成这一工作——通过人工清点随机抽取的一部分选票,确认胜者,或触发全面重新计票。