jakiro
Autor: Haotian; Quelle: X, @tmel0211
Am eth_proofs Day nutzte Justin Drake den zklighthouse-Client, um den Beweis von Brevis Pico ZKVM vor Ort zu überprüfen – er kann Blöcke direkt abschließen, ohne Transaktionen erneut auszuführen, und rief, dass die Ära von Gigagas ETH naht.
Es besteht kein Zweifel, dass Brevis erneut von der Ethereum Foundation handverlesen wurde.Was genau plant Brevis?
Nachdem ich ihr neuestes ProverNet-Whitepaper und die Demo gelesen hatte, stellte ich fest, dass es sich tatsächlich von anderen zk-Lösungen unterscheidet:
1) Generell folgt der ZK-Zertifizierungsmarkt einem Ein-Anbieter-Modell, aber Brevis stellte ein peinliches Problem in der Produktionsumgebung fest: Beispielsweise erfordert der Off-Chain-Rebate-Prozess von Uniswap, dass ZK eine transparente Lösung bereitstellt, der VIP-Tarif von PancakeSwap erfordert vor jeder Transaktion Proof-Checks in Sekundenschnelle und die Anreizzuweisung von Euler Labs, die eine gewisse Zeit für die Stapelverarbeitung von mehr als 100.000 Adressen erfordert, stellt Anforderungen an den Durchsatz.
Nach normaler Logik stellen mehrere unterschiedliche Nachfrageszenarien völlig unterschiedliche Anforderungen an die Hardwarekonfiguration, bewährte Systemspezifikationen und Optimierungsrichtungen.Wenn es sich um einen einzelnen Anbieter handelt, kann er entweder nur eine detaillierte Szenenoptimierung für vorübergehende Anforderungen durchführen oder nur eine allgemeine Lösung und einen Kompromiss anbieten.Auf diese Weise ist es offensichtlich schwierig, den heiklen und differenzierten Anforderungen in vertikalen Szenarien gerecht zu werden;
2) Die ProverNet-Lösung, die Brevis umsetzen möchte, ist sehr einfach und baut einen zweiseitigen Markt auf, stellt die Antragspartei die Nachfrage, und der professionelle Prüfer bietet und erhält den Auftrag, bei dem es sich um den TODA-Mechanismus (True Replication Double Auction) handelt.Eine solche „marktorientierte“ Lösung kann natürlich mehrere heterogene Beweistypen gleichzeitig verarbeiten, sodass Anwendungen mit unterteilten Szenarioanforderungen den professionellsten Beweiser erhalten können, der dedizierte Gegenleistungen bereitstellt.
Tatsächlich können wir noch einen Schritt weiter gehen. Wenn wir auf komplexere Aufgaben stoßen, können verschiedene Prüfer die Aufgaben auch zerlegen und zusammenarbeiten. Beispielsweise kann ein zkVM-Proof durch A, die Komprimierung durch B, die Aggregation durch C und die endgültige Verpackung durch D unterteilt werden.Kurz gesagt, eine professionelle Arbeitsteilung und Ausgliederung sind erforderlich, um vielfältigere Marktanforderungen zu erfüllen.
oben.
Tatsächlich ist die Logik sehr einfach: Von der früheren Denkweise „Schaufeln verkaufen“ zum Aufbau eines „Marktes“ wurde das rein zentralisierte Lieferantenservicesystem in der Vergangenheit auf einen dezentralen Marktplatz übertragen.
In der sogenannten Gigagas-ETH-Ära braucht es keineswegs einen einzelnen Tool-Service, sondern eine Infrastruktur, die Prover im gesamten Netzwerk einplanen kann.
