Post-Quantum-Cryptography
差異隱私的含義是什麼，如果ε=0ε=0epsilon = 0?
在純差分隱私中，參數 $ \epsilon $ 表示期望的隱私損失。越小 $ \epsilon $ 也就是說，我們可以獲得的隱私越多。當我們想要隱私失去時會發生什麼 $ \epsilon = 0 $ . 這是否意味著我們需要將數據永久保密，並且我們不回答來自外部的任何查詢？
謝謝
是的。
$ \varepsilon $ - 差異隱私與 $ \varepsilon=0 $ 意味著該機制的輸出必須獨立於輸入——即，它不提供任何資訊。
當我們在 Dwork 論文中查看差分隱私的定義時，例如*差分隱私的算法基礎*，我們有一個 $ \epsilon $ -算法的差分隱私 $ M $ 作為：
$$ Pr[M(x_1) \in S] \leq e^\epsilon Pr[M(x_2) \in S] $$
和 $ S \subseteq range(M) $ , 對於任意兩個相鄰數據集 $ x_1,x_2 $ ，不同之處在於添加或刪除單行。
如果您擔心的是 $ \epsilon = 0 $ ， 所以 $ e^\epsilon=1 $ ，這意味著機率分佈 $ M $ 不受任何單行的添加或刪除的影響；換句話說，沒有任何一行可以影響 $ M $ .
也許我們有幾個例子，但讓我們想像一下數據集的大小 $ x_1, x_2 $ 足夠大 $ \epsilon $ 可以忽略不計，因此單行的影響在輸出中幾乎為零 $ M $ .
所以，我認為答案是否定的：無論機制如何 $ M $ 答案，它不會洩露任何單獨行的資訊。