Josh Benaloh
Daha fazla bilgi
- Kurum
- Microsoft Research
- Bilinen çalışması
- Doğrulanabilir seçimler, Benaloh kriptosistemi, ElectionGuard
Kırk yıldır tek bir soruyla uğraşan kriptograf: bir oyun doğru sayıldığını, ne olduğunu açıklamadan nasıl kanıtlarsınız?
Benaloh 1987'de Yale'de, gizli oylu seçimlerin doğrulanabilirliği üzerine bir tezle doktorasını bitirdi; elektronik oylama henüz siyasi bir konu olmaktan çok uzaktı. Goldwasser–Micali'nin bir uzantısı olan toplamsal homomorfik kriptosistemi, şifreli oy pusulalarının hiçbirinin şifresini çözmeden toplanmasını sağlar. 1994'te Dwight Tuinstra ile seçimlerin makbuzsuz hâle nasıl getirileceğini gösterdi; böylece hiçbir seçmen oy satın alana nasıl oy verdiğini kanıtlayamaz.
Benaloh meydan okuması, seçmenin makineden bir pusulanın nasıl şifrelendiğini açıklamasını isteyip sonra o pusulayı atmasına izin verir; hile yapan bir makine hangi pusulaların denetleneceğini asla bilemez. Microsoft Research'te, 2020'de Wisconsin'in Fulton kasabasında ilk kez gerçek seçimde kullanılan, uçtan uca doğrulanabilir seçimler için açık bir SDK olan ElectionGuard'ın arkasındaki çalışmayı yönetti. Temel savı şu: seçmenler makineye değil, yalnızca matematiğe güvenmek zorunda olmalı.