Dwa z najbardziej ambitnych projektów ZK, Succinct i Boundless, ścigają się, aby wprowadzić weryfikowalne obliczenia do każdego zakątka przestrzeni onchain.
Oba korzystają z zkVM, ale nie są takie same.
Oto zestawienie, jak się różnią 🧠🧵
2/ Na wysokim poziomie:
- @SuccinctLabs buduje swoje zkVM (SP1) i uruchamia zdecentralizowaną sieć, w której każdy może zażądać dowodu na pracę offchain.
- @boundless_xyz (z RISC Zero) buduje warstwę protokołu ZK, która przekształca każdą obliczeniową operację offchain w weryfikowalny paragon.
Obie chcą zastąpić zaufanie kryptograficzną prawdą.
3/ Zacznijmy od ich silników dowodzenia
- SP1 Succincta uruchamia programy w Rust i produkuje ZKP przy użyciu rekurencyjnych SNARKów. Jest szybki, modułowy i zoptymalizowany do obciążeń podobnych do rollupów.
- Boundless wykorzystuje zkVM RISC Zero do obsługi masowych obliczeń i skalowalnego dowodzenia.
4/ Pod maską:
Succinct korzysta z aukcjonera offchain. Składasz zlecenie (jak "udowodnij to obliczenie"), a sieć w czasie rzeczywistym znajduje najtańszego dowodzącego.
Dowodzący konkurują ze sobą o zlecenia, tworząc rynek dla pracy dowodowej.
To przypomina API Web2. Szybkie, efektywne, ale zabezpieczone przez ZKP, które są później publikowane onchain, aby dać ci kryptograficzny dowód, że program działał poprawnie.
5/ Silnik stojący za tym nazywa się SP1 - zkVM, który może uruchamiać złożoną logikę, weryfikować podpisy, symulować rollupy lub działać jak lekki klient dla innych łańcuchów.
SP1 jest zoptymalizowany pod kątem szybkości, ponownego wykorzystania i niskokosztowej weryfikacji on-chain. Dowody są małe i tanie do weryfikacji (około 200k gazu na Ethereum).
6/ SP1 zkVM jest już aktywny. Twórcy mogą weryfikować dowody na łańcuchu i wdrażać aplikacje produkcyjne korzystając z SP1.
Jednak Succinct Prover Network - zdecentralizowana warstwa, na której każdy może uruchomić prover i zarabiać - wciąż znajduje się w końcowej fazie testnetu (Faza 2.5).
Mainnet dla Prover Network zbliża się.
7/ Boundless z drugiej strony przekształca dowodzenie w użyteczność publiczną. Każdy łańcuch może poprosić go o udowodnienie czegoś. Każda aplikacja może zlecić mu złożoną logikę.
To nie jest tylko sieć, to cały poziom dla weryfikowalnego obliczenia.
Możesz wyobrazić sobie Boundless jako chmurę obliczeniową z kryptograficznymi paragonami.
8/ Zbudowany na RISC Zero, Boundless uruchamia również kod w Rust lub C++ w zkVM.
Jednak opakowuje go w protokół, w którym zadania są publikowane na łańcuchu, a następnie przejmowane i obliczane poza łańcuchem przez proverów.
9/ Wprowadza nowy pomysł zwany Dowodem Weryfikowalnej Pracy (PoVW). Proverzy są nagradzani na podstawie tego, ile rzeczywistego obliczenia wykonują.
To jak kopanie, ale zamiast haszowania losowych liczb, udowadniają użyteczną pracę, uruchamiając rzeczywiste programy.
Boundless nazywa to zk-mining.
10/ Pierwszym przypadkiem użycia Boundless w wersji live jest The Signal na Mainnet Beta, klient konsensusu ZK, który udowadnia finalność Ethereum w postaci jednego weryfikowalnego dowodu.
Ten dowód może być odczytany przez dowolny łańcuch, co umożliwia aplikacjom międzyłańcuchowym odczyt stanu Ethereum bez multi-sigów czy oracle.
The Signal udowodni więcej łańcuchów w miarę rozwoju sieci.
11/ Jaka jest różnica?
Zwięźle: szybka, offchain aukcja → jeden prover wygrywa zlecenie → przesyła dowód onchain. Otrzymujesz niską latencję i szybko weryfikowalne wyniki.
Bezgranicznie: zadania publikowane onchain → każdy prover oblicza offchain → przesyła dowód onchain → PoVW nagradza proverów. Otwarte współzawodnictwo proverów i całkowicie bez zaufania od samego początku.
12/ Kto ich używa?
- @Mantle_Official → Ulepszony z Optimistic do zkRollup przy użyciu SP1 zkVM od Succinct dla szybkiej finalności i równoważności EVM.
- Platformy Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Oferują ZK rollupy za pośrednictwem OP-Succinct, pozwalając deweloperom na uruchamianie L2 z jednoczesnymi aktualizacjami finalności zasilanymi SP1.
- Polygon's @Agglayer → Używa SP1, aby pomóc w implementacji warstwy zk-unifikacji w rollupach Polygon, poprawiając kompozycyjność między rollupami.
- @celestia (Blobstream DA Bridge) → SP1 weryfikuje włączenie bloków Celestii dla bezpiecznego mostu DA, umożliwiając rollupom osiedlanie się na Ethereum z blobami Celestii.
13/ - @eigenlayer → Używa Boundless do obliczania aktualizacji wartości stakowanej poza łańcuchem, publikując dowody ZK, które redukują gaz L1 o ~99,9%.
- @hibachi_xyz → Zbudował pierwszą wymianę, którą można udowodnić. Dopasowanie poza łańcuchem wykonuje się z wysoką częstotliwością; każda partia jest udowadniana za pomocą R0VM na Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Używa Boundless do udowadniania zbiorczych transakcji Bitcoin, umożliwiając ZK rollupy kompatybilne z EVM na Bitcoinie.
- @build_on_bob → Boundless napędza hybrydowe L2 BOB-a, wprowadzając inteligentne kontrakty EVM i rollupy oparte na dowodach do Bitcoina.
14/ Kto wygrywa grę ZK?
Nie są bezpośrednimi konkurentami. W rzeczywistości ich podejścia mogą się uzupełniać.
Jasne jest jedno: infrastruktura ZK staje się modułowa. Szybkie, uniwersalne i bezzaufane obliczenia to już nie science fiction, to dzieje się teraz.
19,5 tys.
9
Treści na tej stronie są dostarczane przez strony trzecie. O ile nie zaznaczono inaczej, OKX nie jest autorem cytowanych artykułów i nie rości sobie żadnych praw autorskich do tych materiałów. Treść jest dostarczana wyłącznie w celach informacyjnych i nie reprezentuje poglądów OKX. Nie mają one na celu jakiejkolwiek rekomendacji i nie powinny być traktowane jako porada inwestycyjna lub zachęta do zakupu lub sprzedaży aktywów cyfrowych. Treści, w zakresie w jakim jest wykorzystywana generatywna sztuczna inteligencja do dostarczania podsumowań lub innych informacji, mogą być niedokładne lub niespójne. Przeczytaj podlinkowany artykuł, aby uzyskać więcej szczegółów i informacji. OKX nie ponosi odpowiedzialności za treści hostowane na stronach osób trzecich. Posiadanie aktywów cyfrowych, w tym stablecoinów i NFT, wiąże się z wysokim stopniem ryzyka i może podlegać znacznym wahaniom. Musisz dokładnie rozważyć, czy handel lub posiadanie aktywów cyfrowych jest dla Ciebie odpowiednie w świetle Twojej sytuacji finansowej.