VotingWorks 的開源投票豪賭贏得真實選舉，並通過州級審計

美國的投票機所執行的軟體，選民從未見過。主導市場的三家供應商——Dominion、Election Systems & Software 與 Hart InterCivic——將其程式碼視為智慧財產，而這種封閉的「黑箱」助長了關於選舉舞弊的陰謀論。新罕布夏州州務卿 David Scanlan 希望能讓人們看見選票實際上是如何被計數的。

Ben Adida 在麻省理工學院的博士論文研究投票系統的安全防護，他認定開源軟體是唯一有效的解答。2018 年，他重返這個問題，並以非營利組織的形式創立 VotingWorks，理由是這樣的結構能改變選舉設備供應商的誘因。投票機的程式碼可供任何人檢視，而設計仍維持熟悉的形式——手寫劃記或觸控螢幕的紙本選票，外加一張「I Voted」貼紙——以免選民卻步。

密西西比州是第一個使用這些投票機的州，時為 2019 年。2022 年 11 月 8 日，新罕布夏州三個小鎮約 3,000 名選民將選票送入 VotingWorks 設備，同一批選票並在康科德的一場公開會議中以人工計票，讓任何人都能核對投票機是否正確記錄了選票。

州務卿辦公室於 2023 年 1 月進行的審計發現，該軟體運作良好：在受審計的城鎮中，計票結果與人工計票在每項選舉中相差一至兩票以內。硬體則是弱點——選舉日當天有一台機器因掃描器受阻而無法使用，另一台則短暫發生卡紙——但軟體本身的計票是準確的。

開源的 VotingWorks 投票機自 2019 年起在密西西比州、2022 年在新罕布夏州投入真實選舉；審計結果與人工計票在每項選舉中相差 1 至 2 票以內。

三家供應商封閉的專有程式碼，使計票成為一個任由陰謀論填補的黑箱。

Adida 將程式碼公開，讓任何人——或他們聘請的專家——都能即時檢視選票是如何被計數的。

改採非營利組織形式，改變的是供應商的誘因，而不只是軟體。

熟悉的紙本選票設計，讓選民對新機器感到安心。

公開的人工計票為這項試辦提供了投票機自身計票之外的獨立核對。

當不信任源於一個無人能檢視的流程時，就讓該機制接受獨立審計，並消除賣方的利益衝突：恢復公信力靠的是透明，而非宣傳。

新罕布夏州尚未採用開源投票機：決定各城鎮可使用哪些設備的是選票法委員會，而非州務卿，且目前沒有更換老舊 AccuVote 投票機的時間表。VotingWorks 仍是該項審查中唯一的開源競爭者，且已在密西西比州數個郡投入選舉。該公司將新罕布夏州的試辦定位為邁向透明投票的更廣泛行動中的一步——阿拉斯加州一項法案曾提議要求選舉程式碼開源——而這次審計留下的未解問題在於硬體可靠性，而非軟體可信度。