Her rapporterer vi om fremgangen til de ledende byggerne i zkVM-økosystemet, og dokumenterer nylige betydelige utgivelser, tekniske gjennombrudd og generelle oppdateringer. Inkluderer: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc og @openvm_org 👇

Konsis 🔹 Tech 🔹 @SuccinctLabs introduserte SP1-CC, en ZK-koprosessor for @ethereum som lar utviklere lese historisk blokkjedetilstand, kjøre komplekse beregninger utenfor kjeden og verifisere resultater på kjeden med ett enkelt bevis: SP1-CC fjerner gassbegrensninger og EVM-begrensninger uten å endre L1-kode, noe som muliggjør nye brukstilfeller innen styring, DeFi, airdrops og sikkerhetsavsløringer. Team som @eigenlayer bruker det allerede til å redusere kostnader og øke fleksibiliteten. 🔹 Partnerskap 🔹 Prosjektet kunngjorde nylig en rekke nye partnerskap, inkludert: 🔹 @Snarkify_ZKP: Ble med i Succinct Prover Network som et tidlig beviserteam, og brakte en tilpasset SP1-SRT-prøvemotor optimalisert for sanntids ZKP-generering på GPU-er og FPGA-er, noe som bidro til å redusere ventetid og kostnader på tvers av nettverket: 🔹 @a41_allforone: Integrert i nettverket som en multinodebeviser med en planlegger som koordinerer hundrevis av GPUer, sammen med en Python-optimalisert serverdel, noe som muliggjør høy gjennomstrømning for applikasjoner som spill, AI og samleoppdateringer: 🔹 @cysic_xyz: Lagt til nettverket som en maskinvareakselerert beviser som kjører store GPU-klynger og forbereder lansering av en egendefinert ASIC for zkVM-arbeidsbelastninger, og bidrar med dyp ekspertise fra ZPRIZE og ZK-infrastruktur i produksjonsklasse: 🔹 @worldcoin: Samarbeidet for å bevise alle transaksjoner på World Chain ved hjelp av OP Succinct, kjørte et 7-dagers mainnet-eksperiment med parallell bevisverifisering og demonstrerte raske, kostnadseffektive gyldighetsbevis for en av de største OP Stack-kjedene: 🔹 @Mantle_Official: Støttet Mantle Networks overgang til OP Succinct på testnett, i tråd med veikartet deres for å forbedre sikkerheten og desentraliseringen med ZK-drevne feilsikringer og modulær infrastruktur: 🔹 @zan_team: Ble med som en multinode-beviser drevet av @AntChainOpenLab, og bidro med maskinvareakselerert infrastruktur og FPGA-basert SP1-optimalisering som forbedrer bevishastigheten med 20 ganger i forhold til CPU-er, noe som bidrar til å redusere nettverkskostnadene og bane vei for ZK ASIC-er: 🔹 Media 🔹 Til slutt ble Succinct-medgründer @pumatheuma med @alicelingl på den nylige 'Succinct Special', hvor de diskuterte Succincts siste utvikling og alt ZK:

ZKM 🔹 Tech 🔹 @ProjectZKM introduserte Ziren - en GPU-akselerert zkVM med distribuert bevising, tidligere kjent som zkMIPS: Ziren er bygget på den zk-effektive MIPS32r2-arkitekturen, og driver allerede virkelige applikasjoner som @GOATRollup og reduserer bevisgenereringstiden betydelig i forhold til tidligere versjoner. 🔹 Forskning🔹 ZKM publiserte flere nye artikler som fremhever de siste fremskrittene i ZK-prøvestabelen: 🔹 Den første artikkelen introduserte oppgraderingene som fulgte med Ziren-rebrandingen - GPU-akselerasjon, distribuert bevising og ulike begrensningsoptimaliseringer: 🔹 Den andre forklarte Ziren System Framework, som dekker hele pipelinen fra kode på høyt nivå til bevis på kjeden. Den beskriver hvordan MIPS-baserte utførelsesspor konverteres til STARK-er, rekursivt aggregeres med PLONK og ferdigstilles til Groth16 for effektiv verifisering: 🔹 Den tredje artikkelen fullførte trilogien til ZKMs ISA-serie, med fokus på hvorfor ZKM valgte MIPS32r2 fremfor RISC-V. Den legger vekt på kretsstabilitet og bevislang levetid, og forklarer hvordan MIPS tilbyr en fast, uforanderlig ISA, som sikrer at bevis forblir gyldige i årevis uten omarbeiding: 🔹 I den siste artikkelen introduserte ZKM Jagged Polynomial Commitment - en metode for å håndtere uregelmessige matriser i zkVM-er. Ved å bruke sparsomme til tette konverteringer og sumcheck-protokoller, muliggjør det skalerbare, effektive forpliktelser på tvers av dynamiske bevisstrukturer: 🔹 Media 🔹 Til slutt ble @DacEconomy (ZKM Chief Scientist) og @sd_eigen (kjernebidragsyter ved GOAT Network) med @alicelingl for å diskutere hvordan ZKMs zkVM driver GOAT Networks Bitcoin L2: De utforsket Entangled Rollup-infrastruktur, sanntids og aggregert bevisgenerering, og å erstatte validatortillit med matematisk sikkerhet - og fremhevet arkitekturen og sikkerhetsmodellen bak GOATs tilnærming til Bitcoin-skalerbarhet.

RISC Zero/Boundless 🔹 Tech 🔹 @boundless_xyz by @RiscZero har lansert sin Mainnet Beta på @base, og bringer ZKP-er i bruk i den virkelige verden: 'The Signal' ble introdusert - en åpen kildekode ZK-klient som komprimerer @ethereum endelighet til ett enkelt bevis, noe som muliggjør verifisering på tvers av kjeder. Ved å skille utførelse fra konsensus, tillater Boundless skalerbar beregning uten å ofre sikkerheten. Beviser er tillatelsesfrie, med reelle insentiver og live applikasjonsstøtte som allerede kjører på Base. 🔹 Partnerskap 🔹 Signalet fra Boundless støttes nå av @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject og @union_build. Sammen gjør disse nettverkene det mulig for ZK-basert @ethereum endelighet å bli en universell, verifiserbar primitiv for applikasjoner på tvers av kjeder – uten orakler, broer eller tillitsforutsetninger:

I den siste Ethproofs Call delte @succinct_li av @brevis_zk oppdateringer om Brevis' interne zkVM, Pico: (Tidsstempel 11:06) Brevis' GPU-baserte beviser, Pico v1.0, leverer opptil 20× hastighetsforbedringer i forhold til CPU-versjonen og overgår ledende konkurrenter med rundt 25-27 %. Teamet planlegger å gi ut Pico v2.0 innen utgangen av august, med sikte på sanntidsbevis. De har også til hensikt å åpne kildekoden for GPU-koden etter å ha fullført støtte for flere GPUer og flere maskiner i løpet av de kommende månedene.

Lita @0xLita introduserte Valida 0.10.0, en stor oppdatering av zkVM-stakken: Utgivelsen legger til fortsettelser for delvise utførelsesbevis, en WASM-API på klientsiden for nettleserbaserte zk-bevis og forbedret støtte for Rust/LLVM-verktøykjede. Den inkluderer også Docker-bilder for x86 og ARM, tidlig støtte for Secp256k1 og memcpy, og Reva, en @ethereum blokkutfører.

OpenVM @openvm_org har gitt ut versjon 1.3.0, som introduserer fornyede gjestebiblioteker som skiller bindinger på lavt nivå fra API-er på høyt nivå: Oppdateringen inkluderer et nytt Rust-bibliotek for å verifisere STARK-bevis, CLI-forbedringer som støtter Cargo-alternativer, og oppdateringer for kryptografiske kasser som k256 og p256. Ingen kretsendringer skjedde. Utviklere oppfordres til å migrere til de nye bibliotekene.