Dwa rodzaje dowodów zerowej wiedzy 1⃣ Interaktywny dowód zerowej wiedzy ▰ Weryfikator zadaje pytanie (wyzwanie) ▰ Dowodzący odpowiada na wyzwanie ▰ Wiele rund wymiany, weryfikator potwierdza, że dowód jest ważny 2⃣ Nieinteraktywny dowód zerowej wiedzy ▰ Dowodzący musi tylko wygenerować jeden plik (dowód) ▰ Weryfikator może go otrzymać i niezależnie zweryfikować, nie potrzebując wymiany interakcji Trzy cechy dowodu ZK ▰ Kompletność - Completeness Jeśli twierdzenie jest prawdziwe, dowód na pewno przejdzie weryfikację ▰ Rzetelność - Soundness Jeśli twierdzenie jest fałszywe, nikt nie może stworzyć fałszywego dowodu, który przejdzie weryfikację ▰ Zerowa wiedza - Zero Knowledge Weryfikator nie może wywnioskować tajnego wejścia z dowodu Z powodu właściwości blockchaina, w praktycznych zastosowaniach zazwyczaj stosuje się nieinteraktywne dowody zerowej wiedzy. Nieinteraktywny dowód zerowej wiedzy wykorzystuje jednorazowe losowe wyzwanie dowodzącego do ustalenia prawdziwości dowodu. @brevis_zk Notatki z nauki ～