ジョシュ・ベナロー

ベナローは1987年にイェール大学で、検証可能な秘密投票選挙に関する論文で博士号を得た。電子投票が政治的な話題になるはるか前のことである。Goldwasser–Micaliの拡張である加法準同型暗号は、個々の票を復号せずに暗号化された票を合算できる。1994年にはドワイト・トゥインストラと共に、選挙をレシート・フリーにする方法を示した。票の買い手に対して、有権者が誰に投票したかを証明できないようにするものである。

ベナロー・チャレンジでは、有権者が機械に投票の暗号化の過程を明かすよう求めたうえで、その票を破棄できる。不正な機械は、どの票が監査されるか分からない。Microsoft Researchでは、エンドツーエンドで検証可能な選挙のためのオープンSDK、ElectionGuardの開発を率い、2020年にウィスコンシン州フルトンで初めて実際の選挙に使われた。有権者が信頼すべきは機械ではなく数学だけだ、というのが彼の主張の核心である。