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

У цій публікації ми дослідимо світ доказів із нульовим знанням, включаючи різні типи ZKP, такі як ZK-Snarks, ZK-Starks, а також останню та найцікавішу розробку, систему PLONK ZKP. Ми також надамо прості для розуміння приклади з реального життя, щоб допомогти вам зрозуміти ці поняття, навіть якщо вам п’ять років.

Що таке докази з нульовим знанням?

Докази з нульовим знанням (ZKPs) — це криптографічний метод, який дозволяє одній стороні, перевіряючому, переконати іншу сторону, верифікатору, що вони знають певну інформацію, не розкриваючи цю інформацію. Іншими словами, перевіряльник може довести, що він володіє певною інформацією, не розкриваючи, що це за інформація.

ZKP є потужними інструментами в криптографії, оскільки вони забезпечують безпечну автентифікацію, ідентифікацію та обмін даними, не розкриваючи жодної конфіденційної інформації. Вони дозволяють сторонам перевіряти інформацію та транзакції, не порушуючи конфіденційності.

ЗК-Снаркс

ZK-Snarks — це тип доказу нульового знання, який широко використовується в технології блокчейну, особливо в блокчейнах, орієнтованих на конфіденційність, таких як Zcash. ZK-Snarks розшифровується як стислий неінтерактивний аргумент знань із нульовим знанням.

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

ЗК-Старкс

ZK-Starks — ще один тип доказу з нульовим знанням, схожий на ZK-Snarks, але має деякі відмінності. ZK-Starks розшифровується як Zero-Knowledge Scalable Transparent Argument of Knowledge.

Щоб зрозуміти ZK-Starks, уявімо сценарій, де у вас є секретна фраза, і ви хочете довести комусь, що знаєте цю фразу, не розкриваючи саму фразу. ZK-Starks дозволить вам це зробити, побудувавши доказ, який би переконав іншу особу, що ви знаєте фразу, не розкриваючи саму фразу.

ПЛОНКИ

PLONK — це остання та найцікавіша розробка у світі доказів із нульовим знанням. PLONK означає поліноміальний, лінійно-комплексний, неінтерактивний і надійний.

PLONK — це тип доказу з нульовим знанням, який навіть потужніший і ефективніший, ніж ZK-Snarks і ZK-Starks. Він має багато застосувань у криптографії, зокрема в приватних транзакціях, автентифікації та обміні даними.

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

Висновок

Докази з нульовим знанням — це потужний інструмент у криптографії, який дозволяє сторонам перевіряти інформацію та транзакції, не розкриваючи жодної конфіденційної інформації. ZK-Snarks, ZK-Starks і PLONK — це різні типи доказів із нульовим знанням, які мають різні застосування в індустрії блокчейнів і за її межами.