Od 0 do ZK Concept Bites #6: Problem Redundancji Ostatnim razem omówiliśmy zwięzłość, jak dowody ZK kompresują ogromne obliczenia w małe, tanie do weryfikacji pakiety. Tym razem przyjrzyjmy się, dlaczego ta cecha ma znaczenie na najbardziej fundamentalnym poziomie działania blockchainów. Za każdym razem, gdy produkowany jest nowy blok Ethereum, setki tysięcy walidatorów niezależnie ponownie wykonują każdą transakcję w nim. Te same dodatki, te same transfery, ta sama logika smart kontraktów, wszystko powtarzane w całej sieci. W ten sposób Ethereum utrzymuje brak zaufania: jeśli wszyscy niezależnie dochodzą do tego samego wyniku, nikt nie musi ufać nikomu innemu. Koszt tej gwarancji jest ogromny. Obliczenia związane z pojedynczym blokiem są mnożone setki tysięcy razy. Działa to i jest bezpieczne, ale to podstawowy powód, dla którego blockchainy pozostają wolne i drogie. Sieć nigdy nie może przewyższyć pojedynczej maszyny, ponieważ każda maszyna wykonuje tę samą pracę. 🔁 Dowody ZK oferują zasadniczo inny model: jedna strona wykonuje obliczenia i generuje dowód, że praca została wykonana poprawnie, a każdy walidator w sieci po prostu weryfikuje ten dowód zamiast powtarzać pracę. Dzięki zwięzłości ta weryfikacja jest trywialnie tania, niezależnie od tego, jak skomplikowane były pierwotne obliczenia. Architektura zmienia się z "wszyscy robią wszystko" na "oblicz raz, weryfikuj wszędzie." 🔑 Ale aby ten model stał się rzeczywistością na podstawowej warstwie Ethereum, jedna kluczowa część musi być na miejscu: strona dowodowa musi być wystarczająco szybka, aby nadążyć za produkcją bloków na żywo, i wystarczająco tania, aby nie wymagała ogromnych inwestycji w sprzęt do działania. Jeśli dowodzenie zajmuje godziny lub kosztuje miliony w infrastrukturze, model pozostaje teoretyczny. Tutaj wkracza Pico Prism. ⚡ Ostatnio ogłosiliśmy, że Pico Prism osiąga 99% dowodzenia bloków Ethereum w czasie rzeczywistym zaledwie przy 16 GPU na dwóch maszynach, średnio 6,91 sekundy na blok. Całkowity koszt sprzętu: ~100K USD, dokładnie w celu fundacji Ethereum. Kilka miesięcy temu te same wyniki wymagały 64 GPU i 128K USD tylko na koszty GPU. To zmniejszenie przynosi stronę dowodową równania w praktyczny zasięg. Gdy dowodzenie niezawodnie dotrzymuje kroku 12-sekundowemu czasowi bloków Ethereum na przystępnym sprzęcie, droga do integracji weryfikacji opartej na dowodach na poziomie protokołu staje się konkretna. A gdy to się stanie, setki tysięcy walidatorów przejdą od redundantnego ponownego wykonywania każdego bloku do po prostu weryfikacji małego dowodu, zasadniczo zmieniając sposób, w jaki Ethereum się skaluję. 🧱 ...