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.
Достарыңызбен бөлісу: