Dowody ZK rewolucjonizują kryptowaluty i napędzają ego. Każdy twierdzi, że ma jeden prawdziwy system dowodowy, ale aplikacje są najważniejszą częścią, dowody stały się towarem. Również: jeśli nowy dowód zk firmy zaczyna się na 'h' lub 'hyper', porzucili swojego starego boga na rzecz sum-check.

Sum-check to podejście ZK tak stare, że nikt nie jest na Twitterze, aby twierdzić, że je wynalazł. Justin Thaler zdobył uznanie, wskazując, że jest to naprawdę przydatne. Może ma rację... albo tworzy nową sektę. Ale projekty przechodzą na sum-check, czasami udając, że to ich stary wynaleziony bóg...

Dobrze, dość alegorii. SNARKi reprezentują programy jako wielomiany. Sum-check używa wielomianów wielowymiarowych, np. P(x,y) = x^2+2y. Co bardziej mylące, styl nazewnictwa "h" i "hyper" pochodzi od wielomianów tworzących hiperkostkę Boole'a. Fajny sposób na powiedzenie, że każda zmienna ma wartość 0 lub 1.

Pomyśl o tym jak o komputerach: komputery działają w systemie binarnym, a nie dziesiętnym, ponieważ niektóre powszechne operacje są bardziej wydajne, gdy są rozkładane na bity zamiast na cyfry. Sum-check robi coś bardzo podobnego dla programów, które udowadnia, że są spełnione.

Jedną z zalet tego podejścia, nie tylko w przypadku sum-check (zob. np. schematy składania), jest strumieniowanie. W przypadku wielu systemów dowodowych opartych na FFT/hash, musisz zmieścić całe twierdzenie, które udowadniasz, w pamięci. Działa dobrze dla małych rzeczy, ale szybko osiąga maksymalne możliwości laptopa.

To ograniczenie zmusza cię do korzystania z dużych serwerów, do których wszyscy muszą wysyłać swoje dane w celu udowodnienia. Niezbyt Zk z ich strony. Jest to przydatne do uruchamiania ogromnego kompresora śmieci (eh, mam na myśli, scentralizowany rollup), ale nie sprawdza się w przypadku prywatności po stronie klienta, co jest obecnie poszukiwane na rynku.

Jak powiedziałem, sum-check nie jest jedynym schematem strumieniowym. Jest też folding. Ciężka praca, która została włożona w stworzenie wszystkich tych schematów zk, uczyniła je towarem. Wybierz to, czego potrzebujesz, i skup się na aplikacjach. Nie czcij systemu dowodowego ani zespołu. Wewnątrz zespół nie...