Die neuesten Entwicklungen im zkVM Hier berichten wir über die Fortschritte der führenden Entwickler im zkVM-Ökosystem und dokumentieren kürzliche bedeutende Veröffentlichungen, technische Durchbrüche und allgemeine Updates. Mit dabei: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm und @ProjectZKM. 🔹 Besuchen Sie für weitere Berichte aus der Branche 🔹

Brevis 🔹 ProverNet Whitepaper 🔹 @brevis_zk hat sein ProverNet-Whitepaper veröffentlicht, das einen dezentralen Marktplatz skizziert, auf dem Anwendungen ZK-Proving-Kapazität anfordern und spezialisierte Prover um die Bereitstellung konkurrieren: Das System verwendet einen wahrheitsgemäßen Online-Doppelauktion-Mechanismus, um heterogene Arbeitslasten mit geeigneten Ressourcen abzugleichen und die Servicequalität durch wirtschaftliche Anreize durchzusetzen. ProverNet führt den BREV-Token für Zahlungen, Staking und Governance ein, und ein Beta-Mainnet mit einer vereinfachten Auktion soll bald starten. 🔹 Medien 🔹 In einer aktuellen Episode von @HouseofZK Radio hat @no89thkey, Mitbegründer von Brevis, darüber gesprochen, wie das Team von seinen DeFi-Ursprüngen zu verifizierbarem Computing und nahezu Echtzeit-Proving übergegangen ist: Er sprach über die Pico zkVM, den Pico Prism verteilten Prover, der für das Proving von @Ethereum-Blöcken verwendet wird, und wie die modulare Co-Prozessor-Architektur von Brevis On-Chain-Loyalität, optimierte Belohnungen und CEX/DEX-Brückenintegrationen unterstützt. Vollständiger Podcast: 🔹 Veranstaltungen 🔹 Brevis hat mehrere wichtige Sitzungen während @EFDevcon ausgerichtet und daran teilgenommen und praktische Perspektiven zu verifizierbarem Computing und dem Übergang zu off-chain, proof-basierten Ausführungsmodellen gebracht: • Brevis hielt ZKONNECT, mit House of ZK als Co-Host, und konzentrierte sich darauf, wie zkVMs, ZK-Co-Prozessoren, zkML und zkTLS von Konzepten in die Produktion übergehen. Das Programm hob praktische Implementierungen von verifizierbarem Computing, Cross-Chain-Datenzugriff und KI-Inferenz hervor, zusammen mit mehreren Keynotes und Diskussionen, die darlegten, wie Teams ZK-Infrastruktur auf reale Anwendungen anwenden. • Michael hielt eine Keynote bei Verifying Intelligence 3.0, organisiert von House of ZK und co-gehostet von Brevis: Er skizzierte, warum die meisten Blockchain-Berechnungen off-chain migrieren und durch ZKPs verifiziert werden, und präsentierte Brevis als die unendliche Compute-Schicht, die schwere Logik off-chain ausführt und prägnante, verifizierbare Ausgaben zurückgibt. Der Vortrag behandelte die Pico zkVM, das Echtzeit-Proving von Ethereum, die modulare Architektur von Brevis und aktuelle Integrationen, die intelligentes DeFi, datenschutzfreundliche Bestätigungen und kontinuierliche Anreizsysteme unterstützen. 🔹 Partnerschaften 🔹 Zuletzt präsentierten Brevis und @vana ein gemeinsames Modell zur Nutzung privater Daten in der KI, indem authentifizierte Eingaben mit lokaler Berechnung kombiniert werden, die keine Rohinformationen offenbart: Brevis zkTLS beweist den Datenursprung, während Pico zkVM diese auf dem Gerät des Nutzers verarbeitet. Vana verwaltet die Zustimmung und Belohnungen, gibt Entwicklern verifizierte Metriken und ermöglicht es den Nutzern, die volle Kontrolle über ihre Daten zu behalten. 🔹 Besuchen Sie uns für weitere Berichte aus der Branche 🔹

