【Englischer Long Tweet】Lighter × Succinct: ZK-gesteuerte Hochleistungsverträge und die Vision eines gemeinsamen Sequencers

Chainfeeds Zusammenfassung:

Diese Architektur etabliert eine klare Arbeitsteilung: L1 (Ethereum) dient als sicheres globales Hauptbuch für die Kapitalaufbewahrung; L2 (Lighter) fungiert als leistungsstarke Ausführungsschicht und ist für das Risikomanagement zuständig; ZK-Infrastruktur (Succinct) bildet das kryptographische Grundgerüst und verbindet beide Ebenen vertrauenswürdig miteinander.

Quelle des Artikels:

Autor des Artikels:

jaehaerys

Meinung:

jaehaerys: In der Suche nach Skalierbarkeit der Blockchain wurde die L2-Narrative lange Zeit von der Metapher der Brücke dominiert. Nutzer, die in eine Rollup-Umgebung mit hoher Durchsatzrate und niedrigen Kosten eintreten möchten, müssen ihre Vermögenswerte auf L1 sperren und erhalten auf L2 ein synthetisches Äquivalent. Dieses Modell bringt jedoch neue Probleme mit sich: Fragmentierung der Liquidität sowie eine Reihe katastrophaler Cross-Chain-Bridge-Angriffe – einige der größten Kapitalverluste in der Geschichte der dezentralen Finanzen. Daher entstand ein neuer alternativer Ansatz: Anstatt Vermögenswerte in die Rechenumgebung zu transferieren, wird lediglich verifizierbare Information über die Vermögenswerte in die Rechenumgebung gebracht. Diese Idee wurde erstmals in einem Livestream von SuccinctLabs vorgestellt, als Tarun Chitra, Gründer von Gauntlet, über die Zukunft von ZK-Systemen nachdachte. Er ist der Meinung, dass ZK-Protokolle den Transfer von Vermögenswerten natürlicher und effizienter gestalten können. Die Vermögenswerte können weiterhin auf dem Ethereum-Mainnet (L1) gesperrt bleiben, aber durch Zero-Knowledge-Proofs (ZKP) kann ihr Nutzen sicher auf L2 validiert und als Sicherheit verwendet werden. So werden Standort und Funktion des Kapitals getrennt: Die Vermögenswerte verbleiben in der sichersten Umgebung L1, während ihr Wert auf die leistungsstarke L2 projiziert wird, was die Kapitaleffizienz erheblich steigert. Beispielsweise können Nutzer ihre stETH- oder Morpho Vault-Positionen weiterhin auf L1 verzinsen lassen, während der Wertnachweis auf L2 als Sicherheitenhebel genutzt wird. Dieses Modell reduziert nicht nur das Cross-Chain-Risiko, sondern fördert auch die Komponierbarkeit und sichere Interoperabilität zwischen den Schichten. Die Umsetzung dieses Modells basiert auf der Kombination von Lighter und Succinct. Lighter ist eine dezentrale Perpetual Contract Exchange (Perp DEX) auf Basis eines zentralen Limit-Orderbuchs (CLOB), deren Kernarchitektur auf maßgeschneiderten zk-Schaltkreisen statt auf einer generischen zkVM oder zkEVM basiert. Dieses Design ermöglicht es, das Kryptosystem speziell für Matching, Risiko-Engine und Liquidationslogik zu optimieren, wodurch die Verifizierung spezifischer Handelsfunktionen äußerst effizient ist und die teuren und langsamen Engpässe generischer Beweise vermieden werden. Succinct hingegen bietet die SP1 zkVM – eine auf RISC-V basierende virtuelle Maschine, die das vollständige Rust-Ökosystem unterstützt und komplexe Anwendungslogik wie Bewertungsmethoden für DeFi Vaults oder Liquidations-Engines effizient codieren kann. Darüber hinaus betreibt Succinct ein dezentrales Proof-Netzwerk (SPN), einen wettbewerbsorientierten Markt für die Generierung von Beweisen, der von GPUs, FPGAs und zukünftig sogar ASICs angetrieben wird und schnell sowie kostengünstig die benötigten Beweise erzeugen kann. Durch die Kombination beider Systeme können Nutzer produktive Vermögenswerte auf L1 für gehebelte Trades auf L2 nutzen, ohne auf Erträge zu verzichten. Beispielsweise kann ein Nutzer weiterhin Zinsen aus dem Morpho Vault auf L1 erhalten, während der Wertnachweis dieser Vermögenswerte als Margin für Perpetual Trades auf L2 dient. Darüber hinaus unterstützt diese Architektur die Tokenisierung komplexer L2-Strategien, sodass sie als standardisierte Vermögenswerte auf L1 zirkulieren können, etwa native 3x ETH-Leverage-Token, die für Anwendungen wie Aave-Lending genutzt werden können. Dieses Modell steigert nicht nur die Kapitaleffizienz, sondern erweitert auch die Möglichkeiten der Komponierbarkeit zwischen den Schichten. Das Herzstück dieser Architektur ist die Zusammenarbeit zwischen Escrow-Verträgen und dem Succinct Proof Network. Nutzer hinterlegen zunächst ETH, Stablecoins oder ertragsbringende Vermögenswerte im Escrow-Vertrag auf Ethereum L1. Der Escrow-Vertrag löst ein Ereignis aus, das vom Succinct Proof Network empfangen wird, welches dann einen SNARK-Beweis generiert, der bestätigt, dass die Vermögenswerte tatsächlich gesperrt wurden. Nach der On-Chain-Bestätigung dieses Beweises durch den Verifizierungsvertrag schreibt der Sequencer dem Margin-Konto des Nutzers auf Lighter L2 gut. Anschließend werden die Statuszusagen von L2 (Orderbuchstatus, Salden usw.) an die Data Availability Layer (DA) übermittelt, um eine spätere Verifizierung zu ermöglichen. Während des gesamten Prozesses verlassen die Vermögenswerte niemals L1, wodurch die Sicherheit gewährleistet bleibt. Noch wichtiger ist, dass Nutzer im Falle einer Zensur oder eines Problems auf L2 über einen Escape-Pod-Mechanismus direkt auf L1 einen Auszahlungsantrag stellen können. Der Nutzer initiiert eine Auszahlungs-Transaktion auf L1, DA liefert Statuszusagen und den enthaltenen Beweis, das Succinct-Netzwerk wandelt diese Anfrage in eine Beweisaufgabe um und generiert einen SNARK-Beweis. Bei erfolgreicher Verifizierung gibt der Escrow-Vertrag die Gelder frei und überweist die Vermögenswerte direkt an den Nutzer zurück. Dieses Design stellt sicher, dass Nutzer ihre Vermögenswerte unabhängig von der Situation auf L2 stets durch die Sicherheit von L1 zurückerhalten können. Ähnlich wie bei den Escape-Pfaden traditioneller Rollups bietet dieses Modell jedoch in Szenarien der Kapitalnutzung und Sicherheitenmigration einen flexibleren und zensurresistenteren Ausstiegsmechanismus und unterstreicht so die Vorteile der Trennung von Kapitalstandort und -funktion. [Originaltext auf Englisch]