[論文レビュー] An Empirical Analysis of Monero Cross-Chain Traceability

Abraham Hinteregger, Bernhard Haslhofer|arXiv (Cornell University)|Dec 6, 2018

Blockchain Technology Applications and Security参考文献 5被引用数 8

ひとこと要約

本稿では、ハードフォークの情報を活用してモナローやその派生チェーンにおける取引を追跡する、新規のクロスチェーン分析手法を提案する。既知のヒューリスティクスと組み合わせることで、追跡可能性を評価する。この手法により、モナローやモナローヴィ、モナローオリジナルのブロックチェーンにおいて、実際の入力が特定可能であることが判明した。その結果、リングメンバーのうちたった5.22％しか追跡されなかった。これは、プロトコルの変更や既知の攻撃ベクトルが存在する中でも、モナローアの被動的追跡に対する強固な抵抗性を示している。

ABSTRACT

Monero is a privacy-centric cryptocurrency that makes payments untraceable by adding decoys to every real input spent in a transaction. Two studies from 2017 found methods to distinguish decoys from real inputs, which enabled traceability for a majority of transactions. Since then, a number protocol changes have been introduced, but their effectiveness has not yet been reassessed. Furthermore, little is known about traceability of Monero transactions across hard fork chains. We formalize a new method for tracing Monero transactions, which is based on analyzing currency hard forks. We use that method to perform a (passive) traceability analysis on data from the Monero, MoneroV and Monero Original blockchains and find that only a small amount of inputs are traceable. We then use the results to estimate the effectiveness of known heuristics for recent transactions and find that they do not significantly outperform random guessing. Our findings suggest that Monero is currently mostly immune to known passive attack vectors and resistant to tracking and tracing methods applied to other cryptocurrencies.

研究の動機と目的

• 通貨のハードフォーク中に漏洩する情報を利用することで、モナローア取引を追跡する新たな手法を形式化すること。
• 最近のモナローア取引に対して、既知のヒューリスティクス（例：ゼロミックスイン除去、インターセクション除去）の有効性を評価すること。
• 2017年以降のプロトコル変更、特にリングCTおよびリングサイズの増加が、既知の追跡可能性攻撃をどれほど効果的に緩和したかを評価すること。
• ビットコインで効果を示した既存の暗号通貨分析ツールが、モナローアに対しても有意義な成功を収められるかを検証すること。
• 今後のモナローアのプライバシーに関する研究を支援するため、MONitEROツールチェーンを用いた再現可能な分析フレームワークを提供すること。

提案手法

• ハードフォークの分岐先（モナローア、モナローヴィ、モナローオリジナル）におけるリング署名の差異を検出することで、実際の支出入力を特定するクロスチェーン分析手法を形式化する。
• 2018年8月現在のブロック1,651,346まで、モナローア（XMR）、モナローヴィ（XMV）、モナローオリジナル（XMO）のブロックチェーンデータを収集・分析する。
• 既知のヒューリスティクス（ゼロミックスイン除去（ZMR）、インターセクション除去（IR））を適用し、リング署名内の実際の入力およびミキシング入力を特定する。
• 同じ前フォーク出力が複数のチェーンで支出された後続取引において、新規のクロスチェーン手法を組み合わせて実際の入力を検出する。
• MONitEROツールチェーンを用いて、すべての分析を再現し、3つのブロックチェーンバージョン間で結果の妥当性を検証する。
• 時間帯（例：月単位）ごとに結果を集約し、追跡可能性およびヒューリスティクスの正確性の時間的傾向を評価する。

実験結果

リサーチクエスチョン

• RQ1 ハードフォーク後のチェーン間でリング署名の挙動の差異を分析することにより、ハードフォークを活用してモナローア取引を追跡できるか？
• RQ2 プロトコル強化後の最近のモナローア取引において、既知の被動的ヒューリスティクス（ZMR、IR、GNH、OMH）は、実際の入力を特定するのにどの程度有効か？
• RQ3 リングCTおよびマニュアルリングサイズの増加（最大11まで）といったプロトコル変更により、追跡可能性はどの程度低下したか？
• RQ4 新規のクロスチェーン分析手法は、既存のヒューリスティクスを上回って、実際の入力を識別する能力を顕著に向上させたか？
• RQ5 ビットコインで効果を示した既存の暗号通貨分析ツールは、実際の運用においてモナローアに対しても有意義な成功を収められるか？

主な発見

• 提案されたクロスチェーン分析手法により、2018年4月から8月にかけてのモナローア取引において、73,321件の実際の入力および544,131件のミキシング入力を特定した。これは、従来の手法を著しく上回る成果であった。
• 分析期間中に、リングメンバーのうちたった5.22％（11,826,525人中617,452人）しか追跡されなかった。これは、新規手法が適用されても依然として低い全体的な追跡可能性を示しており、強い抵抗性を示している。
• 最近の取引において、推定最新ヒューリスティクス（GNH）の性能はランダム推測と同等であり、現在のプロトコル環境下では効果が薄いことが示された。
• 出力マージングヒューリスティクス（OMH）は、時間経過に伴い一貫した真陽性および偽陽性の数を示したが、リングCT取引における入出力数の減少により、その有効性が低下した。
• リングCTとリングサイズの増加（7から11に）の組み合わせにより、モナローアは既知の被動的追跡手法に対して極めて高い耐性を示し、追跡可能な取引の割合は極めてわずかに抑えられた。
• 本研究により、ビットコインおよびその派生通貨に特化した既存の分析ツールは、強固なプライバシー保護とプロトコル強化のため、モナローアには効果が薄いことが確認された。