(Proof of TVL) звіт прямо вказує на непрозору ситуацію в сфері BTCFi, закликаючи до встановлення вищих стандартів верифікації активів і пропонуючи відкриті інструменти для верифікації TVL, щоб надати потужну підтримку прозорості екосистеми Bitcoin.
Автор: Алекс Тан
У екосистемі Bitcoin загальна сума застави (TVL) є ключовим показником масштабу та безпеки проектів BTCFi (Bitcoin Finance). Однак з розширенням BTCFi зростають суперечки щодо достовірності даних TVL. Фальшиві статистичні дані, повторне обчислення, підроблені застави тощо підривають довіру користувачів, і прозорість та достовірність екосистеми Bitcoin зазнають серйозних викликів.
У відповідь на це явище Nubit разом з провідними проектами Bitcoin екосистеми, такими як Nebra, Bitcoin Layers та Alpen Labs, випустять звіт (Proof of TVL) 5 січня 2025 року, прямо вказуючи на непрозору ситуацію в сфері BTCFi, закликаючи до встановлення вищих стандартів верифікації активів і пропонуючи відкриті інструменти для верифікації TVL, щоб надати потужну підтримку прозорості екосистеми Bitcoin.
Ось оригінальний звіт:
Особлива подяка Bitcoin Layers і Alpen Labs за рецензію та цінні відгуки про цю статтю.
Еволюція BTCFi та ліквідних токенів застави (LSTs)
Bitcoin вже давно є основою екосистеми цифрових активів.
Однак протягом багатьох років його використання в основному обмежувалося як засобом зберігання та обміну вартості. Лише в 2023 році такі протоколи, як Babylon, впровадили концепцію застави Bitcoin, яка дозволяє користувачам самостійно заморожувати свої BTC і брати участь у механізмі консенсусу доказу частки (Proof-of-Stake) для отримання винагород.
Ця інновація відкрила нову еру для Bitcoin, що зараз зазвичай називається BTCFi. Цей рух наділив Bitcoin безпрецедентними можливостями. Тепер Bitcoin більше не є просто активом, що утримується пасивно, а може активно брати участь в екосистемі децентралізованих фінансів (DeFi).
Для підвищення доступності та ліквідності застави Bitcoin виникли ліквідні токени застави (Liquid Staking Tokens, LSTs). Ці протоколи виконують роль управителів, дозволяючи користувачам заставляти свої BTC та отримувати токенізовані свідоцтва у відповідь. Ці LST можуть вільно використовуватися в DeFi-додатках, включаючи кредитування, торгівлю, фермерство доходу тощо. Ця модель дозволяє заставникам Bitcoin 'поєднувати приємне з корисним': отримувати винагороди за заставу та брати участь у широких можливостях DeFi.
Ці протоколи LST швидко здобули визнання користувачів, а загальний обсяг застави (TVL), звітований відповідними протоколами, досяг десятків мільярдів доларів. TVL зазвичай вважається важливим показником активності користувачів та успіху протоколу.
Однак ми хочемо поставити ключове питання для галузі: наскільки достовірні дані TVL, що повідомляються протоколом Bitcoin LST?
Більш конкретно, чи слід враховувати ці активи у TVL, якщо BTC, які не можуть бути фактично контролювані або зменшені протоколом?
Якщо дані TVL перебільшені, це може дати користувачам та інвесторам хибне відчуття безпеки. Перебільшені дані TVL можуть приховати справжню ліквідність та ризики протоколу, призводячи до прийняття помилкових рішень усіма зацікавленими сторонами і потенційних збитків.
Чому дані TVL протоколів ліквідної застави Bitcoin важко відстежити?
У контексті застави Bitcoin унікальна модель UTXO Bitcoin ускладнює розуміння даних TVL (загальної суми застави). Ця складність підриває довіру до протоколів ліквідної застави Bitcoin (LST), а також викликає занепокоєння щодо стійкості всієї екосистеми BTCFi.
Давайте уважно проаналізуємо причини.
Bitcoin використовує модель UTXO (незакриті виходи транзакцій), де кожна транзакція створює незалежні 'одиниці Bitcoin' з певними умовами використання. Наприклад:
Якийсь UTXO може вимагати підпису приватним ключем, щоб бути використаним.
Більш складний UTXO може включати вимоги мультипідпису (multisig) або часові замки (timelocks).
На відміну від облікової моделі Ethereum, модель UTXO Bitcoin не агрегує залишки, що ускладнює відстеження та заморожування коштів — хоча і не є абсолютно неможливим. Отже, дані TVL протоколу LST насправді зазвичай звітуються самим протоколом. Щоб перевірити ці звітні дані, нам потрібно почати з простого питання:
Як слід розраховувати TVL протоколів ліквідної застави Bitcoin?
Мета протоколу застави Bitcoin — забезпечити економічну безпеку для прикладних протоколів (таких як Rollups, шари доступності даних (DAs) тощо). З цієї точки зору, ця економічна безпека є дійсною лише тоді, коли заставлені Bitcoin перебувають під управлінням протоколу застави та можуть бути зменшені (slashable). Отже, одне є очевидним:
BTC, які не підлягають заставі протоколу або не можуть бути зменшені, не повинні враховуватися у TVL.
Як фальсифікується TVL повторної застави Bitcoin?
Багато протоколів ліквідної застави Bitcoin, прагнучи до високих даних TVL (загальної суми застави), готові на все, щоб укласти угоди з великими утримувачами (китами), намагаючись штучно підвищити свої дані TVL через 'накрутку даних'.
Ось як вони працюють:
Застава китів: великі власники Bitcoin (тобто кити) отримують стимул перевести свої BTC на адресу, яка контролюється спільно китами та протоколом, щоб взяти участь у 'заставі'.
Контроль китів не змінюється: після завершення застави кити все ще мають остаточний контроль над UTXO (незакритими виходами транзакцій). Протокол не може примусово викупити або виконати покарання (включаючи покарання за зменшення, slashing), тобто ці кошти ніколи не були реально під ризиком.
Фальшиве зарахування TVL: протокол включає ці UTXO до свого TVL, навіть якщо ці кошти не були дійсно заморожені, і кити можуть у будь-який момент вилучити або повторно використати ці кошти.
Справжня ситуація така:
Користувач (кіт) має повний контроль над коштами: кити можуть у будь-який момент витрачати ці BTC або заставляти їх в інших протоколах.
Псевдозастава без покарання за зменшення: цей процес 'застави' не має жодних обов'язкових умов зменшення, фактично не має сенсу.
Суть застави полягає в забезпеченні безпеки мережі шляхом стимулювання доброчинної поведінки та покарання за недобросовісну. Покарання за зменшення (slashing) гарантує, що учасники несуть реальний фінансовий ризик втрат, якщо не дотримуються правил протоколу або здійснюють недобросовісні дії. Без цього механізму застава перетворюється на 'заставу заради застави', не маючи жодної практичної значущості.
Запитайте себе: яка справжня мета застави? Це не для того, щоб перебільшувати дані TVL чи символічно заявляти, а для того, щоб гарантувати безпеку протоколу через механізм зменшення.
Це нагадує про гіркий урок FTX. У падінні FTX розрив між задекларованими цифрами (токенами квитанцій) та фактичними резервами (активами, які можна викупити) врешті-решт призвів до повного краху довіри користувачів. Якщо протокол перебільшує свої дані TVL, чи справді ви можете вірити, що він не зловживає вашими резервами за спиною? Протокол, який спотворює факти в такій фундаментальній проблемі, як резерви, напевно, вже відхилився від принципу бездослідницьності, який представляє Bitcoin.
Ці перебільшені дані TVL викликають більші питання: чи дійсно Bitcoin, що звітується як 'заставлений', насправді заморожений? Або це просто фальшивий показник для залучення уваги та підвищення цифр?
Ризик фальшивого TVL
Теоретично, ліквідні токени застави (Liquid Staking Tokens, LSTs) призначені для представлення BTC, заставлених у таких протоколах, як Babylon, що дозволяє власникам отримувати винагороди за заставу, зберігаючи ліквідність активів. Цей механізм ґрунтується на тому, що кожен LST повністю підтримується реальними резервами Bitcoin у співвідношенні 1:1.
Однак деякі угоди про заставу, які прагнуть до високих даних TVL, можуть підірвати ці зобов'язання. Якщо частина заставлених BTC повністю контролюється оригінальним власником, тоді як протокол одночасно звітує про них як про повністю заморожені, це прямо загрожує основній припущенню, на якому базуються LST.
Фактична заставлена застава нижча за звітну суму.
Модель застави не може забезпечити очікувану безпеку.
Є величезна різниця між звітним TVL та фактичною кількістю BTC, яка дійсно бере участь у заставі.
Врешті-решт, ці дії ставлять під сумнів, чи дійсно LST підтримуються перевіреними резервами, і викликають сумніви щодо економічної безпеки, яку можуть запропонувати ці токени, такі як:
Відсутність гарантій підтримки 1:1. Оскільки протокол враховує непідтверджені або не заставлені Bitcoin як 'заставлені', неможливо гарантувати, що активи, які підтримують LST, насправді існують або контролюються протоколом. Користувачі, які мають ці токени, можуть лише покладатися на односторонні заяви протоколу. Крім того, якщо ці активи не існують, при викупі базових активів користувачі зіткнуться з реальним ризиком фінансових втрат.
Неверифіковані винагороди за заставу. Винагороди за заставу повинні походити від справжнього внеску в безпеку мережі або консенсус доказу частки (PoS). Однак звідки беруться ці винагороди, якщо базовий Bitcoin насправді не бере участі у заставі? Чи мають вони стійкість?
Це системний ризик для всієї екосистеми BTCFi. З послабленням довіри ліквідність може швидко зникнути, що загрожує не лише окремому протоколу, але й стабільності всієї екосистеми BTCFi, заснованої на заставі Bitcoin.
Що відбувається, коли протокол застави Bitcoin стає таким же, як централізовані суб'єкти? У такому випадку користувачі не можуть проводити аудит резервів і можуть лише довіряти заявам операторів. Така ситуація серйозно загрожує довірі до BTCFi.
Поточна ситуація є загрозою для довіри до BTCFi. Щоб уникнути повторення помилок централізованих систем та фальшивого TVL, ми повинні вирішити корінні проблеми: відсутність бездослідницького та перевірного механізму для підтвердження резервів та діяльності застави.
Саме тут і полягає суть доказу TVL (Proof of TVL, PoTVL). Лише створивши науковий, прозорий і заснований на шифруванні стандарт верифікації резервів, ми можемо відновити довіру до Bitcoin LST і забезпечити довгострокову стійкість екосистеми.
Основне рішення: прозорі розрахунки TVL
У контексті застави Bitcoin адреси Taproot відіграють ключову роль у реалізації сценаріїв застави (наприклад, Babylon). Ці сценарії визначають чіткі правила для застави BTC, їх відстеження та остаточного вилучення. Babylon є типовым прикладом, оскільки вона безпосередньо пов'язує дії застави з перевірюваними на рівні протоколу правилами на основі моделі UTXO Bitcoin.
Коли заставники беруть участь у протоколі застави, вони створюють спеціальні транзакції, які надсилають BTC на адресу Taproot, вказану протоколом. Ці транзакції зазвичай включають наступне:
Вихід застави: один UTXO для відправки BTC на адресу Taproot для застави.
Вихід перевірки власності: другий UTXO, що містить відкриті ключі заставника та протоколу. Ці відкриті ключі підтверджують власність заставлених BTC.
На прикладі стандартів протоколу застави Babylon:
Цей стандарт вимагає від заставників (або протоколу LST) створити такі транзакції:
Перший UTXO надсилає BTC на адресу Taproot, прив'язану до сценарію застави Babylon.
Другий UTXO містить відкриті ключі заставника та Babylon для забезпечення перевірки власності.
Цей дизайн забезпечує повну можливість відстеження дій застави на ланцюгу, одночасно маючи чітке підтвердження власності та прозорі правила.
Кейс дослідження: Lombard Finance
Щоб продемонструвати застосування цього методу на практиці, ми здійснили верифікацію Lombard Finance за допомогою інструменту з відкритим кодом Proof of TVL.
Ось повний процес верифікації:
Ідентифікація гаманців депозитів користувачів. Від гаманців користувачів, які депонують BTC до Ломбарда, починається. Ці гаманці представляють початкові грошові потоки в систему.
Відстеження транзакцій до гаманців застави. Відстеження BTC з гаманців депозитів до гаманців застави, контрольованих Ломбарда. Відповідно до стандартів застави Babylon, ідентифікація всіх заставних транзакцій.
Перевірка власності. Використання правил протоколу Babylon для підтвердження того, чи містять заставні транзакції необхідні відкриті ключі для перевірки власності. Переконатися, що транзакції відповідають сценаріям застави.
Розрахунок реального TVL. Підсумування кількості BTC у перевірених заставних транзакціях для розрахунку заставлених активів на ланцюгу. Порівняння активів із загальною емісією LBTC для розрахунку коефіцієнта застави.
За допомогою вищезазначених кроків ми розрахували TVL LST Ломбарда наступним чином:
BTC на ланцюгу застави: 16,580.9220 (15,028.3565 BTC / 90.64% вже заставлено)
Загальна емісія LBTC: 16,386.4157 (101.19% надмірна застава)
Останній час верифікації: 4 січня 2025 року, 19:30 за тихоокеанським часом
Статус: безпечно (101.19% надмірна застава)
Перевірка деталей:
90.64% вже заставлено. З 16,580.9220 BTC на ланцюгу застави, 15,028.3565 BTC активно заставлено відповідно до стандартів Babylon.
101.19% надмірна застава. Загальна емісія LBTC становить 16,386.41, тоді як заставлені активи на ланцюгу становлять 16,599 BTC.
Повна прозорість на ланцюгу. Кожна транзакція застави може бути безпосередньо відстежена до адреси депозиту протоколу Ломбарда, і перевірка власності відповідає правилам застави.
Процес перевірки завершено 4 січня 2025 року о 19:30 за тихоокеанським часом (на момент написання цієї статті), дані повністю відтворювані та не потребують ручного втручання. За допомогою нашого інструменту з відкритим кодом Proof of TVL будь-хто може незалежно перевірити дані TVL LBTC у реальному часі.
Ось де справжня прозорість.
Хоча це рішення забезпечує високу прозорість, у нього є один ключовий недолік: воно залежить від довіри до протоколу, який може точно розрахувати та звітувати про TVL.
Тож чи існує спосіб усунути цю залежність і дозволити будь-кому впевнено перевіряти результати самостійно? Нульові знання (ZKPs) пропонують потенційний шлях вирішення.
Верифікація TVL за допомогою нульових знань
Однією з переваг нульових знань (Zero-knowledge proofs, ZKPs) є їх шифровані механізми довіри, водночас витрати на перевірку є надзвичайно низькими, тому користувачі можуть безпосередньо перевіряти нульові знання на клієнтських пристроях, таких як телефони або браузери. Це значно знижує тертя та гіпотези довіри верифікації TVL. Тепер користувачам навіть не потрібно довіряти третій стороні, що запускає протокол верифікації TVL.
Нульові знання, що використовуються для верифікації TVL LST, конкретно формулюються так:
BTC з LST на Babylon + підтвердження резервів гаманця LST ≥ Загальна емісія LST
BTC з LST на Babylon
Відповідно до стандартів транзакцій Babylon: щоб транзакція вважалася дійсною заставною транзакцією, необхідно виконати такі умови:
Транзакції повинні мати виходи Taproot, при цьому шлях витрат ключа заборонено, і відправляються до дерева сценаріїв, яке складається з трьох сценаріїв: сценарію часової блокування (timelock script), сценарію розблокування (unbonding script), сценарію зменшення (slashing script). Цей вихід називається staking_output, а його значення — staking_amount.
Транзакції повинні містити вихід OP_RETURN, що містить наступне: global_parameters.tag, version, staker_pk (відкритий ключ заставника), finality_provider_pk (відкритий ключ постачальника фінальності), staking_time (час застави).
Щоб перевірити BTC LST на Babylon, нам спочатку потрібно перевірити дійсність заставних транзакцій. Наприклад, перевірити, чи виходи Taproot і OP_RETURN містять однакові відкриті ключі.
Підтвердження резервів гаманця LST
Ми можемо використовувати стандартний протокол підтвердження резерву, наприклад, протокол підтвердження платоспроможності, запропонований Віталіком Бутеріним: https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html. Крім того, Шумо та інші також представили трохи вдосконалену версію. Єдина технічна деталь полягає в тому, що нам потрібно замінити алгоритм підпису, який використовується в Ethereum, на алгоритм, який використовує Bitcoin. Наприклад, хоча Bitcoin та Ethereum обидва використовують ECDSA, Bitcoin обирає SHA замість Keccak як безпечний хеш-алгоритм.
Загальна емісія LST. Це відкритий внесок, наданий користувачем.
Верифікація TVL за допомогою нульових знань може ефективно звести до мінімуму ризик контрагента та знизити бар'єри для перевірки результатів будь-яким користувачем.
Шлях у майбутнє BTCFi
Bitcoin завжди представлявала довіру, децентралізацію та прозорість. Однак з поширенням фальшивих даних TVL у сфері застави Bitcoin ці основні принципи зараз під загрозою.
Рішення вже дуже очевидне: верифікація TVL за допомогою нульових знань забезпечує чіткий шлях до справжньої відповідальності.
Виключивши залежність від довіри, дозволяючи резервам бути перевіреними будь-ким, ми можемо відновити довіру користувачів до Bitcoin LST і забезпечити процвітання BTCFi на 'реальних' основах.
Тривала участь
Ми віримо в силу колективного прогресу. Ось як ви можете допомогти просунути цей процес:
Надання додаткового аналізу верифікації TVL: допомога в розширенні застосування інструментів, внесення прозорого аналізу для інших протоколів BTCFi. Прозорість є спільною справою всього екосистеми.
Внесення PR: вдосконалення інструменту або пропозиція нових функцій (наприклад, реалізація zk-proofs).
Розробка галузевих стандартів: співпраця з нами для створення відкритих, перевіряних стандартів прозорості BTCFi.
Поширення інформації: поділіться цією статтею, щоб підвищити обізнаність про потребу в бездослідницькій верифікації TVL.
