Jak powszechnie wiadomo, prawdziwe zdecentralizowane publiczne łańcuchy bloków L1 muszą zmierzyć się z niemożliwym trójkątem (niemożność jednoczesnego zapewnienia bezpieczeństwa, skalowalności i decentralizacji), a jednym z najważniejszych fundamentów wartości Ethereum jest decentralizacja, co jest również obszarem, w którym Ethereum zawsze się trzymało. Ethereum zawsze miało nadzieję na ostateczne uruchomienie na sprzęcie domowym, z ponad dziesięcioma tysiącami węzłów i milionami weryfikatorów. Utrzymanie decentralizacji przez Ethereum spowodowało również, że postępy w wydajności L1 były stosunkowo powolne, co ostatecznie doprowadziło do rozwoju architektury L1 i L2, ale obecnie L2 boryka się z problemami podziału płynności i niedostatecznego przechwytywania wartości. Jak rozwiązać pierwotny problem łańcucha bloków Ethereum (niemożność jednoczesnego zapewnienia bezpieczeństwa, skalowalności i decentralizacji)? Jednym z ważnych aspektów jest zastosowanie technologii ZK proof. Kluczowym elementem ZK proof jest umożliwienie wykonywania dużej liczby obliczeń lub transakcji poza łańcuchem, a następnie przesłanie na łańcuch jedynie zwięzłego dowodu, który potwierdza, że te wykonania są poprawne, bez ujawniania wszystkich szczegółów. Korzyścią z tego podejścia jest możliwość zwiększenia skalowalności i wzmocnienia decentralizacji przy jednoczesnym zachowaniu bezpieczeństwa. Na przykład, wykorzystując zkVM do rozszerzenia L1/L2, co również sprzyja podziałowi płynności L2; ZK proof jest kryptograficznie bezpieczny, co zapewnia, że wykonania poza łańcuchem nie będą błędne. Jeśli dowód jest nieważny, zostanie odrzucony, a bezpieczeństwo Ethereum zostanie zachowane; jeśli ostateczne generowanie i weryfikacja dowodów będą wydajne i tanie, to zwykły sprzęt (smartfony lub komputery domowe) będzie mógł uczestniczyć w weryfikacji węzłów, co może dodatkowo wzmocnić decentralizację. Ostatnio Succinct (projekt infrastrukturalny skoncentrowany na ZK proof) wprowadził swój kluczowy produkt SP1 (Succinct Proofs 1), który jest wysokowydajnym zkVM (zero-knowledge virtual machine), wspierającym programistów w pisaniu dowolnych programów w języku Rust i generowaniu ZK proof, aby potwierdzić poprawność wykonania programu, bez konieczności przepisywania obwodów. To ma istotne znaczenie dla rozwiązania problemu niemożliwego trójkąta w ekosystemie Ethereum. Konkretnie, Succinct może pomóc Ethereum w rozszerzeniu poprzez: po pierwsze, jego SP1 to wysokowydajne zkVM, wspierające dowody wykonania programów w dowolnym języku kompilacji LLVM, które mogą być stosowane w scenariuszach Rollups, koprocesorów oraz zkEVM. SP1 Succinct wspiera szybkie generowanie dowodów, według obecnych oficjalnych twierdzeń, może osiągnąć generowanie dowodów Ethereum w czasie rzeczywistym, co oznacza, że jest prawie bliskie technologii „dowodów w czasie rzeczywistym”. Zgodnie z opisem obecnych testów oficjalnych, w benchmarku 10 000 bloków Ethereum, ponad 93% bloków może mieć dowody wygenerowane w ciągu 12 sekund, a testy benchmarkowe zostały przeprowadzone na klastrze około 200 kart graficznych NVDIA RTX 4090. Uruchomienie pełnego klastra dowodów w czasie rzeczywistym wymaga około 160 kart RTX 4090, a obecny koszt budowy wynosi około 300-400 tysięcy dolarów, a dzięki optymalizacji sprzętu i ulepszeniom systemu dowodów, w przyszłości istnieje szansa na obniżenie kosztów do około 100 tysięcy dolarów. Ponadto, Succinct jest również zdecentralizowaną siecią weryfikatorów, która poprzez separację obliczeń i weryfikacji może obniżyć koszty i opóźnienia weryfikacji Ethereum, a ostatecznym celem jest umożliwienie zwykłym węzłom lub smartfonom uczestniczenia w weryfikacji dowodów, wspierając Ethereum w rozszerzeniu do większej liczby weryfikatorów. Na koniec, technologia ZK umożliwi również realizację większej liczby scenariuszy aplikacji, takich jak weryfikacja tożsamości, transakcje prywatne, operacje międzyłańcuchowe itd. Podsumowując, w drodze Ethereum do osiągnięcia 10 000 tps, technologia ZK jest jednym z bardzo ważnych elementów.