В настоящее время я пытаюсь понять гомоморфное шифрование и работаю над статьей Армкнехта и др. (2015): https://eprint.iacr.org/2015/1192 который дает хороший обзор и четкие определения.
Единственное, на что я натыкаюсь, это определение «глубины цепи».
В статье набор схем C определяется как
Начнем с пространства P = {0, 1}, которое мы называем пространством открытого текста, и
семейство F функций из кортежей открытых текстов в P. Мы можем выразить такое
функционировать как логическая схема на своих входах. Если мы обозначим эту цепь через C, мы
используйте обычную функциональную нотацию C(m1, m2,..., mn) для обозначения оценки
схема на наборе (m1, m2,...,mn).
В дальнейшем он определяет уровневая гомоморфная схема (Определение 8) как
C-схема оценки
(Gen, Enc, Eval, Dec) называется уровневой гомоморфной схемой, если она принимает
вспомогательный вход α = d для Gen, который определяет максимальную глубину цепей
что можно оценить. Другими требованиями являются корректность, компактность и
что длина вывода оценки не зависит от d.
Это вводит понятие Глубина цепи.
Мои вопросы здесь
- Так означает ли здесь Цепь произвольную комбинацию элементарных логических схем (и, или, исключающее, или нет)?
- Является ли глубина схемы (минимальной?) числом (элементарных?) последовательно соединенных схем?
или указано иначе:
Каково точное определение Схема, а Логическая схема и Глубина цепи?
Спасибо уже заранее!
