Encryption
GL-SPHF 和見證加密
我最近看到了這篇引人入勝的論文，我想知道這篇論文建構的 GL-SPHF 是否可用於為代數分支程序創建見證加密方案。也就是說，如果 Alice 可以導出適當的參數 $ \Gamma $ 和 $ \theta $ 對於給定代數分支程序的 GL-SPHF，那麼她可以從散列中導出對稱密鑰 $ H $ 從私有散列密鑰計算 $ hk $ ，加密一些數據，然後將加密的數據與公鑰散列密鑰一起發送 $ hp $ 和鮑勃的公共參數。現在，Bob 只有在知道合適的見證人的情況下才能推導出對稱密鑰。
應用於代數分支程序，這似乎是一種有用的技術，但論文中沒有提到見證加密的應用。我錯過了什麼？上述方案是否由於某種原因不安全？還是 ABP 沒有我理解的那麼強大？或者是其他東西？
謝謝，如果答案很明顯，我們深表歉意。
是的，您可以從此結果中為與 ABP 相關的語言派生見證加密 - 通常，為一種語言建構見證加密很容易 $ \mathcal{L} $ 給定相同語言的 SPHF。
但是，必須小心我們正在談論的語言類型。該論文專門針對送出和證明語言。在 ABP 上下文中，這意味著我們可以獲得表單語言的見證加密
$ \mathcal{L}_F = {(c_1, \cdots, c_n) ;:; c_1 = \mathsf{Com}(x_1) \wedge \cdots \wedge c_n = \mathsf{Com}(x_n) \wedge F(x_1, \cdots, x_n) = 1}, $
在哪裡 $ \mathsf{Com} $ 是一個承諾方案，並且 $ F $ 是一個算術分支程序（常數的選擇 $ 1 $ 在平等是任意的）。這是一個相對有用和通用的語言家族，但它仍然是一個受限制的家族。