The Anonymity Gap: Understanding Real Privacy in Shielded UTXO-based Protocols for DeFi
이 논문은 보호된 UTXO 기반 DeFi 프로토콜의 실질적인 프라이버시를 정량화하기 위한 통합된 비휴리스틱 분석 프레임워크를 소개하며, Railgun 및 Hinkal 배포에 대한 평가를 통해 공개 토큰 제약과 과거 상태 전이가 익명성 집합의 크기를 크게 감소시켜 종종 많은 트랜잭션이 최소한의 프라이버시조차 갖지 못하게 만든다는 점을 밝혀낸다.
원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기
금융의 디지털 세계에는 오랫동안 존재해 온 역설이 있습니다. 모든 거래가 기록되는 공개 장부를 사용하려면, 사용자는 자신의 움직임을 숨길 방법을 찾아야 한다는 것입니다. 수년 동안 이를 위한 주요 도구는 '믹서(mixer)'였습니다. 이는 많은 사람의 자금을 하나로 모아 섞은 뒤, 누가 무엇을 넣었는지 알기 어렵게 하여 인출할 수 있게 해주는 디지털 서비스였습니다. 그러나 이제는 이와 다르게 작동하는 차세대 프라이버시 도구들이 등장했습니다. 이 시스템들은 단순히 예치금과 인출금을 섞는 것에 그치지 않고, 자금이 안전하고 사적인 상태(private state) 내부에서 머물며 이동, 분할, 병합될 수 있도록 합니다. 이를 단순히 사람들이 한데 섞이는 하나의 방이라고 생각하기보다, 자금이 이동하고, 손을 바꾸고, 다시 결합된 후 마침내 공적인 시야로 드러날 수 있는 거대하고 보이지 않는 터널 네트워크라고 생각하십시오. 연구자들과 사용자들의 과제는, 이 더 복 phép한 새로운 시스템이 실제로 더 나은 프라이버시를 제공하는지, 아니면 그 시스템을 작동하게 만드는 바로 그 규칙들이 추적 가능한 단서들을 남기는지에 관한 것입니다.
유니버시티 칼리지 런던(UCL)과 난양 공과대학교를 포함한 기관의 연구진은 이러한 첨단 프라이버시 프로토콜의 실제 이력을 조사함으로써 이 질문에 답하고자 했습니다. 그들은 여러 블록체인 네트워크에 걸쳐 운영되는 두 가지 주요 시스템인 레일건(Railgun)과 힌칼(Hinkal)에 집중했습니다. 사용자의 행동을 추측하거나 사람들이 돈을 쓰는 패턴을 살펴보는 기존 연구들과 달리, 이 팀은 공개된 규칙과 블록체인상의 가시적인 데이터만을 검토하는 엄격한 방법을 구축했습니다. 그들은 다음과 같은 질문을 던졌습니다. 만약 돈이 숨겨진 상태를 떠나 다시 공적인 세계로 들어오는 거래가 있다면, 그 돈이 올 수 있는 시작점은 과연 몇 군데인가? 사용자가 누구인지에 대한 어떠한 가정도 하지 않고 시스템의 이력을 역추적함으로써, 그들은 시스템 자체의 설계가 익명성 집합을 얼마나 축소시키는지 정확히 측정할 수 있었습니다.
연구진은 이 시스템들이 작동하는 방식을 세 가지 계층으로 나누어 상세한 지도를 구성했습니다. 첫 번째 계층은 숨겨진 돈을 나타내는 노트(notes), 즉 디지털 토큰과 관련이 있습니다. 두 번째 계층은 세부 사항을 밝히지 않고 거래를 검증하는 암호화 증명(cryptographic proofs)입니다. 세 번째 계층은 돈이 마침내 다시 가시화되는 거래 그 자체입니다. 그들은 특정 인출(withdrawal)의 이력을 역추적하는 방법을 개발하였으며, 가용한 공개 정보를 기반으로 일련의 필터를 적용했습니다. 이 필터에는 해당 자금이 속한 디지털 트리를 확인하는 것, 거래가 발생한 시간을 검증하는 것, 자산 유형이 일치하는지 확인하는 것, 그리고 금액이 정확히 맞는지 확인하는 것이 포함됩니다. 이 필터들을 하나씩 적용함으로써, 그들은 불가능한 기원을 제거하고 잠재적인 시작 주소의 목록을 좁혀 나갈 수 있었습니다.
이 방법을 네 개의 레일건 배포 사례와 다섯 개의 힌칼 풀(pool)의 전체 온체인 이력에 적용했을 때, 결과는 시스템의 이론적 프라이버시와 실제 추론 가능한 결과 사이의 상당한 격차를 드러냈습니다. 평균적으로, 한 거래의 가능한 시작 주소의 수는 당시 이론적으로 가능했던 총 주소 수에 비해 40%에서 59% 사이로 감소했습니다. 어떤 경우에는 그 감소 폭이 훨씬 더 극적이었습니다. 연구는 돈이 숨겨진 상태에서 인출되는 언실딩(unshielding) 지불 거래 186,356건을 분석했습니다. 이 중 3,679건의 거래는 익명성 집합이 10개 이하의 가능한 주소로 좁혀졌으며, 여기에는 1,228개의 싱글톤(singletons, 단일 주소)이 포함되었습니다. 이는 상당수의 사용자에게 있어, 프로토콜의 공개된 규칙만으로도 외부 정보나 행동 추측 없이 가능한 기원을 단 하나의 주소로 좁힐 수 있었음을 의미합니다.
연구진은 왜 이러한 축소가 발생하는지에 대한 구체적인 이유를 식별했습니다. 주요 요인 중 하나는 사용되는 자산의 유형입니다. 거래에 특정 토큰이 포함되면, 시스템의 규칙이 다른 모든 토큰을 후보 목록에서 제거하여 후보군을 급격히 줄이는 경우가 많습니다. 또 다른 요인은 거래의 구조 자체입니다. 만약 거래가 돈을 공적인 상태로 방출하면서 동시에 새로운 숨겨진 노트를 생성한다면, 방정식을 균형 있게 맞추기 위해 요구되는 수학적 제약 조건이 많은 잠재적 이력을 배제할 수 있습니다. 또한 연구진은 풀(pool)의 이력이 중요하다는 점도 발견했습니다. 시스템 내에서 풀이 서로 다른 '트리(trees)'나 섹션으로 나뉘어 있는 경우, 한 섹션에서의 거래는 다른 섹션의 이력으로부터 자금을 끌어올 수 없으므로 익명성 풀을 사실상 절반으로 자르는 효과를 냅니다. 나아가, 거래의 이력 깊이 또한 역할을 합니다. 돈이 숨겨진 네트워크를 통해 더 멀리 이동했을수록 더 많은 잠재적 시작점을 축적하게 되며, 경로가 너무 복잡할 경우 이는 때때로 프라이버시 보호를 약화시킬 수 있습니다.
연구진은 자신들의 발견이 특정 개인을 식별하거나 주소를 실제 신원과 연결하려는 시도가 아니라, 엄격히 프로토콜의 공개된 제약 조건에 기반하고 있음을 강조했습니다. 그들은 사용자의 행동에 대한 휴리스틱이나 추측을 사용하지 않았습니다. 대신, 그들은 시스템을 코드에 기록된 규칙과 공개 장부에 기록된 데이터만이 유일한 단서인 수학적 퍼즐로 취급했습니다. 이러한 접근 방식은 이러한 시스템의 내재적인 프라이시 한계를 이해하는 기준을 제공합니다. 이 연구는 이러한 프로토콜들이 프라이버시 기술의 중대한 진화를 나타내지만, 복잡한 숨겨진 전송을 가능하게 하는 바로 그 메커니즘이 거래의 가능한 기원을 크게 줄일 수 있는 일련의 공개적 제약 조건을 생성한다는 것을 보여줍니다.
사용자들에게 시사하는 바는 명확합니다. 거래의 프라이버시는 사용되는 특정 자산, 인출 시점, 그리고 거래 구조 자체에 크게 의존합니다. 규모가 크고 활발한 풀에서 흔한 자산을 사용하는 것이 드문 자산을 적은 풀에서 사용하는 것보다 더 나은 보호를 제공할 수 있습니다. 시스템 설계자들에게 이 결과는, 업그레이드 과정에서 숨겨진 상태의 연속성을 보존하고 풀의 이력이 불필요하게 분할되는 것을 방지하는 것이 더 강력한 익명성을 유지하는 데 도움이 될 수 있음을 시사합니다. 연구는 결론적으로, 이러한 쉴드(shielded) 프로토콜이 프라이버시 기술의 주요한 진보를 나타내지만, 분석으로부터 자유롭지는 않다고 말합니다. 블록체인의 공개적인 특성 때문에 게임의 규칙은 항상 가시적이며, 그 규칙들을 면밀히 검토하면 제공되는 익명성의 실제 범위를 밝혀낼 수 있습니다.
연구 분야의 논문에 파묻히고 계신가요?
연구 키워드에 맞는 최신 논문의 일일 다이제스트를 받아보세요 — 기술 요약 포함, 당신의 언어로.