Hier berichten wir über die Fortschritte der führenden Entwickler im Proving Service ZKonomy und dokumentieren die jüngsten bedeutenden Releases, technischen Durchbrüche und allgemeinen Updates 👇

ZkCloud @thezkcloud hat einen Zuschuss von der @ethereumfndn erhalten, um kontinuierlich ZKPs für die @ethereum Mainnet-Blöcke bis zum Q2 2025 zu generieren. Alle Beweise werden öffentlich über @eth_proofs veröffentlicht. Das Ziel ist es, eine skalierbare Infrastruktur für die Echtzeit-Proofing zu demonstrieren. ZkCloud verwendet ein 24-GPU-Cluster und modifizierte Open-Source-Tools, mit dem Plan, die schnellsten verfügbaren zkVMs zu übernehmen und die Latenz für Blockbeweise unter 12 Sekunden zu reduzieren: Darüber hinaus hat das Projekt vier neue Validatoren zu seinem Testnet hinzugefügt: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain und @AhnLab_ABC. Diese Gruppen bringen unterschiedliche Stärken mit - von lokalisierter Infrastruktur und Cybersicherheit bis hin zu Forschung und Validator-Betrieb. Ihre Teilnahme stärkt das dezentrale Proofing, während ZkCloud näher an das Mainnet rückt und die Echtzeit-Proof-Fähigkeiten innerhalb seines Netzwerks ausbaut: Außerdem war ZkCloud einer der Hauptsponsoren des Ethproofs-Gipfels von House of ZK während der @BerBlockWeek. Der Produktleiter @NorbertVadas nahm an drei Sitzungen der Veranstaltung teil: 1) Zuerst hielt er eine Hauptrede, in der er über die architektonischen und technischen Engpässe beim Skalieren von ZK-Proofing sprach - von der Optimierung des RPC-Datenabrufs bis hin zur Handhabung unerwarteter Variationen in der Blockkomplexität aufgrund von EVM-Op-Codes mit unverhältnismäßigen Proofing-Überhängen: 2) Später trat Norbert @Khovr von der Ethereum Foundation, @0xAlecJames von @NexusLabs, @MayaD09111862 von @StarkWareLtd und @alicelingl von @HouseofZK bei, um zu diskutieren, wie standardisierte zkVM-Benchmarks irreführend sein können, wenn sie für enge Metriken optimiert sind, die Bedeutung der hardwarebewussten Leistungsbewertung und die Notwendigkeit transparenter, multidimensionaler Rahmenbedingungen, die reale Arbeitslasten widerspiegeln und Vertrauen in verifiable Compute aufbauen: 3) Schließlich erkundete er zusammen mit @carlo_cretino50 von @0xLita, @DacEconomy von @ProjectZKM, @schmiddominik1 von @0xMiden und Alice Liu von House of ZK die Entwicklung der zkVM-Interoperabilität und hob das Potenzial hervor, über traditionelle Brücken hinauszugehen, die Rolle dezentraler Proof-Anbieter und die Bedeutung gemeinsamer Standards für skalierbare und sichere Blockchain-Anwendungen:

Ingonyama @Ingo_zk hat eine beschleunigte Implementierung von ML-KEM veröffentlicht, einem gitterbasierten Schlüssel-Kapselungsprotokoll, das von NIST für die Post-Quanten-Kryptographie ausgewählt wurde. Der auf CUDA basierende Code ist Open Source unter der MIT-Lizenz und erreicht bis zu 30 % höhere Durchsatzraten im Vergleich zu aktuellen Implementierungen. ML-KEM unterstützt drei Sicherheitsstufen, die mit Kyber512, Kyber768 und Kyber1024 übereinstimmen: Darüber hinaus haben @BagadSuyash und @yuval_domb von Ingonyama, @QuangVDao von @CarnegieMellon und @SuccinctJT von @a16zcrypto ein Papier veröffentlicht, das die Integration von zwei wichtigen Optimierungen beschreibt, die das Sum-Check-Protokoll erheblich beschleunigen, ein grundlegender Bestandteil von SNARKs. Die Techniken zielen auf kleine polynomiale Eingaben und Gleichheits-Polynomialformen ab, was 2-4× Reduzierungen der Beweiszeit im Jolt zkVM ermöglicht, mit noch größeren Verbesserungen bei speicherbeschränkten Bedingungen. Diese Ergebnisse sprechen direkt die Engpässe der Beweiser in Systemen wie Spartan innerhalb von Jolt an:

Fermah @fermah_xyz hat Phase 2 seines Testnets gestartet, das die Integration externer Prover Nodes, die Verbesserung von Entwicklerwerkzeugen und das Durchführen von benutzerdefinierten Benchmarks umfasst. Die Phase ist nach Professor Amit Sahai benannt, dessen Arbeiten die Grundlagen der ZK-Kryptographie maßgeblich geprägt haben. Fermah weist darauf hin, dass zukünftige Phasen die Teilnahme über das aktuelle Infrastruktur-Netzwerk hinaus ausweiten werden, was auf ein kontinuierliches Wachstum und eine breitere Beteiligung der Gemeinschaft hinweist: Zusätzlich teilte @vanishree_rao, Gründerin von Fermah, während des @eth_proofs Calls #2 mit, dass Fermah mit @RiscZero und @openvm_org integriert wurde, um lokal Beweise zu generieren, mit dem Ziel, alle zkVMs zu unterstützen und die effizientesten an Ethproofs einzureichen. Sie teilte auch einen Vorschlag für eine neue Sicherheitsdefinition - gewählte Beweisextrahierbarkeit - und hob Lücken in den aktuellen Standards hervor. [Timestamp - 02:04:50]:

Cysic @cysic_xyz stellt ComputeFi vor, das darauf abzielt, die Rechenleistung zu dezentralisieren, die sowohl für KI- als auch für ZK-Technologien entscheidend ist. Die Plattform ermöglicht es Nutzern, Hardware zu monetarisieren, und bietet Entwicklern einen erschwinglichen, transparenten Zugang zu Rechenressourcen. Durch die Verringerung der Abhängigkeit von zentralisierten Anbietern sagt Cysic, dass Entwickler frei, sicher und kosteneffektiv innovieren können - und damit den Weg für eine breitere digitale Teilnahme und datenschutzorientierte Apps ebnen: Darüber hinaus hat das Projekt Phase III: Ignition seines Testnets gestartet - basierend auf früheren Phasen, die ein Dual-Token-System, GPU-Prover und mobile Verifier eingeführt haben. Ignition ist ein öffentliches Beta-Angebot, das Nutzern die Möglichkeit gibt, an dezentraler Rechenleistung teilzunehmen und Testnet-Belohnungen zu verdienen. Der Zugang ist derzeit nur auf Einladung möglich, mit mobiler Unterstützung, die bald verfügbar sein wird: Schließlich teilte @leofanxiong, Mitbegründer von Cysic, beim kürzlichen @eth_proofs Call #2 Neuigkeiten über ihre maßgeschneiderten ASICs, die für ZKPs entwickelt wurden. Die Chips unterstützen wichtige ZK-Bereiche und liefern über 1,3 Millionen Keccak-Hashes/Sekunde. Sie verwenden ein maßgeschneidertes Netzwerk-on-Chip für eine effiziente Datenumordnung und kombinieren festverdrahtete Hardware mit CPUs für Flexibilität. Obwohl sie sich noch auf FPGA befinden, übertreffen sie die typische GPU-Durchsatzrate:

Snarkify Während des letzten @eth_proofs Calls sagte @drouyang, Mitbegründer & CEO von @Snarkify_ZKP, den Teilnehmern, dass Snarkify den schnellsten H2 GPU-Prover im @Scroll_ZKP Mainnet entwickelt hat und eine Emulationsgeschwindigkeit von über 750 MHz in RISC-V erreicht hat. Das Team hat die vollständige Trace-Generierung auf GPUs verlagert, was den Durchsatz erheblich erhöht. Ihr Produkt, das Echtzeit-Proving für jede zkVM ermöglicht, wird bis Ende Juni auf den Markt kommen. [Timestamp - 01:12:30]:

Marlin @MarlinProtocol hat angekündigt, dass Entwickler, die auf dem @SuiNetwork aufbauen, ungebundenen Zugang zu seinem TEE-Compute-Marktplatz über Nautilus haben werden. Sie können zwischen dedizierten vertraulichen VMs oder serverloser Ausführung wählen, zahlbar in USDC. Die Werkzeuge umfassen Docker-Unterstützung, Schlüsselverwaltung und Attestierung: Darüber hinaus hat Marlin angekündigt, dass seine Trusted Execution Environments jetzt die Abwicklungsschicht und die brückenlose Liquiditätsinfrastruktur von @cyclenetwork_GO unterstützen, was die sichere Verarbeitung von Offchain-Daten verbessert. Dieses Upgrade erfüllt die Anforderungen an die Vertraulichkeit von Institutionen und ermöglicht gleichzeitig eine hochgradige Abwicklung: