Security-Definition
均勻和非均勻機率多項式算法（ppt）之間的區別
我正在閱讀《高效安全的兩方協議》一書。我想到了一個問題。為什麼作者在半誠實模型中使用機率多項式時間算法來定義理想/真實模型的安全性，而在惡意模型中使用非均勻機率多項式時間算法？感謝您考慮我的問題。
安全性證明所需的不均勻性在區分器中（為了獲得關於協議在減少中中斷哪些輸入的建議）。但是，如果您已經為區分器假設了不均勻性，那麼您也可以為真正的對手假設它。但是，如果您假設它是真正的對手，那麼您也需要它用於模擬器，因為模擬器需要與對手一樣強大才能執行它。
以上對於惡意案例都是正確的。但是，在半誠實的情況下，您仍然需要區分器的非均勻性，但沒有對手；模擬器只需要在協議中生成半誠實對手的視圖。為此，使用統一的機器就足夠了。話雖如此，使用不統一的模擬器不會有任何損失；只是我們不需要它來證明協議的安全性（至少，我不知道任何半誠實的協議需要非均勻減少；如果有這種情況，那麼他們可以使用正如我提到的，非均勻模擬）。