Diffie-Hellman
Diffie-Hellman 元組是否有任何非互動式零知識證明
我知道 Diffie-Hellman Tuples 的零知識需要 4 輪。我想知道它是否有任何非互動式版本。
通常，非互動式 ZK 證明是通過使用一種技術將互動式證明轉換為非互動式來實現的。例如，您可以使用通用參考字元串或Fiat-Shamir heuristic。如果您假設配對，那麼您也可以使用 Groth-Sahai 證明中使用的技術，但我想這不適用於 Diffie-Hellman 元組。