catpad: (Default)
[personal profile] catpad

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

Date: 2002-11-29 04:28 am (UTC)
From: [identity profile] catpad.livejournal.com
Ты просто неправильно подходишь к этой штуке. Ты ее рассматриваешь как некое противоборство сторон или игру с надувательством, а на самом деле это "честная" игра по строго определённым правилам. А не хитрит, а В имеет право открыть только две вершины - считай, что они автоматы. Этот пример - просто некая иллюстрация к теоретическому обоснованию, больше ничего.

Date: 2002-11-29 04:36 am (UTC)
From: [identity profile] mopexod.livejournal.com
Понятно. Пример Винарского прояснил ситуацию.
А вообще очень интересная тема, спасибо!
Page generated Feb. 6th, 2026 11:56 am
Powered by Dreamwidth Studios