On Fri, 26 Jun 2015, Przemysław Adam Śmiejek wrote:

>> 3. Jak wykazać posiadanie na własność danego klucza?
>
> A to konieczne?

IMO tak.

> Raczej nie ma klucza, który wyciągnie z tego zamiast
>
> Jan Kowalski
> Lubartów; Kwiatowa 12 lok. 21
>
>
> to
>
> Marian Marianowicz
> Marianów; Mariańska 1 m. 1

Raczej jest.
Algorytm stratny rzeczywiście może wykluczyć pewne wartości
przy znanym wyniku, ale trafienia w taki przypadek nie sposób
udowodnić ani zaprzeczyć. Ergo, należy się spodziewać że
istnieje.
Co najwyżej nie ma takiego klucza *o określonej długości*.

Jak mniemam dowód na to, że przy dostatecznie długim kluczu
(no dobra, oczywiste że dłuższym niż same dane) istnieje wartość
klucza pozwalająca "znaleźć" *prawie dowolne dane* zrobisz sobie
sam ;) (co ważne, to nie jest tożsame ze *znalezieniem* takiego
klucza, ale fakt że istnieje wyklucza przyjęcie za pewnik, że to
co jakoby odszyfrowano faktycznie odszyfrowano!)

Banalnym przykładem skrajnie łatwym do analizy jest "najkrótszy
100% bezpieczny szyfr" w postaci prostego jak drut kolczasty
XOR z kluczem o długości nie mniejszej niż długość danych
(oczywiście kluczem jednorazowego użytku, ze względu na
łatwość analizy i wydłubania klucza w razie dorwania się do
danych w postaci zarówno zaszyfrowanej jak i nie zaszyfrowanej).
Niemniej to powinno zaświecić lampkę ostrzegawczą przy
tezie że "klucz nie istnieje".

pzdr, Gotfryd