Список обозначений
Протокол привязки к биту, удовлетворяющий условию вычислительной однозначности
computationally binding bit commitment protocol
См. условие вычислительной однозначности для протокола привязки к биту, протокол привязки к биту.