Brevis veröffentlicht das ProverNet-Whitepaper und erläutert den ersten dezentralen Marktplatz für Zero-Knowledge-Proof-Generierung.

Chainfeeds Zusammenfassung:

ProverNet wird in Kürze offiziell starten, weitere Implementierungsdetails und der Zeitplan werden gesondert bekannt gegeben.

Quelle des Artikels:

Autor des Artikels:

Brevis

Meinung:

Brevis: Die Architektur von ProverNet betrachtet verschiedene Beweistypen als unterschiedliche Güter in einer Auktion. Anwendungen geben ihre Anforderungen an Beweise an, einschließlich Verarbeitungstyp (zkVM-Ausführung, Datenbeweis, rekursive Aggregation), Frist, maximaler Gebühr und Qualitätsparametern. Der TODA-Mechanismus berechnet in jeder Runde die optimale Zuteilung und ordnet heterogene Anfragen den passenden Beweiskapazitäten zu. Dieser Mechanismus löst die einzigartigen Herausforderungen des Beweiserzeugungsmarktes. Traditionelle Auktionsmechanismen basieren auf der Annahme homogener Güter, während TODA verschiedene Beweistypen gleichzeitig verarbeiten kann. Komplexe Beweisaufgaben werden in Teilaufgaben zerlegt, die von verschiedenen Prover zusammen ausgeführt werden. Beispielsweise kann ein zkVM-Beweis darin bestehen, dass ein Prover die Blockbildung übernimmt, ein anderer die Komprimierung, ein dritter die Aggregation und schließlich ein vierter ein spezialisiertes System für die abschließende Verifizierung und Verpackung nutzt. TODA garantiert mehrere ökonomische Eigenschaften: Wahrhaftigkeit (die optimale Strategie ist das ehrliche Bieten); Budgetausgleich (die eingenommenen Gebühren übersteigen die gezahlten Gebühren); individuelle Rationalität (kein Teilnehmer akzeptiert unrentable Aufgaben) und asymptotische Optimalität (mit wachsendem Angebot an Provern nähert sich die Zuteilung der maximalen Effizienz). ProverNet baut auf der bestehenden Beweis-Infrastruktur von Brevis auf, die zwei komplementäre Produkte umfasst, um unterschiedlichen Rechenanforderungen gerecht zu werden. Pico zkVM verwendet eine "universelle Kern + Hochleistungs-Coprozessor"-Architektur, bei der ein minimalistischer, effizienter Kern mit einem spezialisierten Kryptographie-Beschleuniger verbunden ist, sodass Programme während des Betriebs einer stabilen virtuellen Maschine gezielte Hardware-Optimierungen nutzen können. Pico Prism hat kürzlich eine Beweisabdeckung von 99,6 % für Ethereum-Blöcke mit einem Gas-Limit von 45 Millionen erreicht und 96,8 % dieser Beweise innerhalb von 12 Sekunden abgeschlossen, mit einer durchschnittlichen Beweiszeit von 6,9 Sekunden. Das System nutzt einen Cluster aus 64×RTX 5090 GPUs und erreicht Echtzeitbeweise bei 50 % geringeren Hardwarekosten als die bisher beste zkVM auf dem Markt. Der ZK Data Coprozessor ermöglicht es Smart Contracts, auf historische Blockchain-Daten zuzugreifen und verschlüsselt verifizierbare Off-Chain-Berechnungen durchzuführen. Zu den unterstützten Anwendungen gehören VIP-Gebühren bei PancakeSwap (Prüfung des Handelsvolumens der letzten 30 Tage vor dem Handel), vertrauenslose Belohnungsverteilung bei Euler (Verarbeitung zeitgewichteter Salden von Tausenden von Adressen) und Routing-Rabatte bei Uniswap v4 (Überprüfung der Handelsberechtigung ohne zentrales Hauptbuch). Diese Integrationen zeigen den datenintensiven Beweisbedarf, der sich von der allgemeinen Berechnungsverifizierung unterscheidet. Diese Systeme gemeinsam etablieren die wirtschaftliche Machbarkeit der Echtzeit-Kryptoverifizierung im großen Maßstab der Basisschicht und bedienen gleichzeitig die heterogenen Arbeitslasten, die die ProverNet-Marktarchitektur motivieren. ProverNet stellt einen Wandel von einer Infrastruktur mit einem einzelnen Beweisanbieter hin zu einer marktbasierten Ressourcenallokation dar. Bestehende Prover-Netzwerke sind oft auf enge Anwendungsfälle optimiert (z. B. spezifische Rollup-Beweise, bestimmte virtuelle Maschinen oder homogene Arbeitstypen), was ihre Fähigkeit einschränkt, vielfältige Anforderungen effizient zu bedienen. Das Auktionsmodell des Marktes ermöglicht es Beweisteams, sich auf spezifische Optimierungsziele zu konzentrieren (STARK-basierte Batch-Verarbeitung, latenzarme SNARK-Beweise, bestimmte kryptographische Operationen), ohne eine universelle Infrastruktur aufbauen zu müssen. Gleichzeitig erhalten Anwendungen wettbewerbsfähige Preise und Servicegarantien, ohne von einem Anbieter abhängig zu sein. Für Entwickler entfällt damit das Dilemma, zwischen dem Aufbau einer maßgeschneiderten Beweis-Infrastruktur (teuer und zeitaufwendig) und der Abhängigkeit von zentralisierten Diensten (Einführung von Vertrauensannahmen) zu wählen, da kryptographische Verifizierung die Korrektheit der Berechnung garantiert und der Marktwettbewerb für effiziente Preise und verfügbare Kapazitäten sorgt.