Будівництво з Symbiotic: побічна абстракція

Зміст

• Вступ

• Що таке стейкінг?

• Практичні приклади
  - DeFi
  - Міжмережевий стейкінг

• Токени управління

• Що таке абстракція забезпечення?

  Вступ

Понад 550 мільярдів доларів наразі заблоковані у стейкінгу криптовалютних мереж, виконуючи важливу функцію: забезпечуючи безпеку мереж блокчейн через економічне вирівнювання. Однак такий підхід за своєю суттю є неефективним і в кінцевому підсумку фрагментує загальний криптоландшафт - активи, присвячені безпеці, стають ізольованими і вилученими з ширшої екосистеми, не можуть брати участь в DeFi, управлінні або міжмережевій діяльності. Така фрагментація змушує мережі йти на фундаментальний компроміс між безпекою та ефективністю використання капіталу.

Спільна безпека вирішує цей компроміс шляхом абстрагування забезпечення від основних функцій безпеки. Цей підхід елегантно будується на двох основних примітивах традиційних систем стейкінгу: перевірці частки та штрафних санкціях. Ця абстракція відкриває величезний новий простір для розробки блокчейн-систем. Хоча це дослідження не є вичерпним, воно має на меті вивчити цей простір на практичних прикладах, демонструючи потенціал, який можуть розкрити симбіотичні та ширші механізми абстракції забезпечення.

Symbiotic vault, побудовані на основі існуючих систем стейкінгу, дозволяють використовувати будь-який актив як заставу, зберігаючи його повну функціональність - чи то стейкінг ETH, що бере участь у DeFi, чи токени управління, що зберігають право голосу, чи складні деривативи з інших блокчейн-екосистем. Архітектура системи використовує спеціалізовані контракти Burner для оцінки та дроблення стейків, забезпечуючи надійні гарантії безпеки навіть для складних, багатофункціональних активів. Розуміння наслідків такого дизайну починається з вивчення його основоположної концепції: самого стейка.

Що взагалі стоїть на кону?

Стейк створює економічне вирівнювання через зобов'язання, які можна перевірити. Традиційно обмежуючись нативними токенами, Symbiotic дозволяє використовувати будь-який актив в якості стейка за допомогою нативної оцінки або оцінки на основі оракула.

