Functional Encryption

• $\mathrm{Dec}({\mathrm{sk}}_f,E_{\mathrm{pk}}(m))\to f(m)$

fheは値は暗号化出来るが, 計算は暗号化出来ない.
計算を暗号化する話?
indistinguishability Obfuscation とか virtual_black_box の話も出てきていた. Spooky FHE との関連性が知りたい.

参考文献

• On the Relationship between Functional Encryption,Obfuscation, and Fully Homomorphic Encryption
• https://www.risk.tsukuba.ac.jp/opencampus2022/slide/nishide_slide.pdf