(Proof of TVL) レポートは BTCFi 分野の不透明な現状を指摘し、資産透明性検証メカニズムの高い基準の確立を呼びかけ、ビットコインエコシステムの透明化を強力にサポートするオープンソースの TVL 検証ツールを提案しました。

執筆者：アレックス・タン

ビットコインエコシステムにおいて、ロックされている総量（TVL）は BTCFi（ビットコイン金融）プロジェクトの規模と安全性を測る核心的な指標です。しかし、BTCFi の拡大に伴い、TVL データの信頼性に関する議論も激化しています。虚偽の統計、重複計数、偽造ロックなどの現象がユーザーの信頼を侵食し、ビットコインエコシステムの透明性と信頼性が厳しい挑戦に直面しています。

この現象に対して、Nubit は Nebra、Bitcoin Layers、Alpen Labs などのビットコインエコシステムの先進的なプロジェクトと共に、2025 年 1 月 5 日に (Proof of TVL) レポートを発表し、BTCFi 分野の不透明な現状を指摘し、資産透明性検証メカニズムの高い基準を確立するよう呼びかけ、ビットコインエコシステムの透明化を強力にサポートするオープンソースの TVL 検証ツールを提案しました。

以下が報告の原文です：

特別な感謝を Bitcoin Layers と Alpen Labs に、この記事のレビューと貴重なフィードバックに送ります。

BTCFi と流動質権トークン (LSTs) の進化

ビットコインは長らくデジタル資産エコシステムの基盤です。

しかし、長年にわたり、その用途は主に価値の保存と交換媒介として制限されてきました。2023 年まで、バビロンのようなプロトコルがビットコイン質権の概念を導入し、ユーザーが自己管理の方法で BTC をロックし、プルーフ・オブ・ステーク（Proof-of-Stake）コンセンサスメカニズムに参加して報酬を得られるようになりました。

この革新はビットコインに新しい時代を切り開き、現在一般的に称賛されている BTCFi へとつながりました。この運動はビットコインに前例のない能力を与えました。以後、ビットコインは単なる受動的な保有資産ではなく、分散型金融（DeFi）エコシステムに積極的に参加できるようになりました。

ビットコインを質権する可用性と流動性を高めるために、一連のビットコイン流動質権トークン（Liquid Staking Tokens, LSTs）が登場しました。これらのプロトコルは、ユーザーが BTC を質権し、トークン化された証明書を報酬として得ることを可能にします。これらの LSTs は、DeFi アプリケーション（借入、取引、利回り農業など）で自由に使用できます。このモデルにより、ビットコイン質権者は「魚と熊掌を兼ねる」ことができ、質権報酬を獲得しつつ広範な DeFi の機会に参加できます。

これらの LSTs プロトコルは迅速にユーザーの認識を得ており、関連プロトコルが報告する総ロック量（TVL）は数十億ドルに達しています。TVL は通常、ユーザーの活動とプロトコルの成功を測る重要な基準と見なされています。

しかし、私たちは業界に対して重要な質問を提起したいと思います：ビットコイン LST プロトコルが報告する TVL データはどれほど信頼できるのでしょうか？

より具体的には、プロトコルが実際に制御または削減できない BTC について、これらの資産は TVL にカウントされるべきでしょうか？

もし TVL データが誇張されていると、ユーザーや投資家に虚偽の安全感を与える可能性があります。膨張した TVL データは、プロトコルの実際の流動性とリスクの状況を覆い隠し、すべての関係者が誤った判断を下し、潜在的な損失を被る可能性があります。

なぜビットコイン流動質権プロトコルの TVL を追跡するのが難しいのか？

ビットコイン質権の文脈において、ビットコイン特有の UTXO モデルは複雑さを増し、TVL（総ロック量）のデータを正確に解釈することを難しくします。この複雑さは、ビットコイン流動質権プロトコル（LST）への信頼を弱体化させ、全体の BTCFi エコシステムの持続可能性に対する懸念を引き起こします。

その理由を詳しく分析してみましょう。

ビットコインは UTXO モデル（未使用の取引出力）を採用しており、各取引は特定の使用条件を持つ独立した「ビットコインユニット」を生成します。たとえば：

  • 特定の UTXO は、使用するために秘密鍵の署名が必要な場合があります。

  • より複雑な UTXO には、マルチシグ（multisig）要件やタイムロック（timelocks）が含まれる場合があります。

イーサリアムのアカウントモデルとは異なり、ビットコインの UTXO モデルは残高を集計せず、資金の追跡とロックがより複雑になります - 実現不可能ではありません。しかし、LST プロトコルの TVL データは、実際にはプロトコルによって自己報告されることがよくあります。これらの報告データを検証するためには、単純な質問から始める必要があります：

