Przejdź do treści

Dowody ZK: jak krypto udowadnia fakty bez ujawniania danych

Kategoria
Blockchain
Data utworzenia
Czas czytania
5 min

Dowody ZK pozwalają potwierdzić fakt — wiek, legalność środków, przebytą weryfikację — bez ujawniania danych źródłowych. Wyjaśniamy, jak to działa i dlaczego dotyczy kantorów oraz ich zgodności regulacyjnej.

Dowód z wiedzą zerową (zero-knowledge proof, ZK) pozwala udowodnić, że coś jest prawdą, bez ujawniania danych, które za tym stoją. Udowodnić, że klient jest pełnoletni, bez pokazywania dowodu osobistego. Udowodnić, że środki pochodzą z legalnego źródła, bez publikowania całej historii transakcji. Dla kantoru kryptowalutowego to nie podręcznikowa kryptografia, tylko narzędzie, które już zmienia relację między zgodnością regulacyjną a prywatnością klienta.

Co naprawdę oznacza „wiedza zerowa"

Sens jest prosty: jedna strona udowadnia twierdzenie, druga je weryfikuje, nie widząc nic ponad to.

Wyobraź sobie bar, gdzie przy wejściu nie pyta się o dowód osobisty, tylko skanuje kod QR z banku, który mówi tylko jedno: „ta osoba jest pełnoletnia". Data urodzenia, imię, numer dokumentu — wszystko to zostaje ukryte. Dokładnie tak działa ZK: dowód matematyczny potwierdza twierdzenie, ale nie ujawnia danych źródłowych, z których je wyprowadzono.

Za tym stoją schematy kryptograficzne jak zk-SNARK i zk-STARK — skomplikowane wewnątrz, ale z prostą ideą na zewnątrz: dowód zastępuje zaufanie do człowieka zaufaniem do matematyki.

Jak to działa w praktyce

W praktyce sprowadza się to do trzech kroków: użytkownik tworzy dowód lokalnie na swoim urządzeniu, wysyła go do sieci, a sieć go weryfikuje — nigdy nie widząc oryginalnych danych.

Dobrym przykładem są ZK-rollupy jak zkSync, Starknet czy Polygon zkEVM. Zbierają tysiące transakcji Ethereum, kompresują je w jeden dowód i wysyłają do sieci głównej do weryfikacji. Sprawdzenie gotowego dowodu zajmuje sekundy. Sprawdzanie każdej transakcji osobno zajęłoby nieporównywalnie więcej czasu i miejsca w bloku.

Zcash poszedł inną drogą: tam ZK ukrywa kwotę i adresy przelewu, pozostawiając samą transakcję możliwą do zweryfikowania przez sieć.

Dlaczego to ważne dla kantoru

Interes kantoru nie jest tu abstrakcyjny, tylko całkiem praktyczny: im mniej danych osobowych przechowuje i przekazuje, tym mniejsze ryzyko wycieku i mniej pracy przy ich ochronie.

Koncepcja zkKYC zmierza dokładnie w tym kierunku: klient przechodzi weryfikację raz u dostawcy, a kantorowi czy giełdzie pokazuje nie cały dokument, tylko dowód, że „weryfikacja przeszła pomyślnie, limit nie przekroczony, jurysdykcja nie jest na czarnej liście". Dane źródłowe nie są kopiowane po raz dziesiąty, a ryzyko ich ujawnienia nie mnoży się wraz z liczbą serwisów, którym klient je pokazał.

To nie sposób na ukrycie się przed regulatorem. W większości jurysdykcji kantor musi zachować możliwość ujawnienia danych na zgodne z prawem żądanie — ZK zmienia to, co widzą osoby trzecie domyślnie, a nie to, co widzą organy ścigania w razie potrzeby.

Gdzie ZK jest już stosowane w krypto

Lista realnych, a nie hipotetycznych wdrożeń jest krótsza, niż by się chciało, ale rośnie z roku na rok.

  • Zcash — prywatne (shielded) transakcje od 2016 roku.
  • zkSync, Starknet, Polygon zkEVM — skalowanie Ethereum przez ZK-rollupy.
  • Projekty proof-of-personhood — dowód „jestem żywym, unikalnym człowiekiem" bez ujawniania tożsamości.
  • Pilotażowe schematy zkKYC u części dostawców zgodności regulacyjnej, jeszcze niebędące standardem branżowym.

Praktyczny wniosek dla kantoru jest jeden: technologia nie jest już eksperymentalną zabawką, ale też nie jest gotową funkcją do włączenia jednym kliknięciem.

Ograniczenia i ryzyka: czego ZK nie rozwiązuje

ZK nie sprawia, że dane są bardziej prawdziwe — sprawia, że są bardziej ukryte. Jeśli do dowodu wprowadzi się fałszywe informacje, sam dowód tego nie naprawi: śmieci na wejściu, śmieci na wyjściu.

Są też bardziej przyziemne ograniczenia. Budowa dowodu wymaga realnej mocy obliczeniowej — na słabszym urządzeniu to odczuwalne opóźnienie. Sam system dowodowy może zawierać błąd w obwodzie, czyli w gruncie rzeczy dziurę w matematycznej gwarancji, i takie błędy znajdowano nawet w dojrzałych projektach, już po fakcie. A w wielu krajach przepisy wciąż nie precyzują, jak zgodność zweryfikowana przez ZK odnosi się do wymogów AML — prawnicy muszą rozumować przez analogię.

Traktowanie ZK jako gotowego rozwiązania jednocześnie prywatności i zgodności regulacyjnej byłoby więc przedwczesne.

Podsumowanie

Dowody ZK rozwiązują konkretny, wąski problem: udowodnić fakt bez ujawniania niczego ponad to, co konieczne. To nie srebrna kula i nie zamiennik przemyślanej architektury bezpieczeństwa — raczej kolejne narzędzie w zestawie, obok multisigu czy monitoringu transakcji.

Budowanie wsparcia dla ZK od zera jest drogie i czasochłonne dla kantoru, który dopiero startuje albo modernizuje platformę. Prościej oprzeć się na gotowej infrastrukturze i dokładać możliwości w miarę rozwoju biznesu — zaczynając na przykład od gotowego silnika na platformie iEXExchanger i stopniowo dodając bardziej zaawansowane mechanizmy zgodności i prywatności.

Pytania i odpowiedzi

Często zadawane pytania na temat artykułu

To sposób na matematyczne udowodnienie faktu — na przykład że ktoś jest pełnoletni albo że saldo nie przekracza limitu — bez ujawniania danych, z których ten fakt wynika. Strona weryfikująca widzi tylko „tak, to prawda”, nigdy oryginalnych dokumentów.