“x 知道 y”的標準符號/表示法，或相反

標準的表達方式是什麼“ $ x $ 知道 $ y $ “， 或者 ” $ x $ 不知道 $ y $ “在密碼符號中？

範例（PRNG 預測器）：

$ \exists f : P(f(G(k)|{0..n}) = G(k)|{n+1}) \geq 0.5 + \epsilon $ , 對於不可忽略的 $ \epsilon $ ,其中 $ f $ 不知道 $ k $ .

符號是“”，即空字元串。 $ ;; $ 自從 $ k $ 不是的輸入 $ f $ , $ f $ 不知道 $ k $ .

如果你真的想要一個符號，我想你可以從機率論中藉用一個符號並寫 $ f \perp k $ 為了 ” $ f $ 獨立於 $ k $ ”。但這絕對不是標準用法，因此您必須明確定義它。

引用自：https://crypto.stackexchange.com/questions/2705