ビットコイン流動質権プロトコルの TVL はどのように計算されるべきか？

ビットコイン質権プロトコルの目標は、アプリケーション層プロトコル（例：ロールアップ、データ可用性層（DAs）など）に経済的安全性を提供することです。この観点から、質権されたビットコインが質権プロトコルによって管理され、削減可能であるときのみ、この経済的安全性は有効です。したがって、明確な点があります：

未担保のプロトコルによる管理または削減不可の BTC は TVL にカウントされるべきではありません。

ビットコインの重複質権の TVL はどのように偽造されているか？

多くのビットコイン流動質権プロトコルは、高い TVL（総ロック量）を追求するために、あらゆる手段を尽くして大口保有者（クジラ）との契約を結び、データを「刷る」ことによって人工的に TVL 数字を引き上げようとしています。

以下はそれらがどのように機能するかです：

  1. クジラ質権：大口ビットコイン保有者（すなわちクジラ）は、その BTC をクジラとプロトコルが共同管理するアドレスに移転するよう奨励され、「質権」の名のもとに参加します。

  2. クジラのコントロールは変わらず：質権が完了した後も、クジラは UTXO（未使用の取引出力）に対する最終的なコントロール権を保持します。プロトコルは強制的に償還を行ったり、罰則（削減罰を含む）を執行したりすることができず、つまり、これらの資金は本当にリスクにさらされていないのです。

  3. 虚偽の TVL 計上：プロトコルは、これらの UTXO をその TVL に計上しますが、これらの資金は本当の意味でロックされておらず、クジラはいつでもこれらの資金を引き出したり再利用したりできます。

実際の状況は：

  • ユーザー（クジラ）は資金に対して完全なコントロール権を保持します：クジラはいつでもこれらの BTC を使ったり、他のプロトコルに質権したりできます。

  • 削減罰のない偽の質権：この「質権」プロセスには、強制的な削減条件がなく、本質的に意味がありません。

質権の核心的な意義は、良性の行動を奨励し、悪意のある行動を罰することでネットワークのセキュリティを確保することです。削減罰（slashing）は、参加者がプロトコルルールを遵守しない場合や、不誠実な行動をとった場合に実際の資金損失リスクを負うことを保証します。このメカニズムがなければ、質権は「質権のための質権」という茶番になり、実質的な効果がありません。

自問自答してください：質権の意味は何ですか？それは TVL データを誇張したり象徴的な表明をするためではなく、削減メカニズムを通じてプロトコルの安全を確保するためです。

これは FTX の痛ましい教訓を思い起こさせます。FTX の崩壊において、申告された数字（レシートトークン）と実際の準備金（引き出し可能な資産）との間のギャップが、最終的にユーザーの信頼の全面崩壊を引き起こしました。もしあるプロトコルが TVL データを誇張しているなら、本当に彼らがあなたの準備金を背後で乱用しないと信じられますか？準備金のこの根本的な問題で事実を歪曲するプロトコルは、ビットコインが代表する無信頼の原則から逸脱している可能性が高いです。

この膨張した TVL データは、より大きな疑問を引き起こします：これらの報告された「質権」のビットコインは、本当にロックされていますか？それとも、ただ目を引くように数字を引き上げるための虚偽の指標なのでしょうか？

虚偽の TVL のリスク

理論的には、流動質権トークン（Liquid Staking Tokens、LSTs）は、バビロンのようなプロトコルに質権されたビットコインを代表することを目的としており、保有者が資産の流動性を保ちながら質権報酬を獲得できることを可能にします。このメカニズムの前提は、各 LST が実際のビットコイン準備によって 1:1 の比率で完全にサポートされていることです。

しかし、高い TVL データを追求する一部の質権契約は、これらの約束を揺るがす可能性があります。質権された BTC の一部が依然として元の保有者によって完全に制御されている場合、プロトコルがそれを完全にロックされていると報告することは、LSTs の基本的な仮定を直接脅かすことになります。結果は次のようになる可能性があります：

  • 実際にロックされた担保は、報告されている額を下回っています。

  • 質権モデルは期待されたセキュリティ保証を提供できません。

  • 報告された TVL は、実際に質権に参加している BTC の数との間に大きなギャップがあります。

