Одна з вразливостей протоколів простий аутентифікації полягає в тому, що після того, як доводить передасть перевіряючому свій пароль, перевіряючий може, використовуючи цей пароль, видати себе за перевіряється, Трохи краща ситуація з протоколами строгої аутентифікації. Справа в тому, що А, відповідаючи на запити В, зобов'язаний продемонструвати знання секретного ключа, хай навіть і одноразово, при цьому передана інформація не може бути безпосередньо використана В. Проте деяку її частину допоможе У отримати додаткову інформацію про секрет А. Наприклад , В має можливість так сформувати запити, щоб передаються відповіді аналізувалися на предмет вмісту додаткової інформації.

Протоколи докази з нульовим знанням були розроблені спеціально для вирішення даної проблеми. Цієї мети можна досягти за допомогою демонстрації знання секрету, проте перевіряючий повинен бути позбавлений можливості отримувати додаткову інформацію про секрет що доводить. Якщо сформулювати цю думку в більш суворій формі, то протоколи докази з нульовим знанням (далі - ZK-протоколи) дозволяють встановити істинність твердження і при цьому не передавати будь-якої додаткової інформації про сам затвердження.

ZK-протоколи є прикладом систем інтерактивного докази, в яких перевіряючий і доводить обмінюються численними запитами та відповідями, звичайно залежать від випадкових чисел (в ідеальному випадку залежність може реалізовуватися у вигляді підкидання монети), які дозволяють зберегти секрет в таємниці. Мета доводить - переконати перевіряючого в істинності твердження. Перевіряючий ж приймає або відхиляє доказ. Необхідно зазначити, що доказ носить скоріше імовірнісний, ніж абсолютний характер.