Доведення з нульовим розголошенням, яке іноді також називається zk-протоколом, є методом перевірки, який здійснюється між тим, хто доводить і тим, хто верифікує. У системі доведення з нульовим розголошенням, той, хто доводить, може довести тому, хто верифікує, що знає конкретну частину інформації (наприклад, рішення математичного рівняння), не розкриваючи самої інформації. Ці системи перевірки можуть використовуватись сучасними криптографами для забезпечення підвищеного рівня конфіденційності та безпеки.
Доведення zk повинно відповідати двом основним вимогам, відомим як повнота та надійність. Повнота відноситься до здатності того, хто доводить, продемонструвати знання відповідної інформації з високим ступенем ймовірної точності. Щоб доказ був достовірним, той, хто верифікує, повинен мати можливість надійно визначити, чи справді той, хто доводить, володіє інформацією. Нарешті, щоб бути дійсно нульовим розголошенням, доведення повинно досягти як повноти, так і достовірності без передачі інформації, що розглядається, між тим, хто доводить, і тим, хто верифікує.
Доведення з нульовим розголошенням в основному використовуються для програм, у яких важливі конфіденційність та безпека. Системи аутентифікації, наприклад, можуть використовувати доведення zk для перевірки акаунтів або ідентичності без їх безпосереднього розголошення. Як простий приклад його можна використовувати для перевірки наявності у людини пароля до комп'ютерної системи без необхідності розкриття самого пароля.
Наука про використання математичних теорій і обчислень для шифрування та розшифрування інформації.
"Стислий неінтерактивний аргумент знання з нульовим розголошенням", що є підходом до доведення з ...
Універсальна криптографічна функція, яку розробили Гвідо Бертоні, Джоан Демен, Міхаел Пітерс і Жил Ван Аше.