Dowody zerowej wiedzy (ZKP) to jedna z tych technologii, które brzmią jak magia: pozwalają udowodnić, że coś jest prawdą, nie ujawniając wszystkich szczegółów. Mogą zabezpieczać blockchainy, weryfikować obliczenia, a nawet chronić prywatność w sieci. Ale magia często wiąże się z pułapką – są notoriously trudne w użyciu. Ustawienie infrastruktury, zatrudnienie ekspertów w dziedzinie kryptografii i budowanie niestandardowych systemów dowodowych były poza zasięgiem dla większości zespołów.$PROVE
@Succinct Labs, mała firma z San Francisco, chce to zmienić. Ich propozycja jest odświeżająco prosta: co jeśli używanie dowodów zerowej wiedzy byłoby tak łatwe, jak uruchamianie oprogramowania na laptopie lub wywoływanie API w chmurze?
Aby to zrealizować, zbudowali dwie kluczowe rzeczy: potężny zkVM zwany SP1 i zdecentralizowaną Prover Network, do której każdy może się podłączyć. Razem te narzędzia mają na celu zdemokratyzowanie ZK, przenosząc je z niszowych kryptografów do codziennych programistów.
SP1: zkVM, która wydaje się znajoma.
Większość systemów zero-knowledge zmusza programistów do myślenia jak kryptografowie. Musisz projektować obwody, uczyć się specjalnych języków i optymalizować pod kątem ograniczeń, o których nigdy nie słyszałeś. SP1 (skrót od Succinct Prover 1) przewraca ten model do góry nogami.
Zamiast przepisywać wszystko, wystarczy napisać swój kod w Rust, C++ lub jakimkolwiek innym języku, który kompiluje się do RISC-V. SP1 przejmuje to, uruchamiając twój program i wydając dowód zero-knowledge.
To jakby ktoś przekazał programistom odpowiednik kompilatora dla dowodów. Nie musisz wiedzieć, jak działa silnik pod maską – wystarczy, że napiszesz kod, a system gwarantuje, że wynik jest weryfikowalny.
I nie jest to tylko dostępne, jest szybkie. Testy pokazują, że SP1 może być dziesiątki razy szybszy niż wcześniejsze zkVM. System wspiera także zaawansowane funkcje, takie jak rekurencja (dowody wewnątrz dowodów) i ma zoptymalizowane moduły predefiniowane dla powszechnych operacji kryptograficznych, takich jak haszowanie i krzywe eliptyczne.
Co ważne, SP1 jest open-source i audytowane, więc nie jest czarną skrzynką. Zespoły takie jak Celestia, Mantle, Polygon i Lido już budują prawdziwe produkty z jego pomocą.
Prover Network: ZK jako usługa.
Nawet z SP1, uruchamianie ciężkich obliczeń dowodów na własnych serwerach może być przytłaczające. To właśnie tutaj wkracza Prover Network Succinct.
Pomyśl o tym jak o zdecentralizowanym rynku dla dowodów. Programiści zgłaszają zadania (programy plus dane wejściowe), a niezależni proverzy licytują szansę na wygenerowanie dowodu. Wygrywający prover używa SP1, przesyła wynik i zostaje opłacony.
Dlaczego to ma znaczenie? Ponieważ programiści nie potrzebują specjalistycznego sprzętu, farm GPU ani kryptografów w zespole. Po prostu łączą się z siecią, a pod maską dowody są przetwarzane na GPU, FPGA i innych maszynach o wysokiej wydajności.
Sama sieć jest koordynowana przez inteligentne kontrakty Ethereum. Płatności, stakowanie i weryfikacja odbywają się w sposób przejrzysty na łańcuchu. Proverzy stakują token zwany PROVE, aby uczestniczyć, co wyrównuje zachęty i zapewnia bezpieczeństwo.
W praktyce, ten projekt oznacza:
Szybsza finalizacja: World Chain skrócił czasy finalizacji z siedmiu dni do około godziny.
Niższe koszty: Zgrupowane dowody obniżają opłaty gazowe za weryfikację.
Niezawodność: Wielu proverów rywalizuje, więc dostępność pozostaje wysoka.
Na rok 2025 sieć obsłużyła już ponad 5 milionów dowodów, zabezpieczając wartość przekraczającą 4 miliardy dolarów. To nie jest demo testnetu, to skala produkcyjna.
Dlaczego ta architektura działa.
Podejście Succinct wydaje się świeże, ponieważ czerpie z najlepszych z obu światów.
Off-chain: Całe ciężkie podnoszenie (uruchamianie SP1, przetwarzanie dowodów) odbywa się szybko na specjalistycznym sprzęcie.
On-chain: Rozliczenia, płatności i weryfikacja są rejestrowane na Ethereum, a dowody SP1 zapewniają, że wszystko jest audytowalne.
Nawet własna księgowość sieci jest udowodniona – salda, przydziały zadań i wypłaty są realizowane jako weryfikowalne aplikacje w RISC-V. Innymi słowy, sieć udowadnia samą siebie.
Ten rekurencyjny, samowystarczalny projekt to to, co nadaje Succinctowi wiarygodność. Programiści nie muszą ufać serwerom Succinct – mogą sprawdzić matematykę samodzielnie.
Przykłady zastosowania w rzeczywistym świecie.
Ponieważ SP1 jest ogólnym narzędziem, zakres zastosowań jest szeroki:
Skalowanie blockchainów: Mantle i inne rollupy korzystają z SP1, aby stać się zkRollups, drastycznie skracając czasy potwierdzenia.
Mosty między łańcuchami: Succinct zasilany IBC Eureka, łącząc ponad 120 łańcuchów Cosmos z Ethereum.
Aplikacje interoperacyjne: Partnerstwo z LayerZero wprowadziło vApps, które łączą komunikację między łańcuchami z dowodami.
DeFi i trading: Projekty używają SP1 do oracle i książek zamówień na łańcuchu.
Tożsamość i prywatność: Od weryfikowalnych loterii po prywatne głosowanie, SP1 wspiera lekkie aplikacje zachowujące prywatność.
Lekcyjne klienci: Całe klienci blockchain (jak Tendermint) mogą być udowodnione zwięźle, co umożliwia bezpieczne portfele mobilne.
Temat jest spójny: zamiast wynajdować ZK na nowo dla każdego projektu, programiści mogą po prostu podłączyć się do SP1 i Prover Network.
Moment adopcji.
Succinct to nie tylko teoria – zyskuje szybko popularność.
Arbitrum: Roczny ekskluzywny kontrakt z Tandem (Offchain Labs) w celu wprowadzenia dowodzenia ZK do łańcuchów Arbitrum.
OP Stack: Łańcuch Worldcoina użył SP1, aby skrócić czas finalizacji do godziny. Inne projekty OP Stack eksperymentują z podobnymi ustawieniami.
Polygon, Celestia, Lido, Near, Avail: Wszyscy budują lub eksperymentują z SP1.
Partnerzy sprzętowi: Zespoły takie jak Cysic i ZAN dołączają do sieci, a ZAN pokazuje 20x przyspieszenia przy użyciu FPGA.
Równolegle, Succinct uruchomiło Fundację Succinct, która teraz współpracuje z prawie 40 protokołami, aby finansować i rozwijać ekosystem.
Czym się wyróżnia.
W porównaniu do zkSync, Polygon zkEVM czy StarkWare, Succinct mniej koncentruje się na posiadaniu łańcucha, a bardziej na byciu uniwersalną warstwą dowodzenia. Podczas gdy inni optymalizują pod kątem Ethereum, zkVM RISC-V Succinct może obsługiwać dowolny program, na dowolnym łańcuchu.
To ogólne podejście jest powodem, dla którego jego partnerzy obejmują zarówno L2 rollupy, jak i projekty AI. Nie jest związane z jednym ekosystemem – to neutralna platforma dowodzenia.
Zespół, finansowanie i wizja.
Succinct Labs została założona przez Umę Roy (ex-Google Brain) i Johna Guibasa (tło MIT). Zespół jest nadal mały – mniej niż dziesięciu inżynierów – ale zebrali około 66 milionów dolarów w rundach seed i Serii A prowadzonych przez Paradigm, z wsparciem aniołów od dużych nazwisk w kryptowalutach.
Ich wizja jest prosta, ale ambitna: wprowadzić ZK do mainstreamu, sprawiając, że będzie to przypominać obliczenia w chmurze. CEO Uma Roy mówi to prosto: dowody staną się standardowym sposobem, w jaki internet ustanawia zaufanie. CTO John Guibas nazywa infrastrukturę Prover Network na skalę internetu.
Dlaczego to ma znaczenie.
@Succinct podejmuje trudny, ale krytyczny problem: przekształcenie dowodów zero-knowledge z narzędzia specjalistycznego kryptografa w codzienną infrastrukturę. Łącząc SP1 (zkVM, który czyni dowody dostępnymi) z Prover Network (rynek, który czyni dowody skalowalnymi), budują nowy łańcuch dostaw dowodów.
Jeśli im się uda, programiści nie będą musieli myśleć o ZK wcale – po prostu napiszą kod, uruchomią go i otrzymają dowód, któremu świat może zaufać.
To duża zmiana. I mogłoby sprawić, że Succinct stanie się nie tylko kolejnym projektem blockchain, ale warstwą dowodów dla samego internetu.
