Интерактивный протокол привязки к биту. Стратегии, разглашающие только f(x). Разглашение при многократном применении стратегии. Интерактивные доказательства с нулевым разглашением. Протокол для изоморфизма графов. Протокол с нулевым разглашением для языка из NP (идея доказательства).