Wyjaśnijmy ZK: 📚 ZK oznacza Zero Knowledge i odblokowuje 2 supermoce: Prywatność i Skalę. ZK jest mi bliskie, zarówno jako współwynalazca ZK-STARKs, jak i współzałożyciel 2 projektów ZK: @Zcash (skoncentrowany na prywatności) oraz @StarkWareLtd (skoncentrowany na skali, a teraz także na prywatności)

@Zcash @StarkWareLtd Jak działa ZK? Są dwa rodzaje podmiotów: Prover i Verifier Prover wykonuje ciężką pracę: - Rejestracja danych ze wszystkich transakcji - Przetwarzanie danych - Aktualizacja stanu systemu (oznaczająca saldo po wszystkich transakcjach) - Generowanie aktualizacji stanu i dowodu

@Zcash @StarkWareLtd Typowe oświadczenie od Prover mówi: "Ja, Prover, zaczynam od stanu A, przetworzyłem 1 000 000 transakcji i na ich podstawie osiągnąłem stanu B". Dowód to sekwencja liczb i hashy, które można sprawdzić, aby udowodnić integralność całego oświadczenia.

@Zcash @StarkWareLtd Weryfikator (który zazwyczaj działa na łańcuchu) sprawdza dowód, używając matematyki i kryptografii, aby zweryfikować, czy stwierdzenie jest prawdziwe, zanim zostanie zaakceptowane. Teoremy, które udowodniliśmy na przestrzeni lat, mówią, że Weryfikator zawsze akceptuje prawdziwe stwierdzenia i nigdy nie akceptuje fałszywych stwierdzeń.

@Zcash @StarkWareLtd Złośliwy Prover, który może próbować przekonać Verifiera do zaakceptowania fałszywego stwierdzenia, musi wykonać podobną ilość pracy, jak przy znajdowaniu kolizji w funkcji haszującej, co nie może być zrobione, zanim nasze Słońce się schłodzi.

@Zcash @StarkWareLtd Dlaczego ZK jest dobre dla prywatności? Weryfikator nie sprawdza poprawności stwierdzenia, przetwarzając dane, które potwierdza. Dlatego dane mogą być weryfikowane jako ważne, podczas gdy pozostają ukryte przed Weryfikatorem.

@Zcash @StarkWareLtd Dlaczego ZK jest dobre dla skalowania? Weryfikator nie musi powtarzać obliczeń, które wykonał Prover. Prover może przetworzyć 1 milion transakcji, ale Weryfikator nie będzie musiał ich powtarzać, aby zweryfikować poprawność wszystkich tych transakcji. Sprawdzenie dowodu wystarczy, aby zapewnić ich ważność.