Jolt (@a16zcrypto) 🔹 Ethproofs Call 🔹 @SuccinctJT, Forscher bei @a16zcrypto, präsentierte beim kürzlichen @eth_proofs-Call. Er hob hervor, wie aktuelle zkVMs den Speicher des Provers steuern, indem sie Spuren in Stücke aufteilen und Beweise rekursiv aggregieren, was jedoch Komplexität, Fehleranfälligkeit und Leistungskosten hinzufügt. Zeitstempel - 32:30: Justin erklärte weiter, wie Jolt beabsichtigt, dies durch einen Streaming-Ansatz zu ersetzen, der den Speicher des Provers auf einige Gigabyte begrenzt, unabhängig von der Anzahl der Zyklen. Zwei von ungefähr zwanzig erforderlichen Sumcheck-Komponenten streamen bereits, und die verbleibenden Arbeiten werden voraussichtlich bald abgeschlossen sein. 🔹 Forschung 🔹 Justin veröffentlichte auch ein Papier, das auf den Ergebnissen einer Umfrage basiert, die sich darauf konzentriert, wie modernes SNARK-Design schnelles Beweisen erreicht, indem es sich auf das Sum-Check-Protokoll konzentriert: Das Papier beschreibt, warum Techniken wie Batch-Auswertung, Lookup-Argumente, virtuelle Polynome und Erhaltung kleiner Werte die Arbeit des Provers und die Verpflichtungskosten reduzieren. Anhand von Jolt als Hauptfallstudie zeigt es, wie die Ausnutzung wiederholter Berechnungsstrukturen effiziente zkVMs ermöglicht und zukünftige Leistungsverbesserungen leitet. 🔹 Besuchen Sie für weitere Berichte aus der Branche 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden hat sein Testnet v0.12 veröffentlicht, das bedeutende Updates in den Bereichen Datenschutz, Schlüsselverwaltung, Adressverarbeitung und Entwicklerwerkzeuge einführt: Die Version fügt ein neues Adressformat mit Unterstützung für Verschlüsselung hinzu, eine private Notiz-Transportebene mit @Nethermind, ECDSA-Signaturen über Precompiles und Verbesserungen bei der Datenverarbeitung im Knoten. Es enthält auch grundlegende Schutzmaßnahmen für die Sichtbarkeit von Transaktionsdaten, den neuen midenup-Installer für einen reibungslosen Onboarding-Prozess, ein dediziertes Devnet für Experimente und mehrere VM-Ebene-Verbesserungen für Komposabilität und Debugging. 🔹 Veröffentlichungen 🔹 Das Projekt hat einen Artikel veröffentlicht, der erklärt, wie private Multisigs durch ein neues System namens Private State Management, das gemeinsam mit @OpenZeppelin entwickelt wurde, möglich werden: Der Artikel beschreibt, warum traditionelle Multisigs auf einen gemeinsamen öffentlichen Zustand angewiesen sind, wie Miden’s Datenschutzmodell die Koordination kompliziert und wie die Synchronisations-, Koordinations- und Authentifizierungsebenen von PSM private Konten synchron halten. Er schließt mit Beispielen praktischer Anwendungsfälle und weist darauf hin, dass ein frühes Proof-of-Concept bereits verfügbar ist. 🔹 Veranstaltungen 🔹 Auf der @EFDevcon hat Miden mehrere Veranstaltungen ausgerichtet und daran teilgenommen, darunter: • Der Privacy Salon, eine von Miden organisierte Veranstaltung, die Builder, Forscher und Gründer für kurze, ideengetriebene Vorträge und offene Diskussionen über Datenschutz, dezentrale Systeme und die sich entwickelnden Schnittstellen von Krypto, Web3 und traditioneller Finanzen zusammenbrachte. • Verifying Intelligence 3.0, organisiert von @HouseofZK, wo @huitseeker, Engineering Lead bei Miden, über die Rolle von zkVMs in zkML sprach und die Unterschiede zwischen dem Nachweisen von Inferenz und Training, die Einschränkungen von TEEs und wie Miden’s Design praktische, widerstandsfähige AI-Verifizierungsszenarien unterstützt, erklärte. Zeitstempel - 02:50:12: 🔹 Integrationen 🔹 Das Projekt stellte zwei neue Partnerschaften vor, die sein Ökosystem in den Bereichen Datenschutz, Onboarding und Infrastruktur erweitern, darunter: • @get_para: Integrierte Paras eingebettete Wallet und verteilte MPC-Authentifizierung, um nahtloses, nicht verwahrtes Onboarding für Miden-Anwendungen zu ermöglichen. Die Zusammenarbeit führte zu passwortlosem Login, sofortiger Wallet-Erstellung und reibungslosen Benutzerabläufen, die Paras UX-Stack mit Miden’s konformem Datenschutzmodell in Einklang bringen, um private DeFi-, Fintech-, Gaming- und institutionelle Anwendungen zu unterstützen, die auf ZK-Ausführung basieren: • @gateway_eth: Partnerschaft mit um unternehmensgerechte Infrastruktur für Miden’s skalierbares, datenschutzorientiertes Blockchain-Netzwerk bereitzustellen. Die Partnerschaft gewährleistet hohe Verfügbarkeit, schnellen Datenzugriff und betriebliche Zuverlässigkeit, während Miden skaliert, wobei Gateway zentrale Komponenten wie die native Brücke, Prover und Block-Explorer betreibt, um den Rollout von Miden’s Edge-Execution-Architektur zu unterstützen: 🔹 Besuchen Sie für weitere Berichte aus der Branche 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs hat die Alpha-Version seiner dezentralen perpetual futures Börse im Rahmen von Testnet III gestartet, die eine vereinfachte, nicht verwahrte CLOB-Plattform bietet, die auf verifizierbarer Infrastruktur basiert: Die Veröffentlichung konzentriert sich auf die Kernhandelsfunktionen, einen optimierten Onboarding-Prozess und Testmittel anstelle von echten Vermögenswerten. Obwohl die Benutzeroberfläche minimalistisch ist, ist das zugrunde liegende Orderbuch für eine niedrige Latenzleistung ausgelegt und wird mit community-gesteuertem Feedback und schrittweise eingeführten kryptografischen Nachweisen erweitert. 🔹 Netzwerkstatus 🔹 Nexus hat seinen Netzwerkbericht für November veröffentlicht: Höhepunkte sind: • Das Netzwerk verarbeitete 87,198 Millionen Transaktionen, von denen 87,038 Millionen abgeschlossen wurden, was eine hohe Zuverlässigkeit und eine sehr kleine Lücke zwischen initiierten und finalisierten Aktivitäten zeigt. • Der Nachweis-Durchsatz wurde im Laufe des Monats von 5,810 auf 4,16 Nachweise pro Sekunde angepasst, was eine Rückkehr zu einer stabileren Nachweisbasis nach dem schnellen Anstieg im Oktober widerspiegelt. • Verifizierte Verträge erreichten 2,548 Millionen, was das anhaltende Vertrauen der Entwickler in die Nachweisumgebung trotz höherer Latenz und moderiertem Durchsatz demonstriert. • Die Transaktionsgebühren lagen im Durchschnitt bei 0,048 NEX, was die Kosten für Verifizierbarkeit niedrig hält und Raum für schnelle Iterationen und häufige Onchain-Interaktionen lässt. 🔹 Veranstaltungen 🔹 Der Chief Scientist von Nexus, @JensGroth16, nahm an einem Fireside-Chat bei @HouseofZK’s Verifying Intelligence-Event während @EFDevcon teil, in dem er diskutierte, wie ZKPs sich von frühen theoretischen Arbeiten zu den heutigen Anwendungen in verifizierbarer KI entwickelt haben: Er skizzierte den Fokus von Nexus auf die Kombination von nachweisbarer Korrektheit mit wirtschaftlicher Sicherheit und betonte die Notwendigkeit von Standards, Bildung und breiterem institutionellem Vertrauen, um sicherzustellen, dass verifizierbare Systeme nutzbar und weit verbreitet werden.

