不可區分混淆

不可區分混淆（，常作iO），是一種形式化定義了程式混淆的。白話地說，混淆隱藏了程式的內部實現，但用戶仍可運行它。

候選構造 
最早基於具體，的候選構造在2013年提出。該假設和有關，但後來該假設被推翻了。 

一系列後續工作試圖將iO基於更標準的假設。賈殷（Jain）、林和於2020年出版的研究將iO建基於、LWE假設和。此外，該構造還需要實現的超線性延展的伪随机数生成器。直至2006，即使只考慮亞線性延展的NC0偽隨機數生成器，其存在性一直是未解問題。

可能應用場合 
若不可區分混淆器存在，它們可用於海量的密碼學構造裡。具體地說，不可區分混淆器可用於以下的場合：

 公钥密码学（以及其—安全版本)
 短数字签名
 —安全的方案
 完美零知識的和簡賅的非交互論證（即證明方的證明）
 常數輪交互並行的零知識協議
 有限多項式次數的
 單射陷門函數
 全同态加密
 見證加密
 任何單調NP語言的秘密分享
 半誠實不经意传输
 抵賴加密（不論是發送者抵賴還是完全抵賴）
 多方，非交互密钥交换
 適應性安全簡賅的亂碼（Garbled）RAM
 RAM模型任意程式的不可區分混淆
 關係難尋（Correlation intractible)函數
 屬性加密
 困難性。

不過，iO不是萬能的：例如，甚至在假設的情況下，都無法通過黑盒構造由iO構造出的密碼雜湊函數，除非允許指數級的安全性損失。

參見 

 ，一種更強，但一般情況下不可能實現的混淆形式。

參考文獻

密碼原語
軟件混淆