Zero-knowledge proof

[catpad]

Наконец-то узнал, что такое zero-knowledge proof. Удивительная вещь ! Можно абсолютно точно доказать кому-то, что ты кое-что знаешь наверняка, никак при этом не открывая своего знания. Причём тот, кого убеждают, может сам выбирать, насколько он хочет быть уверенным в подлинности доказательства, то есть варьировать степень своей уверенности.
Вот это да.

Comments

[mopexod.livejournal.com]

А разве "А" не может их красить прямо перед открытием? Он ведь сам их открывает? Или "В" их сам открывает - тогда почему он должен ограничивать себя парами?

[catpad.livejournal.com]

Ты просто неправильно подходишь к этой штуке. Ты ее рассматриваешь как некое противоборство сторон или игру с надувательством, а на самом деле это "честная" игра по строго определённым правилам. А не хитрит, а В имеет право открыть только две вершины - считай, что они автоматы. Этот пример - просто некая иллюстрация к теоретическому обоснованию, больше ничего.

[mopexod.livejournal.com]

Понятно. Пример Винарского прояснил ситуацию.
А вообще очень интересная тема, спасибо!