Частка слугує прямим показником довіри, гарантуючи чесність через економічне вирівнювання. Коли учасники діють в інтересах мережі, вони отримують економічну вигоду; коли вони діють всупереч інтересам мережі, вони стикаються з санкціями. Цей основний принцип безпеки вимагає, щоб вартість атаки на мережу постійно перевищувала потенційну винагороду. Такого вирівнювання можна досягти або шляхом простого володіння (м'яке вирівнювання), або через вимоги прямого доступу (традиційний стейкінг).

Традиційні реалізації стейкінгу блокують власний токен мережі в системі і призначають його на баланси операторів. Ця базова модель включає в себе дві основні функції безпеки: блокування виведення коштів у часі та умови «різання» за неналежну поведінку. Однак концепція частки може виходити за рамки нативних токенів і охоплювати більш складні інструменти, включаючи деривативи, позиції DeFi та інші складні активи.

В аналітичних цілях ці інструменти в сукупності визначаються як «активи», а їх токенізоване представлення описується як «абстрактний стейк». Симбіотичні сховища приймають будь-який загорнутий токен ERC20 як стейк, оцінюючи їх за допомогою власних систем або систем на основі оракула.

Оцінка нативного токена йде двома шляхами: пряме прийняття, яке вимірює вартість стейкінгового деривативу в його власних одиницях, або прив'язане прийняття, яке підтримує співвідношення 1:1 з іншим токеном. Позиції DeFi та інші динамічні активи вносять додаткову складність, часто вимагаючи активного управління для підтримки їх прив'язки до ETH. Для забезпечення стабільності ці системи можуть бути доповнені додатковими механізмами, такими як депозити або страхові шари.

Оцінювання на основі Oracle пропонує альтернативну структуру для управління абстрактними стейками. Цей підхід дозволяє мережам використовувати значення, отримані за допомогою оракула, як для верифікації часток, так і для розрахунку винагороди. Хоча реалізації варіюються від простих функцій перегляду до спеціальних мереж атестації, ключова проблема проектування полягає в досягненні правильного балансу між надійним звітуванням про вартість та ефективним поширенням.

Сценарії міжмережевої взаємодії створюють певні проблеми в управлінні вартістю стейків. Хоча активи із зовнішніх мереж зберігають свої вартісні дані в мережах-джерелах, вони повинні залишатися доступними в проміжному програмному забезпеченні Ethereum. Це вимагає надійних шляхів передачі вартості між мережами-джерелами і точками використання стейків.

Позиція DeFi

Позиції Uniswap V3 демонструють, як складні DeFi-активи можуть слугувати пакетом акцій завдяки точним формулам оцінки та гнучким механізмам спалювання.

Позиції Uniswap V3 є чудовим прикладом використання складних DeFi-активів в якості ставки, оскільки вони поєднують точну математичну оцінку з динамічною ринковою вартістю. Розглянемо позицію в парі X/Y (де X - це USD, а Y - ETH), оцінену в термінах X в межах цінового інтервалу [p_a, p_b]. Вартість позиції в USD визначається за трьома різними формулами в залежності від поточної ціни p:

Ці формули відображають фундаментальну динаміку позиції: вартість зростає зі збільшенням Y, поки не досягне постійного значення, і необмежено зменшується, коли Y падає. Хоча базові розрахунки не включають накопичені винагороди, вони можуть бути включені через додаткову логіку смарт-контракту. Ця формула може бути використана в системі оракулів для відстеження вартості стейка.

Позиція LP - це однотокенова частка, що представляє автоматизований пул маркет-мейкерів. У випадку Uniswap вона представлена у вигляді NFT. Як і будь-який інший вид активу, він може бути використаний як частка в Symbiotic, якщо він може бути проданий. Система сховища Symbiotic реалізує контракти Burner для обробки подій слешингу для таких позицій за допомогою трьох механізмів:

1. Пряме спалювання акцій: Ліквідація частки позиції

2. Розкручування позиції: Конвертація в базові токени перед спалюванням

3. Обмін токенів і спалювання: Конвертація у визначені токени з економічним моделюванням для запобігання викривлених стимулів

Система Burner також є достатньо гнучкою, щоб забезпечити подальшу оптимізацію, наприклад:

1. Деривативні токени з вбудованими механізмами страхування, які поглинають штрафні санкції за просідання, зберігаючи безперервність позиції

2. Опції активного управління позиціями, які підвищують ефективність використання капіталу, одночасно вводячи ретельно обмежений ризик контрагента

Ми зануримося глибше в роботу з burners в окремій публікації в блозі.

Міжмережевий стейкінг

Міжмережевий стейкінг дозволяє активам залишатися в мережах походження, забезпечуючи при цьому безпеку мереж призначення за допомогою синтетичних представництв і мостових протоколів.

Міжмережеве стейкінг розширює ефективність використання капіталу за межі однієї мережі. У той час як традиційні мостові технології вимагають переміщення токенів між мережами для делегування, Symbiotic vaults можуть інтегруватися безпосередньо з протоколами мостів, що дозволяє використовувати ресурси власної мережі. Це відкриває можливості для використання активів за межами EVM.

Основна проблема реалізації полягає в міжмережевому різанні. Симбіотичні сховища розгортають користувацькі контракти, які обробляють запити на слешинг через мережеві кордони, а мостові протоколи виконують відповідні записи токенів у вихідних мережах. Слешинг працює асинхронно, перетворюючи локальні абстрактні записи на записи токенів мережі-джерела.

Цей механізм демонструє основний принцип абстракції забезпечення: фізичні токени залишаються в мережі-джерелі, в той час як абстрактні представлення слугують забезпеченням в мережі-приймачі. Процес слешингу працює асинхронно через мостові протоколи, перетворюючи локальні абстрактні записи в реальні записи токенів в мережі-джерелі. Хоча ці записи в мережі-джерелі не є обов'язковими - токени можуть просто стати неактивними - ця реалізація демонструє гнучкість системи запису в управлінні міжмережевими стейками.

Цей базовий дизайн може бути розширений за рахунок багатошарового використання токенів. Як показано на схемі, нативні токени можуть конвертуватися в stTokens для участі в DeFi в мережі-джерелі, одночасно з карбуванням rsTokens - похідних, пов'язаних з Ethereum для симбіотичних сховищ. Ці rsTokens будуть або підтримувати паритет 1:1, або впроваджувати оцінку на основі оракула, в залежності від вимог протоколу.

Оцінка stToken може базуватися на ціноутворенні пулу DeFi або параметрах протоколу LST, при цьому основна увага приділяється моделюванню коливань вартості під час подій слешингу. Історичні моделі слешингу і прогнозовані величини інформують про дизайн параметрів ризику.

Архітектура міжмережевого зв'язку надає пріоритет трьом важливим аспектам:

• Топологія маршрутизації повідомлень

• Затримка поширення

• Мінімізація довіри

На додаток до з'єднання повністю ізольованих мереж, роллап-мережі забезпечують оптимальну реалізацію, використовуючи існуючі власні канали зв'язку Ethereum. Події слешингу проходять через контракт InputBox безпосередньо до протоколу LST мережі, створюючи мінімізовані за рівнем довіри шляхи виконання з передбачуваними гарантіями фінальності. Хоча попередні приклади демонструють ефективне управління частками в мережі, принципи абстрагування забезпечення виходять за рамки простих переказів токенів або позицій DeFi. Мережеві активи, особливо токени управління, надають унікальні можливості для розширення корисності частки. Вивчаючи їх реалізацію, ми можемо дослідити, як абстрагування забезпечення дозволяє одночасно використовувати одні й ті ж активи в різних функціях протоколу.

Токени управління

Symbiotic дозволяє токенам управління одночасно виконувати кілька функцій - підтримувати права голосу і графіки наділення правами, забезпечуючи при цьому безпеку пакета акцій.

Токени управління надають чітку можливість підвищити ефективність за рахунок абстрагування від забезпечення. Ці токени надають пріоритет внутрішньопротокольній корисності: управлінню через голосування, стратегічному узгодженню через наділення правами та безпеці через стейкінг, наприклад, у модулі безпеки. Раніше для участі в DeFi власникам токенів доводилося обирати між участю в управлінні та відмовою від участі. Абстракція забезпечення об'єднує всі ці функції, роблячи токени управління більш корисними.

Система vault реалізує цю уніфікацію шляхом перетворення токенів управління в токени vTokens, що не підлягають ребазису, в токени ERC20, які представляють пропорційні частки сховища. Кількість токенів vTokens залишається незмінною під час операцій зі сховищем (депозити, зняття коштів, слайсинг), забезпечуючи стабільне представлення частки участі. Ці токени прив'язуються до основних токенів управління за допомогою функцій перегляду сховища, створюючи оракул цін в ланцюжку з можливістю історичного відстеження. Такий дизайн дозволяє vTokens брати участь в механізмах наділення правами поряд з нативними токенами управління, зберігаючи повну корисність під час стейкінгу.

Токени управління можуть виходити за рамки прямого стейкінгу в додатки DeFi, де їх позиції LP можуть слугувати заставою для стейкінгу. Ці позиції зберігають сумісність з наділенням правами, хоча і вимагають додаткової складності реалізації в порівнянні зі стандартними механізмами наділення правами на токени.

У цій реалізації контракт VoteCaster безпосередньо взаємодіє з контрактами губернаторів (такими як Aragon, Tally або OpenZeppelin), консолідуючи баланси, еквівалентні губернаторським, для розрахунку прав голосу. Варто зазначити, що такий підхід вимагає можливості доступу до історичних обсягів всіх цих токенів. Вбудовані механізми відстеження стану симбіотичних сховищ підтримують цю можливість.

Що таке побічна абстракція?

Ці вищезгадані реалізації лише дряпають поверхню дослідницького поля, що розвивається, і можуть бути використані в комбінації. Модульний дизайн Symbiotic забезпечує гнучкість завдяки абстракції, відкриваючи двері до численних додаткових можливостей: покращення корисності veToken, посилення безпеки за допомогою складних стратегій DeFi та багато іншого. Зрештою, абстракцію Collateral можна визначити за допомогою трьох основних компонентів:

1. Забезпечення: Небазисні токени ERC20, які або підтримують пряму кореляцію вартості із зовнішніми активами, або реалізують механізми незалежної оцінки

2. Сховище (Vault): Рівень управління, що відповідає за адміністрування стейків, відстеження позицій та перевірку вартості

3. Burner: Конфігуровані контракти на виконання, що реалізують логіку слешингу для різних типів стейків

Ця архітектура трансформує ефективність використання капіталу в мережах блокчейн. Розширюючи склад стейків за межі простого блокування токенів, включаючи деривативи, позиції DeFi та міжмережеві активи, абстракція забезпечення усуває традиційний компроміс між безпекою мережі та корисністю капіталу. Реалізація Symbiotic дозволяє активам залишатися в своїх рідних екосистемах, зберігаючи при цьому гарантії безпеки за допомогою сховища і системи запису.

Розглянуті реалізації - від позицій DeFi до систем управління токенами - представляють собою перші кроки в цьому проектному просторі. Модульна архітектура дозволяє кастомізацію, зберігаючи при цьому високі стандарти безпеки. Розробники мереж можуть створювати нові реалізації, оператори можуть оптимізувати розгортання капіталу, а дослідники можуть вивчати нові моделі безпеки.

Ми запрошуємо спільноту будувати на цих засадах. Простір дизайну для абстракції забезпечення залишається в значній мірі недослідженим, з можливостями, що охоплюють як нові типи активів, так і нові механізми безпеки. Якщо ви зацікавлені дізнатися більше або співпрацювати з Symbiotic, зв'яжіться з нами тут.