Protocol-Design
關於模擬器和對手,以下哪些推論是正確的?
這些扣除中哪些是有意義的?
- 模擬器實際上是由對手執行的。攻擊者使用被破壞方(也只是一個程序)將使用的輸入來初始化模擬器(這只是一個程序)是有道理的。
- 攻擊者實際上是由模擬器執行的,模擬器(它只是一個程序)將為攻擊者(它只是一個程序)提供它需要的資訊。
- 我們應該將對手視為模擬器可以訪問它的*黑盒,*反之亦然。
2 是真的。所以 1 顯然是錯誤的。3 不正確,因為存在一種稱為非黑盒模擬的東西(參見Baoz Barak 的論文)。