Czym dokładnie jest dowód o zerowej wiedzy (ZK)?

Ponieważ społeczność programistów SKALE zbliża się do opublikowania szczegółów, w jaki sposób ZK doda jeszcze więcej mocy i funkcjonalności do SKALE, pomyśleliśmy, że wspaniale byłoby zacząć pisać więcej treści i edukować społeczność o tym, czym jest ZK i jak działa. Czym więc jest dowód ZK lub Zero-Knowledge i o co tyle szumu? ‍

Dowody z wiedzą zerową (ZK) polegają na tym, że jedna strona, znana jako dowodzący, może udowodnić drugiej stronie, zwanej weryfikatorem, że stwierdzenie jest prawdziwe, bez ujawniania żadnych dodatkowych informacji. Osiąga się to poprzez zastosowanie złożonych algorytmów i protokołów matematycznych.

Podstawowy proces ZK polega na tym, że dowodzący i weryfikator uzgadniają twierdzenie, którego prawdziwość chce udowodnić dowodzący. Następnie dowodzący tworzy dowód, który jest obiektem matematycznym, który może zostać zweryfikowany przez weryfikatora bez ujawniania żadnych dodatkowych informacji o stwierdzeniu. Weryfikator sprawdza dowód, aby upewnić się, że jest ważny, a jeśli tak, może mieć pewność, że stwierdzenie jest prawdziwe, bez konieczności znajomości jakichkolwiek dodatkowych informacji na jego temat.

Jedną z kluczowych cech ZKP jest to, że są one oparte na wiedzy zerowej, co oznacza, że ​​weryfikator nie uczy się niczego poza tym, że stwierdzenie jest prawdziwe. Osiąga się to poprzez zastosowanie różnych technik, takich jak schematy zobowiązań, protokoły o zerowej wiedzy i interaktywne systemy dowodowe.

Schematy zobowiązań służą do ukrycia twierdzenia, które osoba dowodząca chce udowodnić, że jest prawdziwe, podczas gdy protokoły o zerowej wiedzy i interaktywne systemy dowodowe służą do zapewnienia, że ​​weryfikator może sprawdzić dowód, nie dowiadując się niczego o stwierdzeniu. Na przykład możesz udowodnić, że jesteś wystarczająco dorosły, aby wejść do baru lub kupić drinka, nie pokazując swojego wieku. Matematyka może zagwarantować drugiej stronie, że oświadczenie jest poprawne bez ujawniania konkretnych informacji prywatnych.

Przykładem protokołu ZKP jest „protokół Schnorra”, jest to rodzaj interaktywnego systemu dowodowego, w którym dowodzący chce udowodnić, że zna tajemną wartość x, nie ujawniając x. Dowódca tworzy zobowiązanie wobec x, a następnie tworzy dowód, że zna x, wykonując określoną operację matematyczną na x, dowód ten jest następnie weryfikowany przez weryfikatora, wykonując tę ​​samą operację matematyczną na zobowiązaniu.

Podsumowując, ZKP pozwalają jednej ze stron udowodnić drugiej stronie prawdziwość wypowiedzi bez ujawniania jakichkolwiek dodatkowych informacji. Osiąga się to poprzez zastosowanie złożonych algorytmów i protokołów matematycznych, które zapewniają, że dowodzący zachowuje pełną kontrolę nad udostępnianymi informacjami, zapewniając tym samym wysoki poziom prywatności i bezpieczeństwa.

Dowody z wiedzą zerową uzyskuje się dzięki zastosowaniu złożonych algorytmów matematycznych i protokołów, które zapewniają, że dowodzący zachowuje pełną kontrolę nad udostępnianymi informacjami.

Jednak wdrożenie ZKP w rzeczywistych aplikacjach wiąże się z wieloma wyzwaniami, szczególnie pod względem kosztów i opóźnień.

Jednym z głównych wyzwań związanych z używaniem ZKP jest wysoki koszt obliczeniowy wymagany do wygenerowania i weryfikacji dowodów. Złożoność algorytmów i protokołów używanych w ZKP może sprawić, że będą one wymagać znacznych zasobów, wymagając znacznych ilości mocy obliczeniowej i energii. Może to stanowić poważną przeszkodę dla organizacji chcących wdrożyć ZKP w swoich systemach, ponieważ koszty niezbędnej infrastruktury mogą być zbyt wysokie.

