Dowód z wiedzą zerową
Z Wikipedii
Dowód z wiedzą zerową to procedura kryptograficzna, w której udowadniamy, że posiadamy pewną informację, nie ujawniając tej informacji.
Właściwości takiej procedury są następujące:
- Jeśli dowodzący posiada daną informację, może zawsze przekonać o tym weryfikującego
- Jeśli dowodzący nie posiada danej informacji, może oszukać weryfikującego, że ją posiada, z prawdopodobieństwem dowolnie bliskim zera (chociaż nie równym 0)
Dowody takie przydają się np. przy uwierzytelnianiu.
[edytuj] Izomorfizm grafów
Nie znamy żadnego algorytmu wielomianowego, który dla danych dwóch grafów izomorficznych G1 i G2 znajduje izomorfizm (czyli przyporządkowania między wierzchołkami jednego a drugiego grafu, tak żeby wszystkie krawędzie łączyły takie same wierzchołki) między nimi. Można to wykorzystać w następujący sposób:
- P twierdzi, że zna izomorfizm między G1 i G2
- V żąda dowodu
- P wysyła graf H
- V wysyła liczbę 1 lub 2
- P wysyła izomorfizm między H a G1 lub G2, zależnie od wybranej przez V liczby
- Jeśli P zna izomorfizm między G1 i G2, generuje H przez dowolną zamianę etykietek wierzchołków któregoś z grafów. Następnie z łatwością może wygenerować izomorfizm do jednego lub drugiego grafu.
- Jeśli P nie zna izomorfizmu między G1 i G2, to nie potrafi znaleźć takiego H, żeby mógł zbudować izomorfizm zarówno do G1 jak i G2 – gdyby znał taki H mógłby zbudować izomorfizm między G1 a G2.
Znajomość izomorfizmu między H a G1 lub G2, jeśli nie zna on drugiego izomorfizmu, nie ułatwia mu w żaden sposób zadania znalezienia izomorfizmu między G1 a G2.
| Kaczyński: Była ciekawa wymiana opinii z Klausem |
- Rozmowa z Vaclavem Klausem była bardzo ciekawa - powiedział Lech Kaczyński po spotkaniu z prezydentem Czech. Klaus przekonywał z kolei, że sprawa kryzysu gazowego będzie "w miarę szybko rozwiązana". - Załatwimy to w ciągu kilku dni - zapewnił. |
| Ochroniarze wyganiają bezdomnych paralizatorami na mróz |
Ochroniarze z wrocławskiego Dworca Głównego przeganiają koczujących tam bezdomnych na dwudziestostopniowy mróz - informuje "Gazeta Wyborcza". Na opornych mają pałki, gaz i paralizatory. |
| Sklep z dopalaczami znowu otwarty |
Sklep w centrum Warszawy, w którym można kupić substancje w działaniu przypominające narkotyki, znów działa. - To dopiero początek kontroli - zapewnia Urząd Kontroli Skarbowej |
| Lech Kaczyński rozmawiał z prezydentem Autonomii Palestyńskiej |
Lech Kaczyński rozmawiał z prezydentem Autonomii Palestyńskiej Mahmudem Abbasem. Telefoniczna rozmowa przywódców dotyczyła konfliktu w Strefie Gazy - poinformowała prezydencka kancelaria na swojej stronie internetowej. |
| Tusk: W najbliższych dniach dojdzie do rozwiązania problemu |
- Kwestia bezpieczeństwa energetyczne powinna w Unii Europejskiej przejść z etapu deklaracji do czynów; obecny kryzys gazowy pokazuje, że to konieczność - ocenił premier Donald Tusk dziś w Bratysławie po spotkaniu szefów rządów państw Grupy Wyszehradzkiej. |
| Napad z bronią na bank w Tarchominie |
Uzbrojony mężczyzna obrabował bank spółdzielczy w Tarchominie. Sterroryzował pracowników, zabrał pieniądze i oddalił się z łupem. |
| Polscy obserwatorzy rozwiążą gazowy kryzys? |
Rosja nie zgodziła się na misję Unii Europejskiej, która miała zakończyć spór o dostawę gazu na Zachód przez terytorium Ukrainy. Jak się dowiedział portal Gazeta.pl, już ustalono, że w misji mieli wziąć udział m.in. polscy eksperci. Misja jest jednym z warunków, jakie Rosja postawiła przed wznowieniem tranzytu gazu na Zachód. Przy sprzeciwie Moskwy, nie wiadomo, czy eksperci zakończą gazowy kryzys. |
| Policja postrzeliła ściganego |
Dzisiaj tuż przed godz. 17, łódzcy policjanci postrzelili mężczyznę ściganego listem gończym. |
| Klich: Nowy model dowództwa wymaga zmiany w konstytucji |
Proponowany nowy model dowodzenia i kierowania wojskiem, przewidujący m.in. nowe stanowisko szefa obrony, wymaga niewielkiej zmiany w konstytucji - powiedział minister obrony Bogdan Klich. |
| Tuż przed wylotem do Pragi prezydent spotkał się z Pawlakiem |
Prezydent Lech Kaczyński spotkał się, tuż przed wylotem do czeskiej Pragi, z wicepremierem i ministrem gospodarki Waldemarem Pawlakiem w sprawie kryzysu gazowego. |
