Efektywna wiedza zerowa przełamuje wieloletni kryptograficzny imposybilizm

Dowody o zerowej wiedzy (zero-knowledge proofs) to coś, co najbardziej zbliża kryptografię do magii. [Po raz pierwszy tę koncepcję opisali w 1985 roku Shafi Goldwasser, Silvio Micali i Charles Rackoff w artykule zatytułowanym „The Knowledge Complexity of Interactive Proof-Systems”.) Polega to na tym, że jedna osoba może przekonać drugą o prawdziwości jakiegoś faktu – na przykład że zna rozwiązanie łamigłówki sudoku – nie ujawniając przy tym żadnych informacji o samym rozwiązaniu.