“Off-Chain Berechnung + On-Chain Verifizierung” ist das vertrauenswürdige Berechnungsparadigma (Verifiable Computing), das zum allgemeinen Berechnungsmodell für Blockchain-Systeme geworden ist. Es ermöglicht Blockchain-Anwendungen, nahezu unendliche Rechenfreiheit (computational freedom) zu erlangen, während Dezentralisierung und Minimierung von Vertrauen (trustlessness) in Bezug auf Sicherheit beibehalten werden. Zero-Knowledge-Beweise (ZKP) sind die zentralen Säulen dieses Paradigmas, dessen Anwendungen hauptsächlich auf drei grundlegende Richtungen konzentriert sind: Skalierbarkeit (Scalability), Privatsphäre (Privacy) sowie Interoperabilität und Datenintegrität (Interoperability & Data Integrity). Unter diesen ist Skalierbarkeit das früheste Anwendungsfeld der ZK-Technologie, das durch die Verlagerung der Transaktionsausführung auf Off-Chain und die Verwendung kurzer Beweise zur Verifizierung der Ergebnisse On-Chain hohe TPS und kostengünstige vertrauenswürdige Skalierung (trusted scaling) erreicht.
Die Evolution des vertrauenswürdigen ZK-Computing lässt sich zusammenfassen als L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Die frühen L2 zkRollups verlagerten die Ausführung auf die zweite Ebene und reichten Gültigkeitsprüfungen auf der ersten Ebene ein, um mit minimalen Änderungen hohe Durchsatz- und kostengünstige Skalierung zu erreichen. Die zkVM erweiterte sich dann zur generischen verifizierbaren Berechnungsebene, die Cross-Chain-Verifizierung, KI-Inferenz und kryptografische Berechnung unterstützt (Vertreterprojekte: Risc Zero, Succinct, Brevis Pico). Der zkCoprocessor entwickelte sich parallel dazu und bietet als Szenariobasiertes Validierungsmodul Plug-and-Play-Berechnung und Beweisdienste für DeFi, RWA, Risikokontrolle usw. (Vertreterprojekte: Brevis, Axiom). Im Jahr 2025 wird das zkEVM-Konzept auf L1-Echtzeitbeweise (Realtime Proving, RTP) ausgeweitet, indem verifizierbare Schaltkreise auf EVM-Befehlsniveau erstellt werden, sodass Zero-Knowledge-Beweise direkt in die Ausführungs- und Validierungsprozesse des Ethereum-Hauptnetzes integriert werden und zu einem nativen verifizierbaren Ausführungsmechanismus werden. Diese Kontinuität zeigt den technologischen Sprung der Blockchain von „skalierbar“ zu „verifizierbar“ und eröffnet eine neue Phase des vertrauenswürdigen Rechnens.
Eins, der Erweiterungsweg von Ethereum zkEVM: Von L2 Rollup zu L1 Echtzeitbeweisen.
Der Erweiterungsweg des zkEVM von Ethereum hat zwei Phasen durchlaufen:
Phase eins (2022–2024): L2 zkRollup verlagert die Ausführung in die zweite Ebene und reicht Gültigkeitsprüfungen auf der ersten Ebene ein; dies senkt die Kosten erheblich und erhöht den Durchsatz, führt jedoch zu Liquiditäts- und Statusfragmentierung, während L1 weiterhin durch N-of-N-Repetitionen eingeschränkt ist.
Phase zwei (2025–): L1 Echtzeitbeweise (Realtime Proving, RTP) ersetzen „1 von N Beweisen + leichte Validierung im gesamten Netzwerk“ die Wiederholungen und erhöhen den Durchsatz, ohne die Dezentralisierung zu opfern und befinden sich weiterhin in der Entwicklungsphase.
L2 zkRollup-Phase: Gleichgewicht zwischen Kompatibilität und Skalierungsleistung.
Im Jahr 2022, in der Phase der blühenden Layer2-Ökologie, stellte der Ethereum-Gründer Vitalik Buterin vier Kategorien von ZK-EVM vor (Typ 1–4), die strukturelle Kompromisse zwischen Kompatibilität (compatibility) und Leistung (performance) systematisch aufdeckten. Dieser Rahmen hat eine klare Koordinate für die nachfolgende zkRollup-Technologieroute festgelegt:
Typ 1 vollständig äquivalent: Übereinstimmung mit Ethereum-Bytecode, niedrigste Migrationskosten, langsamste Beweise. Taiko.
Typ 2 vollständig kompatibel: sehr wenige unterliegende Optimierungen, höchste Kompatibilität. Scroll, Linea.
Typ 2.5 teilweise kompatibel: kleine Änderungen (Gas/Vorabkompilierung usw.) gegen Leistung. Polygon zkEVM, Kakarot.
Typ 3 teilweise kompatibel: größere Änderungen, kann die meisten Anwendungen ausführen, aber L1-Infrastruktur ist schwer vollständig wiederverwendbar. zkSync Era.
Typ 4 Sprachebene: Aufgeben der Bytecode-Kompatibilität, direkte Kompilierung aus hochrangigen Sprachen zu Schaltkreisen, optimale Leistung, erfordert jedoch den Wiederaufbau der Ökologie (Vertreter: Starknet / Cairo).
Das aktuelle L2 zkRollup-Modell ist ausgereift: Durch die Verlagerung der Ausführung auf die zweite Ebene und das Einreichen von Gültigkeitsprüfungen (Validity Proof) auf der ersten Ebene, unter minimalen Änderungen, wird die Ethereum-Ökologie und Werkzeugkette genutzt und wird zu einer gängigen Lösung zur Skalierung und Kostensenkung. Die Beweisobjekte sind L2-Blöcke und Statusübergänge, während Abrechnung und Sicherheit weiterhin an L1 gebunden sind. Diese Architektur steigert den Durchsatz und die Effizienz erheblich und bleibt hochgradig kompatibel mit Entwicklern, führt jedoch auch zu Liquiditäts- und Statusfragmentierung und L1 bleibt weiterhin durch das N-of-N-Repetitionsengpass limitiert.
L1 zkEVM: Echtzeitbeweise reformieren die Logik der leichten Validierung von Ethereum.
Im Juli 2025 veröffentlichte die Ethereum Foundation einen Artikel (Shipping an L1 zkEVM #1: Realtime Proving), der offiziell den L1 zkEVM-Weg vorschlug. L1 zkEVM aktualisiert Ethereum von N-of-N-Wiederholungen zu 1-of-N-Beweisen + schneller Validierung im gesamten Netzwerk: Eine kleine Anzahl von Prover erzeugt kurze Beweise für den gesamten EVM-Zustandsübergang, alle Validatoren führen nur konstante Zeitvalidierungen durch. Dieser Plan ermöglicht die L1-Realtime-Proving (Realtime Proving), ohne die Dezentralisierung zu opfern, erhöht die Gasobergrenze und den Durchsatz des Hauptnetzes und senkt die Hardware-Anforderungen erheblich. Der Plan ist, traditionelle Ausführungsklienten durch zk-Klienten zu ersetzen, die parallel laufen, während die Leistung, Sicherheit und Anreizmechanismen reif werden, um schrittweise zur neuen Norm auf Protokollebene zu werden.
N von N alte Paradigmen: Alle Validatoren führen wiederholt den gesamten Block von Transaktionen aus, um zu validieren, was sicher, aber durchsatzbeschränkt und teuer ist.
1 von N neues Paradigma: Eine kleine Anzahl von Prover führt den gesamten Block aus und produziert kurze Beweise; das gesamte Netzwerk validiert nur in konstanter Zeit. Die Validierungskosten sind weit niedriger als die Wiederholungsvalidierung und können die L1-Gaskapazität sicher erhöhen und die Hardware-Anforderungen reduzieren.
L1 zkEVM-Roadmap drei Hauptlinien.
Echtzeitbeweis (Realtime Proving): Abschluss des gesamten Beweises innerhalb von 12 Sekunden Slot-Zeit durch Parallelisierung und Hardware-Beschleunigung zur Kompression der Latenz.
Client- und Protokollintegration: Standardisierte Schnittstelle zur Überprüfung von Beweisen, zuerst optional, dann standardmäßig.
Anreize und Sicherheit: Aufbau eines Prover-Marktes und Gebührenmodells zur Stärkung von Widerstandsfähigkeit gegen Zensur und Netzwerkaktivität.
Der L1-Echtzeitbeweis (RTP) von Ethereum führt zkVM durch die Wiederholung des gesamten Blocks von Transaktionen off-chain und erstellt verschlüsselte Beweise, sodass Validatoren nicht wieder berechnen müssen, sondern innerhalb von 10 Sekunden einen kleinen Beweis validieren, um den „Weg der Validierung anstelle der Ausführung“ zu erreichen, was die Skalierbarkeit von Ethereum und die Effizienz der vertrauenswürdigen Validierung erheblich verbessert. Laut der offiziellen zkEVM-Tracker-Seite der Ethereum Foundation sind die wichtigsten Teams, die am L1-zkEVM-Echtzeitbeweis teilnehmen, SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM (Axiom) und Jolt (a16z).
Zwei, über Ethereum hinaus: generisches zkVM und zkCoprocessor.
Außerhalb des Ethereum-Ökosystems hat sich die Zero-Knowledge-Beweis (ZKP)-Technologie auch auf das breitere Feld der generischen verifizierbaren Berechnung (Verifiable Computing) ausgeweitet und bildet zwei technische Systeme, die sich auf zkVM und zkCoprocessor konzentrieren.
zkVM: Generische verifizierbare Berechnungsebene.
Eine verifizierbare Ausführungsmaschine für beliebige Programme, gängige Befehlssatzarchitekturen umfassen RISC-V, MIPS und WASM. Entwickler können Geschäftslogik in zkVM kompilieren, die vom Prover off-chain ausgeführt wird, um verifizierbare Zero-Knowledge-Beweise (ZKP) zu erstellen, die sowohl für die Blockbeweise von Ethereum L1 als auch für Cross-Chain-Validierung, KI-Inferenz, kryptografische Berechnung und komplexe Algorithmen verwendet werden kann. Ihr Vorteil liegt in ihrer Universalität und breiten Anpassungsfähigkeit, aber die Schaltkreise sind komplex, die Beweis-Kosten hoch, und sie erfordern die parallele Nutzung mehrerer GPUs und starke Ingenieuroptimierungen. Vertreterprojekte umfassen Risc Zero, Succinct SP1, Brevis Pico / Prism.
zkCoprocessor: Szenarienbasierte verifizierbare Module.
Bereitstellung von „Plug-and-Play“-Berechnungs- und Beweisdiensten für spezifische Geschäftsszenarien. Die Plattform bietet vorab Datenzugriff und Schaltkreislogik (wie das Lesen historischer On-Chain-Daten, TVL, Ertragsabrechnung, Identitätsprüfung usw.), und die Anwendungsparteien können über SDK / API-Aufrufe Berechnungsergebnisse und Beweise für die On-Chain-Nutzung erhalten. Dieses Modell ist schnell zu erlernen, leistungsfähig und kostengünstig, aber die Universalität ist begrenzt. Typische Projekte sind Brevis zkCoprocessor, Axiom usw.
Insgesamt folgen sowohl zkVM als auch zkCoprocessor dem vertrauenswürdigen Rechenparadigma „Off-Chain-Berechnung + On-Chain-Validierung“ und validieren Off-Chain-Ergebnisse on-chain durch Zero-Knowledge-Beweise. Ihre wirtschaftliche Logik basiert auf der Prämisse, dass die Kosten für die direkte Ausführung on-chain weit höher sind als die kombinierten Kosten für die Generierung von Off-Chain-Beweisen und die Validierung on-chain.
Der Schlüsselunterschied zwischen den beiden liegt in der Universalität und der Ingenieurkomplexität:
zkVM ist eine generische Recheninfrastruktur, die sich für komplexe, domänenübergreifende oder KI-Szenarien eignet und die höchste Flexibilität bietet;
zkCoprocessor ist ein modularer Validierungsdienst, der kostengünstige, direkt ansprechbare Validierungsschnittstellen für hochfrequente, wiederverwendbare Szenarien (DeFi, RWA, Risikokontrolle usw.) bereitstellt.
Auf dem kommerziellen Pfad liegt der Unterschied zwischen zkVM und zkCoprocessor in:
zkVM verwendet das Proving-as-a-Service-Modell und berechnet nach jedem Beweis (ZKP), hauptsächlich ausgerichtet auf Infrastrukturkunden wie L2 Rollups, mit Merkmalen wie großen Vertragsgrößen, langen Zeiträumen und stabilen Margen.
Der zkCoprocessor hingegen konzentriert sich auf Proof API-as-a-Service und berechnet nach Aufgaben durch API-Aufrufe oder SDK-Integration, näher am SaaS-Modell, ausgerichtet auf DeFi und andere Anwendungsprotokolle, mit schneller Integration und starker Skalierbarkeit.
Insgesamt ist zkVM die zugrunde liegende Engine für verifizierbare Berechnungen, während zkCoprocessor das Validierungsmodul auf Anwendungsebene ist: Ersteres bildet die technologische Verteidigungslinie, während letzteres die Kommerzialisierung vorantreibt und gemeinsam ein vertrauenswürdiges Rechen-Netzwerk bildet.
Drei, das Produktportfolio und den technischen Pfad von Brevis.
Beginnend mit der L1-Realzeitbeweis (Realtime Proving) von Ethereum, bewegt sich die ZK-Technologie allmählich in eine Ära der verifizierbaren Berechnung, die sich um eine generische zkVM und zkCoprocessor-Architektur gruppiert. Brevis Network ist die Synthese von zkVM und zkCoprocessor und hat eine verifizierbare Infrastruktur mit Zero-Knowledge-Berechnung als Kern entwickelt, die sowohl hohe Leistung als auch Programmierbarkeit bietet – der Weg zur unendlichen Berechnungsschicht für alles.
3.1 Pico zkVM: Modulare Beweisarchitektur für generisch verifizierbare Berechnung.
Im Jahr 2024 schlug Vitalik in (Glue and Coprocessor Architectures) die Architektur „generelle Ausführungsschicht + Co-Prozessor-Beschleunigungsschicht“ (glue & coprocessor) vor. Komplexe Berechnungen können in generelle Geschäftslogik und strukturierte intensive Berechnungen unterteilt werden – erstere streben nach Flexibilität (wie EVM, Python, RISC-V), letztere nach Effizienz (wie GPU, ASIC, Hash-Module). Diese Architektur wird zu einem gemeinsamen Trend in Blockchain, KI und kryptographischen Berechnungen: EVM beschleunigt durch Precompiles, KI nutzt GPUs parallel und ZK-Beweise kombinieren allgemeine VMs mit speziellen Schaltkreisen. Der Schlüssel der Zukunft liegt darin, die „Kleber-Schicht“ zu optimieren, um Sicherheit und Entwicklungserfahrung zu verbessern, während die „Co-Prozessor-Schicht“ auf effiziente Ausführung fokussiert, um ein Gleichgewicht zwischen Leistung, Sicherheit und Offenheit zu erreichen.
Pico zkVM wurde von Brevis entwickelt und ist eine repräsentative Umsetzung dieses Konzepts. Durch die Architektur „generisches zkVM + Co-Prozessor-Beschleunigung“ kombiniert es flexible Programmierbarkeit mit Hochleistungsberechnungen von spezialisierten Schaltkreisen. Sein modulares Design unterstützt verschiedene Beweis-Backends (KoalaBear, BabyBear, Mersenne31) und kann Komponenten wie Ausführung, Rekursion und Kompression frei kombinieren, um eine ProverChain zu bilden.
Das modulare System von Pico kann nicht nur die Kernkomponenten frei umstrukturieren, sondern auch neue Beweis-Backends und anwendungsbasierte Co-Prozessoren (wie On-Chain-Daten, zkML, Cross-Chain-Verifizierung) einführen, um kontinuierliche evolutionäre Skalierbarkeit zu erreichen. Entwickler können die Rust-Toolchain direkt verwenden, um Geschäftslogik zu schreiben, ohne über Kenntnisse in Zero-Knowledge zu verfügen, um verschlüsselte Beweise automatisch zu generieren und die Eintrittsbarrieren für die Entwicklung erheblich zu senken.
Im Vergleich zur relativ monolithischen RISC-V zkVM-Architektur von Succinct SP1 und dem allgemeinen RISC-V-Ausführungsmodell von RISC Zero R0VM erreicht Pico durch das modulare zkVM + Coprocessor-System eine Entkopplung und Erweiterung der Ausführungs-, Rekursions- und Kompressionsphasen, unterstützt den Wechsel zwischen mehreren Backends und die Integration von Co-Prozessoren und schafft differenzierte Vorteile in Bezug auf Leistung und Skalierbarkeit.
3.2 Pico Prism: Leistung durch Multi-GPU-Cluster.
Pico Prism ist ein bedeutender Durchbruch von Brevis in der Multi-Server-GPU-Architektur und hat im Rahmen des „Real-Time Proving (RTP)“-Rahmens der Ethereum Foundation einen neuen Rekord aufgestellt. Es erreicht bei einem 64×5090 GPU-Cluster eine durchschnittliche Beweiszeit von 6,9 Sekunden und eine RTP-Abdeckungsrate von 96,8%, was die Leistung an die Spitze der ähnlichen zkVMs bringt. Dieses System hat auf der Architektur-, Ingenieur-, Hardware- und Systemeebene Optimierungen erreicht und markiert den Übergang von zkVM von einem Forschungsprototyp zu einer produktionsfähigen Infrastruktur.
Architekturdesign: Traditionelle zkVM (wie SP1, R0VM) verlassen sich hauptsächlich auf die Optimierung einzelner GPUs. Pico Prism hat zum ersten Mal parallele Beweise mit mehreren Servern und mehreren GPU-Clustern (Cluster-Level zkProving) realisiert und durch Multithreading und Sharding-Planung zk-Beweise in ein verteiltes Rechensystem erweitert, was die Parallelität und Skalierbarkeit erheblich verbessert.
Ingenieure Umsetzung: Aufbau einer mehrstufigen asynchronen Pipeline (Ausführung / Rekursion / Kompression) und eines Mechanismus zur Datenwiederverwendung über Schichten hinweg (Proof Chunk-Cache und Embedding-Wiederverwendung) sowie Unterstützung für den Wechsel zwischen mehreren Backends (KoalaBear, BabyBear, M31), was die Durchsatz-Effizienz erheblich steigert.
Hardware-Strategie: Bei einer Konfiguration von 64×RTX 5090 GPU (ca. $128K) erreicht Pico Prism eine durchschnittliche Beweiszeit von 6,0–6,9 Sekunden und eine RTP-Abdeckungsrate von 96,8%. Das Leistungs-/Kostenverhältnis verbessert sich um etwa das 3,4-fache, was besser ist als das SP1 Hypercube (160×4090 GPU, 10,3 Sekunden).
Systementwicklung: Als erste zkVM, die die RTP-Kennzahlen der Ethereum Foundation ( >96% sub-10s, <$100K Kosten) erfüllt, markiert Pico Prism den Übergang des zk-Beweissystems von einem Forschungsprototyp hin zu einer produktionsfähigen Infrastruktur auf der Hauptnetzebene, die wirtschaftlichere Zero-Knowledge-Computing-Lösungen für Szenarien wie Rollup, DeFi, KI und Cross-Chain-Verifizierung bietet.
3.3 ZK-Datenkooperationsmodul: Blockchain-Datenintelligente Zero-Knowledge-Kooperationsschicht.
Im ursprünglichen Design von Smart Contracts fehlt es an „Gedächtnis“ – sie können nicht auf historische Daten zugreifen, langfristiges Verhalten erkennen oder Cross-Chain-Analysen durchführen. Brevis' leistungsstarker Zero-Knowledge-Coprocessor (ZK Coprocessor) bietet Smart Contracts den Zugang zu historischen Cross-Chain-Daten und vertrauenswürdigen Rechenfähigkeiten, um den gesamten historischen Status, Transaktionen und Ereignisse der Blockchain zu validieren und zu berechnen, und wird in datengestützten DeFi-, proaktiven Liquiditätsmanagement-, Benutzeranreiz- und Cross-Chain-Identifikation angewendet.
Der Arbeitsablauf von Brevis umfasst drei Schritte:
Datenzugriff: Smart Contracts lesen historische Daten ohne Vertrauen über APIs.
Berechnungsausführung: Entwickler verwenden SDK, um Geschäftslogik zu definieren, die von Brevis off-chain berechnet und ZK-Beweise generiert werden.
Ergebnisvalidierung: Die Beweisergebnisse werden on-chain zurückgegeben, validiert durch den Vertrag und rufen nachfolgende Logik auf.
Brevis unterstützt sowohl Pure-ZK- als auch CoChain (OP)-Modelle: Erstere erreichen eine vollständige Minimierung des Vertrauens, sind jedoch kostenintensiver; letztere ermöglichen über PoS-Verifizierung und ZK-Herausforderung mit geringerem Aufwand verifizierbare Berechnungen. Validatoren setzen auf Ethereum, und wenn das Ergebnis durch die ZK-Beweise erfolgreich angefochten wird, wird es beschlagnahmt, um ein Gleichgewicht zwischen Sicherheit und Effizienz zu erreichen. Durch die Integration der Architektur von ZK + PoS + SDK erreicht Brevis ein Gleichgewicht zwischen Sicherheit und Effizienz und schafft eine skalierbare vertrauenswürdige Datenberechnungsebene. Derzeit hat Brevis PancakeSwap, Euler, Usual, Linea und andere Protokolle bedient, und alle Kooperationen mit zkCoprocessor basieren auf dem Pure-ZK-Modell, um DeFi, Anreizverteilung und On-Chain-Identitätssysteme mit vertrauenswürdigen Daten zu unterstützen, sodass Smart Contracts tatsächlich „Gedächtnis und Intelligenz“ haben.
3.4 Incentra: auf ZK basierende „verifizierbare Anreizverteilungsebene.
Incentra ist eine vertrauenswürdige Anreizverteilungsplattform, die von Brevis zkCoprocessor betrieben wird und DeFi-Protokollen sichere, transparente und verifizierbare Mechanismen zur Berechnung und Verteilung von Belohnungen bietet. Es validiert direkt on-chain durch Zero-Knowledge-Beweise die Ergebnisse von Anreizen und ermöglicht eine vertrauenslose, kostengünstige und cross-chain-fähige Durchführung von Anreizen. Das System führt die Berechnung und Validierung von Belohnungen in ZK-Schaltkreisen durch und stellt sicher, dass jeder Benutzer die Ergebnisse unabhängig validieren kann; gleichzeitig unterstützt es Cross-Chain-Operationen und Zugriffskontrollen, um eine konforme und sichere automatische Anreizverteilung zu ermöglichen.
Incentra unterstützt hauptsächlich drei Arten von Anreizmodellen:
Token-Holding: Berechnung der langfristigen Halteprämien basierend auf dem zeitgewichteten Saldo (TWA) von ERC-20.
Konzentrierte Liquidität: Verteilung von Liquiditätsprämien basierend auf den Provisionssätzen von AMM DEX, kompatibel mit ALM-Protokollen wie Gamma und Beefy.
Lend & Borrow: Berechnung von Kreditbelohnungen basierend auf Durchschnittsalter und Schulden.
Dieses System wurde in Projekten wie PancakeSwap, Euler, Usual, Linea angewendet und hat einen vertrauenswürdigen geschlossenen Kreislauf von der Anreizberechnung bis zur Verteilung geschaffen, um DeFi-Protokollen eine ZK-qualifizierte Infrastruktur für Anreize zu bieten.
3.5 Gesamtübersicht des Produkttechnologiestacks von Brevis.
Vier, technische Indikatoren und Leistungsdurchbrüche von Brevis zkVM.
Die von der Ethereum Foundation (EF) vorgeschlagenen L1-zkEVM-Standards für Echtzeitbeweise (Realtime Proving, RTP) sind zur branchenweiten Konsens- und Zugangsschwelle geworden, die darüber entscheidet, ob zkVM in den Validierungsweg des Ethereum-Mainnet eintreten kann. Die Kernbewertungskennzahlen umfassen:
Latenzanforderungen: P99 ≤ 10 Sekunden (entspricht dem Ethereum 12-Sekunden-Blockzyklus).
Hardware-Beschränkungen: CAPEX ≤ $100K, Stromverbrauch ≤ 10kW (geeignet für Haushalts- / kleine Rechenzentren).
Sicherheitsgrad: ≥128-Bit (Übergangszeit ≥100-Bit).
Beweisdimension: ≤300 KiB;
Systemanforderungen: Darf nicht von vertrauenswürdigen Setups abhängen, und der Kerncode muss vollständig open-source sein.
Im Oktober 2025 veröffentlichte Brevis den Bericht (Pico Prism — 99,6% Echtzeitbeweis für 45M Gas Ethereum-Blöcke auf Consumer-Hardware) und gab bekannt, dass ihr Pico Prism der erste zkVM ist, der vollständig den Echtzeitblockbeweis (RTP)-Standards der Ethereum Foundation (EF) entspricht.
Bei einer Konfiguration von 64×RTX 5090 GPU (ca. $128K) hat Pico Prism im 45M Gas-Block eine durchschnittliche Latenz von 6,9 Sekunden, 96,8% <10s und 99,6% <12s erzielt, was deutlich besser ist als das Succinct SP1 Hypercube (36M Gas, Durchschnittszeit 10,3s, 40,9% <10s). Bei einer Reduzierung der Latenz um 71% und einer Halbierung der Hardwarekosten wurde die Gesamteffizienz von Leistung/Kosten um etwa 3,4× verbessert. Dieses Ergebnis wurde von der Ethereum Foundation, Vitalik Buterin und Justin Drake öffentlich anerkannt.
Fünf, Brevis Ökosystemerweiterung und Anwendungseinführung.
Das ZK-Datenkooperationsmodul von Brevis (zkCoprocessor) ist verantwortlich für die Verarbeitung komplexer Berechnungen, die dApps nicht effizient durchführen können (wie historische Verhaltens-, Cross-Chain-Daten, aggregierte Analysen), und erstellt verifizierbare Zero-Knowledge-Beweise (ZKP). Die Blockkette muss nur diese kleine Bestätigung validieren, um die Ergebnisse sicher abzurufen und die Gas-, Latenz- und Vertrauenskosten erheblich zu senken. Im Vergleich zu traditionellen Orakeln bietet Brevis nicht nur „Ergebnisse“, sondern auch „mathematische Garantien für die Richtigkeit der Ergebnisse“, wobei die Hauptanwendungsszenarien in folgende Kategorien unterteilt werden können.
Intelligentes DeFi (Intelligent DeFi): Basierend auf historischem Verhalten und Marktstatus werden intelligente Anreize und differenzierte Erlebnisse ermöglicht (PancakeSwap, Uniswap, MetaMask usw.).
RWA und Stablecoin-Wachstum (RWA & Stable Token Growth): Automatisierte Verteilung von Stablecoin- und RWA-Erträgen durch ZK-Validierung (OpenEden, Usual Money, MetaMask USD).
Privacy-Dezentralisierte Transaktionen (DEX mit Dark Pools): Ein privates Handelsmodell, das Off-Chain-Vermittlung und On-Chain-Validierung verwendet, wird bald eingeführt.
Cross-Chain-Interoperabilität: Unterstützung von Cross-Chain-Re-Staking und Rollup-L1-Interoperabilität zur Schaffung einer gemeinsamen Sicherheitsebene (Kernel, Celer, 0G).
Öffentliche Blockchain-Kaltstarts (Blockchain Bootstrap): Unterstützung neuer öffentlicher Blockchain-Ökosysteme beim Kaltstart und Wachstum durch ZK-Anreizmechanismen (Linea, TAC).
Hochleistungsblockchains (100× schnellere L1s): Förderung der Leistungssteigerung öffentlicher Blockchains wie Ethereum durch Echtzeitbeweis (RTP) Technologie (Ethereum, BNB Chain).
Verifizierbare KI (Verifiable AI): Integration von Datenschutz und verifizierbarem Schließen, um AgentFi und Datenwirtschaft vertrauenswürdige Rechenleistung zu bieten (Kaito, Trusta).
Laut den Daten des Brevis Explorers hat das Brevis-Netzwerk bis Oktober 2025 über 125 Millionen ZK-Beweise generiert, die fast 95.000 Adressen und 96.000 Anwendungsanfragen abdecken und umfassend für Belohnungsverteilung, Transaktionsvalidierung und Staking-Beweise verwendet werden. Auf der ökologischen Ebene hat die Plattform insgesamt Anreize von etwa 223 Millionen US-Dollar verteilt und einen TVL von über 2,8 Milliarden US-Dollar unterstützt, während das gesamte Handelsvolumen 1 Milliarde US-Dollar überschreitet.
Derzeit konzentriert sich das Ökosystemgeschäft von Brevis hauptsächlich auf die beiden Richtungen der DeFi-Anreizverteilung und der Liquiditätsoptimierung, wobei die Rechenleistung hauptsächlich von den vier Projekten Usual Money, PancakeSwap, Linea Ignition und Incentra bereitgestellt wird, die zusammen über 85% ausmachen. Davon:
Usual Money (46,6M Beweise): zeigt seine langfristige Stabilität in der großflächigen Anreizverteilung;
PancakeSwap (20,6M): zeigt die hohe Leistung von Brevis bei der Berechnung von Echtzeitgebühren und Rabatten;
Linea Ignition (20,4M): validiert ihre hohe Parallelverarbeitungsfähigkeit in den Aktivitäten des L2-Ökosystems;
Incentra (15,2%): markiert die Entwicklung von Brevis von SDK-Tools zu einer standardisierten Anreizplattform.
Im Bereich DeFi-Incentives unterstützt Brevis mehrere Protokolle, die auf der Incentra-Plattform eine transparente und kontinuierliche Prämienverteilung ermöglichen.
Usual Money hat ein jährliches Anreizvolumen von über $300M und bietet Stablecoin-Nutzern und LPs kontinuierliche Erträge an.
OpenEden und Bedrock realisieren die Verteilung von US-Anleihen und Restaking-Erträgen auf Basis des CPI-Modells.
Protokolle wie Euler, Aave und BeraBorrow validieren Kreditpositionen und Prämienberechnungen durch ZK.
Im Bereich der Liquiditätsoptimierung setzen PancakeSwap, QuickSwap, THENA und Beefy Brevis' dynamische Gebühren- und ALM-Anreize um, um Handelsrabatte und Cross-Chain-Ertragsaggregation zu erreichen; Jojo Exchange und Uniswap Foundation nutzen die ZK-Validierungsmechanismen, um sicherere Handelsanreizsysteme zu schaffen.
Im Bereich Cross-Chain und Infrastruktur hat sich Brevis von Ethereum auf BNB Chain, Linea, Kernel DAO, TAC und 0G ausgeweitet, um einer Multi-Chain-Ökologie vertrauenswürdige Rechen- und Cross-Chain-Verifizierungsfähigkeiten zu bieten. Gleichzeitig nutzen Projekte wie Trusta AI, Kaito AI und MetaMask die ZK-Daten-Co-Prozessoren, um privacy-protective Punktesysteme, Einflussbewertungen und Belohnungssysteme zu entwickeln und die intelligente Entwicklung von Web3-Daten voranzutreiben. Auf der Systemeebene bietet Brevis durch das EigenLayer AVS-Netzwerk eine Sicherheit für das Re-Staking und kombiniert die NEBRA-aggregierte Beweis-Technologie (UPA), um mehrere ZK-Beweise in einer einzigen Einreichung zu komprimieren, was die Kosten und die Verzögerung für die on-chain Validierung erheblich senkt.
Insgesamt hat Brevis bereits alle Anwendungsbereiche von langfristigen Anreizen, Aktivitätsbelohnungen, Transaktionsvalidierungen bis hin zu plattformorientierten Dienstleistungen abgedeckt. Ihre Hochfrequenz-Validierungsaufgaben und wiederverwendbaren Schaltkreisvorlagen bieten Pico/Prism echten Leistungsdruck und Optimierungsfeedback, was voraussichtlich auf ingenieurtechnischer und ökologischer Ebene das L1-zkVM-Realtime-Proving-System zurückspeisen wird und einen zweiseitigen Flywheel von Technologie und Anwendungen bildet.
Sechs, Team-Hintergrund und Projektfinanzierung.
Mo Dong｜Mitbegründer (Co-founder, Brevis Network)
Dr. Mo Dong ist Mitbegründer von Brevis Network und hat einen Doktortitel in Informatik von der University of Illinois Urbana-Champaign (UIUC). Seine Forschungsergebnisse wurden auf internationalen Top-Akademie-Konferenzen veröffentlicht, von Technologieunternehmen wie Google übernommen und haben Tausende von akademischen Zitierungen erhalten. Er ist Experte im Bereich algorithmische Spieltheorie und Protokollmechanismusdesign und konzentriert sich darauf, die Kombination von Zero-Knowledge-Berechnungen (ZK) und dezentralen Anreizmechanismen voranzutreiben, um eine vertrauenswürdige verifizierbare Rechenwirtschaft zu schaffen. Als Risikokapitalpartner von IOSG Ventures ist er auch langfristig an frühen Investitionen in Web3-Infrastrukturen interessiert.
Das Brevis-Team wurde von Doktoranden der UIUC, MIT und UC Berkeley in den Bereichen Kryptographie und Informatik gegründet, die über jahrelange Forschungserfahrung in Zero-Knowledge-Beweissystemen (ZKP) und verteilten Systemen verfügen und mehrere von Peer-Review geprüfte Papiere veröffentlicht haben. Brevis hat die technologische Anerkennung der Ethereum Foundation erhalten, und sein Kernmodul wird als kritische Infrastruktur für die Skalierbarkeit on-chain angesehen.
Brevis schloss im November 2024 eine Seed-Runde mit 7,5 Millionen US-Dollar ab, die von Polychain Capital und Binance Labs geleitet wurde, wobei zu den Investoren auch IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures und strategische Angel-Investoren aus Kyber, Babylon, Uniswap, Arbitrum und AltLayer gehören.
Sieben, Marktanalyse von ZKVM und ZK Coprocessor Wettbewerbsprodukten.
Derzeit ist ETHProofs.org, das von der Ethereum Foundation unterstützt wird, zur zentralen Verfolgungsplattform für den L1 zkEVM-Echtzeitbeweis (Realtime Proving, RTP) geworden, um die Leistung, Sicherheit und Fortschritte bei der Anpassung der Hauptnetze der verschiedenen zkVM öffentlich darzustellen.
Insgesamt konzentriert sich der Wettbewerb im RTP-Segment auf vier zentrale Dimensionen:
Reifegrad: SP1 ist am ausgereiftesten für die Produktion; Pico ist leistungsstark und nahe am Hauptnetzstandard; RISC Zero ist stabil, aber RTP-Daten sind nicht veröffentlicht.
Leistungsdarstellung: Das Beweisvolumen von Pico beträgt etwa 990 kB, was eine Reduzierung um etwa 33% im Vergleich zu SP1 (1,48 MB) darstellt und kostengünstiger ist.
Sicherheit und Audit: Sowohl RISC Zero als auch SP1 haben bereits unabhängige Sicherheitsprüfungen bestanden; Pico befindet sich im Prüfungsprozess.
Entwicklungsökosystem: Die gängigen zkVM verwenden alle den RISC-V-Befehlssatz, SP1 hat ein breites Integrationsökosystem mit dem Succinct Rollup SDK gebildet; Pico unterstützt die automatische Generierung von Beweisen in Rust, die Vollständigkeit des SDK wird schnell verbessert.
Laut den neuesten Daten hat sich der RTP-Bereich zu einem „Zwei-Stärken-Muster“ entwickelt.
Die erste Reihe Brevis Pico (einschließlich Prism) und Succinct SP1 Hypercube zielen beide auf den von der EF festgelegten Standard P99 ≤ 10s ab. Ersteres erreicht Leistungs- und Kosten Durchbrüche durch verteilte Multi-GPU-Architekturen; letzteres bewahrt die technische Reife und die Stabilität des Ökosystems durch monolithische Systeme. Pico steht für Leistungs- und Architekturinnovationen, SP1 steht für Praktikabilität und Ökosystemvorsprung.
Die zweite Reihe RISC Zero, ZisK, ZKM erkundet weiterhin die ökologische Kompatibilität und Leichtbauweise, hat jedoch noch keine vollständigen RTP-Kennzahlen (Latenz, Stromverbrauch, CAPEX, Sicherheitsgrad, Beweisgröße, Reproduzierbarkeit) veröffentlicht. Scroll (Ceno) und Matter Labs (Airbender) versuchen, Rollup-Technologie auf die L1-Validierungsebene zu erweitern, was den Trend zur evolutionären Entwicklung von L2-Skalierungen zu L1-verifizierbaren Berechnungen widerspiegelt.
Im Jahr 2025 hat sich der zkVM-Bereich zu einem technischen Muster mit RISC-V-Vereinheitlichung, modularer Evolution, rekursiver Standardisierung und Hardwarebeschleunigung parallel entwickelt. Die generische verifizierbare Berechnungsebene (Verifiable Compute Layer) von zkVM kann in drei Kategorien unterteilt werden:
Leistungsorientiert: Brevis Pico, SP1, Jolt, ZisK konzentrieren sich auf niedrige Latenz und Echtzeitbeweise, indem sie durch rekursive STARKs und GPU-Beschleunigung die Berechnungseffizienz steigern.
Modular und skalierbar: OpenVM, Pico, SP1 betonen modulare Steckbarkeit und unterstützen den Anschluss von Co-Prozessoren.
Ökologische und generische Entwicklung: RISC Zero, SP1, ZisK konzentrieren sich auf SDK- und Sprachkompatibilität, um die Universalität zu fördern.
Derzeit hat sich die zk-Coprocessor-Sparte zu einem Muster mit Brevis, Axiom, Herodotus und Lagrange entwickelt. Brevis führt mit einer „ZK-Datenkooperationsarchitektur + generischer zkVM“ und verfügt über Fähigkeiten zur historischen Datenabfrage, programmierbaren Berechnungen und L1-RTP; Axiom konzentriert sich auf verifizierbare Abfragen und Schaltkreis-Rückrufe; Herodotus fokussiert sich auf den Zugriff auf historische Zustände; Lagrange optimiert die Cross-Chain-Berechnungsleistung mit einer ZK+Optimistic-Hybridarchitektur. Insgesamt wird der zk-Coprocessor zunehmend zu einer vertrauenswürdigen Schnittstelle für verifizierbare Dienstleistungen in Anwendungen wie DeFi, RWA und KI.
Acht, Zusammenfassung: Geschäftslogik, Ingenieure Umsetzung und potenzielle Risiken.
Geschäftslogik: Leistungsgetrieben und doppelte Flywheel.
Brevis baut eine mehrschichtige vertrauenswürdige Berechnungsebene mit „generischen zkVM (Pico/Prism)“ und „Daten-Co-Prozessoren (zkCoprocessor)“ auf: Erstere lösen beliebige berechenbare Probleme, letztere realisieren den Einsatz von historischen und Cross-Chain-Daten.
Ihre Wachstumslogik bildet einen positiven Kreislauf aus „Leistung – Ökosystem – Kosten“: Die RTP-Leistung von Pico Prism zieht die Integration führender Protokolle an, was zu einem Wachstum des Beweisvolumens und sinkenden Kosten pro Beweis führt und einen kontinuierlichen Verstärkungsprozess des doppelten Flywheels schafft. Die Wettbewerbsvorteile liegen hauptsächlich in drei Punkten:
Leistung reproduzierbar - bereits im ETHProofs RTP-System der Ethereum Foundation integriert;
Architekturbarrieren - Modulares Design und parallele Implementierung auf mehreren GPUs erreichen hohe Skalierbarkeit;
Kommerzielle Validierung - hat bereits in der Anreizverteilung, dynamischen Gebühren und Cross-Chain-Validierung eine groß angelegte Umsetzung erreicht.
Ingenieure Umsetzung: Von „Wiederholungen“ zu „Validierung statt Ausführung“
Brevis erreicht durch das parallele Framework von Pico zkVM und Prism in einem 45M Gas-Block eine durchschnittliche Beweiszeit von 6,9 Sekunden, P99 < 10 Sekunden (64×5090 GPU, <$130K CAPEX), wobei Leistung und Kosten führend sind. Das zkCoprocessor-Modul unterstützt den Zugriff auf historische Daten, die Generierung von Schaltkreisen und die Validierung von Rückverbindungen und kann flexibel zwischen Pure-ZK- und Hybrid-Modi wechseln, wobei die Gesamtleistung im Wesentlichen den harten Standards von Ethereum RTP entspricht.
Potenzielle Risiken und zu beachtende Punkte.
Technische und Compliance-Hürden: Brevis muss weiterhin die harten Kennzahlen zu Stromverbrauch, Sicherheitsgrad, Beweisgröße und Abhängigkeit von vertrauenswürdigen Setups öffentlich machen und durch Dritte validieren. Langfristige Leistungsoptimierungen bleiben entscheidend, EIP-Anpassungen könnten Leistungsengpässe ändern.
Wettbewerbs- und Ersatzrisiken: Succinct (SP1/Hypercube) bleibt in der Integration von Toolchains und Ökosystemen führend, Risc Zero, Axiom, OpenVM, Scroll, zkSync und andere Teams sind ebenfalls nicht zu unterschätzen.
Einnahmenkonzentration und Geschäftsstruktur: Derzeit ist das Beweisvolumen hoch konzentriert (die vier größten Anwendungen machen etwa 80% aus), was eine Diversifizierung durch mehrere Branchen, mehrere Blockchains und mehrere Anwendungsfälle erfordert, um die Abhängigkeit zu verringern. GPU-Kosten könnten die Margen pro Einheit beeinflussen.
Zusammenfassend hat Brevis sowohl an den Enden „leistungsreproduzierbar“ als auch „geschäftlich umsetzbar“ eine erste Verteidigungslinie aufgebaut: Pico/Prism hat sich fest in der ersten Liga der L1 RTP etabliert, während zkCoprocessor hochfrequente, wiederverwendbare kommerzielle Szenarien eröffnet. Zukünftig wird empfohlen, die vollständigen harten Ziele der Ethereum Foundation für RTP als vorübergehendes Ziel zu erreichen, die Standardisierung von Co-Prozessor-Produkten und die Ökosystemerweiterung weiter zu stärken und gleichzeitig die Wiederholung durch Dritte, Sicherheitsprüfungen und Kostentransparenz voranzutreiben. Durch die Schaffung eines strukturellen Gleichgewichts zwischen Infrastruktur und SaaS-Einnahmen kann ein nachhaltiger Geschäfts-Wachstumszyklus gebildet werden.
Haftungsausschluss: Dieser Artikel wurde mit Unterstützung des KI-Tools ChatGPT-5 erstellt. Der Autor hat sich bemüht, die Informationen zu überprüfen und deren Richtigkeit sicherzustellen, aber es können dennoch Fehler auftreten, wofür um Verständnis gebeten wird. Es ist besonders zu beachten, dass der Markt für Krypto-Assets häufig eine Diskrepanz zwischen dem zugrunde liegenden Projekt und der Preisentwicklung im Sekundärmarkt aufweist. Der Inhalt dieses Artikels dient ausschließlich der Informationszusammenstellung und dem akademischen/forschenden Austausch und stellt kein Anlageberatung dar, noch sollte er als Kauf- oder Verkaufsempfehlung für irgendeinen Token angesehen werden.
#ZK #brevis #zkEVM #ZKVM #ZKCoprocessor