Två av de mest ambitiösa ZK-projekten, Succinct och Boundless, tävlar om att ta verifierbar beräkning till varje hörn av onchain-utrymmet. Båda använder zkVMs, men de är inte samma sak. Här är en sammanfattning av hur de skiljer sig åt 🧠🧵
2/ På hög nivå: - @SuccinctLabs bygger sin zkVM (SP1) och driver ett decentraliserat nätverk där vem som helst kan begära ett bevis för offchain-arbete. - @boundless_xyz (från RISC Zero) bygger ett ZK-protokolllager som förvandlar alla offchain-beräkningar till ett verifierbart kvitto. Båda vill ersätta förtroende med kryptografisk sanning.
3/ Låt oss börja med deras provmotorer - Succincts SP1 kör Rust-program och producerar ZKP:er med hjälp av rekursiva SNARK:er. Den är snabb, modulär och optimerad för sammanslagningsliknande arbetsbelastningar. - Boundless använder RISC Zeros zkVM för att hantera massiva beräkningar och skalbar bevisning.
4/ Under huven: Succinct använder sig av en auktionsförrättare utanför kedjan. Du skickar in ett jobb (t.ex. "bevisa den här beräkningen") och nätverket hittar den billigaste bevisaren i realtid. Provare konkurrerar ut varandra när det gäller jobb, vilket skapar en marknad för att bevisa arbete. Det känns som ett Web2 API. Snabb, effektiv, men säkrad av ZKP postat på kedjan senare för att ge dig ett kryptografiskt bevis på att programmet kördes korrekt.
5/ Motorn bakom den kallas SP1 - en zkVM som kan köra komplex logik, verifiera signaturer, simulera sammanslagningar eller fungera som en lätt klient för andra kedjor. SP1 är optimerad för hastighet, återanvändning och onchain-verifiering till låg kostnad. Bevisen är små och billiga att verifiera (cirka 200k gas på Ethereum).
6/ SP1 zkVM är live. Byggare kan verifiera bevis i kedjan och leverera appar i produktionsklass med SP1. Men Succinct Prover Network - det decentraliserade lagret där vem som helst kan köra en provare och tjäna pengar - är fortfarande i slutskedet av testnätet (steg 2.5). Mainnet för Prover Network kommer nära.
7/ Boundless, å andra sidan, vänder sig till att bevisa en allmännytta. Vilken kedja som helst kan be den att bevisa något. Vilken app som helst kan lägga ut komplex logik på den. Det är inte bara ett nätverk, det är ett helt lager för verifierbar beräkning. Du kan föreställa dig Boundless som cloud computing med kryptografiska kvitton.
8/ Boundless är byggt på RISC Zero och kör även Rust- eller C++-kod i en zkVM. Men det lindar in det med ett protokoll där jobb publiceras i kedjan, sedan hävdas och beräknas utanför kedjan av bevisare.
9/ Den introducerar en ny idé som kallas Proof of Verifiable Work (PoVW). Bevisare belönas baserat på hur mycket verkliga beräkningar de gör. Det är som gruvdrift, men i stället för att hasha slumpmässiga tal visar de sig vara användbart arbete genom att köra faktiska program. Boundless kallar det zk-mining.
10/ Det första liveanvändningsfallet av Boundless är The Signal på Mainnet Beta, en ZK-konsensusklient som bevisar Ethereums slutgiltighet till ett enda verifierbart bevis. Det beviset kan läsas av vilken kedja som helst, vilket gör det möjligt för appar över kedjan att läsa Ethereum-tillstånd utan multi-sigs eller orakel. Signalen kommer att visa sig vara fler kedjor härnäst i takt med att nätverket expanderar.
11/ Vad är skillnaden? Kortfattad: snabb auktion utanför kedjan → en provare vinner jobbet → lämnar in bevis på kedjan. Du får låg latens och verifierbara resultat snabbt. Boundless: uppgifter som publiceras på kedjan → alla bevisare beräknar utanför kedjan → lämnar in bevis på kedjan → PoVW belönar bevisare. Öppen provare och helt förtroendefull från början.
12/ Vem använder dem? - @Mantle_Official → Uppgraderad från Optimistic till zkRollup med Succincts SP1 zkVM för snabb slutgiltighet och EVM-ekvivalens. - Rollup-as-a-Service-plattformar (Conduit, AltLayer, Caldera, Alchemy, Gelato) → erbjuder ZK-rollups via OP-Succinct, vilket gör att utvecklare kan lansera L2s med 1-klicks SP1-drivna slutlighetsuppgraderingar. - Polygons @Agglayer → Använder SP1 för att implementera ett zk-unification-lager över Polygon-rollups, vilket förbättrar sammansättningsbarheten mellan rollups. - @celestia (Blobstream DA Bridge) → SP1 verifierar Celestias blockinkludering för trustless DA-bryggning, vilket gör det möjligt för rollups att kvitta på Ethereum med Celestia-blobbar.
13/ - @eigenlayer → Använder Boundless för att beräkna uppdateringar av insatta värden utanför kedjan och publicerar ZK-bevis som minskar L1-gasen med ~99,9%. - @hibachi_xyz → Byggde den första bevisbara börsen. Offchain-matchning utförs med hög frekvens; varje batch är bevisad med R0VM på Boundless. - @citrea_xyz (Bitcoin zkRollup) → Använder Boundless för att bevisa batchade Bitcoin-transaktioner, vilket möjliggör EVM-kompatibla ZK-rollups på Bitcoin. - @build_on_bob → Boundless driver BOB:s hybrid L2, vilket ger EVM smarta kontrakt och bevisstödda rollups till Bitcoin.
14/ Vem vinner ZK-spelet? De är inte direkta konkurrenter. I själva verket skulle deras tillvägagångssätt kunna komplettera varandra. Vad som är klart är detta: ZK-infrastrukturen blir modulär. Snabb, universell och pålitlig databehandling är inte längre sci-fi, det händer nu.
Visa original
19,02 tn
9
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.