Tässä raportoimme zkVM-ekosysteemin johtavien rakentajien edistymisestä ja dokumentoimme viimeaikaiset merkittävät julkaisut, tekniset läpimurrot ja yleiset päivitykset. Mukana: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc & @openvm_org 👇

Ytimekäs 🔹 Tech 🔹 @SuccinctLabs esitteli SP1-CC:n, ZK-apuprosessorin @ethereum:lle, jonka avulla kehittäjät voivat lukea lohkoketjun historiallista tilaa, suorittaa monimutkaisia ketjun ulkopuolisia laskelmia ja tarkistaa tulokset ketjussa yhdellä todisteella: SP1-CC poistaa kaasurajoitukset ja EVM-rajoitukset muuttamatta L1-koodia, mikä mahdollistaa uusia käyttötapauksia hallinnossa, DeFi:ssä, airdropeissa ja tietoturvailmoituksissa. @eigenlayer kaltaiset tiimit käyttävät sitä jo kustannusten vähentämiseen ja joustavuuden lisäämiseen. 🔹 Kumppanuuksia 🔹 Hanke ilmoitti äskettäin useista uusista kumppanuuksista, mukaan lukien: 🔹 @Snarkify_ZKP: Liityi Succinct Prover Networkiin varhaisena testaustiiminä, joka toi mukautetun SP1-SRT-testausmoottorin, joka on optimoitu reaaliaikaiseen ZKP-luomiseen GPU:issa ja FPGA:issa, mikä auttaa vähentämään viivettä ja kustannuksia koko verkossa: 🔹 @a41_allforone: Integroitu verkkoon usean solmun todisteena ajoittimella, joka koordinoi satoja GPU:ita, sekä Python-optimoidulla taustajärjestelmällä, mikä mahdollistaa korkean suorituskyvyn testauksen sovelluksille, kuten pelaamiselle, tekoälylle ja rollupeille: 🔹 @cysic_xyz: Lisätty verkkoon laitteistokiihdytettynä testaajana, joka käyttää suuria GPU-klustereita ja valmistautuu käynnistämään mukautetun ASIC:n zkVM-työkuormille, mikä tuo syvällistä asiantuntemusta ZPRIZEsta ja tuotantoluokan ZK-infrastruktuurista: 🔹 @worldcoin: Teimme yhteistyötä kaikkien World Chainin tapahtumien todistamiseksi OP Succinctin avulla, suoritimme 7 päivän pääverkkokokeilun rinnakkaisella proof-verifioinnilla ja osoittimme nopeita ja kustannustehokkaita validiteettitodistuksia yhdelle suurimmista OP Stack -ketjuista: 🔹 @Mantle_Official: Tuki Mantle Networkin siirtymistä OP Succinctiin testiverkossa, mikä on linjassa heidän etenemissuunnitelmansa kanssa turvallisuuden ja hajauttamisen parantamiseksi ZK-käyttöisillä vikasuojauksilla ja modulaarisella infrastruktuurilla: 🔹 @zan_team: Liittynyt usean solmun testaajaksi, joka toimii @AntChainOpenLab:llä, joka tarjoaa laitteistokiihdytetyn infrastruktuurin ja FPGA-pohjaisen SP1-optimoinnin, joka parantaa testausnopeutta 20-kertaiseksi suorittimiin verrattuna, mikä auttaa alentamaan verkkokustannuksia ja tasoittamaan tietä ZK ASIC:ille: 🔹 Media 🔹 Lopuksi Succinctin perustaja @pumatheuma liittyi @alicelingl äskettäiseen "Succinct Specialiin", jossa he keskustelivat Succinctin viimeisimmästä kehityksestä ja kaikesta ZK:sta:

