Hier rapporteren we over de voortgang van de toonaangevende bouwers in het zkVM-ecosysteem, waarbij we recente belangrijke releases, technische doorbraken en algemene updates documenteren. Met: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc & @openvm_org 👇

Succinct 🔹 Tech 🔹 @SuccinctLabs introduceerde SP1-CC, een ZK coprocessor voor @ethereum die ontwikkelaars in staat stelt om historische blockchainstatus te lezen, complexe offchain-berekeningen uit te voeren en resultaten onchain te verifiëren met een enkele bewijs: SP1-CC verwijdert gasbeperkingen en EVM-beperkingen zonder de L1-code te wijzigen, waardoor nieuwe gebruiksgevallen in governance, DeFi, airdrops en beveiligingsdisclosures mogelijk worden. Teams zoals @eigenlayer gebruiken het al om kosten te verlagen en flexibiliteit te vergroten. 🔹 Partnerships 🔹 Het project heeft onlangs een aantal nieuwe partnerschappen aangekondigd, waaronder: 🔹 @Snarkify_ZKP: Toegetreden tot het Succinct Prover Network als een vroegtijdige prover-team, met een aangepaste SP1-SRT bewijsmotor geoptimaliseerd voor real-time ZKP-generatie op GPU's en FPGA's, wat helpt om latentie en kosten in het netwerk te verlagen: 🔹 @a41_allforone: Geïntegreerd in het netwerk als een multi-node prover met een scheduler die honderden GPU's coördineert, samen met een Python-geoptimaliseerde backend, wat hoge doorvoer bewijzen mogelijk maakt voor toepassingen zoals gaming, AI en rollups: 🔹 @cysic_xyz: Toegevoegd aan het netwerk als een hardware-versnelde prover die grote GPU-clusters draait en zich voorbereidt om een aangepaste ASIC voor zkVM-werkbelastingen te lanceren, met diepgaande expertise van ZPRIZE en productieklare ZK-infrastructuur: 🔹 @worldcoin: Samengewerkt om alle transacties op World Chain te bewijzen met OP Succinct, waarbij een 7-daagse mainnet-experiment werd uitgevoerd met parallelle bewijsverificatie en snelle, kosteneffectieve geldigheidsbewijzen voor een van de grootste OP Stack-ketens: 🔹 @Mantle_Official: Ondersteunde de overgang van Mantle Network naar OP Succinct op testnet, in lijn met hun roadmap om de beveiliging en decentralisatie te verbeteren met ZK-gestuurde foutbewijzen en modulaire infrastructuur: 🔹 @zan_team: Toegetreden als een multi-node prover aangedreven door @AntChainOpenLab, met bijgedragen hardware-versnelde infrastructuur en FPGA-gebaseerde SP1-optimalisatie die de bewijs snelheid met 20x verbetert ten opzichte van CPU's, wat helpt om de netwerkkosten te verlagen en de weg vrij te maken voor ZK ASICs: 🔹 Media 🔹 Ten slotte voegde Succinct mede-oprichter @pumatheuma zich bij @alicelingl in de recente 'Succinct Special', waar ze de laatste ontwikkelingen van Succinct en alles ZK bespraken:

ZKM 🔹 Technologie 🔹 @ProjectZKM introduceerde Ziren - een GPU-versnelde zkVM met gedistribueerde bewijslast, voorheen bekend als zkMIPS: Gebouwd op de zk-efficiënte MIPS32r2-architectuur, ondersteunt Ziren al real-world toepassingen zoals @GOATRollup en vermindert de tijd voor het genereren van bewijzen aanzienlijk ten opzichte van eerdere versies. 🔹 Onderzoek 🔹 ZKM publiceerde meerdere nieuwe artikelen die de laatste ontwikkelingen in zijn ZK-bewijslaststack belichten: 🔹 Het eerste artikel introduceerde de upgrades die gepaard gingen met de Ziren-rebranding - GPU-versnelling, gedistribueerde bewijslast en verschillende optimalisaties van beperkingen: 🔹 Het tweede legde het Ziren-systeemframework uit, dat de volledige pijplijn van hoog-niveau code naar on-chain bewijzen behandelt. Het beschrijft hoe MIPS-gebaseerde uitvoeringssporen worden omgezet in STARKs, recursief worden samengevoegd met PLONK en worden gefinaliseerd in Groth16 voor efficiënte verificatie: 🔹 Het derde artikel voltooide de trilogie van ZKM's ISA-serie, met de focus op waarom ZKM voor MIPS32r2 koos boven RISC-V. Het benadrukt circuitstabiliteit en de levensduur van bewijzen, en legt uit hoe MIPS een vaste, onveranderlijke ISA biedt, waardoor bewijzen jarenlang geldig blijven zonder herwerking: 🔹 In het meest recente artikel introduceerde ZKM Jagged Polynomial Commitments - een methode voor het omgaan met onregelmatige matrices in zkVMs. Door gebruik te maken van sparse-to-dense conversies en sumcheck-protocollen, maakt het schaalbare, efficiënte verbintenissen mogelijk over dynamische bewijsstructuren: 🔹 Media 🔹 Ten slotte sloten @DacEconomy (ZKM Chief Scientist) en @sd_eigen (kernbijdrager bij GOAT Network) zich aan bij @alicelingl om te bespreken hoe ZKM’s zkVM de Bitcoin L2 van GOAT Network aandrijft: Ze verkenden de Entangled Rollup-infrastructuur, real-time en geaggregeerde bewijsproductie, en het vervangen van validatorvertrouwen door wiskundige zekerheid - waarbij de architectuur en het beveiligingsmodel achter GOAT’s benadering van Bitcoin-schaalbaarheid worden belicht.

RISC Zero/Boundless 🔹 Technologie 🔹 @boundless_xyz door @RiscZero heeft zijn Mainnet Beta gelanceerd op @base, waarmee ZKPs in de echte wereld worden gebruikt: 'Het Signaal' werd geïntroduceerd - een open-source ZK-client die de finaliteit van @ethereum comprimeert tot een enkele bewijs, waardoor cross-chain verificatie mogelijk wordt. Door uitvoering van consensus te scheiden, stelt Boundless schaalbare berekeningen mogelijk zonder in te boeten op veiligheid. Bewijzen is permissieloos, met echte prikkels en live applicatieondersteuning die al draait op Base. 🔹 Partnerschappen 🔹 Het Signaal van Boundless wordt nu ondersteund door @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject en @union_build. Samen stellen deze netwerken ZK-gebaseerde @ethereum finaliteit in staat om een universele, verifieerbare primitief te worden voor cross-chain applicaties - zonder orakels, bruggen of vertrouwensassumpties:

Tijdens de laatste Ethproofs Call deelde @succinct_li van @brevis_zk updates over Brevis's in-house zkVM, Pico: (Tijdstempel 11:06) Brevis's GPU-gebaseerde prover, Pico v1.0, levert tot 20× snelheidsverbeteringen ten opzichte van hun CPU-versie en presteert ongeveer 25-27% beter dan de toonaangevende concurrenten. Het team is van plan om Pico v2.0 tegen het einde van augustus uit te brengen, met als doel real-time bewijsvoering. Ze zijn ook van plan om de GPU-code open source te maken na het voltooien van multi-GPU en multi-machine ondersteuning in de komende maanden.

Lita @0xLita introduceert Valida 0.10.0, een grote update van zijn zkVM-stack: De release voegt Continuaties toe voor gedeeltelijke uitvoeringsbewijzen, een client-side WASM API voor browser-gebaseerde zk-bewijzen, en verbeterde ondersteuning voor de Rust/LLVM-toolchain. Het bevat ook Docker-afbeeldingen voor x86 en ARM, vroege ondersteuning voor Secp256k1 en memcpy, en Reva, een @ethereum blokuitvoerder.

OpenVM @openvm_org heeft versie 1.3.0 uitgebracht, met vernieuwde gastbibliotheken die de low-level bindings duidelijk scheiden van de high-level API's: De update bevat een nieuwe Rust-bibliotheek voor het verifiëren van STARK-bewijzen, CLI-verbeteringen die Cargo-opties ondersteunen, en patches voor cryptografische crates zoals k256 en p256. Er zijn geen circuitwijzigingen doorgevoerd. Ontwikkelaars worden aangemoedigd om over te stappen naar de nieuwe bibliotheken.