Här rapporterar vi om framstegen för de ledande byggarna i zkVM-ekosystemet och dokumenterar de senaste betydande utgåvorna, tekniska genombrott och allmänna uppdateringar. Med: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc och @openvm_org 👇

Kortfattad 🔹 Tech 🔹 @SuccinctLabs introducerade SP1-CC, en ZK-coprocessor för @ethereum som låter utvecklare läsa historiska blockkedjetillstånd, köra komplexa offchain-beräkningar och verifiera resultat i kedjan med ett enda bevis: SP1-CC tar bort gasbegränsningar och EVM-begränsningar utan att ändra L1-koden, vilket möjliggör nya användningsfall inom styrning, DeFi, airdrops och säkerhetsavslöjanden. Team som @eigenlayer använder det redan för att minska kostnaderna och öka flexibiliteten. 🔹 Partnerskap 🔹 Projektet tillkännagav nyligen ett antal nya partnerskap, bland annat: 🔹 @Snarkify_ZKP: Gick med i Succinct Prover Network som ett tidigt provarteam och tog med sig en anpassad SP1-SRT-testmotor optimerad för ZKP-generering i realtid på GPU:er och FPGA:er, vilket hjälpte till att minska latens och kostnader i hela nätverket: 🔹 @a41_allforone: Integrerad i nätverket som en testare med flera noder med en schemaläggare som samordnar hundratals GPU:er, tillsammans med en Python-optimerad serverdel, vilket möjliggör testning med hög genomströmning för applikationer som spel, AI och rollups: 🔹 @cysic_xyz: Lades till i nätverket som en hårdvaruaccelererad provare som kör stora GPU-kluster och förbereder för att lansera en anpassad ASIC för zkVM-arbetsbelastningar, bidrar med djup expertis från ZPRIZE och ZK-infrastruktur i produktionsklass: 🔹 @worldcoin: Samarbetade för att bevisa alla transaktioner på World Chain med hjälp av OP Succinct, körde ett 7-dagars mainnet-experiment med parallell bevisverifiering och demonstrerade snabba, kostnadseffektiva giltighetsbevis för en av de största OP Stack-kedjorna: 🔹 @Mantle_Official: Stödde Mantle Networks övergång till OP Succinct på testnet, i linje med deras färdplan för att förbättra säkerheten och decentraliseringen med ZK-drivna felbevis och modulär infrastruktur: 🔹 @zan_team: Gick med som en flernodsprovare som drivs av @AntChainOpenLab, bidrar med hårdvaruaccelererad infrastruktur och FPGA-baserad SP1-optimering som förbättrar bevishastigheten med 20 gånger jämfört med CPU:er, vilket hjälper till att sänka nätverkskostnaderna och bana väg för ZK ASIC:er: 🔹 Media 🔹 Slutligen anslöt sig Succint-grundaren @pumatheuma till @alicelingl på den senaste "Succinct Special", där de diskuterade Succincts senaste utvecklingar och allt ZK:

ZKM (ZKM) 🔹 Tech 🔹 @ProjectZKM introducerade Ziren - en GPU-accelererad zkVM med distribuerad bevisning, tidigare känd som zkMIPS: Ziren är byggt på den zk-effektiva MIPS32r2-arkitekturen och driver redan verkliga applikationer som @GOATRollup och minskar bevisgenereringstiden avsevärt jämfört med tidigare versioner. 🔹 Forskning🔹 ZKM publicerade flera nya artiklar som lyfte fram de senaste framstegen i sin ZK-bevisstack: 🔹 Den första artikeln introducerade uppgraderingarna som följde med Ziren-omprofileringen – GPU-acceleration, distribuerad bevisning och olika begränsningsoptimeringar: 🔹 Den andra förklarade Ziren System Framework, som täcker hela pipelinen från högnivåkod till bevis på kedjan. Den beskriver hur MIPS-baserade körningsspår konverteras till STARKs, rekursivt aggregeras med PLONK och slutförs till Groth16 för effektiv verifiering: 🔹 Den tredje artikeln avslutade trilogin i ZKM:s ISA-serie, med fokus på varför ZKM valde MIPS32r2 framför RISC-V. Den betonar kretsstabilitet och bevisens livslängd och förklarar hur MIPS erbjuder en fast, oföränderlig ISA, vilket säkerställer att bevisen förblir giltiga i flera år utan omarbetning: 🔹 I den senaste artikeln introducerade ZKM Jagged Polynomial Commitments - en metod för att hantera oregelbundna matriser i zkVMs. Genom att använda glesa till täta konverteringar och sumcheck-protokoll möjliggör det skalbara och effektiva åtaganden över dynamiska bevisstrukturer: 🔹 Media 🔹 Slutligen anslöt sig @DacEconomy (ZKM Chief Scientist) och @sd_eigen (kärnbidragsgivare på GOAT Network) till @alicelingl för att diskutera hur ZKM:s zkVM driver GOAT Networks Bitcoin L2: De utforskade Entangled Rollup-infrastruktur, generering av bevis i realtid och aggregerade bevis och att ersätta valideringsförtroende med matematisk säkerhet - och lyfte fram arkitekturen och säkerhetsmodellen bakom GOAT:s strategi för Bitcoin-skalbarhet.

RISC Zero/Boundless 🔹 Tech 🔹 @boundless_xyz by @RiscZero har lanserat sin Mainnet Beta den @base, vilket gör att ZKP:er kan användas i den verkliga världen: "The Signal" introducerades - en ZK-klient med öppen källkod som komprimerar @ethereum slutgiltighet till ett enda bevis, vilket möjliggör verifiering över kedjan. Genom att separera exekvering från konsensus tillåter Boundless skalbara beräkningar utan att offra säkerheten. Bevisningen är tillståndslös, med verkliga incitament och stöd för liveprogram som redan körs på Base. 🔹 Partnerskap 🔹 Signal by Boundless stöds nu av @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject och @union_build. Tillsammans gör dessa nätverk det möjligt för ZK-baserade @ethereum slutgiltighet att bli en universell, verifierbar primitiv för tvärkedjeapplikationer - utan orakel, bryggor eller förtroendeantaganden:

I det senaste Ethproofs Call delade @succinct_li av @brevis_zk uppdateringar om Brevis interna zkVM, Pico: (Tidsstämpel 11:06) Brevis GPU-baserade prover, Pico v1.0, ger upp till 20 × hastighetsförbättringar jämfört med sin CPU-version och överträffar ledande konkurrenter med cirka 25-27 %. Teamet planerar att släppa Pico v2.0 i slutet av augusti, med sikte på att bevisa det i realtid. De har också för avsikt att använda öppen källkod för GPU-koden efter att ha slutfört stöd för flera GPU:er och flera maskiner under de kommande månaderna.

Lita @0xLita introducerade Valida 0.10.0, en stor uppdatering av sin zkVM-stack: Utgåvan lägger till fortsättningar för partiella exekveringsbevis, ett WASM-API på klientsidan för webbläsarbaserade zk-bevis och förbättrat stöd för Rust/LLVM-verktygskedjan. Den innehåller även Docker-avbildningar för x86 och ARM, tidigt stöd för Secp256k1 och memcpy, och Reva, en @ethereum blockutförare.

OpenVM (på engelska) @openvm_org har släppt version 1.3.0 och introducerar förnyade gästbibliotek som rent separerar lågnivåbindningar från högnivå-API:er: Uppdateringen inkluderar ett nytt Rust-bibliotek för att verifiera STARK-bevis, CLI-förbättringar som stöder Cargo-alternativ och patchar för kryptografiska lådor som k256 och p256. Inga kretsändringar inträffade. Utvecklare uppmuntras att migrera till de nya biblioteken.