IT用語集 › セキュリティ › マイケル・ベン=オア

マイケル・ベン=オア

セキュリティ Svenska → 更新: 2026-10-25

コインの投げ合いが合意形成を救うことと、複数の当事者が入力を明かさずに共同で計算できることを示した、ヘブライ大学の理論家。

1983年、ベン=オアは非同期ネットワークにおけるビザンチン合意のランダム化プロトコルを発表した。ノードが1台でも停止しうる場合に決定的な合意は不可能だとするFLPの不可能性結果を、ノードにコインを投げさせることで回避したものだ。この論文により、彼はマイケル・ラビンとともに2015年のダイクストラ賞を受賞した。

1988年にはシャフィ・ゴールドワッサー、アヴィ・ウィグダーソンと共にBGWプロトコルを発表した。参加者の3分の1未満が不正を働くという仮定だけに基づき、数学的な困難性には頼らない、情報理論的に安全なマルチパーティ計算である。同年には多重証明者対話型証明も共同で定義した。今日のMPCウォレットやしきい値署名は、この土台の上にある。

← 用語集に戻る