Trendy fintech
03.09.2024
17 min
16.4K

    Dowody Zero Wiedzy: Zwiększanie Prywatności Blockchaina

    Chroń swoje dane na Blockchainie

    Dowody Zero Wiedzy: Zwiększanie Prywatności Blockchaina

    Czy kiedykolwiek miałeś wrażenie, że żyjesz w piosence Stinga? Takiej, która zaczyna się od słów: „Każdy twój oddech, każdy twój ruch, będę cię obserwować”? W dzisiejszych czasach wydaje się, że zawsze jest ktoś, kto śledzi każdy twój krok — dosłownie. Idziesz do sklepu, a twój bank wie, co kupiłeś, ile wydałeś, a nawet gdzie to zrobiłeś. GPS w twoim smartfonie śledzi twoją lokalizację co sekundę, kamery CCTV nieustannie mają cię na oku w miejscach publicznych, a twój dostawca internetu monitoruje twoje nawyki online jak sokolnik. Więc, jeśli to wszystko wydaje się trochę jak reality show, to może rzeczywiście tak jest, ale bez blasku!

    Pytanie brzmi, co by było, gdybyś mógł odwrócić sytuację i zachować przynajmniej część swojego życia w prywatności? Właściwie, bardzo znaczną część — twoje życie finansowe. Wprowadź Dowody Zero-Wiedzy (ZKP). Te sprytne narzędzia kryptograficzne pozwalają ci udowodnić, że transakcja jest legalna, nie ujawniając żadnych szczegółów — kto zapłacił ile i gdzie, kto wysłał ile i kiedy, ani żadnych soczystych detali. W zasadzie, to tak, jakby powiedzieć: „Wszystko się zgadza”, nie pokazując nikomu rzeczywistych paragonów. Brzmi interesująco? Zostań z nami, aby zobaczyć, jak ten protokół może pomóc ci osiągnąć poziom prywatności, który wydaje się jak science fiction, ale jest całkowicie realny.

    Kluczowe wnioski

    Dowody zerowej wiedzy (ZKP) to metody kryptograficzne, które pozwalają komuś udowodnić, że zna lub ma coś, jak hasło, bez ujawniania samej informacji

    ZKP występują w różnych formach, w tym ZK-SNARKs (Zerowe Wiedza Zwięzłe Nieinteraktywne Argumenty Wiedzy) i ZK-STARKs (Zerowe Wiedza Skalowalne Przejrzyste Argumenty Wiedzy)

    ZKP są coraz częściej integrowane w różnorodne aplikacje blockchain, od kryptowalut skoncentrowanych na prywatności, takich jak ZCash, po rozwiązania warstwy 2, takie jak zkSync, zwiększając przepustowość transakcji

    Czym są Dowody Zero-Knowledge?

    Zanurzmy się od razu w definicję ZKP. Nie martw się, jeśli na początku wydaje się to nieco skomplikowane, rozłożymy to na czynniki pierwsze i wyjaśnimy wszystko w następnym zdaniu.

    Dowód Zero-Knowledge (ZKP) to metoda kryptograficzna, dzięki której jedna strona (dowodzący) może udowodnić drugiej stronie (weryfikatorowi), że dane stwierdzenie jest prawdziwe, nie ujawniając żadnych dodatkowych informacji poza ważnością samego stwierdzenia. Oznacza to, że weryfikator może być przekonany o prawdziwości stwierdzenia, nie zdobywając żadnej wiedzy na temat danych źródłowych ani sposobu, w jaki dowód został skonstruowany. Innymi słowy, Dowód Zero-Knowledge to metoda kryptograficzna, w której jedna strona — powiedzmy, że to ty kupujący rzeczy w Walmart — może udowodnić drugiej stronie, takiej jak Walmart, że dane stwierdzenie jest prawdziwe, na przykład, że masz wystarczające środki na swoim koncie, nie ujawniając żadnych dodatkowych szczegółów, jak dokładna kwota pieniędzy, którą posiadasz. Dowód Zero-Knowledge po prostu potwierdza, że stwierdzenie jest prawdziwe — że masz wystarczająco dużo pieniędzy. Koniec opowieści.

    Dynamika Prover-Weryfikator

    Kilka blockchainów wspiera użycie dowodów zerowej wiedzy w aplikacjach chroniących prywatność: Zcash używa ZKP do ukrywania danych transakcji przed publicznym widokiem, zkSync to rozwiązanie skalujące warstwy 2 dla Ethereum, które wykorzystuje ZKP do zapewnienia prywatności i skalowalności. Jest też Protokół Aztec, który w istocie jest platformą chroniącą prywatność, wykorzystującą ZKP do umożliwienia prywatnych transakcji i inteligentnych kontraktów. Oczywiście jest ich więcej. 

    Oto przykład, jak działa protokół oparty na dowodach ZK w rzeczywistości. Wyobraź sobie, że chcesz wysłać prywatną wiadomość do przyjaciela na platformie komunikacyjnej blockchain. W systemie blockchain ze starego paradygmatu twoja wiadomość byłaby widoczna dla wszystkich w sieci. Mogłoby to narazić twoją prywatność. Ale powiedzmy, że używasz Aztec. Z tym protokołem twoja wiadomość byłaby szyfrowana i łączona z innymi transakcjami w paczkę. Następnie generowany jest ZKP, aby udowodnić, że paczka transakcji jest ważna, nie ujawniając treści poszczególnych transakcji. Ten ZKP jest przesyłany do podstawowego blockchaina (takiego jak Ethereum) w celu weryfikacji.

    Dlaczego dowody zerowej wiedzy?

    Opracowane w latach 80. przez kilku bystrych ludzi — Shafi Goldwasser, Silvio Micali i Charles Rackoff — ta technologia została zaprojektowana w celu rozwiązania dużego problemu: jak udowodnić, że coś wiesz (na przykład, że masz pieniądze na zapłatę), nie ujawniając, co dokładnie wiesz. ZKP zostały zaprojektowane specjalnie do tego rodzaju zadań, dlatego są tak popularne w blockchainie, dziedzinie, która koncentruje się na prywatności. Kontynuując analogię do Walmartu, można powiedzieć, że kiedy używasz technologii zerowej wiedzy na swojej wyprawie do sklepu spożywczego, w zasadzie szyfrujesz kawałek sensownej informacji w tajny kod, który udowadnia, że możesz pokryć koszty.

    System Walmartu następnie odszyfrowuje to i weryfikuje bez potrzeby widzenia twojego rzeczywistego salda lub historii transakcji. To tak, jakby ktoś powiedział: „Zaufaj mi, mam to pod kontrolą”, nie pokazując przy tym paragonów ani nie ujawniając żadnych wrażliwych szczegółów. Więc kupujesz i idziesz, a ani jedna dusza na świecie, oprócz może Walmartu, nie wie, co kupiłeś i ile zapłaciłeś.

    Shafi Goldwasser i Silvio Micali

    Jeśli dowód jest dowodem zerowej wiedzy, zawsze w pełni spełnia te trzy podstawowe właściwości:

    1. Kompletność: Jeśli stwierdzenie jest prawdziwe, uczciwy dowodzący może przekonać uczciwego weryfikatora o tym fakcie. Innymi słowy, jeśli naprawdę masz wystarczająco dużo pieniędzy, możesz przekonać Walmart, że możesz pokryć koszt.
    2. Solidność: Jeśli stwierdzenie jest fałszywe, żaden nieuczciwy dowodzący nie może przekonać uczciwego weryfikatora, że jest prawdziwe, z wyjątkiem niewielkiego prawdopodobieństwa. Innymi słowy, jeśli nie masz wystarczająco dużo pieniędzy, nie możesz oszukać Walmart, aby myślał, że masz, z wyjątkiem jakiejś małej szansy.
    3. Zero-Wiedza: Weryfikator nie dowiaduje się niczego poza faktem, że stwierdzenie jest prawdziwe; żadne dodatkowe informacje o podstawowych danych nie są ujawniane. Innymi słowy, Walmart będzie wiedział, że możesz zapłacić, ale nie dowie się żadnych innych szczegółów dotyczących twojego konta bankowego lub historii transakcji. Dowody Zerowej Wiedzy to ostateczni techniczni ninja dla prywatności w blockchainie, ale zastosowania ZKP są dyskretne i niezwykle przydatne wszędzie tam, gdzie liczy się bezpieczeństwo i wydajność. Musisz udowodnić swój wiek, nie ujawniając całej swojej historii życia? ZKP ma cię w tym zakresie. Ktoś chce podzielić się z tobą poufnymi danymi, jak w audytach finansowych, nie ujawniając wszystkich szczegółów? ZKP jest po twojej stronie. W łańcuchu dostaw ZKP również weryfikuje, że produkty i dostawcy są legalni, nie ujawniając tajemnic handlowych. W chmurze obliczeniowej zapewniają, że obliczenia są wykonywane poprawnie, więc nie musisz wszystkiego podwójnie sprawdzać. A oczywiście w świecie blockchaina ZKP utrzymuje twoje transakcje kryptograficzne w prywatności. Pozwalają również inteligentnym kontraktom działać bez ujawniania wrażliwych informacji. Nie masz pojęcia, o czym mówimy? Zajmiemy się wszystkimi tymi skomplikowanymi terminami później, ale najpierw rozłóżmy na czynniki, jak ZKP właściwie działa.

    Interaktywne i Nieinteraktywne Dowody

    Ok, miejmy nadzieję, że teraz nie czujesz się onieśmielony terminami takimi jak „stwierdzenie”, „weryfikator” i „dowodzący”, więc czas na szczegóły dotyczące technologii Zerowej Wiedzy. Te złe chłopaki występują w różnych odmianach, z każdą mającą swój sposób na udowodnienie prawdy, zachowując szczegóły w tajemnicy. Oto szybki przegląd głównych typów, interaktywnych i nieinteraktywnych dowodów zk, ale zanim zaczniemy, uprośćmy to za pomocą kulinarnej analogii. Wyobraź sobie, że pieczesz ciasto.

    Interaktywny Dowód: Aby udowodnić, że ciasto jest autentyczne, używając interaktywnego dowodu, zaprosiłbyś przyjaciela, aby obserwował cię podczas pieczenia. Spróbowałby ciasta, nadzienia i gotowego produktu, aby upewnić się, że jest prawdziwe. To jak weryfikator obserwujący cały proces tworzenia dowodu.

    Nieinteraktywny Dowód: Aby udowodnić autentyczność ciasta w sposób nieinteraktywny, upieczesz ciasto, a następnie zaoferujesz przyjacielowi mały kawałek do spróbowania. Może zweryfikować smak i składniki, nie obserwując cię podczas pieczenia. To jak weryfikator sprawdzający wcześniej wygenerowany dowód bez potrzeby obserwowania całego procesu.

    W terminach blockchainowych:

    • Interaktywny dowód: Seria interakcji między dowodzącym a weryfikatorem, podobnie jak twój przyjaciel obserwujący cię podczas pieczenia.
    • Nieinteraktywny dowód: Pojedynczy, wcześniej wygenerowany dowód, który można zweryfikować niezależnie, jak oferowanie przyjacielowi kawałka ciasta. Dobrym przykładem interaktywnego dowodu zintegrowanego z blockchainem jest TrueBit, protokół umożliwiający obliczenia poza łańcuchem dla inteligentnych kontraktów Ethereum. Używa interaktywnej gry weryfikacyjnej do sprawdzania poprawności obliczeń poza łańcuchem. Dowodzący przesyła wynik obliczenia, a każdy może zakwestionować ten wynik, grając w interaktywną grę weryfikacyjną. Gra polega na krok po kroku rozbiciu obliczenia, gdzie dowodzący i wyzywający interaktywnie argumentują o poprawnym wykonaniu. Ostateczny wynik tej gry decyduje, czy wynik jest akceptowany czy odrzucany w łańcuchu.

    Problem z Interaktywnymi Dowodami polega na tym, że obie strony muszą być online w tym samym czasie, a każdy dowód jest jak rozpoczęcie całej nowej rozmowy — super nieefektywne. Tutaj wkraczają Nieinteraktywne Dowody.

    W 1988 roku Manuel Blum, Paul Feldman i Silvio Micali zaproponowali pierwsze Nieinteraktywne Dowody Zerowej Wiedzy, w których dowodzący i weryfikator mają wspólny klucz (CRS). Oto jak to działa. Ty (dowodzący) i twój przyjaciel (weryfikator) zgadzacie się na wspólny przepis (CRS). Pieczesz ciasto (tworzysz dowód) zgodnie z przepisem. Twój przyjaciel próbuje ciasta (weryfikuje dowód). Jeśli smakuje jak cytryna i mleko, wie, że postępowałeś zgodnie z przepisem. W terminach blockchainowych obie strony generują publiczną wartość znaną zarówno dowodzącemu, jak i weryfikatorowi, CRS. Dowodzący generuje obiekt kryptograficzny (dowód). Weryfikator sprawdza, czy dowód jest zgodny z CRS.

    Przykłady protokołów opartych na Nieinteraktywnych Dowodach obejmują protokoły oparte na zk-SNARK i zk-STARK, które przyjrzymy się w następnej sekcji.

    Typy Nieinteraktywnych Dowodów Zerowej Wiedzy: ZK-SNARKs, ZK-STARKs

    Podczas gdy Interaktywne Dowody koncentrują się na interakcjach w czasie rzeczywistym, Nieinteraktywne Dowody pozwalają na wykonanie zadania za pomocą jednego, dobrze skonstruowanego dowodu jednorazowego. Czyni to je niezwykle wydajnymi w sytuacjach, w których nie chcesz lub nie musisz angażować się w ciągłe rozmowy. zk-SNARKs i zk-STARKs podnoszą koncepcję nieinteraktywnego dowodu i jeszcze bardziej zwiększają prywatność w blockchainie. Jak to działa?

    ZK-SNARKs

    ZK-SNARKs mogą brzmieć jak coś z filmu sci-fi, ale to tak naprawdę tylko elegancki akronim dla Zerowej Wiedzy Zwięzłego Nieinteraktywnego Argumentu Wiedzy. Kiedy to rozłożysz, to tak naprawdę bardziej zaawansowana wersja tych nieinteraktywnych dowodów, o których właśnie rozmawialiśmy, więc nie martw się, zrozumiesz. Jeśli masz do czynienia z protokołem ZK-SNARK, spełni on w pełni te pięć podstawowych właściwości:

    1. Zero-Wiedza: Oznacza to, że weryfikator może potwierdzić, że stwierdzenie jest prawdziwe, nie wiedząc nic więcej na jego temat. Ujawniana jest tylko prawda lub fałsz stwierdzenia — żadne dodatkowe szczegóły nie są potrzebne.
    2. Zwięzłość: Dowód jest mniejszy i szybszy do weryfikacji niż tajne informacje, na których się opiera. To jak otrzymanie streszczenia bez czytania całej książki.
    3. Nieinteraktywność: W przeciwieństwie do tych interaktywnych dowodów, ZK-SNARKs to jednorazowa sprawa. Dowodzący i weryfikator wchodzą w interakcję tylko raz, co czyni proces znacznie bardziej wydajnym.
    4. Argument: Dowód jest solidny, co oznacza, że prawie niemożliwe jest oszukiwanie. Jeśli stwierdzenie jest fałszywe, żaden przebiegły dowodzący nie może przekonać weryfikatora inaczej.
    5. (Z) Wiedza: Dowodzący nie może stworzyć dowodu bez znajomości tajnych informacji (czasami nazywanych również świadkiem). Bez świadka nie ma sposobu na wygenerowanie ważnego dowodu.

    Wyobraź sobie, że upiekłeś ciasto z tajnym przepisem. Chcesz, aby było unikalne i zapobiec innym jego skopiowaniu. Jeśli ktoś mógłby skopiować ciasto, nie byłoby już wyjątkowe. Podobnie w blockchainie, złośliwe transakcje powinny być trudne do skopiowania. To zapewnia integralność i bezpieczeństwo sieci.

    Kilku "kucharzy" współpracuje, aby stworzyć tajny składnik przepisu

    Aby zapewnić, że „przepis” jest zarówno unikalny, jak i bezpieczny, kilku „kucharzy” współpracuje, aby stworzyć tajny składnik przepisu — znany w terminologii blockchain jako CRS. Gdy skończą tworzenie CRS, „niszczą” przepis, aby zapobiec jego niewłaściwemu wykorzystaniu. Problem polega na tym, że ten proces opiera się na zaufaniu, że wszyscy kucharze rzeczywiście zniszczą swoją część tajemnicy. Ale co jeśli jeden z nich tego nie zrobi? Wtedy wkraczają ZK-STARKs (Zero-Knowledge Scalable Transparent Arguments of Knowledge)

    ZK-STARKs

    Podczas gdy ZK-SNARKs wprowadziły dowody zerowej wiedzy do mas, dzięki swojej kompaktowości i wydajności, wprowadziły nowe wyzwania, takie jak potrzeba zaufanego przygotowania „kucharzy” i ograniczona skalowalność przy większych zbiorach danych. ZK-STARKs rozwiązują te problemy. Pomyśl o nich jako o ewolucji od telefonu na klapkę do najwyższej klasy smartfona — koniec z ryzykownym przygotowaniem i znacznie lepsza obsługa dużych danych, co czyni je bardziej potężnymi, bezpiecznymi i przyjaznymi dla użytkownika. Ale ZK-STARKs nie wymagają fazy zaufanego przygotowania, w której generujesz i przechowujesz tajne losowe liczby lub parametry. Zamiast tego eliminują potrzebę poufnych procedur przygotowawczych i zmniejszają ryzyko manipulacji lub kompromitacji. Rozłóżmy na czynniki, o co chodzi w ZK-STARKs:

    1. Zerowa wiedza: Podobnie jak w przypadku ZK-SNARKs, weryfikator może potwierdzić prawdziwość stwierdzenia, nie dowiadując się niczego więcej na jego temat. Dowód ujawnia tylko, czy stwierdzenie jest prawdziwe, czy fałszywe — żadne dodatkowe szczegóły nie są udostępniane.
    2. Skalowalność: ZK-STARKs są zaprojektowane do efektywnego przetwarzania dużych ilości danych. Dowód pozostaje zwięzły i szybki do weryfikacji, nawet gdy złożoność danych wzrasta — jak możliwość podsumowania całej biblioteki na jednej stronie.
    3. Przejrzystość: W przeciwieństwie do ZK-SNARKs, które wymagają zaufanego przygotowania, ZK-STARKs nie opierają się na żadnych tajnych parametrach. Ich przejrzystość oznacza, że bezpieczeństwo systemu nie zależy od ukrytych lub wrażliwych informacji.
    4. Argument: Dowód jest niezwykle solidny i niezawodny. Jeśli stwierdzenie jest fałszywe, praktycznie niemożliwe jest, aby nieuczciwy dowodzący przekonał weryfikatora do czegoś innego.
    5. (Z) Wiedza: Tak jak w przypadku ZK-SNARKs, dowodzący musi posiadać tajne informacje (lub świadka), aby wygenerować ważny dowód. Bez tej wiedzy, wyprodukowanie ważnego dowodu nie jest możliwe.


    Więc wciąż próbujemy upiec ciasto i udowodnić, że możemy je upiec idealnie, nie ujawniając tajnego składnika. W ZK-STARKs „przepis” jest publiczną wiedzą, co oznacza, że wszyscy znają kroki do wykonania. Jednak tylko „kucharz” zna tajny składnik, określany jako świadek. Gdy kucharz poprawnie wykonuje przepis i piecze ciasto, udowadnia, że zna tajny składnik — nie ujawniając nigdy, co to jest.

    Tylko „kucharz” zna tajny składnik

    ZK-STARKs są przejrzyste. Nie potrzebują zaufanego ustawienia, co sprawia, że w niektórych przypadkach są bardziej bezpieczne. Skupienie jest na samym dowodzie, który można zweryfikować publicznie bez polegania na tajnym składniku. Zarówno ZK-SNARKs, jak i ZK-STARKs to potężne narzędzia do prywatności i skalowalności w blockchainie. Wybór między nimi zależy od specyficznych wymagań aplikacji.

    Protokóły Dowodów Zero Knowledge

    ZCash:

    1. Co to jest: ZCash to kryptowaluta skoncentrowana na prywatności, która wykorzystuje dowody zero-knowledge, a konkretnie zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), aby umożliwić w pełni prywatne transakcje.
    2. Jak to działa: W ZCash zk-SNARKs pozwalają użytkownikom udowodnić, że mają środki na dokonanie transakcji, nie ujawniając kwoty ani szczegółów nadawcy/odbiorcy. Możesz więc wysyłać lub odbierać środki, zachowując wszystkie szczegóły transakcji w tajemnicy.
    3. Kapitalizacja rynkowa: Na sierpień 2024 roku, ZCash ma kapitalizację rynkową wynoszącą około 1,3 miliarda dolarów.
    4. Koszt tokena: Aktualna cena ZCash (ZEC) wynosi około 50,00 dolarów.
    5. Dlaczego to ważne: ZCash wprowadza prywatność finansową do blockchaina, pozwalając użytkownikom na dokonywanie transakcji bez ujawniania wrażliwych informacji, co jest kluczowe dla osób i instytucji dbających o prywatność.

    Railgun:

    1. Co to jest: Railgun to protokół prywatności warstwy 2 Ethereum, który wykorzystuje dowody zero-knowledge do zapewnienia poufnych transakcji i interakcji z inteligentnymi kontraktami.
    2. Jak to działa: Railgun wykorzystuje zk-SNARKs, aby zapewnić prywatność transakcji i operacji z inteligentnymi kontraktami. Umożliwia użytkownikom wykonywanie działań w zakresie finansów zdecentralizowanych (DeFi), takich jak handel i pożyczanie, zachowując prywatność ich transakcji i sald kont.
    3. Kapitalizacja rynkowa: Na sierpień 2024 roku, Railgun ma kapitalizację rynkową wynoszącą około 150 milionów dolarów.
    4. Koszt tokena: Aktualna cena Railgun (RAIL) wynosi około 1,20 dolarów.
    5. Dlaczego to ważne: Railgun wprowadza prywatność do platform DeFi opartych na Ethereum, które jej nie mają, dzięki czemu użytkownicy mogą cieszyć się poufnością i ochroną przed inwigilacją w blockchainie.

    Tornado Cash:

    1. Co to jest: Tornado Cash to zdecentralizowane rozwiązanie prywatności dla transakcji Ethereum, wykorzystujące zk-SNARKs do zerwania on-chainowego połączenia między nadawcą a odbiorcą, dzięki czemu transakcje są prywatne.
    2. Jak to działa: Użytkownicy wpłacają Ethereum lub tokeny ERC-20 do Tornado Cash, które miesza środki, aby ukryć ich pochodzenie. Wypłata jest możliwa na inny adres, co utrudnia śledzenie środków z powrotem do ich źródła.
    3. Kapitalizacja rynkowa: Na sierpień 2024 roku, TVL Tornado Cash wynosi około 400 milionów dolarów, ale nie ma tradycyjnej kapitalizacji rynkowej jak inne tokeny.
    4. Koszt tokena: Tornado Cash nie ma natywnego tokena; to protokół, a nie projekt oparty na tokenach.
    5. Dlaczego to ważne: Tornado Cash zapewnia wysoką prywatność transakcji na Ethereum, co jest cenne dla użytkowników, którzy potrzebują anonimowości i chcą zapobiegać śledzeniu transakcji.

    Aztec:

    1. Co to jest: Aztec to protokół prywatności warstwy 2 Ethereum, który wykorzystuje zk-SNARKs do oferowania prywatnych transakcji i interakcji z inteligentnymi kontraktami.
    2. Jak to działa: Aztec szyfruje dane transakcji i wykorzystuje dowody zero-knowledge do walidacji transakcji bez ujawniania wrażliwych informacji w blockchainie.
    3. Kapitalizacja rynkowa: Na sierpień 2024 roku, Aztec ma kapitalizację rynkową wynoszącą około 80 milionów dolarów.
    4. Koszt tokena: Aktualna cena AZT wynosi około 2,50 dolarów.
    5. Dlaczego to ważne: Aztec zapewnia prywatność dla DeFi na Ethereum, dzięki czemu użytkownicy mogą dokonywać transakcji i interakcji bez ujawniania swoich finansów.

    zkSync:

    1. Co to jest: zkSync to rozwiązanie skalowania warstwy 2 Ethereum, które wykorzystuje zk-rollupy do łączenia wielu transakcji w jeden dowód, który następnie jest publikowany w głównym łańcuchu Ethereum.
    2. Jak to działa: zkSync wykorzystuje zk-rollupy, aby zwiększyć przepustowość transakcji i obniżyć opłaty, łącząc wiele transakcji w jeden dowód, który jest weryfikowany na Ethereum. To zachowuje bezpieczeństwo Ethereum, jednocześnie poprawiając skalowalność.
    3. Kapitalizacja rynkowa: Na sierpień 2024 roku, zkSync ma TVL wynoszący około 1,2 miliarda dolarów, ale nie ma tradycyjnej kapitalizacji rynkowej jak inne tokeny.
    4. Koszt tokena: zkSync ma tokeny ekosystemowe, ale nie ma samodzielnego tokena, który jest handlowany niezależnie.
    5. Dlaczego to ważne: zkSync sprawia, że Ethereum jest bardziej skalowalne i tańsze dla użytkowników i deweloperów, jednocześnie zachowując bezpieczeństwo sieci Ethereum.## Przyszłość Dowodów Zero Knowledge

    Przyszłość dowodów zero-knowledge będzie dzika — wyobraź sobie to: zk-SNARKs i zk-STARKs już robią furorę, ale badacze są jak nadmiernie pobudzeni innowatorzy, sprawiając, że wszystko działa jeszcze szybciej i sprawniej. Ich celem? Zredukować obciążenie obliczeniowe, co oznacza przyspieszenie wszystkiego i ułatwienie pracy na twoim komputerze. Wyobraź sobie sieci blockchain działające jak gorący nóż przez masło — brzmi dobrze, prawda?

    ZKP współpracują z najfajniejszą technologią, taką jak AI i IoT. Mówimy o AI, które może uczyć się i rozwijać bez podglądania twoich prywatnych danych, oraz urządzeniach IoT, które komunikują się ze sobą w sposób bezpieczny, zachowując twoje sekrety w tajemnicy. To jak wysokotechnologowa, obsesyjna na punkcie prywatności impreza, na której nikt nie zdradza żadnych tajemnic!

    A zgadnij co? ZKPs nie tylko wkraczają na imprezę blockchainową — rozprzestrzeniają się również na inne dziedziny. Wkrótce możemy je zobaczyć w bezpiecznych systemach głosowania, supertajnych rekordach medycznych i poufnych transakcjach biznesowych. Chodzi o udowodnienie czegoś bez ujawniania szczegółów. Mówimy o zmianie gry!

    W miarę jak ZKPs stają się coraz bardziej zaawansowane, zmierzamy w kierunku świata, w którym wszystko jest ustandaryzowane i współpracuje ze sobą. Pomyśl o tym jak o zapewnieniu, że wszystkie technologiczne zabawki w piaskownicy dogadują się, aby ZKPs mogły być używane wszędzie bez problemów.

    Przy całej tej magii prywatności wciąż istnieje równowaga do zachowania między bezpieczeństwem a spełnianiem regulacji, takich jak przeciwdziałanie praniu pieniędzy i finansowaniu terroryzmu. Znalezienie tego idealnego miejsca będzie zagadką, ale hej, to część zabawy!

    Krótko mówiąc, dowody zero-knowledge będą superbohaterami cyfrowego świata, sprawiając, że wszystko będzie prywatne, bezpieczne i wydajne. W miarę jak technologia się rozwija, ZKPs uczynią nasze życie online nie tylko szybszym, ale także bezpieczniejszym i znacznie bardziej prywatnym.

    Podsumowanie

    Patrząc w przyszłość, jasne jest, że dowody zero-knowledge (ZKPs) to nie tylko koncepcja, ale technologia o dużych implikacjach. Te kryptograficzne cuda zmieniają sposób, w jaki radzimy sobie z prywatnością, bezpieczeństwem i skalowalnością w przestrzeni cyfrowej. Od prywatnych transakcji blockchainowych po bezpieczne systemy głosowania i poufne transakcje biznesowe, ZKPs będą bohaterami zza kulis. Podróż ZKPs od interaktywnych dowodów do zk-SNARKs i zk-STARKs była niesamowita. Każdy krok przybliża nas do świata, w którym nasze dane mogą być prywatne, a jednocześnie mogą być weryfikowane i potwierdzane.

    W miarę jak technologia się rozwija, oczekujemy, że jeszcze więcej aplikacji zintegrowanych z AI i IoT zaoferuje rozwiązania chroniące prywatność, które kiedyś były science fiction. Ale jak w przypadku każdej technologii, innowacje muszą spełniać regulacje. Poruszanie się po tym krajobrazie będzie wymagało starannego rozważenia, aby zapewnić, że ZKPs są używane odpowiedzialnie i etycznie.

    Krótko mówiąc, dowody zero-knowledge zdefiniują na nowo cyfrową prywatność i bezpieczeństwo, tworząc bardziej prywatny, bezpieczny i wydajny świat online. Niezależnie od tego, czy jesteś entuzjastą technologii, deweloperem, czy po prostu ciekawym, jak rozwija się prywatność cyfrowa, miej oko na ZKPs. Przyszłość jest jasna i kształtowana przez te kryptograficzne cuda.

    FAQ

    ZKPs to metody kryptograficzne, które pozwalają jednej stronie udowodnić prawdziwość stwierdzenia bez ujawniania jakichkolwiek szczegółów dotyczących samego stwierdzenia. Zapewniają, że weryfikator wie tylko, czy stwierdzenie jest prawdziwe, czy fałszywe, nie otrzymując żadnych dodatkowych informacji.

    ZKPs występują w formach interaktywnych i nieinteraktywnych. Dowody interaktywne polegają na wymianie informacji w celu udowodnienia wiedzy, podczas gdy dowody nieinteraktywne wykorzystują wspólny klucz do jednego, statycznego dowodu. Oba typy mają na celu weryfikację stwierdzeń przy jednoczesnym zachowaniu tajności danych.

    ZKPs zwiększają prywatność w blockchainie, umożliwiając poufne transakcje, bezpieczne głosowanie i efektywne rozwiązania skalujące, takie jak zk-rollupy. Są wykorzystywane w projektach takich jak ZCash i zkSync, aby zachować szczegóły transakcji w tajemnicy i poprawić wydajność systemu.

    Udostępnij artykuł
    Cześć, jestem Julia Gerstein. Moja podróż pisarska zaczęła się w dziennikarstwie, gdzie miałam szansę współpracować z niektórymi z największych nazwisk w branży, w tym z Rolling Stone. Ale gdy cyfrowe finanse zaczęły przekształcać świat, poczułam się przyciągnięta do tej przestrzeni—rozbijając złożone koncepcje kryptowalut dla platform takich jak Cointelegraph i Cryptoglobe. W ciągu dnia piszę dla Volet.com, platformy łączącej świat kryptowalut z tradycyjnymi finansami. W nocy wciąż jestem opublikowaną autorką, pracując nad ukończeniem mojej sagi sci-fi i (mam nadzieję) wydaniem Książki 2 na świat! 🚀
    Porównanie funkcji, bezpieczeństwa i użyteczności najlepszych portfeli cyfrowych kształtujących 2024
    06.12.2024
    18 min
    5.3K
      Dowiedz się o koncepcji modularnych blockchainów i rollupów, optymistycznych i ZK rollupów oraz o tym, jak przekształcą one ekosystem Ethereum
      13.11.2024
      12 min
      4.1K
        Prześlij swój pomysł na nasz następny post