Autor: 1912212.eth, Foresight News

Die ZK-Infrastruktur erfreut sich weiterhin großer Beliebtheit bei Risikokapitalgebern, die im April dieses Jahres eine Finanzierungsrunde der Serie A in Höhe von 20 Millionen US-Dollar abgeschlossen haben. Diese Geschwindigkeit ist recht selten. Die Seed-Runde wurde von Lemniscap geleitet, unter Beteiligung von StarkWare, O(1)Labs und anderen Institutionen. Die A-Runde wurde von Hack VC unter Beteiligung von dao5 und anderen geleitet.

Welche Eigenschaften von Aligned ziehen so viele Risikokapitalinvestoren an?

Einführung in Aligned

Nach Ansicht von Aligned wird in Zukunft nicht die „Proof-Generierung“ der größte Engpass in der Branche sein, sondern die On-Chain-Proof-Verifizierung. Derzeit können ZK-basierte Anwendungen aufgrund der hohen Verifizierungskosten nicht effizient auf Ethereum ausgeführt werden.

Aligned ist eine auf EigenLayer aufbauende Verifizierungs- und Aggregationsschicht, die eine kostengünstige Verifizierung aller SNARK-Beweise ermöglicht, indem sie die Sicherheit von Ethereum-Validatoren nutzt. Aligned könnte mehr Anwendungen außerhalb von Ethereum haben und anderen Ketten bei der Validierung von Daten helfen. Aligned Layer wurde vom Ethereum-Infrastruktur-Startup Yet Another Company erstellt und entwickelt, das im Januar dieses Jahres eine Million US-Dollar an Finanzmitteln aufbrachte.

Wie aus dem Übersichtsdiagramm ersichtlich ist, handelt es sich bei Schicht 0 um die Bitcoin-, Ethereum- und DA-Schicht, bei Aligned um die Verifizierungsschicht Schicht 1 und bei Ebene 2 um andere Schichten wie Anwendungskette, zkML, zkEVM Rollup usw.

So funktioniert Aligned

Im Zuge des modularen Designs ist es gängige Praxis, mehrere Prozesse in mehrere dedizierte Schichten aufzuteilen. Von einer einzigen Ebene, die für die Durchführung von Verifizierung, Abrechnung und Konsens zuständig ist, bis hin zu DA verbessert der modulare Aufbau nach der Aufteilung die Effizienz und senkt die Kosten.

Aligned enthält hauptsächlich vier Kernelemente. Aligned empfängt hauptsächlich Beweise aus verschiedenen Beweissystemen und überprüft diese. Diese Beweise können mithilfe verschiedener Beweissysteme generiert werden. Sie verfügen über unterschiedliche Proofgrößen, Verifizierungszeiten und unterschiedliche Verifizierungslogiken. Eines haben jedoch alle Beweise gemeinsam: Sie sind schnell verifizierbar.

Aligned verfügt über spezielle Validatoren, mit denen die Gültigkeit jedes Validators überprüft und die Ergebnisse auf Ethereum veröffentlicht werden können. Beweise werden in der Datenverfügbarkeitsschicht gespeichert, was eine kostengünstige Speicherstrategie bietet. Die Operatoren in Aligned beziehen die Daten für den Beweis aus dieser Ebene.

Ethereum erhält Verifizierungsergebnisse von Aligned. Allerdings kann Ethereum selbst aufgrund der hohen Kosten keine Beweise verifizieren. Stattdessen generiert der normale Rust-Prüfer Verifizierungsnachweise für alle innerhalb eines bestimmten Zeitraums enthaltenen Nachweise.

Um alle Beweise zu aggregieren, werden in einem ersten Schritt alle Beweise in von einer virtuellen Maschine ausgeführte Beweise umgewandelt und so eine Einheitlichkeit der Beweise erreicht. Wir können dann die Beweisgröße reduzieren, indem wir den Beweis rekursiv beweisen, wie im Baumdiagramm gezeigt:

Anwendungen

Aligned gab an, dass seine möglichen Anwendungsrichtungen eine Vielzahl von Kategorien umfassen, wie zum Beispiel: weiche Endgültigkeit von Rollups und Anwendungsketten, schnelle Überbrückung, SNARK-basierte P2P-Protokolle wie Zahlungssysteme und soziale Netzwerke, öffentliche Ketten, die mit Ethereum interagieren, und Maschine Lernen, ZK-Orakel, Identitätsüberprüfungsprotokoll, On-Chain-Spiele usw.

Derzeit unterstützt Aligned Platinum Prover von Cairo STARK, Plonk von Gnark, Kimchi von Mina, SP1 von SuccintLabs und Jolt von a16z. Der Aufwand für die Verifizierung hängt von der Art des Nachweises und dessen Umfang ab.

Darüber hinaus hat Aligned im März ein einfaches Testnetz auf Basis des Cosmos SDK gestartet und wird auf das EigenLayer-Testnetz migrieren.