論文學習記錄20200424：可驗證函數加密[ASIACRYPT2016]

這篇論文講的是可驗證的函數加密，這個可驗證，驗證的是密文是否由公鑰正確加密，私鑰是否是由函數f（特定函數）和主密鑰正確生成，在這個方案中，任何階段任何參與方都可以是惡意的，也就是可信方也不可信了。 首先先簡單看一下函數加密。 首先，會在初始化階段生成公鑰pk和msk，這一階段通常是由可信方完成的，就像我下面畫的這個。 接下來，加密者會使用公鑰對消息x進行加密，在這圖中是上傳給雲。 雲想進行操作的話

>>阅读原文<<