[논문 리뷰] An Empirical Analysis of Monero Cross-Chain Traceability

Abraham Hinteregger, Bernhard Haslhofer|arXiv (Cornell University)|2018. 12. 06.

Blockchain Technology Applications and Security참고 문헌 5인용 수 8

한 줄 요약

이 논문은 하드 포크 동안 유출된 정보를 활용하여 모나로 거래를 추적하는 새로운 크로스체인 분석 방법을 제안한다. 이는 알려진 히وري스틱과 결합되어 추적 가능성의 정도를 평가한다. 이 방법은 모나로, 모나로V, 모나로 오리지널 블록체인에서 실제 입력을 식별하며, 전체 링 멤버 중 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 도구체인을 활용한 재현 가능한 분석 프레임워크를 제공하기.

제안 방법

• 하드 포크 브랜치(모나로, 모나로V, 모나로 오리지널) 간의 링 서명 차이를 탐지함으로써 실제 지출 입력을 식별하는 크로스체인 분석 기법을 체계화하기.
• 모나로(XMR), 모나로V(XMV), 모나로 오리지널(XMO)의 블록체인 데이터를 블록 1,651,346(2018년 8월)까지 수집하고 분석하기.
• 기존 히وري스틱인 제로 믹신 제거(ZMR) 및 교차 제거(IR)를 적용하여 링 서명 내 실제 입력과 믹신 입력을 식별하기.
• 같은 전포크 출력이 여러 체인에서 사용된 후속 포크 거래에서 실제 입력을 탐지하기 위해 새로운 크로스체인 방법을 분석에 통합하기.
• 모든 분석을 재현하고 세 블록체인 변형 간 결과를 검증하기 위해 MONitERO 도구체인을 사용하기.
• 시간대별(예: 월간)로 결과를 집계하여 추적 가능성과 히وري스틱 정확도의 시계열 추세 평가하기.

실험 결과

연구 질문

• 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로)의 조합은 모나로가 알려진 수동 추적 기법에 매우 강하게 저항하도록 만들었으며, 거래의 소수만이 추적 가능했다.
• 이 연구는 비트코인 및 그 파생 토큰에 효과적인 기존 분석 도구들이 모나로에는 효과적이지 않음을 확인하였으며, 이는 강력한 프라이버시 보호 조치와 프로토콜 강화 때문임을 시사한다.