Risc Zero & Boundless 🔹 Ethproofs Call 🔹 In dem kürzlichen @eth_proofs Call #6 teilte @BruestleJeremy, CEO und Mitbegründer von @RiscZero, mit, wie das Team erfolgreich einen echten Linux-Kernel innerhalb der zkVM gestartet hat, nachdem Unterstützung für den Risc-V S-Modus, vollständige MMU und virtualisierten Speicher hinzugefügt wurden. Zeitstempel - 20:30: Die Demo zeigte mehrere laufende Prozesse und eine nahezu deterministische Umgebung, die für breitere Software-Stacks geeignet ist. Risс Zero plant, dies in der nächsten Schaltungsfreigabe zu liefern, während die Fortschritte beim Prover fortgesetzt werden. 🔹 Veranstaltungen 🔹 @boundless_xyz nahm an mehreren Veranstaltungen während Devconnect in Buenos Aires teil, darunter: • Eine Whitepaper-Lesungssitzung, die von @HouseofZK in Partnerschaft mit @WPReadingClub und @invisiblgarden organisiert wurde, bei der Boundless, @citrea_xyz, @MinaProtocol und @o1_labs an Rundtischgesprächen über aktuelle Forschungsentwicklungen und aufkommende Ideen im Web3- und ZK-Ökosystem teilnahmen. • Ein Verifying Intelligence 3.0-Panel, bei dem @reka_eth, Marketingdirektor bei Boundless, zu einer Diskussion über den Nachweis menschlicher Beiträge in einer von KI und Robotik geprägten Ära beitrug, zusammen mit den Sprechern @humpty0x von @OntologyNetwork, @zKsisyfos von @StarkWareLtd, @DacEconomy von @ProjectZKM und @Viggy_117 von @eigencloud. Zeitstempel - 00:57:54: 🔹 Besuchen Sie für weitere Berichte aus der Branche 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs berichtete, dass die neueste Version seines SP1 Hypercube zkVM 99,7 % der @ethereum L1-Blöcke in weniger als 12 Sekunden auf 16 RTX 5090 GPUs nachweisen kann, was den früheren Meilenstein für die Echtzeitnachweisführung erweitert: Die Veröffentlichung bringt erhebliche Leistungsverbesserungen, die formale Verifizierung aller RISC-V-Bedingungen, die Beseitigung von Abhängigkeiten der Nähe-Gap-Vermutung und neue Sicherheitsmaßnahmen mit sich. Hypercube führt Audits durch und wird Open Source sowie über das Succinct Prover Network veröffentlicht. 🔹 Forschung 🔹 In einer aktuellen Studie von @ronrothblum, Leiter der Kryptographie bei Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) und @kleptographic (@NYU_Courant) präsentieren die Autoren TensorSwitch, ein nahezu optimales hash-basiertes polynomiales Verpflichtungsschema: Es adressiert zwei Hauptbeschränkungen in hash-basierten SNARGs: die Prover-Zeit und große Beweisgrößen. Mit Tensor-Codes und interaktiven Oracle-Beweisen erreicht TensorSwitch Verpflichtungs- und Öffnungszeiten, die linear in der Eingangsgröße sind, sublineare Hashkosten und asymptotisch minimale Verifier-Abfragen, ohne auf vertrauenswürdige Setups oder gruppenbasierte Kryptographie angewiesen zu sein. 🔹 C2PA 🔹 Succinct ist @C2PA_org beigetreten und arbeitet zusammen mit anderen Teilnehmern an der Entwicklung offener Standards für die Verifizierung digitaler Inhalte: Da die Menge an KI-generierten Medien zunimmt, führt das Projekt ZK-Verifizierung ein, um die Provenienz-Workflows mit Datenschutz und skalierbaren Bestätigungen zu stärken. Succinct hat sich zum Ziel gesetzt, einheitliche Metadatenstandards zu unterstützen und die Interoperabilität über Plattformen hinweg zu verbessern. Durch den Beitritt zu C2PA plant das Projekt, Forschung beizutragen und bei der Bereitstellung von Tools zur Authentizität von Inhalten in praktischen Anwendungen zu helfen. 🔹 OP Succinct Lite 🔹 @Celo hat sein Sepolia-Testnetz durch den Jello-Hardfork auf OP Succinct Lite aktualisiert und sich dem Hauptnetzstart genähert: Früher in diesem Jahr wechselte Celo zu einem Ethereum L2, um reale Zahlungen zu unterstützen, und wurde zur ersten Kette, die OP Succinct Lite mit EigenDA v2 übernommen hat. 🔹 Besuchen Sie für weitere Berichte aus der Branche 🔹

