Сертификация банком изготовленных банкнот
Банк, приняв ?aS от абонента А
1. выполняет операцию
DS(?aS) = DS(ES([?N + EA(ES(??))])) > ?N + EA(ES(??)),
то есть, определяет значение номинала.
Обратите внимание, что индивидуальный номер банкноты банк прочитать не может.
2. уменьшает банковский счет абонента А на величину ?N и увеличивает на эту сумму свой Эмиссионный фонд,
3. кодирует ?N и получает DS(?N),
4. формирует конкатенацию ?S=[ DS(?N) + EA(ES(??))],
5. выполняет операцию EA(?S) = EA(DS(?N) + EA(ES(??)))
и посылает EA(?S) абоненту А.
Таким образом, абонент А получил подтвержденную банком банкноту EA(?S) достоинством ?N.
Обратите внимание, что,
- если бы банк захотел соединить информацию этой конкретной банкноты с именем абонента А, то ему это не удалось бы, так как значение ?? ему не известно,
- банкнота ?S хранится у абонента А в виде EA(?S), а это значит, что
a. ее никто, кроме абонента А не может прочитать,
b. никто, включая абонента А и банк не могут, порознь, изменить значение ?N. Это могут сделать, договорившись, совместно банк и абонент А, но в этом случае они могут решить задачу проще, переведя на счет абонента А любую сумму.
Это значит, что никто не может ни украсть, ни изменить «наличность» абонента А.