ZK Endgame: Gränslös vs. kortfattad ZK-säsongen är över oss, och ZK-inframarknaden beräknas växa till >10 miljarder dollar år 2030. Samtidigt ser Boundless och Succinct ut att bli de som bevisar att de dominerar. Vad många inte förstår är att även om de liknar varandra, så är de olika. Låt mig packa upp det här ↓ Boundless: "Uber för ZK Compute" - Utförandemodell: Tillhandahåller en universell marknadsplats där jobb publiceras i kedjan (möjligt i vilken kedja som helst utan överbryggning, vilket är en viktig differentiator), omvända holländska auktioner och bevis på verifierbart arbete (PoVW) för att skapa en konkurrenskraftig marknadsplats som kopplar samman bevisbeställare och bevisare, samtidigt som de senare belönas baserat på de faktiska beräkningscykler de utför. Boundless använder en arkitektur i tre lager: Bento (lokal provning), Broker (marknadsgränssnitt) och avveckling på kedjan. - Prestanda och användning: Öppen marknadsplats för provning som driver R0 zkVM (baserad på RISC-V) från RiscZero, vilket minskar beviskostnaderna från tusentals till bara några få dollar, och producerar bevis som är 7 gånger mindre än SP1 (Succincts zkVM), vilket gör det idealiskt för onchain-verifiering och mindre arbetsbelastningar. Boundless har redan >1 700 bevisare live på mainnet beta och >391k bevis som begärts från "The Signal" (ZK state proofs for interop public good) ensam. Kortfattad: Den högpresterande utvecklarplattformen - Exekveringsmodell: Smidigt, högpresterande nätverk som fungerar som ett "API för ZK-bevis", som drivs av sin SP1 zkVM (också baserad på RISC-V) och en snabb offchain-auktionsförrättare för att matcha/tilldela en provare per jobb, optimera för låg latens och göra det möjligt för utvecklare att generera bevis från standard Rust-kod som sedan verifieras på kedjan (på Ethereum). Succinct kör SP1 via antingen lokal bevisning eller deras värdbaserade nätverks-API. - Prestanda och användning: SP1:s högpresterande provnätverk utmärker sig vid komplexa kryptografiska operationer på grund av sin förkompileringsarkitektur. Den är helt produktionsklar och minskar till exempel ett >2 timmars Tendermint-proof till bara några minuter. Bevisnätverken har redan genererat nära 5 miljoner bevis med 99,9 %+ drifttid och är värd för >1 600 program. Vilka är de viktigaste slutsatserna? Även om båda i slutändan strävar efter att göra ZK mer effektivt och allmänt tillgängligt för byggare, har de en distinkt inställning till det uppdraget på en teknisk nivå. Boundless är till exempel mer av ett öppet nätverk, där alla provare kan beräkna offchain medan alla bevis lämnas in onchain, och med marknadskontrakt över alla större ekosystem/kedjor. Samtidigt säkerställer PoVW uppmätta bevisbelöningar baserade på faktiska beräkningar som utförs. Det är också bevis på systemagnostisk infrastruktur, och som en tillståndslös marknadsplats syftar det till att vara den enda butiken för alla verifierbara beräknings- och bevisbehov (utöver att driva hela RiscZero ZK-produktsviten inklusive R0 zkVM, Kailua, dess Steel-co-processor, etc. eller mer nyligen "The Signal" av Boundless). I sin helhet tillhandahåller RiscZero-ekosystemet kring Boundless en fullstack ZK-utvecklingslösning. På Succincts provarnätverk å andra sidan är det nätverkets auktionsförrättarsystem som hittar de billigaste bevisarna i realtid, med en enda provare som vinner jobbet, och efterföljande onchain-verifiering av det levererade beviset, med onchain-komponenterna som lever på Ethereum. Den är specifikt inriktad på att driva SP1, Succincts högpresterande zkVM, och utvecklingsverktygen runt den. En stor del av Succincts nuvarande antagande härrör från "ZKfiyng"-rollups med sitt OP Succint-ramverk eller att driva ZK-appkedjor (t.ex. Hibachi) med fokus på det modulära ekosystemet. Är de konkurrenter? Till stor del ja, eftersom det faktum att både @boundless_xyz och @SuccinctLabs i slutändan tillhandahåller bevistjänster också innebär att det oundvikligen kommer att finnas produkter som byggs ovanpå den infrastrukturen och som i slutändan konkurrerar med varandra när det gäller användning (och bevisefterfrågan som tillfaller den underliggande infrastrukturen). Några exempel här är deras zkVMs (R0 och SP1), och många användningsfall aktiverade därigenom, inkl. RiscZeros OP Kailua-ramverk för hybrid ZK-bedrägerier bevisar att det konkurrerar med OP Succinct (Succincts ZK-ramverk för OP-kedjor), de två ZK-drivna versionerna av Blobstream (DA-brygga för Celestia) som båda teamen byggde ovanpå sin infrastruktur, eller deras interna ZK-co-processorer (Steel vs SP1-CC), etc. Jag tror dock att ZK-bevisinframarknaden är tillräckligt stor för två (eller flera?) stora aktörer, och att särskilt när det gäller appar med höga insatser (t.ex. institutionell DeFi, vissa AI-användningsfall, etc.), eller kedjor som tillgodoser dessa vertikaler, kommer multi-prov-system att bli allt vanligare (vilket förbättrar robusthet och säkerhet), vilket potentiellt leder till dubbla integrationer med båda nätverken. Vi kommer imo också att se aggregeringslager byggda ovanpå flera testmarknader/nätverk, vilket i slutändan båda kommer att leda till att dessa infralager arbetar tillsammans till viss del. ZK är slutspelet. ZK-säsongen är över oss. Studera ZK.