Zero-Knowledge-Proofs
將公共參考字元串轉換為公共隨機字元串
不久前我聽了一個關於 NIZK 的演講，隱約記得演講者提到過類似的東西 - 在公共參考弦模型中統計上合理且計算上 ZK 的方案可能會在普通隨機字元串模型中變成計算上合理且統計上 ZK。
我不記得確切的談話和演講者，但我想知道這種對偶性在 CRS 結構中是否常見，如果是，我們如何將公共參考字元串模型中的方案轉換為公共隨機字元串模型中的一個？
謝謝！
沒有通用轉換，但它是雙模 NIZK 的標準屬性。在這裡，CRS 有兩種無法區分的模式，一種是結構化的，另一種實際上是真正的隨機字元串。通常，在基於組的構造中，隨機 CRS 將是隨機組元素的元組，而結構化 CRS 將是 DDH 元組 - 在 DDH 假設下兩者將無法區分。
在非常高的級別上，參考字元串將用作您將見證人放入 NIZK 的某些承諾方案的參數。然後，使用一些適當的承諾構造，只要 CRS 是隨機的，承諾就可以完全隱藏，但一旦 CRS 被結構化，它就變得完全具有約束力。例如，考慮具有相似屬性的 Groth-Sahai 式雙模式承諾。
最近一些具有此屬性的 NIZK 範例包括這項工作。