Provable-Security
多方計算中的正確性：惡意案例中的真實/理想範式
我需要知道：
1-在這種情況下，正確性究竟意味著什麼？
2-惡意模型如何暗示正確性？
3-如果正確性意味著“對手不能導致輸出分佈不正確”
$$ 1 $$然後它可以用正確的分佈改變計算結果。
$$ 1 $$.Carmit Hazay · Yehuda Lindell，高效安全的兩方協議、技術和結構。
1- $ : $ 我相信正確性在這種情況下沒有確切的含義。
它肯定會涉及不讓區分者看到轉錄本，
並且可能涉及不讓區分者看到對手的隨機性，
甚至可能涉及不讓區分者看到輔助輸入。
2- $ : $
$$ Computational/Statistical/Perfect $$正確性由
$$ computational/statistical/perfect $$真實案例和理想案例的不可區分性，
因為區分者可以看到誠實方的輸出。