ZKM 🔹 Tech 🔹 @ProjectZKM esitteli Zirenin - GPU-kiihdytetyn zkVM:n, jossa on hajautettu testaus, joka tunnettiin aiemmin nimellä zkMIPS: Zk-tehokkaaseen MIPS32r2-arkkitehtuuriin perustuva Ziren käyttää jo todellisia sovelluksia, kuten @GOATRollup, ja lyhentää todisteiden luontiaikaa merkittävästi aiempiin versioihin verrattuna. 🔹 Tutkimus🔹 ZKM julkaisi useita uusia artikkeleita, joissa korostettiin ZK-todistuspinon viimeisimpiä edistysaskeleita: 🔹 Ensimmäisessä artikkelissa esiteltiin Zirenin uudelleenbrändäyksen mukana tulleet päivitykset - GPU-kiihdytys, hajautettu testaus ja erilaiset rajoitusten optimoinnit: 🔹 Toinen selitti Ziren System Frameworkin, joka kattaa koko putken korkean tason koodista ketjun sisäisiin todistuksiin. Siinä kerrotaan yksityiskohtaisesti, kuinka MIPS-pohjaiset suoritusjäljet muunnetaan STARK:iksi, yhdistetään rekursiivisesti PLONK:iin ja viimeistellään Groth16:ksi tehokkaan todentamisen varmistamiseksi: 🔹 Kolmas artikkeli täydensi ZKM:n ISA-sarjan trilogiaa keskittyen siihen, miksi ZKM valitsi MIPS32r2:n RISC-V:n sijaan. Se korostaa piirin vakautta ja todisteiden pitkäikäisyyttä ja selittää, kuinka MIPS tarjoaa kiinteän, muuttumattoman ISA:n, mikä varmistaa, että todisteet pysyvät voimassa vuosia ilman uudelleenkäsittelyä: 🔹 Viimeisimmässä artikkelissa ZKM esitteli Jagged Polynomial Commitment - menetelmän epäsäännöllisten matriisien käsittelyyn zkVM:issä. Käyttämällä harvoista tiheään muunnoksia ja summantarkistusprotokollia se mahdollistaa skaalautuvat ja tehokkaat sitoumukset dynaamisissa todistusrakenteissa: 🔹 Media 🔹 Lopuksi @DacEconomy (ZKM:n päätutkija) ja @sd_eigen (GOAT Networkin ydinavustaja) liittyivät @alicelingl keskustelemaan siitä, kuinka ZKM:n zkVM käyttää GOAT Networkin Bitcoin L2:ta: He tutkivat Entangled Rollup -infrastruktuuria, reaaliaikaista ja aggregoitua todisteiden luomista ja validaattorin luottamuksen korvaamista matemaattisella varmuudella - korostaen arkkitehtuuria ja tietoturvamallia GOATin lähestymistavan takana Bitcoinin skaalautuvuuteen.

RISC nolla / rajaton 🔹 Tech 🔹 @boundless_xyz by @RiscZero on julkaissut Mainnet Beta -version @base, mikä tuo ZKP:t todelliseen käyttöön: "The Signal" esiteltiin - avoimen lähdekoodin ZK-asiakasohjelma, joka pakkaa @ethereum lopullisuuden yhdeksi todisteeksi, mikä mahdollistaa ketjujen välisen todentamisen. Erottamalla suorituksen konsensuksesta Boundless mahdollistaa skaalautuvan laskennan turvallisuudesta tinkimättä. Todistaminen on luvatonta, ja Basessa on jo käynnissä todellisia kannustimia ja reaaliaikaista sovellustukea. 🔹 Kumppanuuksia 🔹 Boundlessin Signalia tukevat nyt @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject ja @union_build. Yhdessä nämä verkot mahdollistavat sen, että ZK-pohjaisesta @ethereum lopullisuudesta tulee universaali, todennettavissa oleva primitiivi ketjujen välisiin sovelluksiin - ilman oraakkeleita, siltoja tai luottamusoletuksia:

Viimeisimmässä Ethproofs-puhelussa @succinct_li @brevis_zk jakoi päivityksiä Brevisin sisäisestä zkVM:stä, Pico: (Aikaleima 11:06) Brevisin GPU-pohjainen tester, Pico v1.0, tarjoaa jopa 20 × nopeuden parannuksia CPU-versioonsa verrattuna ja päihittää johtavat kilpailijat noin 25-27 %. Tiimi aikoo julkaista Pico v2.0:n elokuun loppuun mennessä tavoitteenaan reaaliaikainen testaus. He aikovat myös avata GPU-koodin sen jälkeen, kun usean GPU:n ja usean koneen tuki on suoritettu tulevina kuukausina.

Lita @0xLita esitteli Valida 0.10.0:n, merkittävän päivityksen zkVM-pinoonsa: Julkaisu lisää jatkoja osittaisille suoritustodistuksille, asiakaspuolen WASM-ohjelmointirajapinnan selainpohjaisille zk-todisteille ja parannetun Rust/LLVM-työkaluketjun tuen. Se sisältää myös Docker-kuvat x86:lle ja ARM:lle, varhaisen tuen Secp256k1:lle ja memcpylle sekä Revan, @ethereum lohkojen suorittajan.

Avaa VM @openvm_org on julkaissut version 1.3.0, jossa esitellään uudistetut vieraskirjastot, jotka erottavat matalan tason sidokset selkeästi korkean tason ohjelmointirajapinnoista: Päivitys sisältää uuden Rust-kirjaston STARK-todisteiden tarkistamiseen, CLI-parannuksia, jotka tukevat Cargo-vaihtoehtoja, ja korjauksia salauslaatikoille, kuten k256 ja p256. Piirimuutoksia ei tapahtunut. Kehittäjiä kannustetaan siirtymään uusiin kirjastoihin.