マークルツリー埋蔵量証明の重要性と抜け穴は何ですか?
元の編集者: ウー氏はブロックチェーンについて述べた
前書き: FTX の雷雨により、すべての取引所がマークル ツリー リザーブ プルーフ スキームを共同で推進し始めましたが、将来的には、これは DeFi プロジェクトのセキュリティ監査と同様に、ほぼすべての取引所にとって必須のオプションとなるでしょう。現在、クラーケンとゲートは海外でも国内でも古くから行われています。マークルツリーの証拠金とは正確には何ですか、その重要性は何ですか、そしてその欠点は何ですか?この記事では、読者が理解しやすいようにいくつかの内容を要約します。
コンテンツ 1:
中国におけるゲートの初期の長期使用の説明
マークル ツリー (マークル ツリー) は、1979 年にラルフ マークルによって発明されたハッシュ バイナリ ツリーで、ツリー構造のリーフ ノードにデータを格納し、レベルごとのハッシュ (ハッシュ) 操作を通じてデータの整合性を保証します。データを改ざんすることはできません。リーフ ノード データの変更は上位ノードに渡され、最終的にツリーのルートに反映されます。ビットコイン ブロック内のすべてのトランザクションは、マークル ツリー構造を通じて保存されます。
私たちが提案する方法では、プラットフォームユーザーの総資産の証明と有効なユーザーの預金の証明をそれぞれ提供するために2つの方法が使用されます。各ユーザーのアカウント資産のハッシュ値は、マークル ツリーを介してマークル ツリーのリーフ ノードに保存されます。マークル ツリーのリーフ ノードに保存されているユーザー資産の総額は、第三者の財務監査機関によって監査され、プラットフォームが保持する有効なユーザー デポジットも、第三者の財務監査機関によってレビューおよび検証されます。最終的には、第三者の財務監査機関が書面による監査報告書を提出し、監査結果を公表します。同時に、すべてのユーザー資産のハッシュ値を格納するマークル ツリーが公開されます。すべてのプラットフォーム ユーザーは、自分の口座資産の額が数学的アルゴリズムを通じてマークル ツリーに正確に含まれているかどうかを確認できます。
主流通貨については、監査会社と協力して監査報告書を一つ一つ完成させ、すべてのユーザー資産のハッシュ値マークルツリーをGithubプラットフォーム上で公開し、オープンソースの検証コードプログラムを公開し、プラットフォームユーザーであれば誰でも「マイファイナンス」「残高」からアクセスできるようにします。証明ページ」にアクセスして検証情報を取得し、資産が正確に公開されているかどうか、公開マークル ツリーと検証手順を通じて監査プロセスに含まれているかどうかを検証します。
他の通貨の場合、プロジェクト当事者または個人は、同じ基準に従って監査作業を完了し、ユーザー資産のマークルツリーを開示するようプラットフォームに要求できますが、提案者は一定の手数料を負担する必要があります。料金基準は監査の難易度、通貨がマルチチェーンストレージかどうか、PoS財務管理機能の有無、プライバシー機能の有無などに応じて決定される。
コンテンツ 2:
元のリンク
2019年2月、ビットコインとブロックチェーンのインフラ企業であるブロックストリームは、「ビットコイン準備金の標準化された証明」というタイトルのブログ投稿を公開し、取引所などの機関のビットコイン準備金とこれらの準備金の権利の管理を自己認証する方法について説明した。 Blockstream は当初、ビットコイン サイドチェーンのリキッド ネットワーク上のビットコイン準備金を監査人に証明するためにこのスキームを研究し、後にビットコイン準備金の証明のための仕様に開発しました。
Blockstream が登場する前は、検証スキームが多様であるため、ユーザーが各取引所の準備金を理解することが困難でした。さらに、秘密キーの所有権を確認する必要があるため、資産を移転するためのトランザクションに署名するプロセス中に資金が盗まれるリスクが生じる可能性があります。
このスキームはビットコインの特別な UTXO (未使用トランザクション出力) トランザクション形式を通じて実装され、取引所は取引所のすべてのビットコイン準備金を含むトランザクション出力を構築しますが、同時に無効な入力を構築します。トランザクションはブロードキャスト時にネットワークによって拒否され、実際のトランザクションを生成することはできませんが、トランザクションは取引所によって管理されているビットコインの量の証拠として引き続き使用できます。
実際、2014 年に仮想通貨コミュニティは、取引所が監査人に対して準備金をどのように認定できるかについて議論しました。 Blockstream がビットコイン準備金証明スキームを提案し、BIP に参加した後、市場はより詳細なスキームを検討し始め、現在マークル ツリーに基づく証明モードが市場で一般的に認識されているスキームとなっています。
米国に本拠を置く仮想通貨取引所クラーケンは、プルーフ・オブ・リザーブの提案についてさらに詳しく説明した。 Kraken氏によると、いわゆるPoR（Proof of Reserves）は第三者によって実施される独立した監査であり、監査人はすべての口座残高の匿名のスナップショットを取得し、それらをマークルツリーに集約し、マークルルートを取得します。スナップショットの作成時にこれらの残高を一意に識別するデータ。
次に、監査人は、公に検証可能な残高を持つオンチェーン アドレスの所有権を証明する、Kraken によって生成されたデジタル署名を収集します。最後に、監査人はこれらの残高がマークル ツリーに表示されている顧客口座残高を上回っているか一致しているかを比較および検証し、取引所が適切な準備金を保有しているかどうかを判断します。
簡単に説明すると、マークル ツリーの基礎となるデータは、各アカウントが保持する資産データによって生成されたハッシュであり、マークル ツリーは 2 つのハッシュを通じて新しいハッシュを生成し、以下同様に、最終的なハッシュは、アカウントが所有する資産を表します。交換 資産の合計額。すべてのユーザーが保有する資産以上である必要があります。このスキームが受け入れられる最大の理由は、各ユーザーの資産データが含まれていることですが、その過程で取引所がデータを改ざんしたい場合、最終的なデータに多大な影響を与えることになります（影響の理由は次のとおりです）生成されたハッシュのアルゴリズム特性についてはここでは繰り返しません)。
このスキームは、取引所が監査中にすべてのユーザー資産を償還する能力があることを証明していますが、特定の欠陥もあります。例えば、秘密鍵が独占的に所有されていることを証明することは不可能であること、監査時の資産は一時借用であるかどうか、交換資金（所有者の資本に相当）とユーザーの資産（資産に相当）が分離されていることをどのように証明するかなど、交換負債）、監査自体の慎重さなど。
Kraken に加えて、仮想通貨取引所 BitMEX も、2021 年に取引所が保有するビットコイン準備金を検証する計画を発表しました。この計画はまた、マークル ツリー ベースの証明モデルを使用して各ユーザーのアカウントの ID を生成し、ユーザーがビットコインを実行できるようにします。ノード自体を構築し、この一連のプログラムを実行して、各ビットコイン ブロック高さのアカウント資産と取引所の総資産を確認します。
最後に書きます
最後に書きます
FTX事件は私たちに警鐘を鳴らし、取引所の透明性の更なる発展を促しましたが、実際には、現在の資産検証スキームには、上記の欠点を含め、依然として多くの抜け穴があります。多くの点で、取引所が「潔白を証明する」のは依然として難しい。中央集権的な機関の透明性は常に広く懸念され、議論されてきた問題であり、透明性が不十分であれば投資家の不安を引き起こし、透明性が高すぎると企業秘密がある程度暴露される可能性があり、これらの矛盾はWeb3分野に限ったことではありません。
簡単な例を挙げると、現在の集中型取引所の多くは仮想通貨資産管理商品を発売しています。取引所がこれらの資産を悪用しないという前提の下では、その一部は定量的取引に、一部はリスクヘッジに、一部はDeFiに、一部は住宅ローン融資に使用される可能性があり、取引所自体がすべての用途を開示することは困難です。公共。
現時点では、取引所の支払い能力を証明するための準備金の証明は始まりに過ぎず、ユーザーの資金が自分の資金と混同されていないことを証明する方法、理財商品がポンジスキームではないことを証明する方法、受け入れを証明する方法マーケットメーカーの能力など。考えて解決すべき質問。
コンテンツ 3:
チェーンフィード経由のさまざまな視点
Ben: 潜在的な問題としては、1. ルートの更新頻度、2. フロントエンドの不正行為、3. サードパーティの監査による信用、4. 内部告発者のユーザビリティ。しかし、CEX ユーザーにとって、透明性が高まることは一般に良い傾向です。
Haotian: 取引所 CEX はすべて、マークル ツリー予備証明書を採用すると述べており、これはプラスの影響を与えていますが、潜在的な問題は依然として存在します。 1) マークル ツリーに保存されるデータの頻度を更新する方法。リアルタイムで更新することはできません。すべての入力と出力について、資金の横領の問題は依然として存在します; 2) マークル ツリー データは取引所独自のサーバーに保存されており、せいぜい検証可能であり、「検証」は事後的な性質のものです。結局のところ、プラットフォームの信頼性には依然として問題が残るでしょう。
Jolestar: マークル ツリー スキームは実際にはあまり機能しませんが、何もしないよりはマシです。この傾向は良いことです。実際の解決策は、レイヤー 2 のアイデアを参照して、コインを引き出すユーザーの一方的な権利を確保し、詐欺の罰則を設ける必要があります。
ミンダオ氏: 中心的な問題は、準備金を把握するだけでは十分ではなく、関連取引、債務関係、信用取引を準備金に反映できないことです。強気相場が到来しており、ユーザーは赤目を気にするどころか、殺すことになるだろう。何も話さないよりはマシですが、最終的には他律 > 自己規律になります。 DeFi は持続可能な資産チェーンの証拠であり、ビジネス ロジックや許可さえも明確で検証可能です。私たちは原点に戻り、DeFi におけるすべてが正しいのです。
Benmo: 各 Cex の預金の 100% 証明に加えて、クロスチェーンブリッジも預金の 100% 証明を提供することを願っています。
