paint-brush
Lumoz führt zkProver und zkVerifier basierend auf EigenLayer einvon@lumoz
3,935 Lesungen
3,935 Lesungen

Lumoz führt zkProver und zkVerifier basierend auf EigenLayer ein

von Lumoz (formerly Opside)8m2024/05/24
Read on Terminal Reader

Zu lang; Lesen

Der Re-Staking-Mechanismus von EigenLayer hat zu einem erheblichen Wachstum von TVL und dem Vertrauen der Benutzer in das Ethereum-Ökosystem geführt. Projekte wie Lumoz haben EigenLayer genutzt, um fortschrittliche zkProver- und zkVerifier-Systeme einzuführen und so die Rechenleistung und Blockchain-Sicherheit durch den innovativen Einsatz von Zero-Knowledge-Proofs zu verbessern.
featured image - Lumoz führt zkProver und zkVerifier basierend auf EigenLayer ein
Lumoz (formerly Opside) HackerNoon profile picture


Trotz der jüngsten Kontroversen um seinen Airdrop besteht kein Zweifel daran, dass EigenLayer dank seines Re-Staking-Mechanismus zu einem der herausragendsten Projekte des Jahres 2024 geworden ist. Dieser Mechanismus hat nicht nur zu einem Anstieg von TVL geführt, sondern die Benutzer auch dazu veranlasst, ihre Gelder und ihr Vertrauen zurück in das Ethereum-Ökosystem zu verlagern, weg vom Hype um Meme-Coins.


Laut öffentlichen Daten hat EigenLayers ETH TVL zum Zeitpunkt des Schreibens 5 Millionen ETH überschritten und der Staking-Betrag seines Tokens Eigen hat 54 Millionen Token überschritten. Die Anzahl der aktiven AVS ( Actively Validated Services ) und Operatoren beträgt 11 bzw. 251. Das EigenLayer-Ökosystem boomt ebenfalls, mit über 20 führenden Projekten aus verschiedenen Sektoren, darunter Lumoz , Espresso, Near und Dodo, die aktiv teilnehmen.


Dies markiert den Beginn einer Revolution, die darauf abzielt, die Blockchain-Sicherheit und -Profitabilität rund um ETH unter Nutzung von EigenLayer neu zu gestalten. Dieser Artikel wird Lumoz als Fallstudie verwenden, um in die Reihe der technischen Untersuchungen einzutauchen, die an EigenLayer durchgeführt wurden, und so die Technologie von Ethereum und der gesamten Blockchain-Branche weiter voranzubringen.


1. Lumoz führt AVS-Berechnungsschicht basierend auf EigenLayer ein

Als führender Anbieter von modularen Computerschichten und der ZKRaas-Plattform hat Lumoz nicht nur auf den Kapitalmärkten außergewöhnlich gute Leistungen erbracht, sondern auch im technischen Bereich kontinuierlich Innovationen hervorgebracht. Im April 2024 gab Lumoz erstmals den Abschluss seiner Pre-A-Finanzierungsrunde bekannt (mit einer aktuellen Bewertung von bis zu 300 Millionen US-Dollar) und kündigte kurz darauf die Unterstützung für die Op Stack + ZK Fraud Proof Layer 2-Architektur an und war damit Vorreiter eines neuen Modells für die L2-Architektur.


Diese Woche hat Lumoz offiziell die Einführung einer AVS-Berechnungsschicht auf Basis von EigenLayer angekündigt, die aus zkProver und zkVerifier besteht und die Rechenleistung und Sicherheit deutlich verbessert.


Lumoz‘ zkProver konzentriert sich auf die Generierung von Zero-Knowledge Proofs (ZKP) und überprüft die Authentizität von Daten, ohne die spezifischen Daten selbst preiszugeben. Mit leistungsstarken Rechenressourcen kann zkProver schnell effiziente Zero-Knowledge Proofs generieren und so die Privatsphäre und Sicherheit von Blockchain-Netzwerken deutlich verbessern. zkVerifier hingegen ist für die Überprüfung dieser Zero-Knowledge Proofs verantwortlich und stellt ihre Richtigkeit und Zuverlässigkeit sicher. In Kombination mit dem Re-Staking-Mechanismus von EigenLayer nutzt zkVerifier nicht nur die Sicherheit von Ethereum, sondern bietet auch zusätzliche wirtschaftliche Anreize für Validierer. Dieser doppelte Überprüfungsmechanismus verbessert die allgemeine Sicherheit des Netzwerks erheblich und reduziert Vertrauensrisiken.


Hinweis: Der Re-Staking-Mechanismus von EigenLayer verbessert die Sicherheit des Ethereum-Ökosystems, indem er AVS bereitstellt und Vertrauensprobleme sowie die Belastung durch Kapitalkosten behebt.


Durch die Integration leistungsstarker Rechenressourcen mit dem Re-Staking-Mechanismus von EigenLayer hat Lumoz ein effizientes und sicheres Ökosystem für Rechendienste geschaffen. Diese Innovation verbessert nicht nur die Rechenleistung und Sicherheit von Blockchain-Netzwerken, sondern bietet Entwicklern und Benutzern auch mehr Anwendungsszenarien und Mehrwert. Durch zkProver und zkVerifier bringt Lumoz beispiellose Innovation und Mehrwert in den Blockchain-Bereich und treibt den technologischen Fortschritt in der gesamten Branche voran.


2. Lumoz-Berechnungsschicht

Die Lumoz Computation Layer-Architektur ist ein hochintegriertes und kollaboratives System mit den folgenden Hauptkomponenten und Funktionen:



Zu den Hauptkomponenten gehören:


  • Ethereum : Verwendet den EigenLayer-Standard zum Erstellen von Active Verification Services (AVS). Der Staking-Mechanismus von EigenLayer erhöht die Sicherheit von AVS.


  • EVM-Kette : Unterstützt eine vielfältige Blockchain-Umgebung, die mit der Ethereum Virtual Machine (EVM) kompatibel ist, einschließlich, aber nicht beschränkt auf Polygon zkEVM, Polygon CDK, ZKStack und Scroll, und gewährleistet so umfassende Kompatibilität und Skalierbarkeit.


  • Lumoz AVS Oracle : Verantwortlich für das Erfassen und Speichern von Daten aus EVM-kompatiblen Ketten, gewährleistet eine hohe Verfügbarkeit und Integrität der Daten und bietet so eine solide Datengrundlage für die Berechnungsschicht.


  • Lumoz Chain : Fungiert als zentrale Verwaltungsebene der gesamten Berechnungsebene und ist verantwortlich für die Aufgabenplanung, Belohnungsverteilung und die Verwaltung von zkProver und zkVerifier, einschließlich, aber nicht beschränkt auf die Prozesse des Knotenbeitritts und -austritts.


  • zkProver : Knoten, die bestimmte Rechenaufgaben ausführen.


  • zkVerifier : Verifizierungsknoten, die die Ausführungsergebnisse validieren.


Durch die enge Zusammenarbeit dieser Module bietet der Lumoz Computation Layer nicht nur eine sichere und effiziente Rechenumgebung, sondern legt durch seinen modularen Aufbau auch eine solide Grundlage für zukünftige Erweiterungen und Upgrades.


3. Welche Probleme kann es lösen?

3.1 Rechenleistungsbedarf im großen Maßstab

Lumoz bietet eine robuste Cloud-Infrastrukturunterstützung für Zero-Knowledge-Proof-Berechnungen (ZKP). Diese Unterstützung ist entscheidend für ZK-Rollups, eine Blockchain-Skalierungslösung, die Transaktionen außerhalb der Kette ausführt und ZKPs verwendet, um die Gültigkeit dieser Transaktionen zu überprüfen. Die Beweise werden dann in der Kette übermittelt, wodurch die Belastung der Hauptkette verringert und der Transaktionsdurchsatz erhöht wird.


Funktionen der Lumoz Cloud-Infrastruktur:


  • Kompatibilität : Die Cloud-Infrastruktur von Lumoz ist mit verschiedenen ZK-Rollup-Lösungen wie Polygon CDK, zkSync, StarkNet und Scroll kompatibel. Dies bedeutet, dass sie diese verschiedenen Plattformen bedienen kann, ohne dass jede Plattform ihre eigene Infrastruktur aufbauen muss.


  • ZK-PoW-Algorithmus : Lumoz kombiniert die Rechenressourcen der Miner mit der Cloud-Infrastruktur durch den Zero-Knowledge Proof of Work (ZK-PoW)-Algorithmus und ermöglicht es den Minern, ihre Rechenleistung zur Unterstützung von ZKP-Berechnungen einzubringen.


  • Leistung und Effizienz : Durch die Unterstützung paralleler Berechnungen für ZKPs wird die Rechenleistung erheblich verbessert, da mehrere Aufgaben gleichzeitig ausgeführt werden können. Darüber hinaus gewährleistet die sequentielle Übermittlung eine ordnungsgemäße Verarbeitung der Transaktionen.


  • Rekursiver Aggregationsalgorithmus : Durch die Optimierung des rekursiven Aggregationsalgorithmus wird die Anzahl der erforderlichen ZKPs reduziert und so die Rechenkomplexität und die Kosten gesenkt.


  • Verbesserungen der Netzwerkkommunikation : Verbesserungen der Netzwerkkommunikation verkürzen die Datenübertragungszeit und verbessern die Gesamtreaktionsgeschwindigkeit des Systems.


  • Kosteneffizienz : Durch die oben genannten Optimierungen kann Lumoz die mit ZKP-Berechnungen verbundenen Kosten senken und ZK-Rollup-Lösungen wirtschaftlicher machen.


Die Cloud-Infrastruktur von Lumoz bietet eine leistungsstarke, flexible und kostengünstige Lösung für ZKP-Berechnungen und trägt zur Weiterentwicklung und Anwendung der Blockchain-Technologie bei.

3.2 Reduzierung des zk-Proof-Gases

Die Designstrategie von zkVerifier zielt darauf ab, die Effizienz und Skalierbarkeit zu verbessern sowie die Transaktionskosten effektiv zu senken, was sich in den folgenden Aspekten widerspiegelt:


  • Integration mehrerer Beweisquellen : zkVerifier kann Beweise aus verschiedenen Quellen integrieren und unterstützt so eine breite Palette von Zero-Knowledge-Beweisanwendungen. Diese Flexibilität ist ein entscheidender Vorteil im Blockchain-Ökosystem, da sie es verschiedenen Projekten und Anwendungen ermöglicht, die Dienste von zkVerifier zu nutzen.


  • Einsparungen bei den Gaskosten : Durch sorgfältig entwickelte Mechanismen zur Beweisverarbeitung und -überprüfung reduziert zkVerifier die Gaskosten für die Übermittlung von Beweisen erheblich und bietet Benutzern ein kostengünstigeres Blockchain-Service-Erlebnis.


  • Anpassungsfähigkeit an Beweiseigenschaften : zkVerifier zeigt Anpassungsfähigkeit an die Eigenschaften von Beweisen, die von verschiedenen Beweissystemen generiert werden, einschließlich Beweisgröße, Verifizierungszeit und Verifizierungslogik. Diese Anpassungsfähigkeit ist von zentraler Bedeutung, um den effizienten Betrieb des Systems sicherzustellen.


  • Angepasste Freigabestrategien : Basierend auf den Merkmalen verschiedener Nachweise hat zkVerifier angepasste Freigabestrategien entwickelt, die die Nutzung von On-Chain-Ressourcen optimieren und eine effiziente Nachweisübertragung gewährleisten. Dies trägt dazu bei, Netzwerküberlastungen zu reduzieren und die Transaktionsgeschwindigkeit zu verbessern.


  • Einsatz dedizierter Verifizierer : zkVerifier setzt dedizierte Verifizierer ein, die wichtige Mechanismen zur Gewährleistung der Gültigkeit von Beweisen sind. Diese Verifizierer stellen sicher, dass nur verifizierte Beweise auf Ethereum veröffentlicht werden können, wodurch die Sicherheit und Zuverlässigkeit des Systems gewährleistet bleibt.


  • Optimierung der Datenverfügbarkeitsschicht : Die Datenverfügbarkeitsschicht von zkVerifier gewährleistet die Haltbarkeit und Zugänglichkeit von Nachweisen und bietet gleichzeitig eine kostengünstige Speicherstrategie, die für die Senkung der Betriebskosten des Systems von entscheidender Bedeutung ist.


  • Tiefe Integration mit Ethereum : zkVerifier veröffentlicht Verifizierungsergebnisse an Ethereum, wo Ethereum Verifizierungsnachweise generiert. Dieser Schritt ist entscheidend, um Interoperabilität und Vertrauen zwischen den Ketten sicherzustellen und eine nahtlose Zusammenarbeit zwischen zkVerifier und großen Blockchain-Netzwerken wie Ethereum zu ermöglichen.


  • Autorität der Verifizierungsnachweise : Die von Ethereum generierten Verifizierungsnachweise stellen die endgültige, maßgebliche Bestätigung der von zkVerifier bereitgestellten Datengültigkeit dar. Dies ist für die Schaffung von Vertrauen in zkVerifier-Daten innerhalb des Ethereum-Netzwerks von entscheidender Bedeutung.


Diese innovativen Designs von zkVerifier gehen nicht nur auf die Herausforderungen ein, denen sich die bestehende Blockchain-Technologie gegenübersieht, sondern erzielen auch bedeutende Fortschritte bei der Steigerung der Effizienz, der Kostensenkung und der Verbesserung der Interoperabilität. Dieses Design trägt dazu bei, die breitere Anwendung der Blockchain-Technologie zu fördern und bietet Benutzern eine sicherere und effizientere Serviceumgebung.


4. Detaillierter Arbeitsablauf

4.1 zkProver

zkProver ist die Kernkomponente, die für die Generierung von Zero-Knowledge-Proofs (ZKPs) verantwortlich ist. ZKPs ermöglichen es dem Beweiser, dem Prüfer die Richtigkeit einer bestimmten Behauptung zu demonstrieren, ohne zusätzliche Informationen preiszugeben. zkProver umfasst verschiedene Arten von Beweisern wie zkRollup Prover, zkFraud Prover und zkML Prover, die jeweils für bestimmte Rechenaufgaben optimiert sind, um optimale Leistung und Systemleistung in ihren jeweiligen Bereichen sicherzustellen.



Arbeitsablauf:


  1. Aufgabenerfassung: Das Lumoz AVS Oracle- und Dispatch-Modul ruft Aufgaben aus der Blockchain ab und synchronisiert sie mit der Lumoz-Kette. Diese Aufgaben bestehen aus Behauptungen oder Berechnungen, die einen Nachweis erfordern.


  2. Aufgabenverteilung: Aufgaben werden über das Dispatch-Modul an verschiedene Prover verteilt. Dispatch fungiert als Aufgabenplanungszentrum und bestimmt, welcher Prover-Typ je nach Art und Anforderungen am besten für die Ausführung der jeweiligen Aufgabe geeignet ist. Das Dispatch-Modul weist Rechenressourcen dynamisch über intelligente Algorithmen zu und optimiert die Ressourcenverteilung in Echtzeit basierend auf der Aufgabenlast und der Leistung jedes Provers. So wird ein stabiler Systembetrieb während Zeiten mit hoher Nachfrage gewährleistet.


  3. Proof-Erstellung:

    a, zkRollup Prover: Konzentriert sich auf die Generierung von Beweisen im Zusammenhang mit der Stapelkomprimierung von Transaktionen und verbessert die Verarbeitungsgeschwindigkeit und Skalierbarkeit der Blockchain.

    b, zkFraud Prover: Generiert Betrugsnachweise, die dabei helfen, unangemessenes Verhalten zu erkennen und zu verhindern.

    c, zkML Prover: Spezialisiert auf die Generierung komplexer Beweise im Zusammenhang mit der Überprüfung von Modellen des maschinellen Lernens und stellt die Gültigkeit der Modellausgaben sicher, ohne das Modell selbst oder seine Eingabedaten preiszugeben.

    d, Andere Beweiser: Behandeln Sie bestimmte Beweisarten nach Bedarf.


  4. Übermittlung von Beweisen: Die generierten Beweise werden zur Überprüfung und Archivierung an die Lumoz-Kette gesendet.

4.2 zkVerifier

zkVerifier ist eine weitere Schlüsselkomponente in der Architektur und verantwortlich für die Überprüfung der von zkProver generierten ZKPs. Es stellt die Richtigkeit und Gültigkeit der an die Kette übermittelten Nachweise sicher und schützt so das Vertrauen und die Sicherheit des Systems. Durch einen optimierten Überprüfungsprozess verarbeitet zkVerifier Nachweise effizient und reduziert so Betriebskosten und Gasverbrauch.



Arbeitsablauf:


  1. Übermittlung von Beweisen: Von zkProver generierte Beweise werden an die Lumoz-Kette übermittelt, wodurch die Überprüfungsaufgabe eingeleitet wird.


  2. Beweisüberprüfung: Die Lumoz-Kette sendet die Überprüfungsaufgabe an mehrere zkVerifiers, die unabhängig voneinander eine verteilte Überprüfung durchführen.


  3. Kollektive Entscheidung: Mindestens zwei Drittel der Verifizierungsknoten bestätigen die Gültigkeit des Beweises und stellen so die Autorität und Konsistenz der Verifizierungsergebnisse sicher.


  4. Verarbeitung der Verifizierungsergebnisse: Gültige Nachweise und ihre Ergebnisse werden vom Lumoz AVS Oracle zurück an den Lumoz Proof Contract in der Blockchain übertragen. Der Task Manager Contract zeichnet die Task-Ergebnisse in der Lumoz Chain auf und reagiert darauf.


5. Zusammenfassung

Lumoz kündigt die Einführung von zkProver und zkVerifier auf Basis von EigenLayer an, wodurch die Effizienz von Berechnung und Verifizierung deutlich verbessert wird. Der Re-Staking-Mechanismus von EigenLayer gewährleistet effektiv die Sicherheit und Rentabilität des gesamten Serviceprozesses. Mit einem speziellen Knotendesign kann Lumoz Lösungen für verschiedene Rechenaufgaben bereitstellen und dabei optimale Leistung und Effizienz erzielen. Darüber hinaus bietet Lumoz durch den Re-Staking-Mechanismus den Stakern erhebliche Renditen, was die wirtschaftliche Sicherheit des Systems weiter erhöht.


Wir hoffen, dass in Zukunft weitere Projekte wie EigenLayer und Lumoz entstehen, die sich mit den aktuellen Herausforderungen der Blockchain befassen, echte Probleme der Benutzer lösen und aktiv effizientere und sicherere Lösungen erforschen und ausprobieren. Dies wird letztendlich den Fortschritt und den Wohlstand der gesamten Branche vorantreiben.