Неразличимость, запутывание
-
Определение и свойства обфускатора неразличимости
- Обфускатор неразличимости — это криптографический инструмент, который делает две схемы, выполняющие одну и ту же функцию, неразличимыми для полиномиального времени противника.
- Полнота: для любой логической схемы и входного сигнала, обфускатор делает распределения выходных сигналов схем неразличимыми.
- Неразличимость: для двух схем, реализующих одну и ту же функциональность, обфускатор делает их вычислительно неразличимыми.
-
История и конструкции
- В 2001 году была предложена идея обфускатора неразличимости, но она казалась слабой.
- В 2007 году было показано, что эффективный обфускатор неразличимости является лучшим из возможных обфускаторов.
- В 2015 году была создана программная реализация кандидата на ввод-вывод.
-
Практичность и потенциальные области применения
- Были предприняты попытки реализации и тестирования вариантов ввода-вывода.
- Обфускаторы неразличимости могут использоваться для широкого спектра криптографических приложений.
-
Существование и ограничения
- Вопрос о существовании обфускатора неразличимости разделен на пять гипотетических ситуаций.
- Обфускатор неразличимости не может использоваться для всех криптографических протоколов, например, для создания устойчивых к столкновениям хэш-функций.