To av de mest ambisiøse ZK-prosjektene, Succinct og Boundless, kappes om å bringe verifiserbar databehandling til hvert hjørne av onchain-området.
De bruker begge zkVM-er, men de er ikke like.
Her er en oversikt over hvordan de er forskjellige 🧠🧵
2/ På et høyt nivå:
- @SuccinctLabs bygger sin zkVM (SP1) og kjører et desentralisert nettverk der hvem som helst kan be om bevis for arbeid utenfor kjeden.
- @boundless_xyz (fra RISC Zero) bygger et ZK-protokolllag som gjør enhver offchain-beregning til en verifiserbar kvittering.
Begge ønsker å erstatte tillit med kryptografisk sannhet.
3/ La oss starte med testmotorene deres
- Succincts SP1 kjører Rust-programmer og produserer ZKP-er ved hjelp av rekursive SNARK-er. Den er rask, modulær og optimalisert for samlelignende arbeidsbelastninger.
- Boundless bruker RISC Zeros zkVM til å håndtere massive beregninger og skalerbar bevising.
4/ Under panseret:
Succinct bruker en auksjonarius utenfor kjeden. Du sender inn en jobb (som "bevis denne beregningen"), og nettverket finner den billigste beviseren i sanntid.
Provere underbyr hverandre for jobber, og skaper et marked for å bevise arbeid.
Det føles som en Web2 API. Rask, effektiv, men sikret av ZKP som ble lagt ut på kjeden senere for å gi deg et kryptografisk bevis på at programmet kjørte riktig.
5/ Motoren bak kalles SP1 - en zkVM som kan kjøre kompleks logikk, verifisere signaturer, simulere rollups eller fungere som en lett klient for andre kjeder.
SP1 er optimalisert for hastighet, gjenbruk og rimelig verifisering på kjeden. Bevisene er små og billige å verifisere (rundt 200k gass på Ethereum).
6/ SP1 zkVM er live. Byggere kan verifisere bevis på kjeden og sende apper i produksjonskvalitet ved hjelp av SP1.
Men Succinct Prover Network - det desentraliserte laget der hvem som helst kan kjøre en prover og tjene - er fortsatt i sluttfasen av testnettet (trinn 2.5).
Mainnet for Prover Network nærmer seg.
7/ Grenseløs, derimot, viser seg å være et offentlig verktøy. Enhver kjede kan be den om å bevise noe. Enhver app kan outsource kompleks logikk til den.
Det er ikke bare et nettverk, det er et helt lag for verifiserbar databehandling.
Du kan forestille deg Boundless som cloud computing med kryptografiske kvitteringer.
8/ Boundless er bygget på RISC Zero, og kjører også Rust- eller C++-kode i en zkVM.
Men den pakker den inn med en protokoll der jobber legges ut på kjeden, deretter hevdes og beregnes utenfor kjeden av bevisere.
9/ Den introduserer en ny idé kalt Proof of Verifiable Work (PoVW). Bevisere blir belønnet basert på hvor mye reell beregning de gjør.
Det er som gruvedrift, men i stedet for å hashe tilfeldige tall, viser de seg å være nyttig og kjører faktiske programmer.
Boundless kaller det zk-mining.
10/ Det første tilfellet av live bruk av Boundless er The Signal på Mainnet Beta, en ZK-konsensusklient som beviser Ethereums endelighet til et enkelt verifiserbart bevis.
Dette beviset kan leses av alle kjeder, noe som gjør det mulig for krysskjedeapper å lese Ethereum-tilstand uten multi-sigs eller orakler.
Signalet vil vise seg å være flere kjeder neste gang etter hvert som nettverket utvides.
11/ Hva er forskjellen?
Kortfattet: rask, offchain-auksjon → en beviser vinner jobben → sender inn bevis på kjeden. Du får lav ventetid og verifiserbare resultater raskt.
Grenseløs: oppgaver som er lagt ut på kjeden → en beviser beregner utenfor kjeden → sender bevis på kjeden → PoVW belønner bevisere. Åpen konkurranse og fullstendig tillitsløs fra starten.
12/ Hvem bruker dem?
- @Mantle_Official → Oppgradert fra Optimistic til zkRollup ved hjelp av Succincts SP1 zkVM for rask finalitet og EVM-ekvivalens.
- Rollup-as-a-Service-plattformer (Conduit, AltLayer, Caldera, Alchemy, Gelato) → tilbyr ZK-samlepakker via OP-Succinct, slik at utviklere kan lansere L2-er med 1-klikks SP1-drevne finalitetsoppgraderinger.
- Polygons @Agglayer → bruker SP1 til å hjelpe til med å implementere et zk-samlingslag på tvers av polygon-samleoppdateringer, noe som forbedrer komposisjonen på tvers av ruller.
- @celestia (Blobstream DA Bridge) → SP1 verifiserer Celestias blokkinkludering for tillitsløs DA-bro, slik at samleoppdateringer kan avgjøres på Ethereum med Celestia-blobber.
13/ - @eigenlayer → Bruker Boundless til å beregne oppdateringer av innsatsverdi utenfor kjeden, og legger ut ZK-bevis som reduserer L1-gass med ~99,9 %.
- @hibachi_xyz → Bygde den første beviselige børsen. Offchain-matching utføres med høy frekvens; hver batch er bevist med R0VM på Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Bruker Boundless for å bevise batchede Bitcoin-transaksjoner, noe som muliggjør EVM-kompatible ZK-rollups på Bitcoin.
- @build_on_bob → Boundless driver BOBs hybrid L2, og bringer EVM-smarte kontrakter og proof-backed rollups til Bitcoin.
14/ Hvem vinner ZK-spillet?
De er ikke direkte konkurrenter. Faktisk kan tilnærmingene deres utfylle hverandre.
Det som er klart er dette: ZK-infrastrukturen blir modulær. Rask, universell og tillitsløs databehandling er ikke lenger sci-fi, det skjer nå.
19,35k
9
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.