[Long tweet en anglais] Lighter × Succinct : Vision des contrats haute performance et des séquenceurs partagés alimentés par ZK

Chainfeeds Guide :

Cette architecture établit une répartition claire des rôles : L1 (Ethereum) sert de bilan mondial sécurisé, responsable du stockage du capital ; L2 (Lighter) : agit comme une couche d'exécution haute performance, responsable de la gestion des risques ; l'infrastructure ZK (Succinct) : sert de trame cryptographique de base, connectant de manière fiable les deux.

Source de l'article :

Auteur de l'article :

jaehaerys

Opinion :

jaehaerys : Dans la quête de la scalabilité de la blockchain, le récit autour de L2 a longtemps été dominé par la métaphore du pont. Pour accéder à un environnement Rollup à haut débit et à faible coût, les utilisateurs doivent verrouiller leurs actifs sur L1 et obtenir un équivalent synthétique sur L2. Cependant, ce modèle a engendré de nouveaux problèmes : fragmentation de la liquidité et une série d'attaques catastrophiques sur les ponts inter-chaînes — ces attaques comptent parmi les plus grandes pertes de fonds de l'histoire de la finance décentralisée. Face à cela, une nouvelle approche alternative a émergé : au lieu de transférer les actifs vers l'environnement de calcul, il s'agirait d'apporter uniquement des informations vérifiables sur les actifs dans cet environnement. Cette idée est apparue pour la première fois lors d'un live de SuccinctLabs, où Tarun Chitra, fondateur de Gauntlet, en réfléchissant à l'avenir des systèmes ZK, a suggéré que les protocoles ZK pourraient rendre la migration des actifs plus naturelle et efficace. Les actifs peuvent rester verrouillés sur le mainnet Ethereum (L1), mais grâce aux preuves à connaissance nulle (ZKP), leur utilité peut être vérifiée en toute sécurité sur L2 et utilisée comme collatéral. Ainsi, la localisation et la fonction du capital sont dissociées : les actifs restent dans l'environnement le plus sécurisé, L1, tandis que leur valeur est projetée sur L2 haute performance, augmentant considérablement l'efficacité du capital. Par exemple, la position stETH ou Morpho Vault d'un utilisateur peut continuer à générer des rendements sur L1, tandis que la preuve de leur valeur est utilisée comme levier collatéral sur L2. Ce modèle permet non seulement de réduire les risques inter-chaînes, mais aussi de favoriser la composabilité inter-couches et l'interopérabilité sécurisée. La mise en œuvre de ce modèle repose sur la combinaison de Lighter et Succinct. Lighter est un exchange décentralisé de contrats perpétuels (Perp DEX) basé sur un carnet d'ordres centralisé (CLOB), dont l'architecture principale repose sur des circuits zk personnalisés, plutôt que sur une zkVM ou zkEVM générique. Cette conception permet à son système cryptographique d'être optimisé spécifiquement pour le matching, le moteur de risque et la logique de liquidation, ce qui le rend extrêmement efficace pour vérifier des fonctions de trading spécifiques, évitant ainsi les goulets d'étranglement coûteux et lents des preuves génériques. D'autre part, Succinct propose la SP1 zkVM — une machine virtuelle basée sur RISC-V, compatible avec tout l'écosystème Rust, capable de coder efficacement des logiques applicatives complexes, telles que les méthodes de valorisation de DeFi Vault ou les moteurs de liquidation. De plus, Succinct exploite un réseau de preuve décentralisé (SPN), un marché compétitif de génération de preuves alimenté par GPU, FPGA, voire à l'avenir ASIC, permettant de générer rapidement et à faible coût les preuves nécessaires. Une fois combinés, les utilisateurs peuvent utiliser leurs actifs productifs sur L1 pour des transactions à effet de levier sur L2 sans sacrifier leurs rendements. Par exemple, un utilisateur continue de percevoir des intérêts sur son Morpho Vault sur L1, tandis que la preuve de la valeur de ces actifs sert de marge pour les transactions perpétuelles sur L2. Plus encore, cette architecture peut supporter la tokenisation de stratégies L2 complexes, leur permettant de circuler sur L1 sous forme d'actifs standardisés, comme des tokens natifs à effet de levier 3x ETH, utilisables dans des applications telles que le prêt sur Aave. Ce modèle améliore non seulement l'efficacité du capital, mais enrichit également les possibilités de composabilité inter-couches. Le cœur de cette architecture réside dans la collaboration entre le contrat Escrow et le réseau de preuve Succinct. L'utilisateur dépose d'abord des ETH, stablecoins ou actifs générant des intérêts dans le contrat Escrow sur Ethereum L1. Le contrat Escrow déclenche un événement, reçu par le réseau de preuve Succinct qui génère une preuve SNARK attestant que les actifs sont effectivement verrouillés. Une fois la preuve validée on-chain par le contrat de vérification, le Sequencer crédite le compte de marge de l'utilisateur sur Lighter L2. Ensuite, l'engagement d'état de L2 (état du carnet d'ordres, soldes, etc.) est soumis à la couche de disponibilité des données (DA) pour vérification future. Tout au long du processus, les actifs ne quittent jamais L1, garantissant la sécurité. Plus important encore, si l'utilisateur fait face à une censure ou à un problème sur L2, il peut utiliser un mécanisme d'évacuation pour soumettre directement une demande de retrait sur L1. L'utilisateur initie une transaction de retrait sur L1, la DA fournit l'engagement d'état et la preuve incluse, et le réseau Succinct convertit cette demande en tâche de preuve et génère une preuve SNARK. Si la vérification est réussie, le contrat Escrow libère les fonds et restitue directement les actifs à l'utilisateur. Ce design garantit que, quelle que soit la situation sur L2, l'utilisateur peut toujours compter sur la sécurité de L1 pour récupérer ses actifs. Similaire au chemin d'évacuation des Rollups traditionnels, mais dans le contexte de la migration de l'utilité et du collatéral des actifs, ce modèle offre une sortie de fonds plus flexible et résistante à la censure, mettant davantage en avant les avantages de la séparation entre localisation et fonction du capital. [Texte original en anglais]