Рейтинг:2

Идеальные объекты: существует ли такая вещь, как идеальная функциональность с постоянной памятью?

флаг de

Как правило, доказательства безопасности для безопасных многосторонних вычислений основаны на идеальных функциональных возможностях. Например, см. Определение 4.1 этот учебник по симулятору.

Однако в обычной программе на объектно-ориентированном языке программирования имеют дело не только с функциями, но и с объектами. Объекты имеют функции, но также имеют некоторую постоянную память.

Возможна реализация объектов MPC. Например Эта бумага реализует забывчивые (т.е. MPC) массивы, словари и приоритетные очереди. В этой памяти сохраняется общий секрет, к которому обращаются для будущих запросов.

Однако кажется, что формализма для этих объектов не хватает. Интуитивно объект MPC не должен раскрывать больше информации, чем вызовы к некоторому идеальному объекту, который возвращает только (общие секреты) результаты на запросы (общие секреты) к объекту. Описание идеального объекта как последовательности обращений к идеальным функциональным возможностям не работает, потому что в промежутках стороны получают коррелированные доли структур данных, и поэтому функциональные возможности должны быть определены в отношении любой используемой структуры данных, а не просто с точки зрения желаемых свойств объекта.

Есть ли в литературе какой-либо формализм для доказательства безопасности объектов MPC?

Рейтинг:2
флаг us

Термин, который вы ищете, называется реактивный. Реактивная функциональность получает входные данные и выдает выходные данные в течение многих раундов. В промежутках между раундами он поддерживает частное внутреннее состояние. Обычные фреймворки MPC, такие как UC, уже поддерживают реактивные функции, поэтому для их использования вам не нужно делать ничего особенного.

Примеры:

  • обязательство функциональность является стандартным примитивом и часто называется «криптографическим запертым ящиком». в этап фиксации, отправитель предоставляет секретное значение функциональности; позже раскрыть этап, отправитель позволяет получателю узнать это секретное значение. Между этими фазами функция сохраняет секретное значение в своем частном состоянии.

  • арифметический черный ящик (АББ) была представлена здесь. Это полезная абстракция для определения многих протоколов MPC. Функциональность ABB позволяет сторонам инициализировать переменные, а затем вслепую выполнять над ними операции. Функциональность обычно достигается за счет использования какого-либо протокола обмена секретами, но спецификация функциональности говорит только об идеальном наборе переменных и операций над ними.

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.