Що таке Zero Knowledge Proof (ZKP)?

Zero Knowledge Proof ZKP це спосіб довести, що щось є правдою, не розкриваючи те, що за цим стоїть. Уявіть, що ви показуєте, що знаєте пароль, не вводячи його, або підтверджуєте, що вам більше 21, не показуючи дату народження. Містичні відчуття, але з математичною основою.

Міф

ZKP приховують все, тож нібито вони для підступних дій. Не зовсім так. Zero Knowledge Proof (ZKP) доводить конкретне твердження, яке ви задаєте, і перевіряючий може все одно ретельно його перевірити, не бачачи ваших секретів.

Як працює Zero Knowledge Proof (ZKP)

Короткий огляд на простому прикладі. Ви хочете довести, що маєте достатньо коштів для угоди, не розкриваючи свій баланс.

Крок 1: Ви обираєте твердження, наприклад, що мій баланс принаймні X, і фіксуєте свої приховані дані з використанням випадковості.
Крок 2: Ви створюєте доказ з цих прихованих даних і публічної інформації, так, щоб математична перевірка сходилася.
Крок 3: Ви надсилаєте доказ перевіряючому, а не сам секрет.
Крок 4: Перевіряючий проводить перевірку, яка або приймає, або відхиляє. Ніхто не бачить ваш баланс.
Крок 5: Якщо прийнято, будь-хто може перевірити цей самий доказ пізніше без додаткового звернення до вас.

Під капотом це опирається на серйозну криптографія. Так, математика зберігає чеки.

Чому Zero Knowledge Proof (ZKP) має значення

То чому це варто знати? Три короткі пункти.

Перевага: Доводьте те, що потрібно, і тримайте решту при собі. Менше витоків, менший ризик.
Перспектива: Додатки з мінімумом даних виглядають сучасно, наче Rolex зустрічає Reddit. Діліться лише тим, що потрібно.
Актуальність: Ви побачите ZK у rollups, приватних переказах і перевірках ідентичності на будь-якому серйозному блокчейні.

Порада

Коли чуєте, що цей додаток використовує ZK, запитайте дві речі. Що саме доводять, і чи була потрібна довірена настройка. Також, якщо вам важливий контроль даних, ZK добре поєднується зі строгими практиками конфіденційності поза межами самого доказу.

Головні характеристики Zero Knowledge Proof (ZKP)

Що робить це особливим, простими словами.

Приватне: Перевіряючі дізнаються, що твердження істинне, не дізнаючись вашого секрету.
Короткі: Докази можуть бути компактними й швидкими для перевірки, навіть на ланцюгу.
Швидкі: Перевірка легша, ніж повторно виконувати всі обчислення.
Комбіновані: Можна поєднувати докази або групувати багато перевірок в одну.
Масштабовані: Це допомагає масштабованості, знімаючи важку роботу з перевіряючих при збереженні коректності.

Варіації

Різні варіанти підходять для різних завдань.

SNARKs: Короткі докази, швидка перевірка, зазвичай потребують довіреної настройки.
STARKs: Без довіреної настройки, більші докази, підходять для постквантових досліджень.
Bulletproofs: Добрі для перевірок діапазонів, часто використовують для приватних сум.
Sigma: Класичний інтерактивний стиль, який викладають на багатьох курсах.

Нагадування

ZKP сам по собі не захищає ваш додаток. Якщо ваше твердження занадто слабке або налаштування неякісне, доказ може бути формально правильним, але непотрібним. Обміркуйте формулювання твердження уважно.

Приклад

Місто проводить голосування, де виборці доводять свою правомірність і те, що ще не голосували, а їхні особисті дані залишаються прихованими від публічних підсумків.

Цікавий факт

Класичний фокус для пояснення ZK використовує дві однакові за кольором кульки і тест із зав'язаними очима, щоб показати, що можна їх розрізнити, не розкриваючи, яка яка. Трохи технічно, але працює.

Підсумок

В одній фразі, Zero Knowledge Proof ZKP це доказ без зайвого розкриття, тож можна сказати: «Я можу це довести, не показуючи».

Zero Knowledge Proof (ZKP)