Введение в современную криптографию



Pdf көрінісі
бет153/249
Дата14.06.2023
өлшемі6.4 Mb.
#475029
1   ...   149   150   151   152   153   154   155   156   ...   249
Криптография Катц

5.6.5 Схемы обязательства 
Схемы обязательства позволяют одной стороне «привязываться» к сообще-
нию m путем отправления значения обязательства com, при этом получая сле-
дующие на первый взгляд противоречивые свойства:
• Сокрытие: обязательство о m ничего не отображает.
• Привязка: это невозможно, чтобы исполнитель выводил обязательство com, 
которое он может позже «открыть» как два разных сообщения m, mr. (В этом 
смысле com истинно «привязывает» исполнителя к какому-либо четко опреде-
ленному значению.)
Схема обязательства может рассматриваться как цифровой конверт: запечаты-
вая сообщение в конверт и передавая его другой стороне, можно обеспечить при-


207
ватность (пока конверт не будет вскрыт) и привязку (пока конверт запечатан).
Строго говоря, (неинтерактивная) схема обязательства определяется случай-
ным алгоритмом Gen, который выводит публичные параметры params, и ал-
горитма Com , который принимает params и сообщение m∈ {0, 1}n и выводит 
обязательство com; мы сделаем произвольность, используемую Com , явной и 
обозначим ее как r. Отправитель привязывается к m путем выбора универ-
сальной r, вычисляя com := Com(params, m; r) и отправляя это получателю. От-
правитель может позже отвязать com и вскрыть m путем отправления m, r полу-
чателю; получатель проверяет это таким образом: Com(params, m; r) =? com.
Сокрытие неформально означает, что com ничего не открывает о m; привязка оз-
начает, что невозможно вывести обязательство com , которое может быть открыто 
двумя различными способами. Сейчас мы формально определим эти свойства.
Эксперимент сокрытия обязательства Hiding A,com(n):
1. Параметры params ← Gen(1n) генерируются.
2. Злоумышленник A получает входные params и выводит пару сообщений m0, 
m1  {0, 1}n.
3. Универсальное значение b{0, 1} выбирается и com ← Com(params, mb; r) 
вычисляется.
4. Злоумышленник A получает com и выводит бит br.
5. Результат эксперимента - 1, если и только если br = b.


Достарыңызбен бөлісу:
1   ...   149   150   151   152   153   154   155   156   ...   249




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет