tldr

• ZK-Coprozessoren können als Off-Chain-Computing-Plugins betrachtet werden, die sich aus dem modularen Konzept ableiten, ähnlich wie GPUs in herkömmlichen Computern, die grafische Rechenaufgaben von der CPU abladen und spezifische Rechenaufgaben bearbeiten.
• Sie können zur Bearbeitung komplexer Berechnungen und großer Datenmengen verwendet werden, um Gasgebühren zu reduzieren und die Funktionalität von Smart Contracts zu erweitern.
• Im Gegensatz zu Rollups sind ZK-Coprozessoren zustandslos, können über Ketten hinweg verwendet werden und eignen sich für komplexe Rechenszenarien.
• Die Entwicklung von ZK-Coprozessoren ist anspruchsvoll, mit hohen Leistungskosten und einem Mangel an Standardisierung. Auch die Hardwarekosten sind erheblich. Obwohl sich das Feld im Vergleich zu einem Jahr zuvor deutlich weiterentwickelt hat, befindet es sich immer noch in den Anfängen.
• Während das modulare Zeitalter in die fraktale Skalierung übergeht, sieht sich die Blockchain mit Problemen wie Liquiditätsengpässen, verteilten Nutzern, mangelnder Innovation und Problemen der Cross-Chain-Interoperabilität konfrontiert, die einen Widerspruch zu vertikal skalierten L1-Chains schaffen. ZK-Coprozessoren könnten einen Weg bieten, diese Herausforderungen zu überwinden, indem sie Unterstützung für bestehende und aufkommende Anwendungen bieten und neue Erzählungen in den Blockchain-Raum bringen.

i. ein weiterer Zweig der modularen Infrastruktur: zk-Coprozessoren

1.1 Übersicht über zk-Coprozessoren

zk-Coprozessoren können als Off-Chain-Berechnungs-Plugins angesehen werden, die aus dem modularen Konzept abgeleitet sind, ähnlich wie GPUs grafische Berechnungsaufgaben von CPUs in traditionellen Computern abladen und bestimmte Berechnungsaufgaben bearbeiten. In diesem Design-Framework können Aufgaben, bei denen öffentliche Ketten nicht versiert sind, wie z.B. „schwere Daten“ und „komplexe Berechnungslogik“, von zk-Coprozessoren berechnet werden, wobei die Kette nur die zurückgegebenen Berechnungsergebnisse erhält. Ihre Korrektheit wird durch zk-Beweise garantiert und ermöglicht letztendlich vertrauenswürdige Off-Chain-Berechnungen für komplexe Aufgaben.

Derzeit haben beliebte Anwendungen wie KI, SocialFi, Dex und GameFi einen dringenden Bedarf an hoher Leistung und Kostenkontrolle. In traditionellen Lösungen entscheiden sich diese 'schwergewichtigen Anwendungen', die hohe Leistung erfordern, oft für Asset On-Chain + Off-Chain-Anwendungsmodelle oder entwerfen eine separate Anwendungskette. Beide Ansätze haben jedoch inhärente Probleme: Ersteres hat eine 'Black Box', und letzteres steht vor hohen Entwicklungskosten, Entfremdung vom ursprünglichen Kettenökosystem und fragmentierter Liquidität. Darüber hinaus legt die virtuelle Maschine der Hauptkette erhebliche Einschränkungen für die Entwicklung und den Betrieb solcher Anwendungen auf (z. B. Mangel an Anwendungsschichtstandards, komplexe Entwicklungssprachen).

ZK-Coprozessoren sollen diese Probleme lösen. Um ein detaillierteres Beispiel zu geben, können wir uns die Blockchain als ein Terminal (wie ein Telefon oder ein Computer) vorstellen, das nicht mit dem Internet verbunden werden kann. In diesem Szenario können wir relativ einfache Anwendungen wie Uniswap oder andere DeFi-Anwendungen vollständig on-chain ausführen. Aber wenn komplexere Anwendungen auftauchen, wie das Ausführen einer ChatGPT-ähnlichen Anwendung, wird die Leistung und Speicherung der öffentlichen Kette völlig unzureichend sein und zu Gasexplosionen führen. In dem Web2-Szenario, wenn wir ChatGPT ausführen, kann unser gemeinsames Terminal selbst das GPT-40 große Sprachmodell nicht handhaben; wir müssen uns mit den Servern von OpenAI verbinden, um die Frage weiterzuleiten, und nachdem der Server das Ergebnis berechnet und ableitet, erhalten wir direkt die Antwort. ZK-Coprozessoren sind wie entfernte Server der Blockchain. Während verschiedene Coprozessor-Projekte je nach Projekttyp geringfügige Designunterschiede aufweisen können, bleibt die zugrunde liegende Logik im Wesentlichen gleich - Off-Chain-Berechnung + ZK-Proofs oder Speicher-Proofs zur Validierung.

Wenn man die Bereitstellung von Bonsai von Rise Zero als Beispiel nimmt, ist diese Architektur sehr geradlinig. Das Projekt integriert sich nahtlos in Rise Zero's eigenen ZKVM und Entwickler müssen nur zwei einfache Schritte befolgen, um Bonsai als Coprozessor zu verwenden:

• Schreiben Sie eine zkvm-Anwendung zur Handhabung der Anwendungslogik.
• Schreiben Sie einen Solidity-Vertrag, um Bonsai zu erfordern, Ihre zkvm-Anwendung auszuführen und die Ergebnisse zu verarbeiten.

1.2 Unterschiede zu Rollups

Aus den obigen Definitionen geht hervor, dass Rollups und zk-Coprozessoren eine stark überlappende Implementationslogik und Ziele haben. Rollups sind jedoch eher wie Multi-Core-Erweiterungen der Hauptkette, mit den folgenden spezifischen Unterschieden zwischen den beiden:

1. Hauptzweck:

• Rollups: Verbessern Sie die Transaktionsdurchsatzrate der Blockchain und reduzieren Sie die Transaktionsgebühren.
• zk Coprozessoren: Erweitern Sie die rechnerischen Fähigkeiten von Smart Contracts, um komplexere Logik und größere Datenmengen zu verarbeiten.

2. Betriebsprinzip:

• Rollups: Aggregieren von On-Chain-Transaktionen und Einreichen an die Hauptkette mit Betrugsnachweisen oder ZK-Nachweisen.
• zk-Coprozessoren: ähnlich wie zk-Rollups, aber für verschiedene Anwendungsszenarien konzipiert. zk-Rollups sind aufgrund kettenbezogener Einschränkungen und Regeln nicht für Coprozessor-Aufgaben geeignet.

3. Zustandsverwaltung:

• Rollups: behalten ihren Zustand bei und synchronisieren sich regelmäßig mit der Hauptkette.
• zk Coprozessoren: zustandslos, jede Berechnung ist zustandslos.

4. Anwendungsszenarien:

• Rollups: dienen hauptsächlich Endbenutzern und sind für Transaktionen mit hoher Frequenz geeignet.
• zk-Coprozessoren: Primär für Unternehmen geeignet, geeignet für Szenarien, die komplexe Berechnungen erfordern, wie z.B. fortschrittliche Finanzmodelle und Big-Data-Analyse.

5. Beziehung zur Hauptkette:

• Rollups: werden als Erweiterungen der Hauptkette betrachtet und konzentrieren sich in der Regel auf bestimmte Blockchain-Netzwerke.
• zk-Coprozessoren: können mehrere Blockchains bedienen, nicht auf bestimmte Hauptketten beschränkt, und können auch Rollups bedienen.

Daher schließen sich die beiden nicht gegenseitig aus, sondern ergänzen sich. Auch wenn ein Rollup in Form einer Anwendungschain existiert, können ZK-Coprozessoren immer noch Dienste bereitstellen.

1.3 Anwendungsfälle

Theoretisch ist der Anwendungsbereich von ZK-Coprozessoren umfangreich und umfasst Projekte in verschiedenen Blockchain-Sektoren. ZK-Coprozessoren ermöglichen DApps, Funktionen zu haben, die denen zentralisierter Web2-Apps näherkommen. Hier sind einige beispielhafte Anwendungsfälle, die aus Online-Quellen gesammelt wurden:

datengetriebene DApp-Entwicklung:

zk-Coprozessoren ermöglichen es Entwicklern, datengetriebene dApps zu erstellen, die volle On-Chain-Historiendaten für komplexe Berechnungen ohne zusätzliche Vertrauensannahmen nutzen. Dies eröffnet völlig neue Möglichkeiten für die dApp-Entwicklung, wie zum Beispiel:

• fortgeschrittene Datenanalyse: On-Chain-Datenanalysefunktionen ähnlich wie Dune Analytics.
• komplexe Geschäftslogik: Implementierung komplexer Algorithmen und Geschäftslogik, wie sie in traditionellen zentralisierten Anwendungen zu finden ist.
• Cross-Chain-Anwendungen: Aufbau von Cross-Chain-DApps auf der Grundlage von Multichain-Daten.

VIP-Händlerprogramm für DEXs:

Ein typisches Anwendungsszenario ist die Implementierung eines Gebührenrabattprogramms basierend auf dem Handelsvolumen in DEXs, bekannt als das "VIP Trader Loyalty Program". Solche Programme sind in CEXs üblich, aber in DEXs selten.

Mit zk-Co-Prozessoren können Dexs:

• verfolgen Sie die historischen Handelsvolumina der Benutzer.
• Berechnen Sie die VIP-Stufen der Benutzer.
• Dynamisch die Handelsgebühren basierend auf VIP-Levels anpassen. Diese Funktionalität kann dazu beitragen, dass DEXs die Benutzerbindung verbessern, die Liquidität erhöhen und letztendlich die Einnahmen steigern.

Datenanreicherung für Smart Contracts:

zk-Coprozessoren können als leistungsstarke Middleware fungieren, die Datenerfassung, Berechnung und Verifizierungsdienste für Smart Contracts bereitstellt, wodurch Kosten gesenkt und die Effizienz verbessert wird. Dies ermöglicht es Smart Contracts,:

• Zugriff auf und Verarbeitung großer Mengen historischer Daten.
• führen Sie komplexe Off-Chain-Berechnungen durch.
• implementieren Sie komplexere Geschäftslogik.

Cross-Chain-Bridge-Technologie:

Einige zk-basierte Cross-Chain-Brückentechnologien wie Herodotus und Lagrange können auch als Anwendungen von zk-Coprozessoren betrachtet werden. Diese Technologien konzentrieren sich hauptsächlich auf die Extraktion und Verifizierung von Daten und stellen eine vertrauenswürdige Datenbasis für die Cross-Chain-Kommunikation bereit.

1,4 zk-Coprozessoren sind nicht perfekt

Trotz der zahlreichen Vorteile sind ZK-Coprozessoren in der aktuellen Phase weit davon entfernt, perfekt zu sein und haben mehrere Probleme. Ich habe die folgenden Punkte zusammengefasst:

1. Entwicklung: Das Konzept von zk ist für viele Entwickler schwer zu erfassen. Die Entwicklung erfordert Kenntnisse in kryptografischen Zusammenhängen und Beherrschung spezifischer Entwicklungssprachen und -tools.
2. hohe Hardwarekosten: Die für Off-Chain-Berechnungen verwendete zk-Hardware muss vollständig vom Projekt selbst getragen werden. ZK-Hardware ist teuer und entwickelt sich schnell weiter, so dass sie jederzeit veraltet werden kann. Ob dies einen geschlossenen kommerziellen Kreislauf bilden kann, ist eine Frage, die es wert ist, darüber nachzudenken.
3. Überfülltes Feld: Technisch gesehen wird es bei der Umsetzung kaum Unterschiede geben und das Endergebnis könnte dem aktuellen Layer2-Landschaft ähneln, in der einige herausragende Projekte hervorstechen, während der Rest weitgehend übersehen wird.
4. zk-Schaltkreise: Die Ausführung von Off-Chain-Berechnungen in zk-Coprozessoren erfordert die Umwandlung von herkömmlichen Computerprogrammen in zk-Schaltkreise. Das Schreiben von benutzerdefinierten Schaltkreisen für jede Anwendung ist umständlich, und die Verwendung von zkvms in virtuellen Maschinen zur Schaltungserstellung führt aufgrund unterschiedlicher Berechnungsmodelle zu erheblichem Rechenaufwand.

ii. ein entscheidendes Element für die Massenadoption

(Dieser Abschnitt ist sehr subjektiv und spiegelt nur die persönlichen Ansichten des Autors wider.)

Dieser Zyklus wird hauptsächlich von modularen Infrastrukturen geleitet. Wenn Modularisierung der richtige Weg ist, könnte dieser Zyklus der letzte Schritt zur Massenadoption sein. Allerdings teilen wir alle derzeit ein gemeinsames Gefühl: Warum sehen wir nur einige alte Anwendungen neu verpackt, warum gibt es mehr Ketten als Anwendungen und warum wird ein neuer Token-Standard wie Inschriften als die größte Innovation dieses Zyklus gefeiert?

Der grundlegende Grund für das Fehlen neuer Erzählungen liegt darin, dass die aktuelle modulare Infrastruktur nicht ausreichend ist, um Supertoepplikationen zu unterstützen, insbesondere fehlen einige Voraussetzungen (Cross-Chain-Interoperabilität, Benutzerbarrieren usw.), was zur größten Fragmentierung in der Blockchain-Geschichte führt. Rollups, als Kern der modularen Ära, haben die Dinge tatsächlich beschleunigt, aber sie haben auch zahlreiche Probleme mit sich gebracht, wie z.B. Liquiditätsfragmentierung, Benutzerdispersion und Einschränkungen, die von der Kette oder der virtuellen Maschine selbst für die Anwendungsinnovation auferlegt werden. Darüber hinaus hat ein weiterer „Schlüsselspieler“ in der Modularisierung, Celestia, den Weg des DA nicht unbedingt auf Ethereum eingeschlagen, was die Fragmentierung weiter verschärft. Ob durch Ideologie oder DA-Kosten angetrieben, das Ergebnis ist, dass BTC gezwungen ist, DA zu werden, und andere öffentliche Ketten darauf abzielen, kostengünstigere DA-Lösungen anzubieten. Die aktuelle Situation ist, dass jede öffentliche Kette mindestens ein, wenn nicht Dutzende, Layer2-Projekte hat. Hinzu kommt, dass alle Infrastruktur- und Ökosystemprojekte die von Blur entwickelte Token-Staking-Strategie tiefgreifend erlernt haben und Benutzer auffordern, Tokens innerhalb des Projekts zu staken. Diese Art, die Wale auf drei Arten begünstigt (Zinsen, ETH- oder BTC-Aufwertung und kostenlose Tokens), komprimiert die On-Chain-Liquidität weiter.

In vergangenen Bullenmärkten flossen die Mittel nur innerhalb weniger bis zu einem Dutzend öffentlicher Ketten, konzentrierten sich hauptsächlich auf Ethereum. Jetzt sind die Mittel über Hunderte öffentlicher Ketten verteilt und in Tausende ähnlicher Projekte gesteckt, was zu einem Rückgang der On-Chain-Aktivität führt. Selbst Ethereum weist eine geringe On-Chain-Aktivität auf. Als Ergebnis engagieren sich östliche Spieler im BTC-Ökosystem in PvP, während westliche Spieler dies in Solana aus der Notwendigkeit heraus tun.

Daher konzentriere ich mich derzeit darauf, wie ich aggregierte Liquidität über alle Ketten hinweg fördern und das Aufkommen neuer Spielstile und Superanwendungen unterstützen kann. Im Sektor der Interoperabilität zwischen Ketten haben traditionelle führende Projekte durchweg schlecht abgeschnitten und ähneln immer noch traditionellen Cross-Chain-Brücken. Neue Interoperabilitätslösungen, die wir in früheren Berichten diskutiert haben, zielen in erster Linie darauf ab, mehrere Ketten in eine einzige Kette zu aggregieren. Beispiele hierfür sind AggLayer, SuperChain, Elastic Chain, JAM usw., die hier nicht näher erläutert werden. Zusammenfassend ist die Cross-Chain-Aggregation eine notwendige Hürde bei der modularen Infrastruktur, die jedoch lange Zeit brauchen wird, um überwunden zu werden.

zk-Coprozessoren sind ein kritischer Bestandteil in der aktuellen Phase. Sie können Layer2 stärken und Layer1 ergänzen. Gibt es eine Möglichkeit, vorübergehend Cross-Chain- und Trilemma-Probleme zu überwinden und uns zu ermöglichen, bestimmte Anwendungen der aktuellen Ära auf bestimmten Layer1s oder Layer2s mit umfangreicher Liquidität zu realisieren? Schließlich mangelt es Blockchain-Anwendungen an frischen Erzählungen. Darüber hinaus könnte die Integration von Coprozessorlösungen, die diverse Spielformen, Gassteuerung, groß angelegte Anwendungen, Cross-Chain-Fähigkeiten und die Reduzierung von Benutzerbarrieren ermöglichen, idealer sein als die Abhängigkeit von Zentralisierung.

iii. Projektübersicht

Das ZK-Coprozessor-Feld tauchte um 2023 auf und hat mittlerweile einen relativ hohen Reifegrad erreicht. Laut Messaris Klassifizierung umfasst dieses Feld derzeit drei Hauptbereiche (Allgemeine Rechenleistung, Interoperabilität und Cross-Chain, KI und Maschinen-Training) mit 18 Projekten. Die meisten dieser Projekte werden von führenden VCs unterstützt. Nachfolgend beschreiben wir mehrere Projekte aus verschiedenen vertikalen Domänen.

3.1 Giza

giza ist ein zkml (Zero-Knowledge Machine Learning) Protokoll, das auf StarkNet bereitgestellt wird und offiziell von StarkWare unterstützt wird. Es konzentriert sich darauf, KI-Modelle verifizierbar in Blockchain-Smart Contracts zu verwenden. Entwickler können KI-Modelle im Giza-Netzwerk bereitstellen, das dann die Korrektheit der Modellinferenz durch Zero-Knowledge-Proofs überprüft und die Ergebnisse in einer vertrauenswürdigen Weise an Smart Contracts bereitstellt. Dies ermöglicht es Entwicklern, On-Chain-Anwendungen zu erstellen, die KI-Fähigkeiten kombinieren, während sie die Dezentralisierung und Verifizierbarkeit der Blockchain beibehalten.

Giza vervollständigt den Workflow durch die folgenden drei Schritte:

• Modellkonvertierung: Giza konvertiert häufig verwendete AI-Modelle im ONNX-Format in ein Format, das in einem Zero-Knowledge-Beweissystem ausgeführt werden kann. Dies ermöglicht Entwicklern, Modelle mit vertrauten Tools zu trainieren und sie dann im Giza-Netzwerk bereitzustellen.
• Off-Chain-Inferenz: Wenn ein Smart Contract eine KI-Modellinferenz anfordert, führt Giza die tatsächliche Berechnung außerhalb der Kette durch. Dadurch werden die hohen Kosten vermieden, die bei der direkten Ausführung komplexer KI-Modelle auf der Blockchain entstehen.
• Zero-Knowledge-Verifikation: Giza generiert zk-Beweise für jede Modellinferenz, die beweisen, dass die Berechnung korrekt ausgeführt wurde. Diese Beweise werden On-Chain verifiziert, um die Richtigkeit der Inferenzergebnisse zu gewährleisten, ohne den gesamten Berechnungsprozess erneut On-Chain durchführen zu müssen.

Gizas Ansatz ermöglicht es KI-Modellen, als vertrauenswürdige Eingabequellen für Smart Contracts zu dienen, ohne auf zentrale Orakel oder vertrauenswürdige Ausführungsumgebungen angewiesen zu sein. Dies eröffnet neue Möglichkeiten für Blockchain-Anwendungen wie KI-basiertes Asset Management, Betrugserkennung und dynamische Preisgestaltung. Es ist eines der wenigen Projekte im aktuellen Web3 x KI-Bereich mit einer logischen geschlossenen Schleife und einer cleveren Verwendung von Coprozessoren im KI-Feld.

3.2 risc zero

risc zero ist ein führendes Coprozessor-Projekt, das von mehreren Top-VCs unterstützt wird. Es konzentriert sich darauf, jede Berechnung in Blockchain-Smart Contracts verifizierbar auszuführen. Entwickler können Programme in Rust schreiben und auf das RISC Zero-Netzwerk bereitstellen. RISC Zero überprüft dann die Korrektheit der Programmausführung durch Zero-Knowledge-Beweise und stellt die Ergebnisse den Smart Contracts auf vertrauenswürdige Weise zur Verfügung. Dies ermöglicht es Entwicklern, komplexe On-Chain-Anwendungen zu erstellen und gleichzeitig die Dezentralisierung und Verifizierbarkeit der Blockchain aufrechtzuerhalten.

Wir haben zuvor kurz die Bereitstellung und den Workflow erwähnt. Hier gehen wir näher auf zwei wichtige Komponenten ein:

• Bonsai: Bonsai ist die Coprozessor-Komponente innerhalb von RISC Zero, die nahtlos in die ZKVM der RISC-V-Befehlssatzarchitektur integriert ist. Es ermöglicht Entwicklern, leistungsstarke Zero-Knowledge-Proofs innerhalb weniger Tage in Ethereum, L1-Blockchains, Cosmos-Anwendungsketten, L2-Rollups und Dapps zu integrieren. Es bietet direkte Smart-Contract-Aufrufe, überprüfbare Off-Chain-Berechnungen, Cross-Chain-Interoperabilität und allgemeine Rollup-Funktionalität, während gleichzeitig eine dezentralisierte verteilte Architektur verwendet wird. Durch die Kombination von rekursiven Proofs, benutzerdefinierten Schaltungscompilern, State Continuation und sich ständig verbessernden Proof-Algorithmen ermöglicht es jedem, leistungsstarke Zero-Knowledge-Proofs für verschiedene Anwendungen zu generieren.
• zkvm: Der zkvm ist ein verifizierbarer Computer, der ähnlich wie ein echter eingebetteter RISC-V-Mikroprozessor funktioniert. Basierend auf der RISC-V-Instruction-Set-Architektur ermöglicht er Entwicklern, Programme in Hochsprachen wie Rust, C++, Solidity, Go usw. zu schreiben, die Nullwissenbeweise generieren können. Der zkvm unterstützt über 70% der beliebten Rust-Crates und kombiniert nahtlos Allzweckrechnungen und Nullwissenbeweise, die in der Lage sind, effiziente Nullwissenbeweise für Berechnungen jeder Komplexität zu generieren, während die Privatsphäre des Berechnungsprozesses und die Verifizierbarkeit der Ergebnisse gewahrt bleiben. Der zkvm nutzt zk-Technologien wie STARK und SNARK und erreicht eine effiziente Beweisgenerierung und -verifikation durch Komponenten wie den Rekursionsprover und den STARK-to-SNARK-Prover. Der zkvm unterstützt die Ausführung außerhalb der Kette und die Verifizierung auf der Kette.

risc zero hat sich mit mehreren eth layer2-Lösungen integriert und verschiedene Anwendungsfälle für bonsai gezeigt. Ein interessantes Beispiel ist Bonsai Pay. Diese Demonstration verwendet risc zero's zkvm und Bonsai Proof Service, um Benutzern zu ermöglichen, eth und Token auf Ethereum mit ihren Google-Konten zu senden oder abzuheben. Es zeigt, wie risc zero On-Chain-Anwendungen nahtlos mit OAuth2.0 integrieren kann (dem von großen Identitätsanbietern wie Google verwendeten Standard) und einen Anwendungsfall bietet, der die Web3-Benutzerschwelle durch traditionelle Web2-Anwendungen senkt. Weitere Beispiele umfassen Anwendungen, die auf DAOs basieren.

3.3 =nil;

=nil; ist ein von namhaften Unternehmen wie mina, polychain, starkware und Blockchain Capital unterstütztes Investitionsprojekt. Bemerkenswerterweise gehören zu den Unterstützern auch ZK-Technologie-Pioniere wie mina und starkware, was auf eine hohe technische Anerkennung des Projekts hinweist. =nil; wurde auch in unserem Bericht „Der Rechenleistungsmarkt“ erwähnt, der sich hauptsächlich auf den Nachweismarkt (einen dezentralen Nachweisgenerierungsmarkt) konzentriert. Darüber hinaus hat =nil; ein weiteres Unterprodukt namens zkllvm.

zkllvm, entwickelt von =nil; Foundation ist ein innovativer Schaltungscompiler, der Anwendungscode, der in gängigen Programmiersprachen wie C++ und Rust geschrieben wurde, automatisch in effiziente, beweisbare Schaltkreise für Ethereum umwandelt, ohne dass spezielle domänenspezifische Zero-Knowledge-Sprachen (DSL) erforderlich sind. Dies vereinfacht den Entwicklungsprozess erheblich, senkt die Einstiegshürde und verbessert die Leistung durch die Vermeidung von ZKVM. Es unterstützt Hardwarebeschleunigung, um die Proof-Generierung zu beschleunigen, wodurch es für verschiedene ZK-Anwendungsszenarien wie Rollups, Cross-Chain-Bridges, Oracles, maschinelles Lernen und Spiele geeignet ist. es ist eng mit =nil integriert; Der Proof-Markt der Foundation bietet Entwicklern End-to-End-Support von der Schaltungserstellung bis zur Proof-Generierung.

3.4 brevis

Brevis ist ein Teilprojekt des Celer-Netzwerks und ist ein intelligenter Zero-Knowledge (zk)-Coprozessor für Blockchain, der es DApps ermöglicht, auf vollständig vertrauenswürdige Weise auf beliebige Daten in mehreren Blockchains zuzugreifen, diese zu verarbeiten und zu nutzen. Wie andere Coprozessoren hat Brevis eine breite Palette von Anwendungsfällen, wie datengesteuertes DeFi, zkbridges, On-Chain-User-Akquise, zkdid und soziale Kontenabstraktion.

Die Brevis-Architektur besteht aus drei Hauptkomponenten:

• zkfabric: Das zkfabric ist das Relay-Komponente der Brevis-Architektur. Seine Hauptaufgabe besteht darin, Blockheader-Informationen von allen verbundenen Blockchains zu sammeln und zu synchronisieren und dann für jeden gesammelten Blockheader über den zk-Light-Client-Schaltkreis Konsensnachweise zu generieren.
• zkquerynet: zkquerynet ist ein offener Marktplatz für zk-Abfrage-Engines, der Datenabfragen direkt von On-Chain-Smart Contracts akzeptieren und durch den zk-Abfrage-Engine-Schaltkreis Abfrageergebnisse und entsprechende zk-Abfragebeweise generieren kann. Diese Engines reichen von hochspezialisiert (z. B. Berechnung des Handelsvolumens eines Dex über einen bestimmten Zeitraum) bis hin zu hochgeneralisierten Datenindexierungsabstraktionen und fortschrittlichen Abfragesprachen, um verschiedenen Anwendungsanforderungen gerecht zu werden.
• zkaggregatorrollup: Es dient als Aggregations- und Speicherungsschicht für zkfabric und zkquerynet. Es überprüft die Beweise dieser beiden Komponenten, speichert die bewiesenen Daten und übermittelt die Zustandswurzeln ihrer zk-Beweise an alle verbundenen Blockchains, sodass dApps direkt auf bewiesene Abfrageergebnisse in ihrer On-Chain-Smart-Contract-Geschäftslogik zugreifen können.

Mit dieser modularen Architektur kann Brevis allen unterstützten öffentlichen Blockchain-Smart Contracts eine vertrauenswürdige, effiziente und flexible Zugriffsmethode bieten. Die V4-Version von Uni übernimmt ebenfalls dieses Projekt und integriert es mit Hooks (ein System zur Integration verschiedener benutzerdefinierter Logik), um das Lesen historischer Blockchain-Daten zu erleichtern, die Gasgebühren zu reduzieren und gleichzeitig die Dezentralisierung sicherzustellen. Dies ist ein Beispiel für einen ZK-Coprozessor, der einen DEX fördert.

3,5 Lagrange

Lagrange ist ein Interoperabilitäts-ZK-Coprozessor-Protokoll, das von 1kx und Founders Fund geleitet wird und hauptsächlich darauf abzielt, vertrauenslose Cross-Chain-Interoperabilität bereitzustellen und Anwendungen zu unterstützen, die eine datenintensive komplexe Berechnung erfordern. Im Gegensatz zu traditionellen Knotenbrücken wird die Cross-Chain-Interoperabilität von Lagrange hauptsächlich durch ihre innovativen ZK-Big-Data- und State-Committee-Mechanismen erreicht.

• zk big data: dies ist das Kernprodukt von Lagrange, das für die Verarbeitung und Überprüfung von Cross-Chain-Daten und die Erzeugung entsprechender zk-Beweise verantwortlich ist. Dieses Komponente umfasst einen hochparallelen zk-Coprozessor zur Ausführung komplexer Off-Chain-Berechnungen und zur Erzeugung von Zero-Knowledge-Beweisen, eine speziell entworfene verifizierbare Datenbank, die unbegrenzte Speicherplätze und direkte SQL-Abfragen von Smart Contracts unterstützt, einen dynamischen Aktualisierungsmechanismus, der nur geänderte Datenpunkte aktualisiert, um die Beweiszeit zu verkürzen, und eine integrierte Funktion, die es Entwicklern ermöglicht, SQL-Abfragen direkt von Smart Contracts aus zu nutzen, um auf historische Daten zuzugreifen, ohne komplexe Schaltungen schreiben zu müssen. Zusammen bilden sie ein groß angelegtes Blockchain-Datenverarbeitungs- und -verifikationssystem.
• State Committee: Diese Komponente ist ein dezentrales Verifizierungsnetzwerk, das aus mehreren unabhängigen Knoten besteht, von denen jeder ETH als Sicherheit einsetzt. Diese Knoten fungieren als ZK Light-Clients, die speziell den Status bestimmter optimierter Rollups überprüfen. Das State Committee lässt sich in das AVS von Eigenlayer integrieren und nutzt den Re-Staking-Mechanismus, um die Sicherheit zu erhöhen, und unterstützt eine unbegrenzte Anzahl teilnehmender Knoten, um ein superlineares Sicherheitswachstum zu erreichen. Es bietet auch einen "schnellen Modus", der es Benutzern ermöglicht, Cross-Chain-Operationen durchzuführen, ohne auf das Herausforderungsfenster zu warten, was die Benutzererfahrung erheblich verbessert. Die Kombination dieser beiden Technologien ermöglicht es Lagrange, große Datenmengen effizient zu verarbeiten, komplexe Berechnungen durchzuführen und Ergebnisse sicher über verschiedene Blockchains hinweg zu übertragen und zu verifizieren, was die Entwicklung komplexer Cross-Chain-Anwendungen unterstützt.

Lagrange hat bereits mit Eigenlayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, Altlayer und anderen integriert und wird das erste ZK-AVS sein, das innerhalb des Ethereum-Ökosystems verknüpft wird.

über ybb

ybb ist ein Web3-Fonds, der sich darauf spezialisiert hat, Web3-definierende Projekte zu identifizieren, die die Vision haben, einen besseren Online-Lebensraum für alle Internetnutzer zu schaffen. Gegründet von einer Gruppe von Blockchain-Gläubigen, die seit 2013 aktiv an dieser Branche teilnehmen, ist ybb immer bereit, Frühphasenprojekten zu helfen, sich von 0 auf 1 zu entwickeln. Wir schätzen Innovation, selbstgesteuerte Leidenschaft und benutzerorientierte Produkte, während wir das Potenzial von Kryptowährungen und Blockchain-Anwendungen anerkennen.

Website | Twi: @ybbcapital

Verweise:

1.abcde: Eine tiefgreifende Einführung in den zk-Coprozessor und seine Zukunft:https://medium.com/ABCDE.com/de-abcde-ein-tiefer-einblick-in-den-zk-coprozessor-und-seine-zukunft-1d1b3f33f946

2. "zk" ist alles, was Sie brauchen:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3. Risc Zero:https://www.risczero.com/bonsai

4. Lagrange:https://www.lagrange.dev/blog/interoperability-fur-modulare-blockchains-die-lagrange-thesis

5.axiomblog:https://blog.axiom.xyz/

6. Stickstoffbeschleunigung! Wie der zk-Coprozessor die Barrieren der intelligenten Vertragsdaten durchbricht:https://foresightnews.pro/article/detail/48239

Verzichtserklärung:

1. Dieser Artikel wird aus [reprintedMittel], leiten Sie den originalen Titel 'the gpu of blockchain: umfassende Analyse von zk-Coprozessoren' weiter, alle Urheberrechte gehören dem Originalautor [ybb capital researcher zeke]. Bei Einwänden gegen diesen Nachdruck wenden Sie sich bitte an denGate lernenTeam, und sie werden es umgehend bearbeiten.

2. Haftungsausschluss: Die in diesem Artikel geäußerten Ansichten und Meinungen sind ausschließlich die des Autors und stellen keine Anlageberatung dar.

3. Übersetzungen des Artikels in andere Sprachen werden vom Gate Learn Team durchgeführt. Sofern nicht anders angegeben, ist das Kopieren, Verteilen oder Plagiieren der übersetzten Artikel untersagt.