Глибоке занурення в секвенування для конкретних застосувань
Особлива подяка @ThogardPvP та @jacobeth4 з @0xFastLane, @ballsyalchemist з @sorella_labs та @DariusTabai з @vertex_protocol за прочитання попередніх версій цієї статті та надання відгуків.
Вступ
З розвитком технології блокчейн децентралізовані додатки (dApps) стикаються зі зростаючими проблемами в управлінні послідовністю транзакцій для оптимізації користувацького досвіду, збереження цінності та безпеки. Традиційні блокчейн-архітектури часто залишають dApps на милість зовнішніх суб'єктів - таких як майнери, валідатори, розробники пошукових систем - які контролюють порядок транзакцій та їх включення. Відсутність контролю може призвести до витоку цінності, несправедливих результатів для користувачів, включаючи вразливість до зловмисних дій, таких як фронт-раннінг або сендвіч-атаки.
Секвенування для конкретних додатків (Application-Specific Sequencing, ASS) є ключовою інновацією, яка надає dApps більший контроль над включенням і впорядкуванням транзакцій, що впливають на їх стан, без накладних витрат і втрати сумісності активів, пов'язаних з необхідністю створювати і підтримувати власні ланцюжки. Налаштовуючи механізми впорядкування відповідно до своїх конкретних потреб, dApps можуть пом'якшити негативні зовнішні ефекти, інтерналізувати цінність і підвищити загальну ефективність системи. Однак впровадження ASS пов'язане зі складними компромісами, зокрема, між сумісністю та отриманням прибутку, а також ставить важливі питання щодо дизайну інфраструктури та стимулюючих структур.
Ця стаття досліджує нюанси ASS, синтезуючи інсайти з поточних проектів, і розглядає компроміси, притаманні цьому дизайнерському простору. Наша мета - надати дослідникам і розробникам комплексне уявлення для подальшого вивчення та оптимізації механізмів ASS.
Історія питання: Спектр секвенування
Важливість секвенування транзакцій
Послідовність транзакцій безпосередньо впливає на потоки цінності, користувацький досвід і безпеку.
- Власність на цінності та їх рух: Секвенсор (загальний) відіграє важливу роль у тому, як передаються активи і хто отримує контроль над ними.
- Взаємодія з користувачем: Впливає на час підтвердження транзакцій, комісії та передбачуваність.
- Цілісність і чесність транзакцій: Впливає на вразливість до видобутку MEV та маніпулятивних практик.
Роль MEV у секвенуванні транзакцій
MEV - це прибуток, який майнери, валідатори або інші видобувачі можуть отримати, змінюючи порядок, включаючи або виключаючи транзакції в блоках, які вони видобувають. Видобуток MEV часто відбувається за рахунок користувачів і постачальників ліквідності (LP), що призводить до витоку вартості з екосистеми dApp і підриває довіру користувачів. Поширеними формами MEV є арбітраж, ліквідація, сендвіч-атаки та атаки з використанням тайм-бандитів.
Механізми секвенування сьогодні
Послідовність транзакцій визначає порядок, в якому обробляються транзакції в блокчейні. Різні методи спрямовані на підвищення продуктивності, справедливості та безпеки. Основними механізмами, які використовуються сьогодні, є
- Розділення пропонента та будівельника (PBS) з реле
- Що це таке: PBS розділяє ролі пропонентів блоків (валідаторів) і творців блоків. Будівельники створюють блоки, які максимізують прибуток за рахунок збору MEV, в той час як реле безпечно передають ці блоки пропонентам.
- Як це працює: Пропонуючі продають на аукціоні права на розміщення блоків через реле. Білдери збирають блоки, реле безпечно доставляють їх, а пропоненти обирають найцінніший блок, щоб додати його до блокчейну.
- Плюси: Оптимізоване створення блоків, вищий дохід валідатора.
- Мінуси: ризик централізації білдера/реле і довіри до реле, додаткова складність.
- Секвенсори з пріоритетною оплатою або First-Come-First-Served (FCFS)
- Що це таке: У Layer 2 і ланцюжках секвенсори впорядковують транзакції за пріоритетною платою або часом прибуття (FCFS).
- Як це працює: Секвенсори збирають транзакції; транзакції з високою комісією обробляються першими або в порядку їх надходження до секвенсора
- Плюси: Краща продуктивність, простіший дизайн, FCFS змінює MEV на ігри з затримкою
- Мінуси: централізовані секвенсори можуть маніпулювати порядком транзакцій, що призводить до експлуатації MEV.
- Секвенування для конкретних застосунків (Application-Specific Sequencing, ASS)
- Що це: dApps контролюють порядок власних транзакцій, щоб зменшити ризики MEV та покращити користувацький досвід.
- Як це працює: dApps встановлюють правила для порядку транзакцій, запобігаючи маніпулятивним тактикам, таким як випередження.
- Плюси: Краща безпека, користувацький досвід, контроль над MEV та збереження сумісності порівняно з власним ланцюжком додатків.
- Мінуси: менша інтероперабельність, додаткова складність, можлива централізація.
Стимули та виклики для dApps
dApps прагнуть контролювати свої власні ринки платних послуг, щоб запобігти перевантаженню та підтримувати передбачувані витрати. Вони також прагнуть захопити MEV, що генерується їхніми платформами. Спільне секвенування ускладнює досягнення цих цілей через об'єднання ринків винагород і труднощі з перерозподілом винагород.
Секвенування для конкретних додатків як альтернатива
Для dApps, які не бажають використовувати позаланцюгові методи виконання (наприклад, вивантаження в мережі 2-го або 3-го рівня), ASS надає цінну альтернативу. ASS дозволяє цим dApps користуватися значними перевагами самопослідовності, включаючи зменшення ризиків MEV, оптимізацію користувацького досвіду, вирівнювання стимулів та захист від зовнішніх перевантажень і спаму, зберігаючи при цьому логіку виконання додатків на обраному рівні виконання.
Давайте зануримося в нову категорію емерджентних конструкцій секвенування.
Фреймворки секвенування для конкретних додатків
FastLane's ASS Framework
Фреймворк ASS Spectrum від FastLane ілюструє баланс між сумісністю та захопленням цінності, показуючи, як різні підходи до секвенування впливають на здатність програми взаємодіяти з іншими та засвоювати цінність.
- Висока компоновність проти захоплення цінності: dApps, які надають перевагу безперешкодній взаємодії з іншими додатками (висока компоновність), можуть пожертвувати деяким контролем над послідовністю транзакцій, що робить їх більш вразливими до MEV-атак і менш здатними до захоплення цінності всередині компанії.
- Низька компонуємість проти захоплення цінності: dApps, які обмежують взаємодію з іншими, отримують більше контролю над порядком транзакцій, що дозволяє їм краще захиститися від експлуатації MEV і захопити більше цінності. Однак це може знизити інтероперабельність і потенційно вплинути на досвід користувачів.
- Цей компроміс існує тому, що порядок транзакцій визначається в окремому пулі мемів. Замовник і пакетувальник ASS не знають про інші транзакції та їхній стан, а тому не можуть забезпечити гарантії атомарної сумісності.
- Пошук правильного балансу: Кожен dApp повинен враховувати свої пріоритети і вибирати підхід до секвенування, який врівноважує потребу в сумісності з бажанням інтерналізувати цінність і захистити користувачів. Це передбачає прийняття стратегічних рішень про те, наскільки сильно взаємодіяти з іншими додатками і як структурувати обробку транзакцій для оптимізації безпеки і функціональності.
Приклади
- Висококомпозиційний застосунок: Кредитна платформа, яка інтегрується з кількома іншими dApp, щоб запропонувати широкий спектр послуг, визнаючи, що вона не може повністю контролювати послідовність транзакцій, але забезпечує багатий користувацький досвід.
- dApp з низьким рівнем складності: Децентралізована біржа, яка фокусується на захисті транзакцій у межах власної платформи, запобігаючи MEV-атакам шляхом контролю над порядком транзакцій, але пропонує обмежену інтероперабельність з іншими додатками.
Варіанти використання
Арбітраж зворотного відкату та OEV
- Oracle Extractable Value (OEV) - це значення, яке dApps можуть отримати, контролюючи послідовність транзакцій, що покладаються на зовнішні дані з оракулів. Керуючи порядком обробки цих транзакцій, dApps, такі як API3 або Warlock, можуть оптимізувати використання інформації, наданої оракулом, не дозволяючи зовнішнім акторам маніпулювати результатами транзакцій з метою вилучення цінності.
- Цінність, отримана за допомогою OEV, перерозподіляється між різними зацікавленими сторонами в екосистемі, включаючи: dApp, користувачів і LPs.
Рішення на основі згортання
- Використання рішень другого рівня або ланцюжків для конкретних додатків оптимізує продуктивність і знижує витрати. DApps отримують широкий контроль над параметрами послідовності та виконання, але можуть зіткнутися з проблемами ізоляції, міркуваннями безпеки, завантажувальної ліквідності та інтеграції проміжного програмного забезпечення.
Аукціони Anti-LVR
- Впровадження механізмів для зменшення втрат проти ребалансування (LVR) повертає LP втрачену вартість арбітражникам. Регулюючи порядок транзакцій, dApps інтерналізують частину вартості LVR, яку вони потім можуть перенаправляти пасивним LP і збільшувати.
Стратегічні міркування для розробників
Позиціонуючи додатки в спектрі ASS, розробники повинні враховувати наступні моменти:
- Цілі програми: Баланс між користувацьким досвідом, цілями отримання прибутку та пріоритетами безпеки.
- Технічні обмеження: Доступність інфраструктури та ресурсів для розробки.
- Динаміка екосистеми: Очікування ринку та конкурентне середовище.
- Регуляторні фактори: Вимоги до прозорості та управління ризиками.
Секвенування для конкретних застосувань: Поточний ландшафт
Протокол Atlas від FastLane
Протокол Atlas від FastLane спрощує розгортання користувацьких аукціонів потоку замовлень (OFA), дозволяючи розробникам з легкістю реалізовувати послідовність для конкретних додатків.
Мотивація Atlas
Існуючі OFA, такі як домінування розв'язувачів та непрозорі ланцюжки постачання MEV, створюють ризики централізації. Atlas має на меті забезпечити захист MEV за замовчуванням, не вимагаючи від користувачів змінювати налаштування RPC, орієнтуючись на недосвідчених користувачів, які найбільше потребують захисту.
Як і чому існуючі OFA стикаються з ризиками централізації
Існуючі OFA стикаються з ризиками централізації головним чином через:
- Домінування розв'язувача
- Яким чином: Кілька вирішувачів обробляють більшість транзакцій (наприклад, в UniswapX топ-3 вирішувачі обробляють 80-90% обсягу).
- Чому це ризиковано: це призводить до зниження конкуренції, підвищення комісій та обмеження інновацій, подібно до рентоорієнтованої поведінки в традиційних фінансах.
- Непрозорі ланцюжки постачання MEV
- Як: Централізовані розв'язувачі контролюють обсяг отриманих MEV і можуть маніпулювати замовленням транзакцій.
- Чому це ризиковано: відсутність прозорості ускладнює розуміння того, чи є система справедливою, що дозволяє цензуру та маніпуляції.
- Як Atlas це виправляє
- Завдяки несанкціонованому доступу, вимогам газового ескроу для розв'язувачів, рандомізованому вибору секвенсорів, відкритим специфікаціям протоколів і децентралізованим ретрансляторам замовлень, Atlas сприяє створенню конкурентної і справедливої екосистеми.
- Ці заходи не тільки зменшують домінування кількох розв'язувачів, але й забезпечують прозорість і справедливість процесу видобутку MEV.
- Крім того, узгоджені економічні стимули та надійна система управління додатково захищають мережу від маніпуляцій та цензури, сприяючи створенню стійкого та інноваційного середовища DeFi.
- Підвищує прозорість: Робить процес MEV більш прозорим, забезпечуючи справедливий розподіл і знижуючи ризики маніпуляцій завдяки механізмам відкритих аукціонів, децентралізованій участі розв'язувачів, чіткій політиці розподілу, інструментам моніторингу та аудиту, а також громадському управлінню.
Atlas також захищає користувачів, не вимагаючи складних змін у налаштуваннях, що особливо корисно для тих, хто не знає про ризики MEV.
Протокол Atlas не тільки децентралізує участь розв'язувачів і підвищує прозорість, але також включає в себе передові механізми, такі як багаторазове подання пакетів і програмний вибір за допомогою смарт-контракту EntryPoint. Ці функції в сукупності гарантують, що користувачі захищені від ризиків MEV і маніпуляцій з транзакціями без необхідності складних конфігурацій. Автоматизуючи чесний і безпечний вибір пакетів, Atlas забезпечує надійне і зручне середовище, яке підтримує принципи DeFi.
Архітектура Atlas
- Контракт EntryPoint: цей смарт-контракт організовує весь потік транзакцій. Він керує операціями користувача і розв'язувача, а також забезпечує вибір і виконання правильної пакетної ставки, гарантуючи належну послідовність дій.
- SDK: Спрощує інтеграцію з протоколом.
- Ключові ролі:
- Ініціатор - ініціює процес Atlas, генеруючи UserOperation, виклик смарт-контракту або повідомлення, підписане EIP-712, що представляє наміри користувача.
- Аукціоніст - об'єднує UserOperations з SolverOperations, сортує їх за допомогою функції оцінки пропозицій, визначеної в модулі DAppControl, і забезпечує правильний порядок виконання.
- Операційний ретранслятор - полегшує зв'язок між оригінаторами, аукціоністами та розв'язувачами. Це може бути традиційний ретранслятор, L3 або навіть смарт-контракт у тій самій мережі, що й додаток.
- Пакувальник - упаковує повну транзакцію Atlas і відправляє її в мережу для включення в блок.
- Розв'язувач - змагається за найкраще виконання заданої UserOperation, потенційно захоплюючи MEV на користь користувачів або додатків.
- Середовище виконання: Безпечне виконання операцій з використанням delegateCall та Permit69.
- atlETH: Обгорнутий ETH для передачі вартості та управління газом.
Контракти DAppControl: Визначайте логіку та параметри для конкретних застосунків.
У протоколі FastLane's Atlas, бандлер може бути запущений за допомогою:
- Будь-хто (Permissionless): Будь-який суб'єкт може діяти як бандлер, що дозволяє створити децентралізовану систему.
- Призначені суб'єкти: Смарт-контракт (наприклад, пакетний агрегатор), довірена особа або група, обрана додатком, можуть об'єднувати транзакції.
- Самооб'єднання: Оригінатор (користувач) або розв'язувач може об'єднувати і надсилати власні транзакції.
- Безпечні рішення: Розширені налаштування з використанням захищених середовищ (наприклад, TEE) гарантують, що бандлери не зможуть втручатися в транзакції.
CallChainHash гарантує, що бандлери не зможуть змінити порядок операцій, зберігаючи безпеку процесу.
Технічні механізми
- CallChainHash: Криптографічний хеш, який захищає порядок транзакцій, гарантуючи, що операції не можуть бути змінені посередниками після їх підписання.
- Permit69: Функція безпеки, яка перевіряє походження переказів токенів в середовищі виконання, запобігаючи несанкціонованим переказам.
- Native Bundling: Кілька операцій об'єднуються в одну транзакцію для атомарного виконання, що допомагає запобігти маніпуляціям з MEV і гарантує, що всі кроки відбуваються за призначенням.
Робота з аукціонами MEV та бекграундами
- Аукціони, орієнтовані на наміри: Користувачі подають наміри, а розв'язувачі змагаються за їх ефективне виконання, захоплюючи MEV на користь користувачів або додатків.
- Аукціони з відставанням: Розв'язувачі додають відставання, щоб отримати MEV або OEV, з розподілом вартості відповідно до політик додатків.
- Пакетні аукціони: Розв'язувачі змагаються за те, щоб впорядкувати пакет UserOperations у найбільш ефективний спосіб, як це визначено функцією оцінки пропозицій DAppControl.
- Аукціони «Top of Block»: Для DApps, які бажають зменшити композитність для інтерналізації екзогенного MEV (наприклад, LVR), розв'язувачі змагаються за те, щоб першими взаємодіяти з додатком у кожному блоці.
Обробка флеш-кредитів у протоколі Atlas
Протокол Atlas має інтегровану, власну систему міжопераційних флеш-кредитів, розроблену для підвищення гнучкості та ефективності децентралізованих фінансових операцій. В рамках Atlas хуки смарт-контрактів можуть ініціювати флеш-позики шляхом виклику функції borrow() до фази розв'язування життєвого циклу транзакції. Ця безшовна інтеграція дозволяє оригінаторам отримати доступ до ліквідності без необхідності тримати газові токени, полегшуючи транзакції, які взаємодіють зі смарт-контрактами, залежними від параметра msg.value.
Крім того, ці флеш-кредити слугують заставою для підтримки та управління багатоетапними розрахунками під час атомарного створення та продажу структурованих продуктів або деривативів між оригінаторами та розв'язувачами.
Вбудовуючи можливості флеш-кредитів безпосередньо в структуру Atlas, протокол уможливлює реалізацію складних фінансових стратегій, забезпечуючи при цьому безпечну та ефективну послідовність транзакцій. Такий дизайн не тільки спрощує використання капіталу для користувачів, але й підтримує цілісність і надійність екосистеми DeFi, запобігаючи поширеним зловживанням флеш-кредитів і забезпечуючи справедливий розподіл вартості між усіма зацікавленими сторонами.
Безпека та мінімізація довіри
- Незмінна послідовність: Atlas використовує CallChainHash, криптографічний хеш, щоб забезпечити незмінність порядку транзакцій, запобігаючи втручанню посередників у послідовність.
- Безпечне середовище виконання: EntryPoint Contract безпечно управляє операціями, використовуючи delegateCall і Permit69, які перевіряють передачу токенів і блокують несанкціонований доступ, захищаючи активи користувачів.
- Підзвітність вирішувачів: Розв'язувачі повинні депонувати кошти в atlETH для покриття витрат на газ, заохочуючи чесну поведінку і перешкоджаючи спаму або зловмисним діям, оскільки вони несуть витрати за невдалі транзакції.
- Децентралізована конкуренція вирішувачів: Ринок розв'язувачів конкурує за виконання користувацьких операцій, зменшуючи залежність від будь-якого одного суб'єкта та мінімізуючи припущення щодо довіри.
- Пом'якшення наслідків MEV: Контролюючи послідовність транзакцій на прикладному рівні, Atlas знижує ризики MEV, такі як атаки типу «фронт-раннінг» і «сендвіч», захищаючи користувачів від вилучення цінностей зовнішніми суб'єктами.
- Атомарне виконання: Atlas забезпечує атомарне виконання операцій, гарантуючи, що або всі операції будуть виконані успішно, або жодна з них не відбудеться, підтримуючи узгодженість і безпеку.
- Прозорість: Код з відкритим вихідним кодом дозволяє спільноті проводити аудит і верифікацію, підвищуючи прозорість і зменшуючи потребу користувачів сліпо довіряти системі.
- Налаштовувана безпека: Розробники можуть визначати власну логіку виконання та налаштування безпеки за допомогою модулів DAppControl, адаптуючи функції безпеки до конкретних потреб свого додатку.
Етапи інтеграції
- Вбудувати Atlas SDK: Розробники включають SDK в свої додатки для взаємодії з протоколом.
- Створіть і опублікуйте модуль управління DAppControl: Визначте користувацьку логіку, дозволи, правила послідовності та параметри для обробки транзакцій.
- Ініціалізація контракту DAppControl: зв'яжіть модуль DAppControl програми з контрактом Atlas EntryPoint і налаштуйте необхідні параметри.
Angstrom від Sorella Labs
Sorella Labs представляє Angstrom, повністю бездозвільний хук, який реалізує специфічне для додатків секвенування. Наразі в Uniswap V4 він інтегрований з децентралізованою ASS.
Дилема LP
LP забезпечують ліквідність DEX, дозволяючи користувачам торгувати активами. Однак, вони часто стикаються з проблемами:
- Несприятливий відбір: ЛП не знають про ціни на біржі в режимі реального часу і надають котирування, які можуть бути застарілими, що робить їх вразливими до арбітражу.
- Втрати LVR: ЛП зазнають збитків, коли арбітражники використовують розбіжності в цінах між DEX та CEX.
Проблема атрибуції у видобутку металовидобувних галузей
Проблема атрибуції пов'язана з труднощами у визначенні конкретних сторін, які постраждали від видобутку MEV, і забезпеченні їм належної компенсації. Поточна архітектура блокчейну не має достатньої деталізації для цього:
- Відстежуйте джерела MEV: Визначте, які користувачі або бібліотеки зазнали негативного впливу.
- Справедливий перерозподіл вартості: Розподіліть прибуток від MEV між тими, хто зазнав збитків.
Вирішення проблем MEV
Angstrom використовує конкурентні аукціони верхньої частини пакета та LVR, механізми пакетних аукціонів та інтегрує пошукачів для створення ринку LVR. Це дозволяє ЛП компенсувати втрати від несприятливого відбору, своперам отримувати оптимальне виконання, а пошукачам отримувати доступ до арбітражних можливостей.
Як працює Angstrom
- Зацікавлені сторони:
- Постачальники ліквідності (LP): Забезпечують ліквідність та отримують компенсацію за втрати LVR.
- Свопери: Виконують угоди з гарантованим виконанням і захистом MEV.
- Шукачі: Арбітражники, які беруть участь в аукціонах LVR, вносячи свій внесок у компенсацію LP.
- Вузли Angstrom: Створюють оптимальні пакети і заробляють комісію за протокол.
- Механізм LVR-аукціонів: Забезпечує конкурентні торги і спрямовує вартість назад до ліцензіатів.
- Графік розрахунків: Від подачі заявки до розрахунків за угодою, забезпечуючи детерміноване і справедливе виконання.
- Ексклюзивність пакета: Атомні пакети реалізуються в конкретному порядку, що запобігає витоку вартості та зменшує стимули для цензури.
Технічні деталі
- Забезпечення арбітражних можливостей: Конструкція Angstrom забезпечує арбітраж, коли існує дельта цін між DEX і CEX.
- Лімітні ордери та єдина клірингова ціна: Перехідні лімітні ордери виконуються за єдиною кліринговою ціною, що мінімізує прослизання і запобігає атакам ринкових ордерів.
- Мережева архітектура Angstrom:
- Вузли: Обмінюються інформацією, кешують, перевіряють ордери та формують оптимальні пакети.
- Життєвий цикл пакета: Включає фази пліток, попередньої пропозиції та відправки.
- Стимули: Конкуренція між пошукачами підвищує цінність LP; вузли отримують винагороду і можуть бути видалені за нечесні дії.
Переваги та вплив
- Демократизація арбітражу: Зменшує вплив високочастотних трейдерів і сприяє створенню конкурентного середовища.
- Нейтралізація ігор з таймінгом оферентів: Усуває переваги у виборі часу та спрощує досягнення консенсусу.
- Переваги для зацікавлених сторін:
- LPs: Відшкодовують збитки та отримують стимул забезпечувати ліквідність.
- Свопери: Отримують справедливі ціни із захистом MEV.
- Пошуковці: Отримують доступ до можливостей отримання прибутку без надмірних хабарів.
- Ноди: Отримуйте винагороду та сприяйте децентралізації.
Безпека та мінімізація довіри
Angstrom від Sorella підвищує безпеку і мінімізує вимоги до довіри за допомогою специфічної для додатків послідовності, безпосередньо усуваючи вразливості, пов'язані з MEV.
- Усунення експлуатації MEV: Пакетні аукціони з єдиними кліринговими цінами запобігають атакам типу «фронт-раннінг» і «сендвіч-атак», оскільки розрахунки за угодами здійснюються за єдиною ціною. Перехідні одноблокові лімітні заявки ще більше зменшують видобуток МЕВ, мінімізуючи вікна для використання.
- Мінімізація довіри через децентралізацію: Бездозвільна участь дозволяє будь-кому керувати вузлом або виступати в ролі пошукача, посилюючи децентралізацію і зменшуючи залежність від центральних органів влади. Оператори вузлів перерозподіляють стейки нативних токенів, узгоджуючи свої стимули з мережевою безпекою; нечесна поведінка призводить до зниження стейків, що перешкоджає зловмисним діям.
- Стійкість до цензури: Виконання атомарних пакетів зменшує стимули для майнерів або валідаторів цензурувати транзакції, виконуючи їх в заздалегідь визначеному порядку. Децентралізована ретрансляція замовлень усуває централізованих посередників, знижуючи ризик цензури або маніпуляцій. Децентралізована ретрансляція ордерів досягається за допомогою мережі операторів вузлів, які беруть участь в одноранговій трансляції ордерів, колективній верифікації та досягненні консенсусу щодо включення транзакцій. Вимагаючи понад ⅔ підписів у мережі та не даючи жодному вузлу контролювати потік замовлень, Angstrom підвищує стійкість до цензури та знижує ризик маніпуляцій.
- Захист від маніпулювання ринком: Лімітні замовлення та єдині клірингові ціни не дозволяють зловмисникам маніпулювати цінами за допомогою великих замовлень, забезпечуючи справедливе виконання для всіх учасників. Арбітражні прибутки від пошукачів перенаправляються на компенсацію постачальникам ліквідності втрат від несприятливого відбору.
- Безпечні та прозорі аукціони: Конкурентні аукціони без обмежень сприяють чесній ринковій динаміці та зменшують ризики змови. ЕПВ точно розподіляється і перерозподіляється між учасниками, що сприяє підвищенню справедливості та довіри.
- Економічні стимули узгоджуються з безпекою: Винагороди для операторів вузлів стимулюють чесну участь і сприяють безпеці мережі. Пошуковці отримують прибуток без надмірних хабарів, заохочуючи дотримання правил протоколу. Користувачі і постачальники ліквідності отримують справедливу компенсацію і захист MEV, що сприяє зміцненню довіри і залученості.
- Стійкість до атак: Вимоги до стейкінгу стримують атаки Sybil, збільшуючи витрати на створення декількох ідентичностей. Відмовостійкість забезпечує функціональність мережі, навіть якщо деякі вузли виходять з ладу або діють зловмисно. Ефективна обробка замовлень пом'якшує наслідки атак на відмову в обслуговуванні, зменшуючи ефективність спроб перевантажити мережу.
- Мінімізація припущень щодо довіри: Прозорість завдяки протоколам з відкритим вихідним кодом і процесам, що піддаються аудиту, дозволяє учасникам самостійно перевіряти властивості безпеки, зменшуючи залежність від довіри. Інтерналізація можливостей MEV зменшує залежність від зовнішніх систем, мінімізуючи потенційні вразливості.
Протокол Vertex
Vertex - це DEX для виявлення зловмисників і точок. Він використовує специфічне для програми секвенування за допомогою позаланцюгового секвенсора для оптимізації продуктивності та мінімізації MEV-ризиків.
Ключові особливості
- Гібридна модель ліквідності: Поєднує центральну книгу лімітних заявок (CLOB) з інтегрованим AMM, що підвищує ефективність використання ліквідності.
- Секвенування для конкретних додатків: Позаланцюговий секвенсор забезпечує затримку узгодження ордерів, порівнянну з централізованими біржами вищого рівня.
- Універсальне перехресне маржування: Дозволяє користувачам керувати кількома позиціями з одного рахунку, підвищуючи ефективність використання капіталу.
- Vertex Edge: Розширює ліквідність по декількох ланцюжках, вирішуючи проблему фрагментації ліквідності.
Вирішення проблем
Vertex вирішує проблеми DeFi за допомогою:
- Висока продуктивність: Позаланцюговий секвенсор дозволяє здійснювати торгівлю в режимі реального часу, що важливо для високочастотних трейдерів і кращого виявлення цін.
- Пом'якшення впливу MEV: Мінімізує вразливість до атак типу «фронт-раннінг» і «сендвіч», обробляючи операції поза ланцюжком.
- Ефективність капіталу: Перехресне маржування знижує вимоги до застави та підтримує складні торгові стратегії.
- Агрегація ліквідності: Vertex Edge об'єднує пули ліквідності в різних ланцюжках, зменшуючи прослизання і вплив на ринок.
Підвищення цінності для користувачів
- Підвищення продуктивності: Зменшення прослизань та покращення якості виконання.
- Економія витрат: Нижчі тарифи на газ і мінімізація впливу MEV підвищують чистий дохід LP.
- Доступ до ліквідності: Агрегована ліквідність забезпечує більш глибокі ринки.
- Гнучкість: Інтегровані послуги спрощують користувацький досвід.
Безпека та мінімізація довіри
- Мінімізація експлуатації MEV: Обробляючи ордери поза ланцюжком за допомогою позаланцюгового секвенсора, Vertex знижує вразливість до MEV-атак, таких як фронт-раннінг і сендвіч-атаки, оскільки транзакції не публікуються перед виконанням. Виконання з низькою затримкою (5-15 мілісекунд) ще більше мінімізує вікно для потенційних зловмисників для використання інформації про транзакції.
- Мінімізація довіри: Секвенсор регулярно фіксує партії транзакцій в блокчейні, забезпечуючи прозорість і дозволяючи користувачам перевіряти відповідність позамережевих операцій записам в ланцюжку. Завдяки некастодіальному дизайну користувачі зберігають контроль над своїми активами, усуваючи необхідність довіряти централізованим посередникам.
- Захист від маніпуляцій: Прозорі книги замовлень надають користувачам ринкові дані в режимі реального часу, зменшуючи потенціал для маніпулювання цінами. Безпечна синхронізація стану гарантує, що секвенсор підтримує точне узгодження зі станом ланцюжка, запобігаючи невідповідностям, які можуть бути використані.
- Економічні стимули, узгоджені з безпекою: Структури стимулювання узгоджують інтереси учасників у підтримці безпечного та справедливого торгового середовища. Протоколи управління ризиками, включаючи моніторинг у режимі реального часу та автоматичну перевірку маржі, захищають систему від надмірного ризику та потенційних дефолтів.
- Стійкість до атак: Управління осколковими станами підвищує масштабованість і зменшує поверхню атаки в крос-ланцюгових операціях. Удосконалені методи синхронізації, такі як паралельна обробка замовлень поза ланцюжком, атомарні транзакції між ланцюжками, ефективні протоколи зв'язку між ланцюжками і більш часті перевірки узгодженості станів, можуть зменшити затримку і запобігти атакам, заснованим на синхронізації під час транзакцій між ланцюжками.
- Мінімізація припущень щодо довіри: Код з відкритим вихідним кодом дозволяє користувачам проводити аудит і перевіряти безпеку протоколу, зменшуючи потребу в сліпій довірі.
Міркування щодо безпеки
Хоча Vertex Protocol пропонує вражаючу продуктивність та інноваційні функції, його залежність від позаланцюгового секвенсора створює певні проблеми з безпекою:
- Неправильна поведінка секвенсора: Позаланцюговий секвенсор обробляє узгодження ордерів, що потенційно може дозволити йому брати участь в нечесних практиках, таких як фронт-раннінг або торгівля проти користувачів. Це схоже на MEV-експлойти, коли привілейовані суб'єкти отримують прибуток за рахунок звичайних користувачів.
- Цензурні ризики: Оскільки секвенсор контролює, які транзакції обробляються, існує ймовірність того, що він може піддавати цензурі певних користувачів або транзакції, підриваючи нейтральність платформи і її стійкість до цензури.
- Справедливість при зіставленні ордерів: без повної прозорості роботи секвенсора користувачі можуть сумніватися в тому, що ордери зіставляються справедливо і в правильній послідовності. Забезпечення прозорості процесу узгодження замовлень та можливості його перевірки є важливим для збереження довіри.
Вирівнювання з базовими рівнями
Vertex узгоджує стимули з базовими мережами, проводячи розрахунки за транзакціями в ланцюжках походження користувачів, підвищуючи активність мережі і приносячи вигоду валідаторам. Vertex Edge сприяє спільному зростанню між підключеними мережами.
Семантичний рівень
Семантичний рівень дозволяє додаткам впроваджувати правила послідовності (VSR) і правила агрегації (VAR), які можна перевірити, надаючи їм контроль над послідовністю і виконанням транзакцій. Це дозволяє dApps:
- Спостерігати за транзакціями: Переглядайте транзакції користувачів перед виконанням.
- Впроваджуйте політики виконання: Впроваджуйте користувацькі правила та вимикачі в реальному часі.
- Автономне виконання функцій: Зменшіть залежність від зовнішніх тригерів.
Надаючи dApps суверенітет над послідовністю, семантичний рівень зменшує витік MEV і відкриває можливості для інноваційних розробок, таких як додатки зі штучним інтелектом і незалежність рівня виконання.
Висновок
Послідовність для конкретних застосунків є значним досягненням, що дозволяє dApps збалансувати сумісність і захоплення цінності відповідно до їхніх потреб. Надаючи контроль над послідовністю та виконанням транзакцій, ASS дозволяє dApps зменшити ризики MEV, оптимізувати операції та впроваджувати інновації.
Такі проекти, як Atlas Protocol від FastLane, Angstrom від Sorella Labs, Vertex Protocol та Semantic Layer демонструють різні підходи до впровадження ASS. Кожен з них вирішує унікальні проблеми і пропонує рішення, адаптовані до їхніх цілей, сприяючи створенню багатшої та стійкішої децентралізованої екосистеми.
Секвенування для конкретних додатків відіграватиме вирішальну роль у розширенні можливостей dApps для досягнення більшої суверенності, ефективності та справедливості, що сприятиме більш широкому впровадженню та інноваціям у децентралізованих додатках.
Наша мета в Eclipse - стати найкращою платформою для dApps, ставлячись до них як до першокласних громадян. Ми прагнемо підтримувати будь-яку інфраструктуру, яка допомагає dApps примножувати цінність і пропонує кастомізацію. Створюючи надійні інструменти на основі Application-Specific Sequencing (ASS) та перерозподілу MEV, ми прагнемо полегшити розробникам створення, розгортання та підтримку dApps на основі ASS.