Kolejnym wyzwaniem związanym z używaniem ZKP jest opóźnienie, które może być wprowadzone przez proces generowania i weryfikacji dowodu. ZKP wymagają wielu rund komunikacji między weryfikatorem a weryfikatorem, co może spowolnić cały proces i sprawić, że będzie mniej wydajny. Może to stanowić szczególny problem w aplikacjach wymagających przetwarzania w czasie rzeczywistym, takich jak transakcje finansowe lub gry online.

Pomimo tych wyzwań, ZKP są potężną technologią, która może zrewolucjonizować wiele gałęzi przemysłu. Dzięki postępowi technologicznemu i opracowaniu bardziej wydajnych algorytmów prawdopodobne jest, że problemy związane z kosztami i opóźnieniami związane z ZKP zostaną w przyszłości przezwyciężone.

Ponadto trwają badania w dziedzinie skalowalności ZKP i proponowanych jest wiele nowych rozwiązań, takich jak wykorzystanie SNARK, STARK, kuloodpornych i innych, które mogą poprawić wydajność i uczynić je bardziej praktycznymi w rzeczywistych przypadkach użycia.

Technolodzy projektujący wdrożenie SKALE ZKP są podekscytowani uruchomieniem ZKP, który będzie zdecentralizowany, ekonomiczny i zmniejszy opóźnienia. Bądź na bieżąco, aby uzyskać więcej treści dotyczących ZK i aktualizacje w nadchodzących miesiącach dotyczące wdrożenia ZK w SKALE!

Przeczytaj poprzedni wpis o Inicjatywie SKALE ZK tutaj.

Więcej ino o SKALE = https://skale.space

Programiści Dappsów zainteresowani wykorzystaniem SKALE w projekcie, mogą zgłaszać się do programu SKALE Innovator https://skale.network/innovators-signup

Dołącz do Discord P🇵🇱L: https://discord.gg/2xeJ7x7AXD

Dołącz do Twitter P🇵🇱L https://twitter.com/skalepoland

Dołącz do Telegram P🇵🇱L https://t.me/SKALE_PL

Dokumentację dotyczącą wdrażania Dapps na SKALE można znaleźć na Portalu dla programistów https://skale.network/docs/

***********************************************************************

O SKALE

SKALE to wielołańcuchowa sieć (multichain network) pozwalająca budować niezależne, bezpieczne, zdecentralizowane i wydajne blockchainy (Skale Chains), zgodnych z Ethereum. Takie podejście zostało opracowane, aby udostępnić środowisko do budowania Web3 gotowe przyjąć wielu użytkowników na całym świecie. Model kryptografii i bezpieczeństwa “pooled security” stosowany w SKALE jest szybki, bezpieczny i zdecentralizowany, umożliwiając programistom tworzenie ciekawych rozwiązań dla użytkowników końcowych, bez opłat za gaz i bez opóźnień. Modułowa i rozszerzalna platforma SKALE obejmuje funkcjonalność EVM, przechowywanie danych, komunikację międzyłańcuchową i możliwości uczenia maszynowego, ale jednocześnie jest otwarta i zaprojektowana tak, aby umożliwić programistom łatwe korzystanie z innych rozwiązań, w razie potrzeby. Architektura ta dodatkowo umożliwia aplikacjom działanie wyłącznie w oparciu o łańcuchy SKALE, bez scentralizowanych zależności.

SKALE Network to projekt open source z wieloma współpracownikami, w tym SKALE Labs. z siedzibą w San Francisco w Kalifornii. SKALE jest obsługiwana przez wielu czołowych walidatorów na świecie, którzy dostarczają te usługi w profesjonalny sposób. SKALE Network korzysta z tokena $SKL, który jest notowany na wielu giełdach CEX i DEX na całym świecie. Skale to platforma, która służy do budowy wielu rozwiązań aplikacyjnych pod potrzeby Web3.