Od 0 do ZK Concept Bites #5: Zwięzłość W naszym ostatnim Concept Bite rozmawialiśmy o tym, kiedy właściwość "zero knowledge" ma znaczenie dla prywatności. Ale prywatność to tylko jedna z dwóch supermocy ZK. Drugą, zwięzłość, wykorzystuje Brevis w prawie każdej integracji, którą wprowadzamy. 🚀 Zwięzłość oznacza, że dowód jest dramatycznie mniejszy niż obliczenia, które udowadnia. Przetwórz 100 000 transakcji, a wynikowy dowód ma kilka kilobajtów. Zweryfikuj wykonanie pełnego bloku Ethereum, a dowód mieści się w jednym wywołaniu on-chain. Rozmiar dowodu pozostaje mniej więcej stały, niezależnie od tego, jak ciężkie były pierwotne obciążenia. Tu zaczyna się robić interesująco. Generowanie dowodu kosztuje w rzeczywistości więcej niż samo uruchomienie obliczeń, ponieważ dowodzący musi wykonać dodatkowe operacje kryptograficzne na surowym wykonaniu. Ale weryfikacja tego dowodu kosztuje w porównaniu do tego prawie nic. Relacja wygląda tak: Dowodzenie > Wykonanie >> Weryfikacja. Ta struktura kosztów jest dokładnie tym, czego potrzebują blockchainy. Dziś każda transakcja Ethereum jest ponownie wykonywana przez setki tysięcy walidatorów niezależnie, ta sama praca powtarzana w całej sieci. Dzięki zwięzłym dowodom jedna strona wykonuje ciężką pracę i produkuje kompaktowy dowód. Wszyscy inni po prostu go sprawdzają. Sieć przechodzi od "wszyscy robią wszystko" do "oblicz raz, weryfikuj wszędzie." 📜 Dlatego Brevis może oferować takie rzeczy jak zapytania o dane historyczne dla VIP-owskich poziomów opłat PancakeSwap, czy dystrybucje nagród w wysokości miliarda tokenów dla Linea, bez zwiększania kosztów gazu. Obliczenia odbywają się off-chain, gdzie jest tanio. Dowód ląduje on-chain, gdzie weryfikacja jest stała i przystępna, niezależnie od tego, ile danych zostało przetworzonych w tle. Zwięzłość jest również powodem, dla którego rzeczywiste dowodzenie bloków Ethereum w czasie rzeczywistym przez Pico Prism w ogóle działa. Dowodzenie wykonania całego bloku i kompresowanie go do czegoś, co inteligentny kontrakt może zweryfikować w milisekundach, byłoby bezsensowne, gdyby sam dowód był tak duży jak dane bloku. Stosunek kompresji to to, co czyni cały model wykonalnym. Przeczytaj Część 2: