【Lungo thread in inglese】Lighter × Succinct: Visione di contratti ad alte prestazioni guidati da ZK e ordinatori condivisi

Chainfeeds Guida alla lettura:

Questa architettura stabilisce una chiara divisione dei compiti: L1 (Ethereum) funge da bilancio globale sicuro, responsabile della custodia del capitale; L2 (Lighter): agisce come layer di esecuzione ad alte prestazioni, responsabile della gestione del rischio; l'infrastruttura ZK (Succinct): funge da tessuto crittografico di base, collegando in modo affidabile i due livelli.

Fonte dell'articolo:

Autore dell'articolo:

jaehaerys

Punto di vista:

jaehaerys: Nella ricerca della scalabilità della blockchain, la narrazione di L2 è stata a lungo dominata dalla metafora del bridge. Gli utenti che desiderano accedere a un ambiente Rollup ad alta capacità e basso costo devono bloccare i propri asset su L1 e ricevere un equivalente sintetico su L2. Tuttavia, questo modello ha generato nuovi problemi: la frammentazione della liquidità e una serie di attacchi catastrofici ai bridge cross-chain — questi attacchi rappresentano alcuni dei maggiori casi di perdita di fondi nella storia della finanza decentralizzata. In risposta, è emersa una nuova alternativa: invece di trasferire gli asset nell'ambiente di calcolo, si porta solo l'informazione verificabile sugli asset nell'ambiente di calcolo. Questa idea è stata inizialmente proposta durante una live di SuccinctLabs, quando il fondatore di Gauntlet, Tarun Chitra, riflettendo sul futuro dei sistemi ZK, ha suggerito che i protocolli ZK possono rendere la migrazione degli asset più naturale ed efficiente. Gli asset possono rimanere bloccati sulla mainnet di Ethereum (L1), ma tramite Zero-Knowledge Proof (ZKP), la loro utilità può essere verificata in modo sicuro su L2 e utilizzata come collaterale. In questo modo, la posizione e la funzione del capitale vengono separate: gli asset rimangono nell'ambiente più sicuro, L1, mentre il loro valore viene proiettato su L2 ad alte prestazioni, migliorando notevolmente l'efficienza del capitale. Ad esempio, le posizioni stETH o Morpho Vault degli utenti possono continuare a generare rendimenti su L1, mentre la prova del loro valore viene utilizzata come leva collaterale su L2. Questo modello non solo riduce il rischio cross-chain, ma promuove anche la composabilità e l'interoperabilità sicura tra i layer. L'implementazione di questo modello si basa sulla combinazione di Lighter e Succinct. Lighter è un exchange decentralizzato di perpetual basato su order book centralizzato (CLOB), la cui architettura principale si basa su circuiti zk personalizzati, invece di zkVM o zkEVM generici. Questo design consente al sistema crittografico di essere ottimizzato specificamente per il matching, il motore di rischio e la logica di liquidazione, risultando estremamente efficiente nella verifica di funzioni di trading specifiche, evitando i colli di bottiglia costosi e lenti delle prove generiche. D'altra parte, Succinct offre SP1 zkVM — una virtual machine basata su RISC-V che supporta l'intero ecosistema Rust, consentendo di codificare in modo efficiente logiche applicative complesse, come i metodi di valutazione dei DeFi Vault o i motori di liquidazione. Inoltre, Succinct gestisce una rete di proving decentralizzata (SPN), un mercato competitivo di generazione di prove alimentato da GPU, FPGA e, in futuro, anche ASIC, in grado di produrre rapidamente e a basso costo le prove necessarie. Combinando i due, gli utenti possono utilizzare asset produttivi su L1 per il trading a leva su L2 senza sacrificare i rendimenti. Ad esempio, l'utente continua a guadagnare interessi dal Morpho Vault su L1, mentre la prova del valore di questi asset funge da margine per il trading perpetual su L2. Inoltre, questa architettura può supportare la tokenizzazione di strategie L2 complesse, consentendo loro di circolare su L1 come asset standardizzati, come token nativi 3x ETH a leva, utilizzabili in applicazioni come Aave lending. Questo modello non solo migliora l'efficienza del capitale, ma arricchisce anche le possibilità di composabilità cross-layer. Il cuore di questa architettura è la collaborazione tra il contratto Escrow e la rete di proving Succinct. Gli utenti depositano prima ETH, stablecoin o asset produttivi nel contratto Escrow su Ethereum L1. Il contratto Escrow attiva un evento, che viene ricevuto dalla rete di proving Succinct per generare una prova SNARK che dimostra che gli asset sono effettivamente bloccati. Dopo che il contratto di verifica conferma la prova on-chain, il Sequencer accredita il conto margine dell'utente su Lighter L2. Successivamente, lo stato di L2 (stato dell'order book, saldi, ecc.) viene inviato al livello di data availability (DA) per la futura verifica. Durante l'intero processo, gli asset non lasciano mai L1, garantendo la sicurezza. Ancora più importante, se l'utente subisce una censura o L2 presenta problemi, può utilizzare il meccanismo di escape pod per inviare direttamente una richiesta di uscita su L1. L'utente avvia una transazione di uscita su L1, il DA fornisce lo stato e la prova inclusa, e la rete Succinct trasforma la richiesta in un task di proving e genera una prova SNARK. Se la verifica ha esito positivo, il contratto Escrow rilascia forzatamente i fondi, restituendo direttamente gli asset all'utente. Questo design garantisce che, indipendentemente da ciò che accade su L2, l'utente possa sempre recuperare i propri asset affidandosi alla sicurezza di L1. Simile al percorso di escape dei Rollup tradizionali, ma in scenari di utilità degli asset e migrazione del collaterale, questo modello offre una protezione di uscita dei fondi più flessibile e resistente alla censura, evidenziando ulteriormente i vantaggi della separazione tra posizione e funzione del capitale. [L'originale è in inglese]