要するに、これらの行為は LSTs が本当に検証可能な準備金によって完全にサポートされているのかどうかを疑問視し、これらのトークンが提供できる経済的安全性に疑問を投げかけます。例えば：

  1. 1:1 サポートの保証が欠如しています。プロトコルが実際にロックされていないまたは質権されていないビットコインを「質権」として計算するため、LSTs をサポートする資産が実際に存在するか、プロトコルの制御下にあるかを保証することはできません。ユーザーはこれらのトークンを保持していますが、プロトコルの一方的な声明に依存するしかありません。さらに、これらの資産が存在しない場合、基礎資産を償還する際に、ユーザーは実際の財務損失リスクに直面します。

  2. 検証できない質権報酬。質権報酬は、ネットワークのセキュリティまたはプルーフ・オブ・ステーク（PoS）コンセンサスに対する実際の貢献から生じるべきです。しかし、基礎となるビットコインが実際に質権に参加していない場合、これらの報酬はどこから来るのでしょうか？持続可能性はありますか？

これは全体の BTCFi エコシステムにとってシステムリスクです。信頼が低下すると、流動性が急速に失われる可能性があり、特定のプロトコルが揺らぐだけでなく、ビットコイン質権に基づく BTCFi エコシステム全体の安定性に影響を及ぼす可能性があります。

ビットコイン質権プロトコルが中央集権的な実体と変わらなくなった場合、何が起こるのでしょうか？この場合、ユーザーは準備金を監査することができず、運営側の声明を信じるしかありません。この状況は、BTCFi の信頼性を深刻に脅かします。

現在の状況は BTCFi の信頼性に対する生存の脅威です。中央集権的なシステムや虚偽の TVL の轍を踏まないためには、準備金や質権活動を証明するための無信頼かつ検証可能なメカニズムの欠如という問題の根本を解決しなければなりません。

これこそが TVL 証明（Proof of TVL、略称 PoTVL）の重要な要点です。科学的で透明性のある暗号に基づいた準備金検証基準を確立することによってのみ、ビットコイン LSTs に対する信頼を再構築し、エコシステムの長期的な持続可能性を確保できます。

基礎的な解決策：透明な TVL の計算

ビットコイン質権の文脈において、タプロートアドレスは質権ロックスクリプト（例：バビロン）の実現において重要な役割を果たしています。これらのロックスクリプトは、BTC の質権、追跡、および最終的な引き出しに明確なルールを定義しています。バビロンは、質権行為をビットコイン UTXO モデル上の検証可能なプロトコルレベルのルールに直接結び付ける典型的な例です。

質権者が質権プロトコルに参加する際、彼らは特別な取引を構築し、BTC をプロトコル指定のタプロートアドレスに送信します。これらの取引には通常、次の内容が含まれます：

  1. 質権出力：BTC をタプロートアドレスに送信するための UTXO。

  2. 所有権検証出力：質権者とプロトコルの公開鍵を含む第2の UTXO。これらの公開鍵は、質権 BTC の所有権を証明します。

バビロンの質権プロトコルの規範を例にとって：

この規範は、質権者（または LST プロトコル）に次のような取引を構築することを要求します：

  • 最初の UTXO は、BTC をバビロンの質権ロックスクリプトに結び付けられたタプロートアドレスに送信します。

  • 第2の UTXO は、質権者とバビロンの公開鍵を含んでおり、所有権の検証を確保します。

この設計により、質権行為は完全にチェーン上で追跡可能になり、明確な所有権証明と透明なルールが提供されます。

ケーススタディ：ロンバードファイナンス

この方法の実践での応用を示すために、オープンソースツール Proof of TVL を使用してロンバードファイナンスの検証を行いました。

以下が完全な検証プロセスです：

  1. ユーザーの預金ウォレットを識別します。ユーザーの預金 BTC からロンバードへのウォレットが始まります。これらのウォレットは、システムへの資金流入の初期資金流を表しています。

  2. 取引を質権ウォレットに追跡します。BTC が預金ウォレットからロンバードが管理する質権ウォレットに流れるのを追跡します。バビロンの質権規範に従って、すべての質権取引を特定します。

  3. 所有権の検証。バビロンのプロトコルルールを使用して、質権取引に所有権検証のために必要な公開鍵が含まれているかを確認します。取引が質権ロックスクリプトに準拠していることを確認します。

  4. 真の TVL を計算します。検証された質権取引の BTC 出力量を集計して、チェーン上の担保を計算します。担保を LBTC の総供給量と比較して、担保率を計算します。

上記のステップを通じて、ロンバードの LST TVL を次のように計算します：

  • BTC チェーン上の担保：16,580.9220（15,028.3565 BTC / 90.64% が質権を担保）

  • LBTC 総供給量：16,386.4157（101.19% 過剰担保）

  • 最新の検証時刻：2025 年 1 月 4 日、太平洋時間午後 7:30

  • 状態：安全（101.19% 過剰担保）

