Kernpunkte

Lagrange ist eine Plattform für dezentrale Infrastruktur, die aus drei Hauptkomponenten besteht: dem ZK Prover-Netzwerk, dem ZK-Co-Prozessor und DeepProve, der zkML-Bibliothek.

Das Projekt ermöglicht es Entwicklern, komplexe Berechnungen außerhalb der Blockchain durchzuführen und die Richtigkeit der Ergebnisse mithilfe von Zero-Knowledge-Proofs (ZKP) zu beweisen.

Mit Lagrange können historische Daten überprüft, Berechnungen außerhalb der Blockchain durchgeführt und Informationen sicher zwischen Netzwerken übertragen werden.

Einführung

Stellen Sie sich vor, Sie möchten den Durchschnittspreis von ETH über mehrere Blockchains berechnen. Dies ist eine schwierige Aufgabe, insbesondere wenn Sie keine Orakel verwenden oder hohe Gebühren für den Zugriff auf historische Daten zahlen möchten.

Lagrange vereinfacht den Prozess, indem es komplexe Berechnungen aus der Blockchain heraus verlagert, Zero-Knowledge-Proofs (ZKP) generiert und die Ergebnisse auf der Blockchain überprüft. So können Berechnungen durchgeführt, Daten bewegt und auf verschiedenen Blockchains sicherer und effizienter validiert werden.

Was ist Lagrange

Lagrange ist ein Projekt der Krypto-Infrastruktur, das aus drei Hauptprodukten besteht: dem ZK Prover-Netzwerk, dem ZK-Co-Prozessor und DeepProve, der zkML-Bibliothek.

Das ZK Prover-Netzwerk

Prover von Lagrange ist ein dezentrales Netzwerk von Betreibern, das in der Lage ist, ZKP auf Anfrage zu generieren. Wenn eine dezentrale Anwendung (DApp) die Richtigkeit von Berechnungen nachweisen muss, sendet sie einfach eine Anfrage an Lagrange.

Das Prover-Netzwerk führt komplexe mathematische Berechnungen außerhalb der Blockchain durch und gibt einen kompakten Beweis zurück, der von Smart Contracts überprüft werden kann. DApps müssen die Berechnung nicht erneut auf der Blockchain durchführen oder eine dritte Partei zur Überprüfung hinzuziehen.

Im Gegensatz zu traditionellen Systemen, die einen einzigen Koordinator verwenden (was zu einem Schwachpunkt werden kann), teilt Lagrange sein Netzwerk in unabhängige Subnetze auf. Das bedeutet, dass mehrere Blockchains, Rollups oder Anwendungen die Plattform gleichzeitig nutzen können und das Netzwerk selbst mit steigender Last skalierbar ist.

ZK-Co-Prozessor

Der ZK-Co-Prozessor ermöglicht das Abfragen von Daten aus der Blockchain, ohne Vertrauen zu erfordern. Entwickler können SQL-Abfragen schreiben, um Daten aus dem Smart-Contract-Speicher über Tausende von Blöcken abzurufen, Berechnungen durchzuführen (z. B. Durchschnitt oder Summe) und ZK-Beweise zu erhalten. Dieser Beweis kann dann direkt in einen Smart Contract integriert und überprüft werden.

Diese Funktion funktioniert in verschiedenen Blockchain-Netzwerken, sodass Daten aus einem Layer-2-Netzwerk wie Base angefordert und das Ergebnis auf Ethereum überprüft werden kann, ohne eine Brücke zu nutzen. Jetzt haben Entwickler eine weitere Möglichkeit, Blockchain-Daten anzufordern — zusätzlich zum Erstellen eigener Indexer, Schreiben komplexer Logik oder zur Verwendung zentralisierter APIs.

zkML DeepProve

DeepProve ist das zkML-System von Lagrange, das Entwicklern ermöglicht, nachzuweisen, dass ihre Künstliche Intelligenz (KI)-Modelle korrekt arbeiten, ohne das Modell selbst und seine Eingaben offenzulegen. Es erstellt ZKP für die Schlussfolgerungen, die von der KI gezogen werden, wodurch jeder sicherstellen kann, dass die Prognose mit dem richtigen Modell erzielt wurde und nicht verändert wurde. Dies macht KI transparenter und vertrauenswürdiger.

Wie Lagrange funktioniert

Das Prover-Netzwerk

Das Prover-Netzwerk basiert auf EigenLayer und wird von mehr als 85 institutionellen AVS-Betreibern unterstützt. Diese Betreiber führen ein leichtgewichtiges Programm (Worker-Binary) aus, das die eingehenden Aufgaben überwacht. Wenn der Entwickler einen Beweis benötigt, sendet das Netzwerk eine Aufgabe, und die zugewiesenen Betreiber führen die Berechnungen außerhalb der Blockchain durch, bevor sie ZKP zurückgeben.

Es ist für Betreiber wichtig, zuverlässig zu sein: Wenn sie Aufgaben nicht richtig und rechtzeitig ausführen, riskieren sie, einen Teil ihrer Mittel im Staking zu verlieren. Das Prover-Netzwerk unterstützt verschiedene Überprüfungssysteme, zum Beispiel Plonky2 und Plonky3, und in der Zukunft auch andere, je nach Bedarf.

DARA (Double Auction Resource Allocation)

DARA — ist ein Lagrange-Ressourcenzuteilungssystem, das das Prover-Netzwerk unterstützt. Das System bringt Entwickler, die Berechnungen benötigen, mit Betreibern zusammen, die bereit sind, diese durchzuführen. So funktioniert es:

Der Entwickler legt fest, wie viel Rechenleistung benötigt wird und wie viel er bereit ist zu bezahlen.

Der Betreiber gibt an, wie viel Rechenleistung er anbieten kann und welche Kosten ihm entstehen.

DARA bringt automatisch beide Seiten zusammen und stellt sicher, dass Entwickler nicht überbezahlen und Betreiber eine faire Vergütung erhalten.

Das System wurde entwickelt, um Effizienz und Fairness zu gewährleisten: Zahlungen werden nur bei der Möglichkeit der Durchführung des gesamten Arbeitsvolumens erhoben. Wenn das Netzwerk die Anfrage nicht vollständig bearbeiten kann, wird sie nicht ausgeführt. Durch die Förderung ehrlicher Gebote und den Ausschluss von teilweise oder gefälschten Ergebnissen hilft DARA, den Markt zu stabilisieren.