Tässä raportoimme ZKonomyn testauspalvelun johtavien rakentajien edistymisestä ja dokumentoimme viimeaikaiset merkittävät julkaisut, tekniset läpimurrot ja yleiset päivitykset 👇

ZkCloud @thezkcloud on saanut @ethereumfndn apurahan ZKP:iden jatkuvaan tuottamiseen @ethereum pääverkkolohkoille koko Q2 2025 ajan. Kaikki vedokset julkaistaan julkisesti @eth_proofs kautta. Tavoitteena on esitellä skaalautuvaa infrastruktuuria reaaliaikaista testausta varten. ZkCloud käyttää 24 GPU:n klusteria ja muokattuja avoimen lähdekoodin työkaluja, ja suunnitelmissa on ottaa käyttöön nopeimmat saatavilla olevat zkVM:t ja vähentää alle 12 sekunnin lohkotodistusten latenssia: Lisäksi projekti on lisännyt testiverkkoonsa neljä uutta validaattoria: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain ja @AhnLab_ABC. Nämä ryhmät tuovat mukanaan erilaisia vahvuuksia - paikallisesta infrastruktuurista ja kyberturvallisuudesta tutkimukseen ja validointitoimintoihin. Heidän osallistumisensa vahvistaa hajautettua todistamista, kun ZkCloud siirtyy lähemmäs pääverkkoa ja lisää reaaliaikaisia todisteominaisuuksia verkossaan: Lisäksi ZkCloud oli yksi House of ZK:n Ethproofs Summitin suurimmista sponsoreista vuoden @BerBlockWeek aikana. Head of Product @NorbertVadas osallistui tapahtumassa kolmeen istuntoon: 1) Ensinnäkin hän piti pääpuheenvuoron, jossa hän puhui ZK-todisteiden skaalaamisen arkkitehtonisista ja teknisistä pullonkauloista - RPC-tietojen haun optimoinnista EVM-opkoodeista johtuvan lohkon monimutkaisuuden odottamattoman varianssin käsittelyyn suhteettoman suurella todistelulla: 2) Myöhemmin Norbert liittyi Ethereum Foundationin @Khovr, @NexusLabs:n @0xAlecJames, @StarkWareLtd:n @MayaD09111862 ja @HouseofZK:n @alicelingl keskustelemaan siitä, kuinka standardoidut zkVM-vertailuarvot voivat johtaa harhaan, kun ne on optimoitu kapeille mittareille, laitteistotietoisen suorituskyvyn arvioinnin tärkeydestä ja tarpeesta läpinäkyville, moniulotteisille kehyksille, jotka heijastavat todellisia työkuormia ja rakentavat luottamusta todennettavissa olevaan laskentaan: 3) Lopuksi hän tutki yhdessä @0xLita:n @carlo_cretino50:n, @ProjectZKM:n @DacEconomy:n, @0xMiden:n @schmiddominik1:n ja House of ZK:n Alice Liun kanssa zkVM:n yhteentoimivuuden kehitystä ja korosti mahdollisuuksia siirtyä perinteisten siltojen ulkopuolelle, hajautettujen todisteiden tarjoajien roolia ja yhteisten standardien merkitystä skaalautuville ja turvallisille lohkoketjusovelluksille:

Ingonyama @Ingo_zk on julkaissut nopeutetun toteutuksen ML-KEM:stä, joka on NIST:n valitsema hilapohjainen avaimen kapselointiprotokolla kvantin jälkeiseen kryptografiaan. CUDA-pohjainen koodi on avoimen lähdekoodin MIT-lisenssillä ja saavuttaa jopa 30 % suuremman suorituskyvyn nykyisiin toteutuksiin verrattuna. ML-KEM tukee kolmea suojaustasoa, jotka ovat linjassa Kyber512:n, Kyber768:n ja Kyber1024:n kanssa: Lisäksi Ingonyaman @BagadSuyash ja @yuval_domb, @CarnegieMellon:n @QuangVDao ja @a16zcrypto @SuccinctJT ovat julkaisseet paperin, jossa kuvataan kahden keskeisen optimoinnin integrointia, jotka nopeuttavat merkittävästi summatarkistusprotokollaa, joka on SNARKien peruskomponentti. Tekniikat kohdistuvat pieniarvoisiin polynomisyötteisiin ja yhtäläisyyspolynomimuotoihin, mikä mahdollistaa 2-4 × todisteen ajan lyhenemisen Jolt zkVM:ssä, ja vielä suurempia parannuksia, kun muisti on rajoitettu. Nämä tulokset käsittelevät suoraan todisteiden pullonkauloja Spartanin kaltaisissa järjestelmissä Joltissa:

Fermah @fermah_xyz on käynnistänyt testiverkkonsa vaiheen 2, joka sisältää ulkoisten Prover-solmujen integroinnin, kehittäjätyökalujen parantamisen ja mukautettujen vertailuarvojen suorittamisen. Vaihe on nimetty professori Amit Sahain mukaan, jonka työ muokkasi merkittävästi ZK-kryptografian perusteita. Fermah huomauttaa, että tulevat vaiheet laajentavat osallistumista nykyisen infrastruktuuriverkoston ulkopuolelle, mikä on merkki jatkuvasta kasvusta ja laajemmasta yhteisön osallistumisesta: Lisäksi @vanishree_rao, Fermahin perustaja, kertoi @eth_proofs Call #2:n aikana, että Fermah on integroitunut @RiscZero ja @openvm_org kanssa luodakseen paikallisia todisteita, joiden tavoitteena on tukea kaikkia zkVM:iä ja lähettää tehokkaimmat Ethproofsille. Hän jakoi myös ehdotuksen uudesta turvallisuusmääritelmästä - valittu todisteiden poimittavuus - joka korostaa nykyisten standardien aukkoja. [Aikaleima - 02:04:50]:

Kysinen @cysic_xyz esittelee ComputeFi:n, jonka tavoitteena on hajauttaa laskentatehoa, mikä on kriittistä sekä tekoäly- että ZK-teknologioille. Alustan avulla käyttäjät voivat ansaita rahaa laitteistolla ja antaa kehittäjille edullisen ja läpinäkyvän pääsyn laskentaresursseihin. Vähentämällä riippuvuutta keskitetyistä palveluntarjoajista Cysic sanoo, että rakentajat voivat innovoida vapaasti, turvallisesti ja kustannustehokkaasti - tasoittaen tietä laajemmalle digitaaliselle osallistumiselle ja yksityisyyteen keskittyville sovelluksille: Lisäksi projekti on käynnistänyt testiverkkonsa vaiheen III: Sytytyksen, joka perustuu aikaisempiin vaiheisiin, joissa otettiin käyttöön kaksoistoken-järjestelmä, GPU-proverit ja mobiilitodentajat. Ignition on julkinen beta, joka tarjoaa käyttäjille mahdollisuuden osallistua hajautettuun laskentaan ja ansaita testiverkkopalkintoja. Pääsy on tällä hetkellä vain kutsusta, ja mobiilituki on tulossa pian: Lopuksi äskettäisessä @eth_proofs Call #2:ssa Cysicin perustaja @leofanxiong jakoi päivityksiä ZKP:ille rakennetuista mukautetuista ASIC-tiedostoistaan. Sirut tukevat keskeisiä ZK-kenttiä ja tuottavat yli 1,3 miljoonaa Keccak-hashia sekunnissa. He käyttävät mukautettua verkkosirua tehokkaaseen tietojen uudelleenjärjestämiseen ja yhdistävät kiinteätoimisen laitteiston prosessoreihin joustavuuden takaamiseksi. Vaikka ne ovat edelleen FPGA:lla, ne ylittävät tyypillisen GPU-suorituskyvyn:

Snarkify Viimeisimmän @eth_proofs Callin aikana @drouyang, @Snarkify_ZKP:n perustaja ja toimitusjohtaja, kertoi osallistujille, että Snarkify on rakentanut nopeimman H2 GPU -testerin @Scroll_ZKP pääverkkoon ja ylittänyt 750 MHz:n RISC-V-emulointinopeudessa. Tiimi siirsi täyden jäljityksen luomisen GPU:ihin, mikä lisäsi merkittävästi suorituskykyä. Heidän tuotteensa, joka mahdollistaa reaaliaikaisen testauksen mille tahansa zkVM:lle, julkaistaan kesäkuun loppuun mennessä. [Aikaleima - 01:12:30]:

Marlin @MarlinProtocol ilmoitti, että @SuiNetwork:n päälle rakentavilla kehittäjillä on kytkemätön pääsy TEE-laskentamarkkinapaikalleen Nautiluksen kautta. He voivat valita omistettujen luottamuksellisten virtuaalikoneiden tai palvelimettoman suorituksen välillä, joka maksetaan USDC:nä. Työkalut sisältävät Docker-tuen, avainten hallinnan ja todennuksen: Lisäksi Marlin ilmoitti, että sen luotetut toteutusympäristöt tukevat nyt @cyclenetwork_GO:n selvityskerrosta ja sillatonta likviditeettiinfrastruktuuria, mikä parantaa turvallista ketjun ulkopuolista tietojenkäsittelyä. Tämä päivitys täyttää institutionaaliset luottamuksellisuustarpeet ja mahdollistaa samalla suuren suorituskyvyn selvityksen: