在密碼學中不失一般性是什麼意思？

在密碼學中不失一般性（零知識證明）是什麼意思？

不失一般性，假設我們要檢查 a 1 = a 2 。在下面的描述中，j ∈ { 1, 2 } 。

參考： 使用者隱私數據向量等價粒化的零知識測試。

雖然正如評論中所建議的那樣，這更適合 Math.SE，但它是一個簡單的答案，所以我將在這裡寫下來。

這基本上意味著，我們將在這裡做出選擇，但選擇無關緊要 - 你可以用任何其他選擇替換這個選擇，並且證明將同樣有效。

該片語的第二種用法是最容易看到的。他們假設 $ T_1 $ 已損壞。因此，這可能看起來像證明僅適用於該一種情況，並且在以下情況下不起作用 $ T_2 $ 已損壞（或任何其他 $ T_i $ ）。所以他們明確寫道，這個選擇不會失去一般性，因為你可以替換 $ T_1 $ 與任何其他 $ T_i $ 並且證明仍然是相同的。

我沒有檢查參考，但我猜第一個“WLOG”是指 $ a_1 = a_2 $ 可以替換為 $ b_1 = b_2 $ 為相同的證明。

另一個常見的場景是，如果你有兩個變數 $ a, b $ ，那麼你可以說“不失一般性，我們假設 $ a\geq b $ . 我們不會失去一般性，因為我們可以重新標記這兩個變數。

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