Här rapporterar vi om framstegen för de ledande byggarna i Proving Service ZKonomy, och dokumenterar de senaste betydande lanseringarna, tekniska genombrott och allmänna uppdateringar 👇

ZkCloud (på engelska) @thezkcloud har fått ett bidrag från @ethereumfndn för att kontinuerligt generera ZKP:er för @ethereum mainnet-block under Q2 2025. Alla korrektur publiceras offentligt via @eth_proofs. Målet är att demonstrera skalbar infrastruktur för realtidsprovning. ZkCloud använder ett 24-GPU-kluster och modifierade verktyg med öppen källkod, med planer på att anta de snabbaste zkVM:erna som finns tillgängliga och minska latensen för blockbevis under 12 sekunder: Dessutom har projektet lagt till fyra nya validerare till sitt testnät: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain och @AhnLab_ABC. Dessa grupper bidrar med olika styrkor – från lokaliserad infrastruktur och cybersäkerhet till forskning och valideringsverksamhet. Deras deltagande stärker den decentraliserade bevisningen när ZkCloud närmar sig Mainnet och ökar realtidsbevisfunktionerna inom sitt nätverk: Dessutom var ZkCloud en av de största sponsorerna av House of ZK:s Ethproofs Summit under @BerBlockWeek. Produktchef @NorbertVadas deltog i tre sessioner på eventet: 1) Först höll han en keynote där han pratade om de arkitektoniska och tekniska flaskhalsarna för att skala ZK-provning - från att optimera RPC-datahämtning till att hantera oväntad varians i blockkomplexitet på grund av EVM-opkoder med oproportionerliga bevisoverhead: 2) Senare gick Norbert med @Khovr från Ethereum Foundation, @0xAlecJames från @NexusLabs, @MayaD09111862 från @StarkWareLtd och @alicelingl från @HouseofZK för att diskutera hur standardiserade zkVM-riktmärken kan vilseleda när de optimeras för smala mätvärden, vikten av hårdvarumedveten prestandautvärdering och behovet av transparenta, flerdimensionella ramverk som återspeglar verkliga arbetsbelastningar och bygger förtroende för verifierbar beräkning: 3) Slutligen, tillsammans med @carlo_cretino50 från @0xLita, @DacEconomy från @ProjectZKM, @schmiddominik1 från @0xMiden och Alice Liu från House of ZK, utforskade han utvecklingen av zkVM-interoperabilitet och lyfte fram potentialen att gå bortom traditionella broar, rollen som decentraliserade bevisleverantörer och vikten av delade standarder för skalbara och säkra blockkedjeapplikationer:

Ingonyama @Ingo_zk har släppt en accelererad implementering av ML-KEM, ett gitterbaserat nyckelinkapslingsprotokoll som valts ut av NIST för postkvantkryptografi. Den CUDA-baserade koden är öppen källkod under MIT-licensen och uppnår upp till 30 % högre genomströmning jämfört med nuvarande implementeringar. ML-KEM har stöd för tre säkerhetsnivåer som är anpassade till Kyber512, Kyber768 och Kyber1024: Dessutom har @BagadSuyash och @yuval_domb från Ingonyama, @QuangVDao från @CarnegieMellon och @SuccinctJT från @a16zcrypto släppt en artikel som beskriver integrationen av två viktiga optimeringar som avsevärt påskyndar sum-check-protokollet, en grundläggande komponent i SNARKs. Teknikerna riktar in sig på polynomindata med små värden och likhetspolynomformer, vilket möjliggör 2-4 × att bevisa tidsminskningar i Jolt zkVM, med ännu större förbättringar när minnet är begränsat. Dessa resultat tar direkt itu med flaskhalsar i system som Spartan inom Jolt:

Fermah Fermah @fermah_xyz har lanserat fas 2 av sitt testnät, som inkluderar integrering av externa Prover-noder, förbättring av utvecklarverktyg och körning av anpassade benchmarks. Fasen är uppkallad efter professor Amit Sahai, vars arbete i hög grad formade grunden för ZK:s kryptografi. Fermah noterar att framtida faser kommer att utöka deltagandet bortom det nuvarande infrastrukturnätverket, vilket signalerar fortsatt tillväxt och bredare samhällsengagemang: Dessutom berättade @vanishree_rao, grundare av Fermah, under @eth_proofs Call #2 att Fermah har integrerat med @RiscZero och @openvm_org för att lokalt generera bevis, i syfte att stödja alla zkVMs och skicka in de mest effektiva till Ethproofs. Hon delade också med sig av ett förslag till en ny säkerhetsdefinition - vald utvinningsbarhet av bevis - som belyser luckor i nuvarande standarder. [Tidsstämpel - 02:04:50]:

Cysic (Cysisk) @cysic_xyz introducerar ComputeFi, som syftar till att decentralisera beräkningskraften, vilket är avgörande för både AI- och ZK-teknik. Plattformen gör det möjligt för användare att tjäna pengar på hårdvara och ger utvecklare prisvärd, transparent tillgång till datorresurser. Genom att minska beroendet av centraliserade leverantörer säger Cysic att byggare kan innovera fritt, säkert och kostnadseffektivt - vilket banar väg för bredare digitalt deltagande och integritetsfokuserade appar: Dessutom har projektet lanserat fas III: Ignition av sitt testnät - som bygger på tidigare stadier som introducerade ett dual-token-system, GPU-bevisare och mobila verifierare. Ignition är en offentlig beta som erbjuder användare en chans att delta i decentraliserad beräkning och tjäna testnätsbelöningar. Åtkomst är för närvarande endast för inbjudna, med mobilstöd kommer snart: Slutligen, vid det senaste @eth_proofs Call #2, delade Cysics medgrundare @leofanxiong uppdateringar om sina anpassade ASIC:er byggda för ZKP:er. Kretsarna stöder viktiga ZK-fält och levererar över 1,3 miljoner Keccak-hashar/sek. De använder ett anpassat nätverk-på-chip för effektiv omordning av data och parar ihop hårdvara med fasta funktioner med CPU:er för flexibilitet. Även om de fortfarande är på FPGA överträffar de typisk GPU-genomströmning:

Snarkify (Snarkify) Under det senaste @eth_proofs-samtalet berättade @drouyang, medgrundare och VD för @Snarkify_ZKP, för deltagarna att Snarkify har byggt den snabbaste H2 GPU-provaren på @Scroll_ZKP huvudnät och överträffat 750 MHz i RISC-V-emuleringshastighet. Teamet flyttade fullständig spårningsgenerering till GPU:er, vilket ökade dataflödet avsevärt. Deras produkt, som möjliggör realtidsprovning för alla zkVM, kommer att lanseras i slutet av juni. [Tidsstämpel – 01:12:30]:

Marlin @MarlinProtocol meddelade att utvecklare som bygger på @SuiNetwork kommer att ha obegränsad tillgång till sin TEE-beräkningsmarknad via Nautilus. De kommer att kunna välja mellan dedikerade konfidentiella virtuella datorer eller serverlös körning, som betalas i USDC. Verktygen omfattar Docker-stöd, nyckelhantering och attestering: Dessutom meddelade Marlin att dess betrodda exekveringsmiljöer nu stöder @cyclenetwork_GO:s avvecklingslager och överbryggningslösa likviditetsinfrastruktur, vilket förbättrar säker databehandling utanför kedjan. Den här uppgraderingen uppfyller institutionella konfidentialitetsbehov samtidigt som den möjliggör avveckling med hög genomströmning: