Ursprünglicher Autor: YBB Capital Researcher Zeke
TLDR
Der ZK-Coprozessor (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, also Computing teilt in bestimmten Szenarios;
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. Der ZK-Coprozessor kann den beiden in Zukunft 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 (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, also Computing teilt in bestimmten Szenarien Der Prozessor der Aufgabe. Unter diesem Entwurfsrahmen können Aufgaben mit „schweren Daten“ und „komplexer Berechnungslogik“, bei denen die öffentliche Kette nicht gut ist, über den ZK-Coprozessor berechnet werden. Die Kette muss nur die zurückgegebenen Berechnungsergebnisse empfangen, und ihre Richtigkeit wird von ZK garantiert Endlich werden beweisfähige, 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 Uniswap und andere DeFi-Anwendungen können vollständig in der Kette ausgeführt werden. Wenn jedoch komplexere Anwendungen auftauchen, 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 ausführen, das große Sprachmodelle wie GPT-4 nicht verarbeiten kann. Nachdem der Server die Schlussfolgerung berechnet hat, müssen wir das Problem mitteilen Ergebnisse, wir Sie erhalten die Antwort direkt. 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 verstehen, 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.
Was ist der Unterschied zwischen 1.2 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 komplexere Logik und größere Datenmengen verarbeitet werden können.
2. Funktionsprinzip:
Rollup: Fassen Sie die Transaktionen in der Kette zusammen und übertragen Sie sie durch Betrugsnachweis oder ZK-Beweis an 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 und 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. Das Vorhandensein eines ZK-Coprozessors kann die Funktion von Dapp der Funktion einer zentralisierten Web2-App näher bringen. 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:
Erweiterte Datenanalyse: On-Chain-Datenanalysefunktionen ähnlich wie Dune Analytics.
Komplexe Geschäftslogik: Implementieren Sie komplexe Algorithmen und Geschäftslogik in herkömmlichen zentralisierten Anwendungen.
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 Transaktionsvolumen 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:
Verfolgen Sie das historische Transaktionsvolumen der Benutzer
Berechnen Sie das VIP-Level des Benutzers
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:
Greifen Sie auf große Mengen historischer Daten zu und verarbeiten Sie diese
Führen Sie komplexe Off-Chain-Berechnungen durch
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 des ZK-Coprozessors 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. Die ZK-Hardware ist teuer und befindet sich noch in einer schnellen Entwicklung und Iteration, und die Hardware wird wahrscheinlich jederzeit eliminiert. 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-Schaltung: Die Ausführung von Off-Chain-Berechnungen im ZK-Coprozessor erfordert die Konvertierung herkömmlicher Computerprogramme in ZK-Schaltungen. Das Schreiben benutzerdefinierter Schaltungen für jede Anwendung ist sehr kompliziert, und die Verwendung von zkvm zum Schreiben von Schaltungen in virtuellen Maschinen verursacht unterschiedliche Rechenmodelle .
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, dann könnte 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. Unabhängig davon, ob es von der Ideologie oder den DA-Kosten ausgeht, ist das Ergebnis, dass BTC gezwungen ist, DA durchzuführen, und andere öffentliche Ketten müssen kostengünstigere DAs durchführen. Die aktuelle Situation ist, dass es nur eine und sogar Dutzende davon gibt Layer-2-Projekte 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 Free-Token-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 betreiben also PVP im BTC-Ökosystem, während westliche Spieler keine andere Wahl haben, als PVP in Solana zu betreiben. 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 des modularen Aufbaus zu überwinden gilt, allerdings wird diese Hürde 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 in Zukunft möglich, den beiden Problemen des vollständigen Ketten- und Dreiecksparadoxons zu entkommen? Zuerst 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 Integration einer 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 leitenden 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, das dann die Richtigkeit der Argumentation des Modells durch wissensfreie Beweise überprüft und die Ergebnisse auf vertrauenswürdige Weise für die Verwendung durch intelligente Verträge bereitstellt. 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:
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.
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.
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 es Entwicklern, eine Vielzahl von Programmiersprachen wie Rust, C++, Solidity, Go und andere höhere Programmiersprachen zu verwenden, um Programme zu schreiben, die Null generieren können -Knowledge-Proofs. Es unterstützt mehr als 70 % der gängigen Rust-Kisten. Es ermöglicht die nahtlose Kombination von allgemeinen Computing- und Zero-Knowledge-Proofs und kann effiziente Zero-Knowledge-Proofs für Berechnungen beliebiger Komplexität generieren, während die Vertraulichkeit der Berechnung gewahrt bleibt zkVM übernimmt STARKs und SNARKs, einschließlich der ZK-Technologie, die eine effiziente Beweisgenerierung und -verifizierung durch Komponenten wie Recursion Prover und STARK-to-SNARK Prover realisiert und Off-Chain-Ausführungs- und On-Chain-Verifizierungsmodi unterstützt.
Risc Zero hat sich in mehrere ETH-Systeme Layer 2 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 OAuth 2.0 (dem von großen Identitätsanbietern wie Google verwendeten Standard) integrieren kann, einem Integrationsanwendungsfall, der neben Beispielen auch die Eintrittsbarriere für Web3-Benutzer über herkömmliche Web2-Anwendungen senkt basierend auf Anwendungen wie DAO.
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 den 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 zkVM (Zero-Knowledge Virtual Machine) nicht involviert ist. Es ist für Rollups geeignet , Cross-Chain-Brücken, verschiedene ZK-Anwendungsszenarien wie Orakel, maschinelles Lernen und Spiele und sind eng in den Proof Market der =nil Foundation integriert und bieten Entwicklern End-to-End-Unterstützung von der Schaltungserstellung bis zur Proof-Generierung.
3.4 Brevis
Dieses Projekt ist ein Teilprojekt von Celer Network, einem intelligenten Zero-Knowledge (ZK)-Coprozessor für Blockchain, 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:
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.
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.
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 einen vertrauenswürdigen, effizienten und flexiblen Zugriff auf Smart Contracts auf allen unterstützten öffentlichen Ketten ermöglichen. Dieses Projekt wird 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 umfasst einen 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. Ein dynamischer 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 Optimierungs-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 ist derzeit in EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer usw. integriert und wird auch als erstes ZK AVS in das Ethereum-Ökosystem eingebunden.
Verweise
1.ABCDE: Ein tiefer Einblick in den ZK-Coprozessor und seine Zukunft: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. „ZK“ ist alles, was Sie brauchen: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3.Risc Null: https://www.risczero.com/bonsai
4.Lagrange: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.AxiomBlog: https://blog.axiom.xyz/
6. Stickstoff beschleunigt! Wie der ZK-Coprozessor die Barrieren bei intelligenten Vertragsdaten durchbricht: https://foresightnews.pro/article/detail/48239