SHVZK 和 HVZK 的區別？

特別誠實驗證者零知識 (SHVZK) 和誠實驗證者零知識 (HVZK) 有什麼區別？有時我看到一個術語被使用，其他時候另一個。他們的意思是一樣的嗎？

特別誠實驗證者零知識是誠實驗證者零知識的一個特例；也就是說，如果一個協議滿足 SHVZK，它就滿足 HVZK。引入 SHVZK 是為了簡化關於 $ \Sigma $ -協議。在 $ \Sigma $ -protocols，HVZK 通常被證明如下：修復任意挑戰 $ e $ ，並表明可以有效地生成隨機轉錄本 $ (c, e’, a) $ 為一個 $ \Sigma $ -協議，以 $ e = e’ $ . 如果可以展示這樣的模擬器，那麼 $ \Sigma $ -protocol 顯然是 HVZK。術語 SHVZK 是指 $ \Sigma $ -這個特定條件成立的協議。

請注意，類似地，術語“特殊穩健性”通常用於指代一個足夠的屬性 $ \Sigma $ -protocol（通常，給定兩個成績單 $ (c,e,a) $ 和 $ (c,e’,a’) $ 對於相同的 $ c $ ，可以有效地提取證人），這通常滿足大多數 $ \Sigma $ -協議。每次，“特殊的XXX”都只是意味著“對XXX來說足夠的特定概念”。

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