Hier rapporteren we over de voortgang van de toonaangevende bouwers in de Proving Service ZKonomy, waarbij we recente belangrijke releases, technische doorbraken en algemene updates 👇 documenteren

ZkCloud @thezkcloud heeft een subsidie ontvangen van de @ethereumfndn om continu ZKPs te genereren voor @ethereum mainnet blokken gedurende Q2 2025. Alle bewijzen worden openbaar gepost via @eth_proofs. Het doel is om schaalbare infrastructuur voor real-time bewijsvoering aan te tonen. ZkCloud gebruikt een cluster van 24 GPU's en aangepaste open-source tools, met plannen om de snelste zkVM's beschikbaar te adopteren en de latentie voor sub-12-seconde blokbewijzen te verminderen: Bovendien heeft het project vier nieuwe validators aan zijn Testnet toegevoegd: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain en @AhnLab_ABC. Deze groepen brengen diverse sterke punten - van gelokaliseerde infrastructuur en cybersecurity tot onderzoek en validatoroperaties. Hun deelname versterkt gedecentraliseerde bewijsvoering terwijl ZkCloud dichter bij Mainnet komt en de real-time bewijscapaciteiten binnen zijn netwerk opschroeft: Daarnaast was ZkCloud een van de belangrijkste sponsors van de Ethproofs Summit van House of ZK tijdens @BerBlockWeek. Hoofd Product @NorbertVadas nam deel aan drie sessies op het evenement: 1) Eerst gaf hij een keynote waarin hij sprak over de architectonische en technische knelpunten van het schalen van ZK bewijsvoering - van het optimaliseren van RPC-gegevensophaling tot het omgaan met onverwachte variatie in blokcomplexiteit door EVM opcodes met onevenredige bewijslast: 2) Later voegde Norbert zich bij @Khovr van de Ethereum Foundation, @0xAlecJames van @NexusLabs, @MayaD09111862 van @StarkWareLtd, en @alicelingl van @HouseofZK om te bespreken hoe gestandaardiseerde zkVM benchmarks misleidend kunnen zijn wanneer ze geoptimaliseerd zijn voor smalle metrics, het belang van hardware-bewuste prestatie-evaluatie, en de noodzaak van transparante, multidimensionale kaders die de werkelijke werklasten weerspiegelen en vertrouwen op verifieerbare berekeningen opbouwen: 3) Ten slotte, samen met @carlo_cretino50 van @0xLita, @DacEconomy van @ProjectZKM, @schmiddominik1 van @0xMiden, en Alice Liu van House of ZK, verkende hij de evolutie van zkVM interoperabiliteit, waarbij hij het potentieel benadrukte om verder te gaan dan traditionele bruggen, de rol van gedecentraliseerde bewijsleveranciers, en het belang van gedeelde standaarden voor schaalbare en veilige blockchain-toepassingen:

Ingonyama @Ingo_zk heeft een versnelde implementatie van ML-KEM uitgebracht, een op raster gebaseerde sleutelencapsulatieprotocol dat door NIST is geselecteerd voor post-kwantumcryptografie. De op CUDA gebaseerde code is open-source onder de MIT-licentie en bereikt tot 30% hogere doorvoer in vergelijking met huidige implementaties. ML-KEM ondersteunt drie beveiligingsniveaus die zijn afgestemd op Kyber512, Kyber768 en Kyber1024: Bovendien hebben @BagadSuyash en @yuval_domb van Ingonyama, @QuangVDao van @CarnegieMellon, en @SuccinctJT van @a16zcrypto een paper uitgebracht die de integratie van twee belangrijke optimalisaties beschrijft die de sum-check protocol, een fundamenteel onderdeel van SNARKs, aanzienlijk versnellen. De technieken richten zich op polynoominvoer met kleine waarden en gelijkheids-polynoomvormen, waardoor 2-4× reducties in de bewijstijd in de Jolt zkVM mogelijk zijn, met nog grotere verbeteringen wanneer het geheugen beperkt is. Deze resultaten pakken rechtstreeks de bottlenecks van de prover aan in systemen zoals Spartan binnen Jolt:

Fermah @fermah_xyz heeft Fase 2 van zijn testnet gelanceerd, die de integratie van externe Prover Nodes, verbetering van ontwikkelaarstools en het uitvoeren van aangepaste benchmarks omvat. De fase is vernoemd naar Professor Amit Sahai, wiens werk een belangrijke bijdrage heeft geleverd aan de fundamenten van ZK-cryptografie. Fermah merkt op dat toekomstige fasen de deelname zullen uitbreiden buiten het huidige infrastructuurnetwerk, wat wijst op voortdurende groei en bredere betrokkenheid van de gemeenschap: Bovendien deelde @vanishree_rao, oprichter van Fermah, tijdens @eth_proofs Call #2 mee dat Fermah is geïntegreerd met @RiscZero en @openvm_org om lokaal bewijzen te genereren, met als doel alle zkVM's te ondersteunen en de meest efficiënte naar Ethproofs in te dienen. Ze deelde ook een voorstel voor een nieuwe beveiligingsdefinitie - gekozen bewijs-extractie - waarbij hiaten in de huidige normen worden belicht. [Tijdstempel - 02:04:50]:

Cysic @cysic_xyz introduceert ComputeFi, met als doel het decentraliseren van rekencapaciteit, wat cruciaal is voor zowel AI- als ZK-technologieën. Het platform stelt gebruikers in staat om hardware te monetiseren en biedt ontwikkelaars betaalbare, transparante toegang tot rekencapaciteit. Door de afhankelijkheid van gecentraliseerde aanbieders te verminderen, zegt Cysic dat bouwers vrij, veilig en kosteneffectief kunnen innoveren - wat de weg vrijmaakt voor bredere digitale deelname en privacygerichte apps: Bovendien heeft het project Fase III: Ignition van zijn testnet gelanceerd - voortbouwend op eerdere fasen die een dual-token systeem, GPU-provers en mobiele verificatoren introduceerden. Ignition is een openbare bèta die gebruikers de kans biedt om deel te nemen aan gedecentraliseerde rekencapaciteit en testnetbeloningen te verdienen. Toegang is momenteel alleen op uitnodiging, met mobiele ondersteuning die binnenkort beschikbaar komt: Ten slotte deelde @leofanxiong, mede-oprichter van Cysic, tijdens de recente @eth_proofs Call #2 updates over hun op maat gemaakte ASICs gebouwd voor ZKPs. De chips ondersteunen belangrijke ZK-velden en leveren meer dan 1,3 miljoen Keccak-hashes/sec. Ze gebruiken een op maat gemaakt netwerk-op-chip voor efficiënte gegevensherordening en combineren vaste-functie hardware met CPU's voor flexibiliteit. Hoewel ze nog steeds op FPGA zijn, presteren ze beter dan typische GPU-throughput:

Snarkify Tijdens de laatste @eth_proofs Call vertelde @drouyang, mede-oprichter en CEO van @Snarkify_ZKP, de aanwezigen dat Snarkify de snelste H2 GPU prover op het @Scroll_ZKP mainnet heeft gebouwd en meer dan 750 MHz in RISC-V emulatiesnelheid heeft overschreden. Het team heeft de volledige trace-generatie naar GPU's verplaatst, wat de doorvoer aanzienlijk heeft verhoogd. Hun product, dat real-time bewijsvoering voor elke zkVM mogelijk maakt, zal eind juni worden gelanceerd. [Tijdstempel - 01:12:30]:

Marlin @MarlinProtocol heeft aangekondigd dat ontwikkelaars die bouwen op het @SuiNetwork onbeperkte toegang zullen hebben tot zijn TEE-computermarkt via Nautilus. Ze zullen kunnen kiezen tussen toegewijde vertrouwelijke VM's of serverloze uitvoering, te betalen in USDC. De tooling omvat ondersteuning voor Docker, sleutelbeheer en attestatie: Bovendien heeft Marlin aangekondigd dat zijn Trusted Execution Environments nu de afwikkelingslaag en brugloze liquiditeitsinfrastructuur van @cyclenetwork_GO ondersteunen, wat de veilige offchain gegevensverwerking verbetert. Deze upgrade voldoet aan de vertrouwelijkheidsbehoeften van instellingen terwijl het een hoge doorvoer van afwikkeling mogelijk maakt: