<Dlaczego ZK poniósł porażkę i co Succinct chce zmienić?> 1. Świadomość problemu Twórca Bitcoina, Satoshi Nakamoto, wyraził sceptycyzm wobec dowodów z wiedzą zerową (ZKP). "Aby udowodnić, że coś nie istnieje, musisz znać całą transakcję" – powiedział i ocenił, że zastosowanie ZKP do blockchainów jest strukturalnie trudne. Powiedział jednak również: "Jeśli znajdziemy rozwiązanie, możliwe będzie wdrożenie Bitcoina znacznie lepiej, łatwiej i wygodniej". Innymi słowy, uznając techniczne ograniczenia ZK, przyznali, że jeśli zostaną one rozwiązane, mogą być głównym punktem zwrotnym w ewolucji blockchaina. Teraz, po latach, społeczność cypherpunkowa i badacze ZK w końcu znaleźli rozwiązanie. Zcash był pierwszym, który zastosował ZKP do kryptowalut w świecie rzeczywistym, a projekty takie jak StarkWare, zkSync i Scroll od tego czasu opracowały tę technologię jako kluczowy sposób na zwiększenie skalowalności i weryfikowalności Ethereum. Wciąż jednak istnieje rozdźwięk w rzeczywistości. Stworzenie zkEVM wymaga głębokiej wiedzy, lat rozwoju i wysokowydajnego sprzętu, a większość projektów opiera się na konkretnych dostawcach dowodów, zamiast obsługiwać własną infrastrukturę ZKP. W rezultacie, ZKP pozostały złożonym narzędziem, z którym mogli sobie poradzić tylko nieliczni, a nie "technologią, z której każdy może korzystać". 2. Co to jest Succinct? Zwięzłość (@SuccinctLabs) jest próbą zmierzenia się z tym problemem. Kluczem jest przekształcenie ZKP w infrastrukturę, która może być łatwo używana przez wszystkich programistów i pomóc każdemu stworzyć "system bez zaufania" bez potrzeby stosowania skomplikowanych obwodów lub infrastruktury. Succinct to infrastruktura, która przekształca ideał systemu "pozbawionego zaufania", do którego dąży blockchain, w rzeczywistość, która faktycznie może zostać zrealizowana. Brak zaufania nie oznacza "niegodny zaufania", ale odnosi się do struktury, która działa samodzielnie bez przesłanki zaufania, czyli systemu, który można matematycznie zweryfikować bez potrzeby korzystania z usług strony trzeciej lub organu centralnego. Jednak obecny ekosystem blockchain nadal w dużym stopniu opiera się na zaufaniu. Włamania do mostów, operacje multisig i scentralizowane delegowanie walidatorów są dowodem na to, że system działa tylko wtedy, gdy nadal ufamy ludziom i organizacjom. Próbą przełamania tej granicy opartej na zaufaniu jest technologia ZKP, czyli Zero-Knowledge Proof. Ta technologia, która pozwala nam matematycznie udowodnić, że "to obliczenie jest poprawne" bez konieczności ufania komukolwiek, jest oczywiście kluczowym fundamentem dla zdecentralizowanych systemów. Problem polegał na tym, że ZKP były zbyt skomplikowane i ciężkie, aby je faktycznie napisać. 3. Dlaczego ZKP wydawały się trudne? Technologia ZKP jest tak wysoka, jak jej potencjał. W szczególności stworzenie zkEVM wymagało profesjonalnego zespołu, lat rozwoju i kosztownej infrastruktury. Większość projektów zk musiała zaprojektować własne obwody, zbudować dedykowane zkVM, a nawet samodzielnie obsługiwać sprzęt. Dopiero po przejściu przez wszystkie te procesy mogli nazywać się "rollupami ZK". Co więcej, tradycyjne zkVM ogólnego przeznaczenia były wysoce nieefektywne w generowaniu dowodów. Zwykle udowodnienie bloku wymagało klastra dziesiątek wysokowydajnych maszyn, a koszt sięgał 10 ~ 20 USD za blok. Ze względu na duże obciążenie techniczne i koszty operacyjne, wiele projektów zrezygnowało z wprowadzenia ZKP lub zdecydowało się na struktury, które opierają się na niektórych scentralizowanych dostawcach dowodów. 4. Próba zwięzłości @SuccinctLabs postrzega te problemy strukturalne jako "problemy infrastrukturalne". ZKP są wystarczająco potężne technicznie, ale problem polega na tym, kto je wdraża, jak i jakim kosztem. Dlatego Succinct tworzy zdecentralizowaną sieć dowodową, która jest łatwo dostępna dla każdego, bez konieczności prowadzenia przez poszczególne projekty własnej infrastruktury dowodowej. Deweloperzy nie muszą konfigurować złożonych maszyn wirtualnych zkVM ani dostarczać sprzętu. Gdy żądanie dowodu jest wysyłane do sieci, sondy z różnym sprzętem licytują go w sposób aukcyjny, aby go przetworzyć. Koszty dowodów w naturalny sposób spadają dzięki konkurencji, a osoby przeprowadzające badania skutecznie generują dowody za pomocą wysokowydajnego sprzętu. Rezultatem są szybkie i tanie dowody dla programistów oraz wysoce dostępna i odporna na cenzurę infrastruktura dowodowa dla całego ekosystemu. Succinct nie tylko demonstruje swoje możliwości techniczne, ale także udowadnia swoją rolę w obszarach, w których pojawia się realne zapotrzebowanie. Typowym przykładem jest przepływ "CLOBs on Blobs", który pojawił się w ekosystemie @celestia. Wraz z pojawieniem się wysokowydajnych zdecentralizowanych ksiąg zleceń (CLOB) na szczycie przestrzeni blob Celestii, przetwarzanie danych na dużą skalę i szybkie dowody stanu są podstawowymi potrzebami infrastruktury. Projekty takie jak Hyperliquid i @hibachi_xyz wdrażają złożone transakcje w księdze zleceń i logikę odkrywania cen w łańcuchu, wymagając skalowalności i wydajności wykraczającej poza proste rollupy. W tym miejscu wymagana jest wysokowydajna warstwa dostępności danych Celestii oraz zdecentralizowana infrastruktura ZK proof dostarczana przez Sciklinct. W rzeczywistości Celestia doświadcza gwałtownego wzrostu rzeczywistego wskaźnika wykorzystania przestrzeni blob, a infrastruktura ZK, taka jak Compactct, po cichu za tym stoi. Jeśli Celestia zapewnia "weryfikowalny magazyn danych", Succinct jest odpowiedzialny za utworzenie "weryfikowalnego przejścia stanu" na podstawie tych danych. To połączenie jest punktem wyjścia dla technologii ZKP, aby wyjść poza abstrakcyjne teorie do systemów świata rzeczywistego. 5. zkEVM, SP1 i SP1 Reth, które mogą być obsługiwane przez każdego Firma Succinct, która w ten sposób rozwiązała problem dostępności infrastruktury, opracowała zkVM o nazwie SP1 (Succinct Processor 1) o nazwie SP1, aby obniżyć barierę wejścia dla samych zkVM. SP1 to zkVM ogólnego przeznaczenia zaimplementowany w Rust, zaprojektowany do bezpośredniego użytku przez każdego, bez konieczności skomplikowanego projektowania obwodów, jak tradycyjne zkEVM. Jednym z pierwszych przykładów potencjału dodatku SP1 jest dodatek SP1 Reth. SP1 Reth to zkEVM typu 1 zaimplementowany za pomocą zaledwie około 2,000 linii kodu Rust i można go łatwo zbudować poprzez ponowne wykorzystanie komponentów z istniejącego ekosystemu klienta Ethereum (Reth, Revm, Alloy itp.). Jeszcze bardziej niesamowita jest jego wydajność. SP1 Reth ma średni koszt dowodu na transakcję Ethereum wynoszący zaledwie 0,01 ~ 0,02 USD, co jest niższe niż typowe koszty dostępności danych na L2. Ta wydajność jest możliwa dzięki systemowi "prekompilacji" SP1. Operacje wymagające dużej mocy obliczeniowej, takie jak funkcje skrótu i weryfikacja podpisu, są obsługiwane za pomocą wstępnie zoptymalizowanej struktury, co znacznie zmniejsza zasoby zużywane przez zkVM. Do tej pory implementacja zkEVM z zkVM kosztowała nawet 10 ~ 20 USD za blok, ale SP1 Reth udało się obniżyć tę wartość do jednocyfrowych. Zarówno SP1, jak i SP1 Reth są w pełni open-source i każdy może je rozwidlić, aby stworzyć własny zkEVM lub dodać prekompily w celu poprawy wydajności. Jest to zmiana, która całkowicie wywraca do góry nogami istniejące, kosztowne środowisko programistyczne zk o wysokim stopniu trudności i otwiera erę, w której każdy programista Rust może uczestniczyć w systemie zk. 6. W końcu ZK jest teraz dostępny dla każdego Succinct to nie tylko techniczny potencjał technologii ZKP, ale także ostatni element układanki: dostępność i praktyczność. Bez skomplikowanych obwodów i dedykowanego sprzętu każdy może tworzyć aplikacje za pomocą ZKP, a dowodem zajmuje się zdecentralizowana sieć. Epoka, w której wszystkie rollupy mogą być rollupami ZK, a Internet działa tylko z prawdą. W tym punkcie wyjścia jest Succinct i SP1. Teraz ZKP to technologia wszystkich, a nie niektórych.