аналогии

[avva]

1. В информатике есть понятие "доказательства с нулевой информацией" (zero knowledge proofs). Предположим, что A знает какой-то секрет, и хочет доказать B, что он знает этот секрет, но при этом не выдать абсолютно никакой информации об этом секрете B (или кому-то, кто их подслушивает). Zero knowledge proofs позволяют A это сделать; при этом доказательство выходит не абсолютно достоверное, а вероятностное, но его очень легко можно сделать практически достоверным (т.е. сделать сколь угодно малой вероятность того, что A на самом деле не знает этого секрета, а только притворяется).

Подробное объяснение простого вида доказательства с нулевой информации можно прочитать по-английски здесь (требуется некоторое очень элементарное знакомство с теорией чисел).

2. Рецензии. Цель хорошей рецензии фильма или книги (художественной литературы) -- рассказать потенциальному читателю или зрителю о фильме или книге, не рассказывая о них. Если фильм нравится критику, его задача -- объяснить читателю, что фильм хороший, не выдавая слишком много о сюжете или героях. То же самое можно сказать о трейлере. В этих областях выработались свои правила и конвенции. Например, какие-то факты никогда не скрывают: какие в этом фильме участвуют звёзды, сколько времени он длится.

Вот если бы в этой области тоже были zero knowledge proofs, A мог бы убедить B пойти посмотреть фильм T, не выдавая B абсолютно никакой информации о сюжете T, об актёрах, о длительности фильма (в идеале -- даже о названии, но этим можно поступиться, решив, что всё-таки данный фильм надо как-то идентифицировать).

Авторитет служит своего рода методом доказательства с нулевой информацией. A говорит B: ты обязан увидеть этот фильм. Поверь мне. Если B считает A авторитетом, он может пойти на фильм (или прочитать книгу итп.), не зная больше ничего или практически ничего. Но если такой способ ещё иногда срабатывает в личных отношениях, в случае рецензии в газете этот фокус не пройдёт.

Comments

[scolar.livejournal.com]

Я, может, ошибаюсь - но, кажется, более устоявшийся перевод "zero knowledge proofs" на русский - это "доказательство с нулевым разглашением". По крайней мере, во всех книгах по криптографии по-русски, что я видел, употребляется именно этот термин.

Re:

[avva.livejournal.com]

Спасибо. Вы наверняка правы. Я, как это часто бывает, не знаю принятых переводов терминологии, и придумываю на ходу.