Введение в современную криптографию
жүктеу/скачать 6.4 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- Эксперимент сокрытия обязательства Hiding A,com(n)
| 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. жүктеу/скачать 6.4 Mb. Достарыңызбен бөлісу:
|