Michael Ben-Or
Theoretiker der Hebräischen Universität, der zeigte, dass Münzwürfe den Konsens retten können und dass mehrere Parteien gemeinsam rechnen können, ohne ihre Eingaben preiszugeben.
1983 veröffentlichte Ben-Or ein randomisiertes Protokoll für byzantinische Einigung in asynchronen Netzen. Es umging das FLP-Resultat, wonach deterministischer Konsens unmöglich ist, sobald auch nur ein Knoten ausfallen kann, indem die Knoten Münzen werfen. Dafür erhielt er mit Michael Rabin 2015 den Dijkstra-Preis.
1988 folgte mit Shafi Goldwasser und Avi Wigderson das BGW-Protokoll: informationstheoretisch sichere Mehrparteienberechnung, die darauf beruht, dass weniger als ein Drittel der Parteien betrügt, und nicht darauf, dass ein mathematisches Problem schwer ist. Im selben Jahr führte er mit anderen die Multi-Prover-Beweissysteme ein. Heutige MPC-Wallets und Threshold-Signaturen ruhen auf diesem Fundament.