[Англоязычный длинный пост] Lighter × Succinct: видение высокопроизводительных контрактов и общего сортировщика на базе ZK

Chainfeeds Введение:

Эта архитектура устанавливает четкое разделение ролей: L1 (Ethereum) выступает в качестве безопасного глобального баланса активов и пассивов, отвечая за хранение капитала; L2 (Lighter) — это высокопроизводительный исполнительный уровень, отвечающий за управление рисками; ZK-инфраструктура (Succinct) — криптографическая основа, надежно соединяющая оба уровня.

Источник статьи:

Автор статьи:

jaehaerys

Мнение:

jaehaerys: В стремлении к масштабируемости блокчейна нарратив L2 долгое время определялся метафорой мостов. Чтобы попасть в среду Rollup с высокой пропускной способностью и низкими издержками, пользователи должны были заблокировать активы на L1 и получить синтетический эквивалент на L2. Однако эта модель породила новые проблемы: фрагментацию ликвидности и серию катастрофических атак на кроссчейн-мосты — эти атаки стали одними из крупнейших потерь средств в истории децентрализованных финансов. В ответ появилась новая альтернативная концепция: вместо переноса активов в вычислительную среду, переносить туда только проверяемую информацию об активах. Эта идея впервые прозвучала на одном из стримов SuccinctLabs, когда основатель Gauntlet Tarun Chitra, размышляя о будущем ZK-систем, отметил, что ZK-протоколы могут сделать миграцию активов более естественной и эффективной. Активы могут оставаться заблокированными в основной сети Ethereum (L1), но с помощью zero-knowledge proofs (ZKP) их полезность может быть безопасно подтверждена и использована в качестве залога на L2. Таким образом, местоположение и функция капитала разделяются: активы остаются в самой безопасной среде L1, а их стоимость проецируется на высокопроизводительный L2, что значительно повышает эффективность капитала. Например, позиции пользователя в stETH или Morpho Vault могут продолжать приносить доход на L1, в то время как доказательство их стоимости используется как залог для плечевых сделок на L2. Эта модель не только снижает риски кроссчейн-операций, но и способствует межуровневой компонуемости и безопасной интероперабельности. Реализация этой модели зависит от сочетания Lighter и Succinct. Lighter — это децентрализованная биржа бессрочных контрактов (Perp DEX) на основе центрального лимитного ордербука (CLOB), где в качестве основной архитектурной особенности используются кастомные zk-цепи, а не универсальные zkVM или zkEVM. Такой подход позволяет криптографической системе быть специализированной для оптимизации сопоставления ордеров, риск-движка и логики ликвидации, что обеспечивает высокую эффективность при верификации конкретных торговых функций и избегает дорогих и медленных узких мест универсальных доказательств. С другой стороны, Succinct предоставляет SP1 zkVM — виртуальную машину на базе RISC-V, поддерживающую полный Rust-экосистему, что позволяет эффективно кодировать сложную бизнес-логику приложений, например, методы оценки DeFi Vault или движки ликвидации. Кроме того, Succinct управляет децентрализованной сетью доказательств (SPN), представляющей собой конкурентный рынок генерации доказательств на базе GPU, FPGA и в будущем ASIC, что позволяет быстро и дешево создавать необходимые доказательства. В совокупности это позволяет пользователям использовать производительные активы на L1 для плечевых сделок на L2 без потери доходности. Например, пользователь продолжает получать проценты с Morpho Vault на L1, а доказательство стоимости этих активов используется как маржа для бессрочных сделок на L2. Более того, эта архитектура поддерживает токенизацию сложных L2-стратегий, позволяя им циркулировать на L1 в виде стандартизированных активов, например, нативных 3x ETH леверидж-токенов, которые можно использовать в приложениях типа Aave. Такая модель не только повышает эффективность капитала, но и расширяет возможности межуровневой компонуемости. В основе архитектуры лежит взаимодействие Escrow-контракта и сети доказательств Succinct. Пользователь сначала депонирует ETH, стейблкоины или доходные активы в Escrow-контракт на Ethereum L1. Escrow-контракт инициирует событие, которое принимается сетью доказательств Succinct, и генерируется SNARK-доказательство, подтверждающее, что активы действительно заблокированы. После того как верификационный контракт на блокчейне подтверждает это доказательство, Sequencer зачисляет средства на маржинальный счет пользователя на Lighter L2. Затем коммит состояния L2 (состояние ордербука, балансы и т.д.) отправляется в слой доступности данных (DA) для последующей проверки. На протяжении всего процесса активы никогда не покидают L1, что гарантирует безопасность. Более того, если пользователь сталкивается с цензурой или возникают проблемы на L2, он может воспользоваться механизмом аварийного выхода, подав запрос на выход напрямую на L1. Пользователь инициирует выходную транзакцию на L1, DA предоставляет коммит состояния и включенное доказательство, а сеть Succinct превращает этот запрос в задачу доказательства и генерирует SNARK-доказательство. Если верификация проходит успешно, Escrow-контракт принудительно освобождает средства и возвращает активы пользователю. Такой дизайн гарантирует, что независимо от ситуации на L2, пользователь всегда может рассчитывать на безопасность L1 для возврата своих активов. Это похоже на путь выхода в традиционных Rollup, но в сценариях переноса полезности и залога активов эта модель обеспечивает более гибкую и устойчивую к цензуре защиту вывода средств, еще раз подчеркивая преимущества разделения местоположения и функции капитала. [Оригинал на английском]