Филип Старк
Статистик из UC Berkeley, в 2008 году предложивший аудит с ограничением риска — способ проверить электронный результат выборов ручным пересчётом минимума бумажных бюллетеней.
Идею легко изложить, а математику к ней подвести трудно: бюллетени случайно выбирают из бумажного архива и сверяют с отчётом машин, пока не станет достаточно маловероятно, что победитель назван неверно. При большом отрыве хватает пары сотен бюллетеней. При малом нужно больше — в худшем случае вплоть до полного пересчёта. На выходе вы получаете гарантированную верхнюю границу вероятности того, что неверный итог уцелеет, будь причиной баг или атакующий.
Смысл в том, что программному обеспечению вообще не нужно доверять — только бумаге и игральным костям. Колорадо первым провёл такие аудиты на уровне штата в 2017 году. Специалисты по безопасности годами твердили «сохраняйте бумагу»; Старк ответил на очевидный следующий вопрос — что с ней делать.