ZKM 🔹 Audit 🔹 ZKMs Ziren wird von @VeridiseInc auditiert, unter Verwendung der Picus-Verifizierungsplattform: Veridise hat die Plonky3-Beschränkungen von Ziren angepasst und Analysen über @AuditHubDev durchgeführt. Erste Ergebnisse bestätigten deterministisches Verhalten für Addition und Subtraktion im AddSub-Chip. Die Teams planen, die Verifizierung auf vollständige Schaltungen auszuweiten und Prüfungen in ZKMs Entwicklungsworkflow zu integrieren. 🔹 Veröffentlichungen 🔹 @ProjectZKM veröffentlichte einen Artikel, der erklärt, wie das GKR-Protokoll Berechnungen von arithmetischen Schaltungen verifiziert, indem es die Konsistenz über die Schichtenschaltungen hinweg mithilfe des multivariaten Sumcheck-Protokolls rekursiv überprüft: Der Artikel erklärt die geschichtete Schaltungsstruktur, die Rolle der multilinearen Erweiterungen, wie Sumcheck die Verifizierung auf Punktbewertungen reduziert und wie die Rekursion an der Eingabeschicht endet. Er zeigt, warum GKR für große Schaltungen effizient ist und eine grundlegende Rolle in modernen ZK-Systemen spielt. 🔹 Veranstaltungen 🔹 ZKM veröffentlichte einen Artikel über ihre Zeit bei @EFDevcon, wobei die Höhepunkte waren: • ZKONNECT von @brevis_zk und House of ZK: ZKMs CTO @sd_eigen nahm an dem Panel zur Echtzeitbeweisführung EVM Proved in 10 Seconds teil, das über GPU-beschleunigte Beweissysteme diskutierte. • Verifying Intelligence von House of ZK und Brevis: Stephen sprach über ZK-basierte Privatsphäre in KI-Workflows und überprüfte Ziren’s Audit mit @VeridiseInc. Mitbegründer @DacEconomy nahm am Panel über KI und Arbeit zur Verifizierung menschlicher Beiträge teil. • @EtherArgentina Hackathon: ZKM sponserte die Veranstaltung, wobei Stephen als Richter und Bildungsleiter @alicelingl die Teams betreute. • Native BTCFi Summit von @babylonlabs_io und @build_on_bob: Diskussionen über @Bitcoin ausgerichtete Finanzen und BTC-Skalierung. • StarkConnect von @Starknet: Stephen nahm an einer Sitzung zur Skalierung von Bitcoin mit Starknet, @AlpenLabs und @atomiqlabs teil. • ZK Real World Summit: Panel über datenschutzfreundliche Chains mit @MantaNetwork, @ZKVProtocol und @nillion. • Cultural Vivo von @invisiblgarden: ZKM kehrte als Sponsor zurück und unterstützte das Zentrum für ZK- und KI-Entwickler. 🔹 Besuchen Sie für weitere Berichte aus der Branche 🔹