Multiparty-Computation
當被破壞的一方沒有輸入時,模擬器如何工作?
“模擬器在理想模型中唯一能做的就是選擇腐敗方的輸入。” 耶胡達·林德爾說。
1-當被破壞的各方沒有對協議的輸入時會發生什麼?例如,在被破壞的一方/各方只是一些沒有輸入的計算伺服器的情況下。
2- 在這些情況下,針對惡意和半誠實對手的安全性是否存在任何關係。正如我所想的那樣,由於腐敗的一方沒有輸入,惡意對手能夠做的任何事情對於半誠實的對手來說也是可能的。
如果不,
在這些情況下,當我們證明了針對半誠實對手的安全性時,是否有可能以任何方式得出針對惡意對手的安全性?
模擬器是一種思想實驗,其目的是:
- 表明對手對誠實方的輸入沒有比他應該知道的更多的了解,
- 表明對手對誠實方輸出的影響與合法輸入一致。
如果該功能不接受腐敗方的輸入,則 #2 沒有實際意義,但我們仍然有 #1。一個典型的例子是零知識功能,它不接受驗證者的輸入。當驗證者損壞時,模擬器的目的是展示零知識屬性。
半誠實和惡意安全之間沒有一般含義。採用任何半誠實協議並對其進行修改以添加“如果其他人向我發送消息”的行為 $ (\textsf{asdf}, v) $ 然後將我的輸入發送給該方並輸出 $ v $ .” 將此行為添加到協議中不會影響半誠實的安全性,因為誠實的各方從不相互發送 $ \textsf{asdf} $ 消息。但對惡意安全的影響應該是明確的,與哪一方有輸入等無關。