[Lighter × Succinct]: Wizja wysokowydajnych kontraktów napędzanych przez ZK i wspólnego sortera

Chainfeeds Wprowadzenie:

Ta architektura ustanawia jasny podział ról: L1 (Ethereum) działa jako bezpieczny globalny bilans, odpowiedzialny za przechowywanie kapitału; L2 (Lighter): jako warstwa wykonawcza o wysokiej wydajności, odpowiedzialna za zarządzanie ryzykiem; infrastruktura ZK (Succinct): jako kryptograficzna warstwa bazowa, wiarygodnie łącząca obie warstwy.

Źródło artykułu:

Autor artykułu:

jaehaerys

Poglądy:

jaehaerys: W dążeniu do skalowalności blockchain, narracja L2 była przez długi czas zdominowana przez metaforę mostu. Aby użytkownicy mogli wejść w środowisko Rollup o wysokiej przepustowości i niskich kosztach, muszą zablokować aktywa na L1 i otrzymać ich syntetyczny odpowiednik na L2. Jednak ten model generuje nowe problemy: fragmentację płynności oraz szereg katastrofalnych ataków na mosty cross-chain — ataki te stały się jednymi z największych przypadków utraty środków w historii zdecentralizowanych finansów. W odpowiedzi pojawiło się nowe alternatywne podejście: zamiast przenosić aktywa do środowiska obliczeniowego, wystarczy przenieść do niego weryfikowalne informacje o aktywach. Pomysł ten pojawił się po raz pierwszy podczas transmisji SuccinctLabs, kiedy założyciel Gauntlet, Tarun Chitra, rozważając przyszłość systemów ZK, zasugerował, że protokoły ZK mogą uczynić migrację aktywów bardziej naturalną i wydajną. Aktywa mogą pozostać zablokowane na głównej sieci Ethereum (L1), ale dzięki zero-knowledge proof (ZKP) ich użyteczność może być bezpiecznie weryfikowana na L2 i wykorzystywana jako zabezpieczenie. W ten sposób lokalizacja i funkcja kapitału zostają rozdzielone: aktywa pozostają w najbezpieczniejszym środowisku L1, podczas gdy ich wartość jest rzutowana na wydajną warstwę L2, znacznie zwiększając efektywność kapitału. Na przykład, pozycje użytkownika w stETH lub Morpho Vault mogą nadal generować zyski na L1, podczas gdy dowód ich wartości jest wykorzystywany jako dźwignia zabezpieczenia na L2. Ten model nie tylko zmniejsza ryzyko cross-chain, ale także wspiera kompozycyjność i bezpieczną interoperacyjność między warstwami. Wdrożenie tego modelu zależy od połączenia Lighter i Succinct. Lighter to zdecentralizowana giełda perpetuali (Perp DEX) oparta na centralnym arkuszu zleceń (CLOB), której kluczową decyzją architektoniczną jest użycie niestandardowych obwodów zk zamiast ogólnych zkVM lub zkEVM. Takie rozwiązanie pozwala na optymalizację systemu kryptograficznego pod kątem dopasowywania zleceń, silnika ryzyka i logiki likwidacji, co zapewnia wysoką wydajność weryfikacji określonych funkcji handlowych i unika kosztownych oraz powolnych wąskich gardeł ogólnych dowodów. Z drugiej strony, Succinct oferuje SP1 zkVM — maszynę wirtualną opartą na RISC-V, obsługującą pełny ekosystem Rust, umożliwiającą wydajne kodowanie złożonej logiki aplikacji, takiej jak metody wyceny DeFi Vault lub silniki likwidacji. Ponadto Succinct prowadzi zdecentralizowaną sieć dowodzenia (SPN), która jest konkurencyjnym rynkiem generowania dowodów napędzanym przez GPU, FPGA, a w przyszłości nawet ASIC, umożliwiając szybkie i tanie generowanie wymaganych dowodów. Po połączeniu obu rozwiązań użytkownicy mogą wykorzystywać produktywne aktywa z L1 do handlu z dźwignią na L2 bez utraty zysków. Na przykład, użytkownik nadal otrzymuje odsetki z Morpho Vault na L1, podczas gdy dowód wartości tych aktywów służy jako depozyt zabezpieczający dla perpetuali na L2. Co więcej, ta architektura może wspierać tokenizację złożonych strategii L2, umożliwiając ich obrót na L1 jako standaryzowane aktywa, na przykład natywny token 3x ETH z dźwignią, który może być wykorzystywany w aplikacjach takich jak pożyczki Aave. Ten model nie tylko zwiększa efektywność kapitału, ale także wzbogaca możliwości kompozycyjności między warstwami. Sercem tej architektury jest współpraca kontraktu Escrow i sieci dowodzenia Succinct. Użytkownik najpierw deponuje ETH, stablecoiny lub produktywne aktywa do kontraktu Escrow na Ethereum L1. Kontrakt Escrow wywołuje zdarzenie, które jest odbierane przez sieć dowodzenia Succinct, generując dowód SNARK potwierdzający, że aktywa zostały rzeczywiście zablokowane. Po potwierdzeniu tego dowodu przez kontrakt weryfikacyjny na łańcuchu, Sequencer księguje środki na koncie depozytowym użytkownika na Lighter L2. Następnie zobowiązania stanu L2 (stan arkusza zleceń, salda itp.) są przesyłane do warstwy dostępności danych (DA) w celu przyszłej weryfikacji. W całym procesie aktywa nigdy nie opuszczają L1, co zapewnia bezpieczeństwo. Co ważniejsze, gdy użytkownik napotka cenzurę lub wystąpi problem z L2, może skorzystać z mechanizmu awaryjnego i bezpośrednio złożyć żądanie wyjścia na L1. Użytkownik inicjuje transakcję wyjścia na L1, DA dostarcza zobowiązanie stanu i dowód włączenia, a sieć Succinct przekształca żądanie w zadanie dowodowe i generuje dowód SNARK. Jeśli weryfikacja się powiedzie, kontrakt Escrow wymusza zwolnienie środków i zwraca aktywa bezpośrednio użytkownikowi. Ten projekt gwarantuje, że niezależnie od sytuacji na L2, użytkownik zawsze może polegać na bezpieczeństwie L1, aby odzyskać swoje aktywa. Jest to podobne do ścieżki awaryjnej w tradycyjnych Rollupach, ale w scenariuszu migracji użyteczności i zabezpieczenia aktywów model ten oferuje bardziej elastyczną i odporną na cenzurę ochronę wyjścia środków, dodatkowo podkreślając zalety rozdzielenia lokalizacji i funkcji kapitału. [Oryginał w języku angielskim]