ZK-sluttspillet: Grenseløst vs. kortfattet ZK-sesongen er over oss, og ZK-inframarkedet anslås å vokse til >10 milliarder dollar innen 2030. I mellomtiden er Boundless og Succinct i ferd med å bli de bevisende dominatorene. Det mange ikke klarer å forstå, er at selv om de er like, er de forskjellige. La meg pakke ut dette ↓ Grenseløs: «Uber for ZK Compute» - Utførelsesmodell: Gir en universell markedsplass der jobber legges ut på kjeden (mulig på en hvilken som helst kjede uten å bygge bro, som er en viktig differensiator), omvendte nederlandske auksjoner og Proof of Verifiable Work (PoVW) for å skape en konkurransedyktig markedsplass som kobler sammen bevisforespørrere og bevisere, samtidig som sistnevnte belønnes basert på de faktiske datasyklusene de utfører. Boundless bruker en trelagsarkitektur: Bento (lokal bevising), Broker (markedsgrensesnitt) og oppgjør på kjeden. - Ytelse og adopsjon: Åpen testmarkedsplass som driver R0 zkVM (basert på RISC-V) av RiscZero, som reduserer beviskostnadene fra tusenvis til bare noen få dollar, og produserer bevis 7 ganger mindre enn SP1 (Succincts zkVM), noe som gjør det ideelt for verifisering på kjeden og mindre arbeidsbelastninger. Boundless har allerede >1,700 bevisere live på mainnet-beta og >391k bevis forespurt fra "The Signal" (ZK-statlige bevis for interop offentlig gode) alene. Kortfattet: Utviklerplattformen med høy ytelse - Utførelsesmodell: Slankt, høyytelsesnettverk som fungerer som et "API for ZK-bevis", drevet av SP1 zkVM (også basert på RISC-V) og en rask auksjonarius utenfor kjeden for å matche/tildele én beviser per jobb, optimaliserer for lav ventetid, og lar utviklere generere bevis fra standard Rust-kode som deretter verifiseres på kjeden (på Ethereum). Succinct kjører SP1 gjennom enten lokal bevising eller deres vertsbaserte bevisnettverks-API. - Ytelse og adopsjon: SP1s høyytelses bevisnettverk utmerker seg ved komplekse kryptografiske operasjoner på grunn av sin prekompileringsarkitektur. Den er helt produksjonsklar og reduserer for eksempel en >2 timers Tendermint-proof til bare noen få minutter. Bevisnettverkene har allerede generert nærmere 5 millioner bevis med 99,9 %+ oppetid, og er vert for >1,600 programmer. Hva er de viktigste takeawayene? Selv om begge til syvende og sist streber etter å gjøre ZK mer effektiv og allment tilgjengelig for byggherrer, har de en distinkt tilnærming til dette oppdraget på et teknisk nivå. Boundless er for eksempel mer et åpent nettverk, der enhver beviser kan beregne offchain mens alle bevis sendes inn på kjeden, og med markedskontrakter på tvers av alle større økosystemer/kjeder. I mellomtiden sikrer PoVW målte bevisbelønninger basert på faktisk utførte beregninger. Det er også bevis på systemagnostisk infra, og som en tillatelsesløs markedsplass, har den som mål å være one-stop shop for alle verifiserbare databehandlings- og bevisbehov (utover å drive hele RiscZero ZK-produktpakken inkl. R0 zkVM, Kailua, dens Steel-co-prosessor, etc. eller mer nylig "The Signal" av Boundless). I sin helhet gir RiscZero-økosystemet rundt Boundless en full-stack ZK-utviklingsløsning. På Succincts beviser-nettverk er det derimot nettverkets auksjonariussystem som finner den billigste beviseren i sanntid, med en enkelt beviser som vinner jobben, og påfølgende onchain-verifisering av det leverte beviset, med onchain-komponentene som lever på Ethereum. Den er spesielt fokusert på å drive SP1, Succincts høyytelses zkVM, og utviklingsverktøyene rundt den. Mye av Succincts nåværende adopsjon stammer fra "ZKfiyng"-rollups med OP Succinct-rammeverket eller å drive ZK-appkjeder (f.eks. Er de konkurrenter? For en stor del ja, fordi det faktum at både @boundless_xyz og @SuccinctLabs til syvende og sist tilbyr bevistjenester, betyr også at det uunngåelig vil være produkter bygget på toppen av den infrastrukturen som til syvende og sist konkurrerer med hverandre når det gjelder adopsjon (og beviser etterspørsel som tilfaller den underliggende infraen). Noen eksempler her er deres zkVM-er (R0 og SP1), og mange brukstilfeller aktivert derved, inkl. RiscZeros OP Kailua-rammeverk for hybride ZK-svindelbevis som konkurrerer med OP Succinct (Succincts ZK-rammeverk for OP-kjeder), de to ZK-drevne versjonene av Blobstream (DA-bro for Celestia) som begge teamene bygde på toppen av infraen deres, eller deres interne ZK-co-prosessorer (Steel vs SP1-CC), etc. Jeg tror imidlertid at ZK-bevisende inframarkedet er stort nok for to (eller flere?) store aktører, og at spesielt når det gjelder apper med høy innsats (f.eks. institusjonell DeFi, noen AI-brukstilfeller, etc.), eller kjeder som imøtekommer disse vertikalene, vil multi-prover-systemer bli stadig mer utbredt (forbedrer robusthet og sikkerhet), noe som potensielt kan føre til doble integrasjoner med begge nettverkene. Vi vil imo også se aggregeringslag bygget på toppen av flere testmarkeder/nettverk, noe som til slutt begge vil føre til at disse infrastrukturlagene til en viss grad fungerer sammen. ZK er sluttspillet. ZK-sesongen er over oss. Studer ZK.