検証の詳細：

  • 90.64% が質権を担保しています。16,580.9220 BTC のチェーン上の担保のうち、15,028.3565 BTC がバビロンの規範に従って積極的に質権を担保されています。

  • 101.19% 過剰担保。LBTC の総供給量は 16,386.41 で、チェーン上の担保は 16,599 BTC です。

  • 完全なチェーン上の透明性。各質権取引は、ロンバードプロトコルの預金アドレスに直接追跡可能であり、所有権の検証は質権のルールに従っています。

検証プロセスは 2025 年 1 月 4 日太平洋時間午後 7:30 に完了しました（この記事執筆時点で）、このデータは完全に再現可能であり、手動介入は不要です。私たちのオープンソースツール Proof of TVL を使用することで、誰でもリアルタイムで独立して LBTC の TVL データを検証できます。

これこそが真の透明性です。

この解決策は高い透明性を提供しますが、重要な欠陥があります：それは、信頼プロトコルが正確に TVL を計算し報告できることに依存しています。

では、この依存を取り除き、誰もが自信を持って結果を独立して検証できる方法はありますか？ゼロ知識証明 (ZKPs) は潜在的な解決の道を提供します。

ゼロ知識証明を使用した TVL 検証

ゼロ知識証明（Zero-knowledge proofs, ZKPs）の大きな利点は、その暗号的信頼メカニズムにあり、検証コストが非常に低いため、ユーザーはスマートフォンやブラウザなどのクライアントデバイスで直接ゼロ知識証明を検証できます。これにより、TVL 検証の摩擦と信頼の仮定が大幅に軽減されます。現在、ユーザーは TVL 検証プロトコルを実行する第三者を信頼する必要すらありません。

LST TVL を検証するためのゼロ知識証明は次のように具体的に表現されます：

バビロン上の LST からの BTC + LST ウォレットの準備金証明 ≥ LST 総供給量

  • バビロン上の LST からの BTC

  • バビロンの取引規範によれば：取引が有効な質権取引と見なされるためには、次の条件を満たす必要があります：

  • 取引はタプロート出力を持ち、キー支出パスが無効化され、次の3つのスクリプトで構成されたスクリプトツリーに提出される必要があります：タイムロックスクリプト（timelock script）、解除バインディングスクリプト（unbonding script）、削減スクリプト（slashing script）。この出力は staking_output と呼ばれ、その値は staking_amount と呼ばれます。

  • 取引は OP_RETURN 出力を含む必要があり、次の内容を含む必要があります：global_parameters.tag、version、staker_pk（質権者公開鍵）、finality_provider_pk（最終性提供者公開鍵）、staking_time（質権時間）。

  • LST がバビロンにおいて BTC であることを検証するために、まず質権取引の有効性を確認する必要があります。たとえば、タプロート出力と OP_RETURN が同じ公開鍵を含んでいるかを検証します。

LST ウォレットの準備金証明

  • 標準的な準備金証明プロトコルを採用できます。例えば、Vitalik Buterin が提案した準備金証明プロトコル：https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html。さらに、Shumo などが提案した少し改良されたバージョンもあります。唯一の技術的な詳細は、イーサリアムで使用される署名アルゴリズムをビットコインで使用されるアルゴリズムに置き換える必要があるということです。例えば、ビットコインとイーサリアムはともに ECDSA を使用しますが、ビットコインは安全なハッシュアルゴリズムとして Keccak ではなく SHA を選択しました。

  • LST 総供給量。これはユーザーによって提供される公開入力です。

ゼロ知識証明を使用した TVL 検証は、対抗リスクを最小限に抑えつつ、任意のユーザーによる検証結果のハードルを下げることができます。

BTCFi の未来の道

ビットコインは長い間、信頼、分散化、透明性を代表してきました。しかし、ビットコイン質権分野における虚偽の TVL データの氾濫により、これらの核心原則は侵食される危険に直面しています。

解決策は非常に明確です：ゼロ知識証明を通じて実現される TVL 検証は、本当の責任を確保するための明確な道を提供します。

信頼への依存を排除することで、準備金は誰でも検証できるようになり、ユーザーはビットコイン LST に対する信頼を再構築し、BTCFi が「実際の」基盤の上で繁栄することを保証できます。

継続的な参加

私たちは集団的な進歩の力を信じています。以下は、あなたがこのプロセスを推進するのを手助けできる方法です：

  • より多くの TVL 検証分析を提供する：ツールの適用範囲を拡大し、他の BTCFi プロトコルに透明性のある分析を提供します。透明性はエコシステム全体の共通の努力です。

  • PR への貢献：ツールを改善したり、新機能の提案をしたりします（例えば、zk-proofs の実装など）。

  • 業界標準の策定：私たちと協力して、公開かつ検証可能な BTCFi 透明性基準を作成します。

  • 情報の拡散：この記事を共有し、無信頼の TVL 検証の必要性を高めます。