Головна сторінка
Глосарій
Доведення з нульовим розголошенням

Доведення з нульовим розголошенням

Просунутий рівень

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

Концепція доведення з нульовим розголошенням була вперше описана у статті MIT 1985 року, опублікованій Шафі Голдвассером і Сільвіо Мікалі. Вони продемонстрували, що можна довести деякі властивості числа, не розкриваючи число чи будь-яку додаткову інформацію про нього. У цій статті також подано математично значущий висновок про те, що взаємодія між тим, хто доводить і тим, хто верифікує, може зменшити кількість інформації, необхідної для доказу цієї теореми. 

Доведення zk повинно відповідати двом основним вимогам, відомим як повнота та надійність. Повнота відноситься до здатності того, хто доводить, продемонструвати знання відповідної інформації з високим ступенем ймовірної точності. Щоб доказ був достовірним, той, хто верифікує, повинен мати можливість надійно визначити, чи справді той, хто доводить, володіє інформацією. Нарешті, щоб бути дійсно нульовим розголошенням, доведення повинно досягти як повноти, так і достовірності без передачі інформації, що розглядається, між тим, хто доводить, і тим, хто верифікує.

Доведення з нульовим розголошенням в основному використовуються для програм, у яких важливі конфіденційність та безпека. Системи аутентифікації, наприклад, можуть використовувати доведення zk для перевірки акаунтів або ідентичності без їх безпосереднього розголошення. Як простий приклад його можна використовувати для перевірки наявності у людини пароля до комп'ютерної системи без необхідності розкриття самого пароля. 

Один із відомих реальних випадків використання доведення з нульовим розголошенням можна знайти у світі криптовалюти та блокчейн-технології. Використовуючи тип доведення, відомий як стислий неінтерактивний аргумент знання з нульовим розголошенням (zk-SNARK), криптовалюти, орієнтовані на конфіденційність, такі як Zcash, можуть пропонувати блокчейн-транзакції з підвищеним рівнем конфіденційності. Ethereum також працює з доведеннями zk-SNARK з моменту оновлення Byzantium у 2017 році.