Dowody wiedzy zerowej (ZKP) to fascynująca i potężna koncepcja w kryptografii, która pozwala komuś udowodnić, że coś wie, bez ujawniania tego, co wie. Oznacza to, że możesz sprawdzić, czy dana osoba posiada prawidłowe informacje, bez konieczności ujawniania przez tę osobę jakichkolwiek szczegółów na jej temat. Ta właściwość ma wiele ekscytujących zastosowań, od bezpiecznego uwierzytelniania po prywatne transakcje na blockchainie.

W tym poście poznamy świat dowodów o wiedzy zerowej, w tym różne typy ZKP, takie jak ZK-Snarks, ZK-Starks, a także najnowsze i najbardziej ekscytujące osiągnięcie, system PLONK ZKP. Podamy także łatwe do zrozumienia przykłady z prawdziwego życia, które pomogą Ci zrozumieć te pojęcia, nawet jeśli masz pięć lat.

Czym są dowody z wiedzą zerową?

Dowody z wiedzą zerową (ZKP) to technika kryptograficzna, która pozwala jednej stronie, dowodzącemu, przekonać drugą stronę, weryfikatora, że ​​zna informację bez ujawniania jej. Innymi słowy, osoba dowodząca może udowodnić, że posiada konkretną informację, nie ujawniając, czym ona jest.

ZKP są potężnymi narzędziami w kryptografii, ponieważ umożliwiają bezpieczne uwierzytelnianie, identyfikację i udostępnianie danych bez ujawniania jakichkolwiek wrażliwych informacji. Umożliwiają stronom weryfikację informacji i transakcji bez utraty prywatności.

ZK-Snarks

ZK-Snarks to rodzaj dowodu z wiedzą zerową, który jest szeroko stosowany w technologii blockchain, zwłaszcza w blockchainach zorientowanych na prywatność, takich jak Zcash. ZK-Snarks oznacza zwięzły, nieinteraktywny argument wiedzy o zerowej wiedzy.

Aby zrozumieć ZK-Snarksa, wyobraźmy sobie scenariusz, w którym masz tajny numer i chcesz komuś udowodnić, że znasz ten numer, nie ujawniając, jaki to numer. ZK-Snarks umożliwi Ci to poprzez skonstruowanie dowodu, który przekona drugą osobę, że znasz numer, bez ujawniania samego numeru.

ZK-Starks

ZK-Starks to kolejny rodzaj dowodu o wiedzy zerowej, podobny do ZK-Snarks, ale ma pewne różnice. ZK-Starks to skrót od Zero-Knowledge Scalable Transparent Argument of Knowledge.

Aby zrozumieć ZK-Starksa, wyobraźmy sobie scenariusz, w którym masz tajne zdanie i chcesz komuś udowodnić, że znasz to wyrażenie, nie ujawniając samego zwrotu. ZK-Starks umożliwi Ci to poprzez skonstruowanie dowodu, który przekona drugą osobę, że znasz dane wyrażenie, bez ujawniania samego wyrażenia.

PLONKI

PLONK to najnowsze i najbardziej ekscytujące osiągnięcie w świecie dowodów o wiedzy zerowej. PLONK oznacza wielomianowy, liniowo złożony, nieinteraktywny i odporny na wiedzę.

PLONK to rodzaj dowodu o wiedzy zerowej, który jest jeszcze potężniejszy i wydajniejszy niż ZK-Snarks i ZK-Starks. Ma wiele zastosowań w kryptografii, w tym w transakcjach prywatnych, uwierzytelnianiu i udostępnianiu danych.

Aby zrozumieć PLONK, wyobraźmy sobie scenariusz, w którym masz tajną wiadomość i chcesz komuś udowodnić, że znasz tę wiadomość, nie ujawniając jej samej. PLONK umożliwi Ci to poprzez skonstruowanie dowodu, który przekona drugą osobę, że znasz wiadomość, bez ujawniania samej wiadomości.

Wniosek

Dowody z wiedzą zerową to potężne narzędzie w kryptografii, które pozwala stronom weryfikować informacje i transakcje bez ujawniania jakichkolwiek wrażliwych informacji. ZK-Snarks, ZK-Starks i PLONK to różne typy dowodów o wiedzy zerowej, które mają różne zastosowania w branży blockchain i poza nią.