Autor: YBB Capital Researcher Zeke

TL;DR

  • Der ZK-Coprozessor kann als ein aus dem modularen Konzept abgeleitetes Off-Chain-Computing-Plug-in betrachtet werden. Seine Funktion ähnelt der GPU in unseren herkömmlichen Computern, die Grafik-Computing-Aufgaben für die CPU teilt, d. h. zur gemeinsamen Nutzung von Computing in bestimmten Szenarien. Aufgabenprozessor;

  • Kann verwendet werden, um komplexe Berechnungen und große Datenmengen zu verarbeiten, Gasgebühren zu senken und Smart-Contract-Funktionen zu erweitern;

  • Der Unterschied zum Rollup: Der ZK-Coprozessor ist zustandslos, kann kettenübergreifend verwendet werden und eignet sich für komplexe Rechenszenarien;

  • Der ZK-Coprozessor ist schwer zu entwickeln, weist einen hohen Leistungsaufwand auf und ist nicht standardisiert. Die Hardware ist mit hohem Aufwand verbunden. Obwohl die Strecke deutlich ausgereifter ist als vor einem Jahr, steckt sie noch in den Kinderschuhen.

  • Nachdem die Infrastruktur in das modulare Zeitalter der fraktalen Expansion eingetreten ist, ist die Blockchain in verschiedene Probleme geraten, wie mangelnde Liquidität, verstreute Benutzer, mangelnde Innovation und kettenübergreifende Interoperabilität, und hat mit L1 der vertikalen Expansion ein Paradoxon gebildet. In Zukunft kann der ZK-Coprozessor den beiden möglicherweise eine gute Verstärkung bieten, sodass sie aus Schwierigkeiten herauskommen, Leistungsunterstützung für alte und neue und wichtige Anwendungen bereitstellen und neue Erzählungen einbringen können.

1. Ein weiterer Zweig der modularen Infrastruktur, ZK-Coprozessor

1.1 Übersicht über den ZK-Coprozessor

Der ZK-Coprozessor kann als Off-Chain-Computing-Plug-in betrachtet werden, das aus dem modularen Konzept abgeleitet ist. Seine Funktion ähnelt der GPU in unseren herkömmlichen Computern, die Grafik-Computing-Aufgaben für die CPU teilt, d. h. um Computing in bestimmten Szenarien zu teilen. Der Bearbeiter der Aufgabe. Unter diesem Entwurfsrahmen können „schwere Daten“ und „komplexe Berechnungslogik“, bei denen öffentliche Ketten nicht gut sind, über den ZK-Coprozessor berechnet werden. Die Kette muss nur die zurückgegebenen Berechnungsergebnisse empfangen, und ihre Korrektheit wird durch den ZK-Beweis garantiert , werden endlich vertrauenswürdige Off-Chain-Berechnungen für komplexe Aufgaben realisiert.

Derzeit besteht bei beliebten Anwendungen wie KI, SocialFi, DEX und GameFi ein dringender Bedarf an hoher Leistung und Kostenkontrolle. Bei herkömmlichen Lösungen wählen diese „schweren Anwendungen“, die eine hohe Leistung erfordern, häufig die Form von Assets in der Kette und außerhalb der Kette Anwendungen erstellen oder eine separate Anwendungskette für die Anwendung entwerfen. Beide haben jedoch einige inhärente Probleme. Ersteres hat beispielsweise eine Black Box, und letzteres weist Probleme wie hohe Entwicklungskosten, Trennung von der ursprünglichen Kettenökologie und Liquiditätsfragmentierung auf. Darüber hinaus unterliegt die virtuelle Maschine der Hauptkette auch großen Einschränkungen bei der Entwicklung und dem Betrieb solcher Anwendungen (z. B. fehlende Standards auf Anwendungsebene und komplexe Entwicklungssprachen).

Die Existenz eines ZK-Coprozessors soll solche Probleme lösen. Um ein detaillierteres Beispiel zu geben, können wir die Blockchain als ein Terminal betrachten, das nicht mit dem Internet verbunden werden kann (Mobiltelefon, Computer usw.). Einige einfachere Anwendungen, wie z. B. DeFi-Anwendungen wie Uniswap, können vollständig in der Kette ausgeführt werden. Wenn jedoch komplexere Anwendungen auftauchen, wie beispielsweise die Ausführung einer Anwendung wie ChatGPT, werden die Leistung und der Speicher der öffentlichen Kette völlig unzureichend sein und Gas wird explodieren. Im Fall von Web2 gilt das Gleiche, wenn wir ChatGPT selbst nicht mit großen Sprachmodellen wie GPT-4o verarbeiten können. Nachdem der Server die Inferenzergebnisse berechnet hat, müssen wir das Problem mitteilen , wir erhalten direkt Antworten. Der ZK-Coprozessor ähnelt dem Remote-Server der Blockchain. Bei verschiedenen Projekttypen kann es jedoch geringfügige Abweichungen geben, die zugrunde liegende Logik unterscheidet sich jedoch nicht wesentlich. Sie werden alle durch Off-Chain überprüft Berechnung + ZK-Nachweis oder Speichernachweise. Am Beispiel der Bonsai-Bereitstellung können wir erkennen, dass die Logik dieser Architektur nahtlos in die eigene zkVM integriert ist. Entwickler benötigen nur zwei einfache Schritte, um Bonsai als Co-Prozessor zu verwenden.

  • Schreiben Sie eine zkVM-Anwendung, um die Anwendungslogik zu verarbeiten.

  • Schreiben Sie einen Solidity-Vertrag, der Bonsai auffordert, Ihre zkVM-Anwendung auszuführen und die Ergebnisse zu verarbeiten.

1.2 Was ist der Unterschied zwischen Rollup und Rollup?

In der obigen Definition werden wir feststellen, dass Rollup unabhängig von seiner Implementierungslogik oder seinen Zielen ein hohes Maß an Überschneidung mit dem ZK-Coprozessor zu haben scheint. Tatsächlich ähnelt Rollup jedoch eher der Multi-Core-Version der Hauptkette. Die spezifischen Unterschiede zwischen den beiden sind wie folgt:

1. Hauptzweck:

  • Rollup: Verbessern Sie den Transaktionsdurchsatz der Blockchain und senken Sie die Transaktionsgebühren.

  • ZK-Coprozessor: Erweitert die Rechenleistung von Smart Contracts, sodass diese komplexere Logik und größere Datenmengen verarbeiten können.

2. Funktionsprinzip:

  • Rollup: Fassen Sie die Transaktionen in der Kette zusammen und bringen Sie sie durch Betrugsnachweis oder ZK-Beweis in die Hauptkette.

  • ZK-Coprozessor: Ähnlich wie ZK Rollup, mit der Ausnahme, dass die Anwendungsszenarien der beiden unterschiedlich sind und durch die Form und Regeln der Kette eingeschränkt sind und nicht für die Arbeit des ZK-Coprozessors geeignet sind.

3. Statusverwaltung:

  • Rollup: Muss seinen eigenen Status aufrechterhalten und regelmäßig mit der Hauptkette synchronisieren.

  • ZK-Coprozessor: Behält keinen dauerhaften Zustand bei, jede Berechnung ist zustandslos.

4. Anwendungsszenarien:

  • Rollup: Hauptsächlich für die C-Seite, geeignet für den Hochfrequenzhandel.

  • ZK-Coprozessor: hauptsächlich für die B-Seite, geeignet für Szenarien, die komplexe Berechnungen erfordern, wie z. B. fortgeschrittene Finanzmodelle, Big-Data-Analyse usw.

5. Beziehung zur Hauptkette:

  • Rollup: Kann als Erweiterung der Hauptkette betrachtet werden und konzentriert sich normalerweise auf ein bestimmtes Blockchain-Netzwerk.

  • ZK-Coprozessor: Er kann Dienste für mehrere Blockchains bereitstellen und ist nicht auf eine bestimmte Hauptkette beschränkt, sodass er auch Dienste für Rollup bereitstellen kann.

Daher schließen sich beide nicht gegenseitig aus und ergänzen sich sogar. Auch wenn ein Rollup in Form einer Anwendungskette vorliegt, kann der ZK-Coprozessor dennoch Dienste bereitstellen.

1.3 Anwendungsfälle

Theoretisch hat der ZK-Coprozessor ein sehr breites Anwendungsspektrum und kann grundsätzlich Projekte in verschiedenen Blockchain-Spuren abdecken. Durch die Existenz des ZK-Coprozessors können die Funktionen von Dapp näher an die Funktionen der zentralisierten Web2-App herangeführt werden. Im Folgenden sind einige aus dem Internet gesammelte Demonstrationsanwendungsfälle aufgeführt:

Datengesteuerte DApp-Entwicklung

Mit dem ZK-Coprozessor können Entwickler datengesteuerte DApps erstellen, die historische Daten aus der gesamten Kette nutzen und komplexe Berechnungen ohne zusätzliche Vertrauensannahmen durchführen. Dies bringt beispiellose Möglichkeiten für die DApp-Entwicklung mit sich, wie zum Beispiel:

  1. Erweiterte Datenanalyse: On-Chain-Datenanalysefunktionen ähnlich wie Dune Analytics.

  2. Komplexe Geschäftslogik: Implementieren Sie komplexe Algorithmen und Geschäftslogik in herkömmlichen zentralisierten Anwendungen.

  3. Kettenübergreifende Anwendungen: Erstellen Sie kettenübergreifende DApps basierend auf Multi-Chain-Daten.

Das VIP-Händlerprogramm von DEX

Ein typisches Anwendungsszenario ist die Implementierung eines Gebührenrabattprogramms basierend auf dem Handelsvolumen in einer dezentralen Börse (DEX), also dem „VIP Trader Loyalty Program“. Diese Art von Schema ist bei zentralisierten Börsen (CEX) üblich, bei DEX jedoch selten.

Mithilfe des ZK-Coprozessors kann DEX:

  1. Verfolgen Sie das historische Transaktionsvolumen der Benutzer

  2. Berechnen Sie das VIP-Level des Benutzers

  3. Passen Sie die Transaktionsgebühren je nach Level dynamisch an

Diese Funktion kann DEX dabei helfen, die Benutzerbindung zu verbessern, die Liquidität zu erhöhen und letztendlich den Umsatz zu steigern.

Datenanreicherung für Smart Contracts

Der ZK-Coprozessor kann als leistungsstarke Middleware dienen, um Datenerfassungs-, Berechnungs- und Verifizierungsdienste für Smart Contracts bereitzustellen und so Kosten zu senken und die Effizienz zu verbessern. Dies ermöglicht Smart Contracts:

  1. Greifen Sie auf große Mengen historischer Daten zu und verarbeiten Sie diese

  2. Führen Sie komplexe Off-Chain-Berechnungen durch

  3. Implementieren Sie eine erweiterte Geschäftslogik

Cross-Chain-Brückentechnologie

Einige ZK-basierte Cross-Chain-Bridge-Technologien wie Herodotus und Lagrange können auch als Anwendung von ZK-Coprozessoren angesehen werden. Diese Technologien konzentrieren sich hauptsächlich auf die Datenextraktion und -verifizierung und bieten eine vertrauenswürdige Datenbasis für die kettenübergreifende Kommunikation.

1.4 ZK-Coprozessor ist nicht perfekt

Obwohl wir viele Vorteile aufgelistet haben, ist die aktuelle Stufe des ZK-Coprozessors nicht perfekt und muss sich noch vielen Problemen stellen. Ich persönlich habe folgende Punkte zusammengefasst:

1. Entwicklung: Das Konzept von ZK ist für viele Entwickler schwer zu verstehen. Die Entwicklung erfordert außerdem relevante Kryptographiekenntnisse und die Beherrschung spezifischer Entwicklungssprachen und -tools.

2. Die Hardwarekosten sind hoch: Die für Off-Chain-Computing verwendete ZK-Hardware muss vollständig vom Projekt selbst getragen werden. ZK-Hardware ist teuer und befindet sich noch in einer schnellen Entwicklung und Iteration, und die Hardware wird wahrscheinlich jederzeit veraltet sein. Ob dies einen geschlossenen Kreislauf in der Geschäftslogik bilden kann, ist ebenfalls eine Überlegung wert;

3. Die Strecke ist überfüllt: Tatsächlich wird es keinen großen Unterschied in der technischen Umsetzung geben. Am Ende wird es wahrscheinlich dem aktuellen Layer-2-Muster ähneln. Es gibt jedoch mehrere ausstehende Projekte, von denen die meisten jedoch ignoriert werden.

4.ZK-Schaltkreis: Die Ausführung von Off-Chain-Berechnungen im ZK-Coprozessor erfordert die Konvertierung herkömmlicher Computerprogramme in ZK-Schaltkreise. Die Verwendung von zkvm zum Schreiben von Schaltkreisen in virtuellen Maschinen ist ein kostspieliges Problem.

2. Wichtige Puzzleteile, die zu einer groß angelegten Anwendung führen

(Dieses Kapitel ist höchst subjektiv und gibt nur die persönlichen Ansichten des Autors wieder.)

Dieser Zyklus wird von der modularen Infrastruktur dominiert. Wenn der Weg der Modularisierung richtig ist, kann dieser Zyklus der letzte Schritt in Richtung einer groß angelegten Anwendung sein. Zum jetzigen Zeitpunkt haben wir jedoch alle ein gemeinsames Gefühl: Warum können wir nur einige alte Weine mit neuen Anwendungen sehen? Warum können neue Token-Standards wie Inschriften als die größte Innovation bezeichnet werden? runden?

Der Grund, warum es so an neuen Narrativen mangelt, liegt darin, dass die aktuelle modulare Infrastruktur nicht ausreicht, um Superanwendungen zu unterstützen, insbesondere das Fehlen einiger Voraussetzungen (Interoperabilität der gesamten Kette, Benutzerschwellenwerte usw.), was zum größten Teil beigetragen hat Entwicklung in der Geschichte der Blockchain unter dem Deckmantel der Trennung. Rollup als Kern des modularen Zeitalters ist schnell, bringt aber auch viele Probleme mit sich, das heißt, die oben wiederholt hervorgehobene Liquiditätsfragmentierung, Benutzerstreuung, Kette oder virtuelle Maschine schränken die Anwendungsinnovation immer noch ein. Andererseits hat Celestia, ein weiterer „Schlüsselmann“ der Modularität, die Idee vorangetrieben, dass DA nicht auf Ethereum sein muss. Diese Idee verstärkt die Fragmentierung weiter. Ob es nun um die Ideologie oder die Kosten von DA geht, das Ergebnis ist, dass BTC gezwungen ist, DA durchzuführen, und andere öffentliche Ketten müssen kostengünstigere DA durchführen. Die aktuelle Situation ist, dass es nur eine oder so viele gibt Dutzende von Layer-2-Projekten in jeder öffentlichen Kette. Schließlich haben sich alle Infrastruktur- und Umweltprojektparteien eingehend mit dem von Blur (Tieshun) entwickelten Punktetötungsdrachen-Gameplay (OpenSea) befasst, bei dem Benutzer Token für das Projekt bereitstellen müssen. Auf diese Weise schlagen sie drei Fliegen mit einer Klappe (Zinsen, ETH). für Wale oder der Aufstieg von BTC und dem kostenlosen Token-Modell, was die Liquidität in der Kette weiter komprimiert.

Im vergangenen Bullenmarkt flossen die Gelder nur in ein paar bis ein Dutzend öffentliche Ketten, und man könnte sogar sagen, dass sie sich nur auf Ethereum konzentrierten. Aber die heutigen Gelder sind über Hunderte von öffentlichen Ketten verstreut und in Tausenden von Projekten verpfändet, die alle gleich sind. Der Wohlstand in der Kette ist nicht mehr vorhanden, und selbst Ethereum hat keine Aktivitäten in der Kette. Östliche Spieler haben also keine andere Wahl, als PVP im BTC-Ökosystem zu nutzen, und westliche Spieler haben keine andere Wahl, als PVP in Solana zu nutzen. Daher geht es mir persönlich im Moment am meisten darum, die Liquiditätsbündelung in der gesamten Kette zu fördern und die Entstehung neuer Gameplay- und Superanwendungen zu unterstützen. Im Bereich der Interoperabilität der gesamten Kette haben mehrere traditionelle führende Projekte tatsächlich eine schlechte Leistung erbracht. Sie ähneln immer noch eher traditionellen Cross-Chain-Brücken. Die neue Interoperabilitätslösung wurde auch in unserem vorherigen Forschungsbericht diskutiert, hauptsächlich durch die Zusammenfassung mehrerer Ketten zu einer einzigen Kette. Derzeit arbeiten wir an AggLayer, Superchain, Elastic Chain, JAM usw., die hier nicht besprochen werden.

Insgesamt ist die Aggregation der gesamten Kette eine Hürde, die es im Rahmen der modularen Struktur zu überwinden gilt, diese Hürde wird aber noch lange dauern. Der ZK-Coprozessor ist derzeit ein wichtigeres Puzzleteil. Zusätzlich zur Stärkung von Schicht 2 kann er auch Schicht 1 stärken. Ist es möglich, den beiden Problemen der gesamten Kette und dem Dreiecksparadoxon in Zukunft zu entkommen? , es kann teilweise sein. Sollten wir zunächst einige aktuelle Anwendungen auf Layer 1 oder Layer 2 implementieren, die über eine breite Liquidität verfügen? Schließlich fehlt es wirklich an der aktuellen Blockchain-Anwendungserzählung. Um andererseits eine Diversifizierung des Gameplays, eine Gaskontrolle, die Entstehung groß angelegter Anwendungen und sogar kettenübergreifende Anwendungen zu erreichen und die Benutzerschwelle zu senken, ist die integrierte Co-Prozessor-Lösung eine idealere Lösung als der Einsatz einer Zentralisierung.

3. Projektliste

Der ZK-Coprozessor-Track entstand im Wesentlichen um das Jahr 2023 und ist derzeit relativ ausgereift. Gemäß der Klassifizierung von Messari lassen sich die bestehenden Projekte auf dem Track in drei große vertikale Bereiche (allgemeine Datenverarbeitung, Interoperabilität und Cross-Chain, KI und Maschinentraining) mit 18 Projekten unterteilen. Die meisten dieser Projekte werden von führenden VCs unterstützt. Wir wählen unten einige Projekte in verschiedenen vertikalen Bereichen für die Beschreibung aus.

3.1 Mensch

Giza ist ein zkML-Protokoll (Zero-Knowledge Machine Learning), das auf Starknet bereitgestellt und offiziell von StarkWare unterstützt wird und sich darauf konzentriert, die nachweisbare Verwendung von Modellen der künstlichen Intelligenz in Blockchain-Smart Contracts zu ermöglichen. Entwickler können KI-Modelle im Giza-Netzwerk bereitstellen, und Giza überprüft dann die Richtigkeit der Argumentation des Modells durch wissensfreie Beweise und stellt die Ergebnisse auf vertrauenswürdige Weise zur Verwendung durch Smart Contracts bereit. Dadurch können Entwickler On-Chain-Anwendungen erstellen, die KI-Funktionen integrieren und gleichzeitig die Dezentralisierung und Überprüfbarkeit der Blockchain aufrechterhalten.

Giza schließt den Arbeitsablauf mit den folgenden drei Schritten ab:

  1. Modellkonvertierung: Giza konvertiert häufig verwendete KI-Modelle im ONNX-Format in ein Format, das in wissensfreien Systemen ausgeführt werden kann. Dadurch können Entwickler Modelle mit vertrauten Tools trainieren und sie dann im Giza-Netzwerk bereitstellen.

  2. Off-Chain-Inferenz: Wenn ein Smart Contract eine KI-Modellinferenz anfordert, führt Giza die eigentlichen Berechnungen Off-Chain durch. Dadurch werden die hohen Kosten für die Ausführung komplexer KI-Modelle direkt auf der Blockchain vermieden.

  3. Wissensfreie Verifizierung: Giza generiert für jede Modellinferenz einen ZK-Beweis, um zu beweisen, dass die Berechnung korrekt durchgeführt wurde. Diese Beweise werden in der Kette verifiziert, wodurch die Richtigkeit der Inferenzergebnisse sichergestellt wird, ohne dass der gesamte Berechnungsprozess in der Kette wiederholt werden muss.

Der Ansatz von Giza ermöglicht es KI-Modellen, als vertrauenswürdige Eingabequellen für intelligente Verträge zu dienen, ohne auf zentralisierte 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 logischen Closed-Loop-Projekte im aktuellen Web3 x AI und bietet auch eine wunderbare Verwendung der Co-Verarbeitung im KI-Bereich.

3.2 Nullheizung

Risc Zero ist ein Co-Prozessor-Projekt, das von mehreren führenden VCs unterstützt wird und führend auf diesem Gebiet ist. Der Schwerpunkt des Projekts liegt darauf, die nachweisbare Ausführung beliebiger Berechnungen innerhalb von Blockchain-Smart Contracts zu ermöglichen. Entwickler können Programme in Rust schreiben und sie im RISC Zero-Netzwerk bereitstellen. RISC Zero überprüft dann die Korrektheit der Programmausführung durch wissensfreie Beweise und stellt die Ergebnisse auf vertrauenswürdige Weise für intelligente Verträge bereit. Dadurch können Entwickler komplexe On-Chain-Anwendungen erstellen und gleichzeitig die Dezentralisierung und Überprüfbarkeit der Blockchain aufrechterhalten.

Wir haben oben kurz über den Bereitstellungs- und Arbeitsprozess gesprochen und werden hier ausführlich auf die beiden Schlüsselkomponenten eingehen:

Bonsai: Bonsai von RISC Zero ist die Co-Prozessor-Komponente im Projekt. Sie ist nahtlos in die zkVM der RISC-V-Befehlssatzarchitektur integriert und ermöglicht Entwicklern die schnelle Integration leistungsstarker Zero-Knowledge-Proofs in Ethereum und L1 Blockchain, Cosmos-Anwendungskette, L2-Rollups und dApps bieten direkte Aufrufe von Smart Contracts, überprüfbare Off-Chain-Berechnungen, kettenübergreifende Interoperabilität und universelle Rollup-Funktionen und übernehmen gleichzeitig ein dezentrales, zunächst verteiltes Architekturdesign in Kombination mit rekursiven Funktionen Beweise, benutzerdefinierte Schaltkreis-Compiler, Zustandsfortsetzung und kontinuierlich verbesserte Beweisalgorithmen, die es jedem ermöglichen, leistungsstarke, wissensfreie Beweise für eine Vielzahl von Anwendungen zu erstellen.

zKVM: zkVM ist ein überprüfbarer Computer, der wie ein echter eingebetteter RISC-V-Mikroprozessor funktioniert. Diese virtuelle Maschine basiert auf der RISC-V-Befehlssatzarchitektur und ermöglicht Entwicklern die Verwendung mehrerer Programmiersprachen wie Rust, C++, Solidity, Go und anderer Programmiersprachen auf hoher Ebene, um Programme zu schreiben, die Zero-Knowledge generieren können Es unterstützt mehr als 70 % der gängigen Rust-Kisten. Es ermöglicht die nahtlose Kombination von allgemeinen Berechnungen und Zero-Knowledge-Proofs und kann effiziente Zero-Knowledge-Proofs für Berechnungen beliebiger Komplexität generieren, während der Datenschutz des Berechnungsprozesses gewahrt bleibt Die Überprüfbarkeit der Ergebnisse erfolgt mithilfe von STARKs und SNARKs. Die ZK-Technologie ermöglicht eine effiziente Beweisgenerierung und -überprüfung durch Komponenten wie Recursion Prover und STARK-to-SNARK Prover und unterstützt Off-Chain-Ausführungs- und On-Chain-Überprüfungsmodi.

Risc Zero hat sich in mehrere Layer 2 der ETH-Serie integriert und mehrere Bonsai-Anwendungsfälle demonstriert, von denen Bonsai Pay der interessantere ist. Die Demo nutzt zkVM und Bonsai Proof-of-Service von RISC Zero, um Benutzern das Senden oder Abheben von ETH und Token auf Ethereum über ein Google-Konto zu ermöglichen. Es zeigt, wie RISC Zero On-Chain-Anwendungen nahtlos mit OAuth2.0 (dem von großen Identitätsanbietern wie Google verwendeten Standard) integrieren kann, einem Integrationsanwendungsfall, der zusätzlich die Eintrittsbarriere für Web3-Benutzer gegenüber herkömmlichen Web2-Anwendungen senkt Es gibt Beispiele, die auf Anwendungen wie DAO basieren.

3,3 = Null;

=nil; Es wird von bekannten Projekten und Institutionen wie Mina, Polychain, Starkware und Blockchain Capital investiert. Es ist erwähnenswert, dass auch Projektparteien mit modernsten zk-Technologien wie Mina und Starkware darunter sind Der technische Bekanntheitsgrad des Projekts ist nach wie vor hoch. =nil; Es handelt sich auch um ein Projekt, das in unserem Forschungsbericht „Computing Power Market“ erwähnt wird. Damals konzentrierte es sich hauptsächlich auf =nil;s Proof Market (dezentraler Proof-Generierungsmarkt). Das Projekt hatte tatsächlich auch ein Unterprodukt, zkLLVM.

zkLLVM ist ein innovativer Schaltkreis-Compiler, der in gängigen Entwicklungssprachen wie C++ und Rust geschrieben wurde, ohne spezielle, wissensfreie Felder zu verwenden. DSL), wodurch der Entwicklungsprozess erheblich vereinfacht und die Entwicklungsschwelle gesenkt wird. Gleichzeitig wird die Leistung verbessert, da keine wissensfreie virtuelle Maschine beteiligt ist. Es unterstützt die Hardwarebeschleunigung, um die Proof-Generierung zu beschleunigen , Cross-Chain-Brücken, verschiedene ZK-Anwendungsszenarien wie Orakel, maschinelles Lernen und Spiele und sind eng in den Proof Market der =nil Foundation integriert, um Entwicklern End-to-End-Unterstützung von der Schaltungserstellung bis zur Proof-Generierung zu bieten.

3.4 Brevis

Dieses Projekt ist ein Unterprojekt von Celer Network, einem intelligenten Zero-Knowledge-Coprozessor (ZK), der es dApps ermöglicht, auf völlig willkürliche Weise auf mehrere Blockchains zuzugreifen, diese zu verarbeiten und zu nutzen. Wie andere Co-Prozessoren verfügt auch Brevis über eine breite Palette von Anwendungsfällen, wie z. B. datengesteuertes DeFi, zkBridges, On-Chain-Benutzerakquise, zkDID und Abstraktion sozialer Konten.

Die Architektur von Brevis besteht hauptsächlich aus drei Teilen:

  1. zkFabric: zkFabric ist ein Repeater für die Brevis-Architektur. Seine Hauptaufgabe besteht darin, Blockheader-Informationen von allen verbundenen Blockchains zu sammeln und zu synchronisieren und schließlich Konsensnachweise für jeden gesammelten Blockheader über die ZK-Light-Client-Schaltung zu generieren.

  2. zkQueryNet: zkQueryNet ist ein offener ZK-Abfrage-Engine-Markt, der Datenabfragen von Smart Contracts in der Kette direkt akzeptieren und über die ZK-Abfrage-Engine-Schaltung auch Abfrageergebnisse und entsprechende ZK-Abfragezertifikate generieren kann. Diese Engines reichen von hochspezialisierten Engines (z. B. zur Berechnung des Transaktionsvolumens auf einem DEX über einen bestimmten Zeitraum) bis hin zu sehr allgemeinen Datenindexabstraktionen und Abfragesprachen auf hoher Ebene, die eine Vielzahl von Anwendungsanforderungen erfüllen.

  3. zkAggregatorRollup: Fungiert als Aggregations- und Speicherebene für zkFabric und zkQueryNet. Es überprüft die Nachweise beider Komponenten, speichert die zertifizierten Daten und übermittelt seinen ZK-sicheren Statusstamm an alle verbundenen Blockchains, sodass dApps direkt auf die in der Geschäftslogik ihrer On-Chain-Smart-Contracts-Suchergebnisse bestätigten Nachweise zugreifen können.

Durch diese modulare Architektur kann Brevis vertrauenswürdige, effiziente und flexible Zugriffsmethoden für Smart Contracts auf allen unterstützten öffentlichen Ketten bereitstellen. Dieses Projekt wurde auch in der V4-Version von UNI übernommen und mit Hooks in das Protokoll integriert (ein System, das benutzerdefinierte Logik für verschiedene Benutzer integriert), um das Lesen historischer Blockchain-Daten zu erleichtern, die Gasgebühren zu senken und die Dezentralisierung sicherzustellen. Dies ist ein Beispiel für den ZK-Coprozessor, der DEX steuert.

3.5 Lagrange

Lagrange ist ein interoperables ZK-Coprozessor-Protokoll unter der Leitung von 1kx und Founders Fund. Der Hauptzweck des Protokolls besteht darin, vertrauenswürdige kettenübergreifende Interoperabilität bereitzustellen und die Innovation von Anwendungen zu unterstützen, die komplexe Big-Data-Berechnungen erfordern. Im Gegensatz zu herkömmlichen Knotenbrücken wird die kettenübergreifende Interoperabilität von Lagrange hauptsächlich durch die innovativen Mechanismen ZK Big Data und State Committee erreicht.

ZK Big Data: Dieses Produkt ist der Kern von Langrange und hauptsächlich für die Verarbeitung und Überprüfung kettenübergreifender Daten sowie die Erstellung relevanter ZK-Zertifikate verantwortlich. Diese Komponente enthält den hochparallelen ZK-Coprozessor zur Durchführung komplexer Off-Chain-Berechnungen und zur Generierung von Zero-Knowledge-Beweisen. Eine speziell entwickelte überprüfbare Datenbank unterstützt unbegrenzte Speicherplätze und direkte SQL-Abfragen für Smart Contracts. Der dynamische Aktualisierungsmechanismus aktualisiert nur geänderte Datenpunkte Zeit bis zur Erprobung und integrierte Funktionalität, die es Entwicklern ermöglicht, mithilfe von SQL-Abfragen direkt aus Smart Contracts auf historische Daten zuzugreifen, ohne komplexe Schaltkreise schreiben zu müssen, bilden zusammen ein umfangreiches Blockchain-Datenverarbeitungs- und Verifizierungssystem.

Staatskomitee: Bei dieser Komponente handelt es sich um ein dezentrales Verifizierungsnetzwerk, das aus mehreren unabhängigen Knoten besteht. Jeder Knoten verpfändet ETH als Sicherheit. Diese Knoten dienen als ZK-Light-Clients und dienen der Überprüfung des Status bestimmter optimierter Rollups. State Committee lässt sich in das AVS von EigenLayer integrieren, nutzt einen starken Versprechensmechanismus zur Verbesserung der Sicherheit, unterstützt die Teilnahme einer unbegrenzten Anzahl von Knoten und erreicht ein superlineares Sicherheitswachstum. Es bietet außerdem einen „Schnellmodus“, der es Benutzern ermöglicht, kettenübergreifende Vorgänge durchzuführen, ohne auf das Challenge-Fenster warten zu müssen, 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 zwischen verschiedenen Blockchains zu übertragen und zu überprüfen, was die Entwicklung komplexer kettenübergreifender Anwendungen unterstützt.

Lagrange wurde derzeit in EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer usw. integriert und wird auch als erstes ZK AVS in das Ethereum-Ökosystem eingebunden.