A Hitchhiker's Guide to Privacy-Preserving Digital Payment Systems: A Survey on Anonymity, Confidentiality, and Auditability

논문 개요

이 논문은 분산 원장 시스템 (블록체인 기반 암호화폐) 과 중앙은행 디지털 화폐 (CBDC) 를 포함한 개인정보 보호 디지털 결제 시스템에 대한 포괄적인 조사를 제공합니다. 저자들은 사용자 프라이버시 (익명성, 기밀성) 와 규제 준수 (감사 가능성, 책임성) 사이의 균형을 맞추기 위한 설계 지향적 관점을 제시하며, 암호학적 원시적 요소, 프로토콜, 시스템 아키텍처 간의 관계를 체계적으로 분류합니다.

1. 문제 제기 (Problem)

디지털 결제 시스템의 급속한 확산은 분산 아키텍처에 대한 관심을 불러일으켰으나, 다음과 같은 근본적인 딜레마를 야기합니다:

• 프라이버시 vs. 규제 준수: 공개 블록체인은 투명성과 감사 가능성을 제공하지만, 이는 사용자의 익명성을 훼손하고 거래 추적을 가능하게 하여 금융 행위가 노출될 위험이 있습니다. 반면, 완전한 익명성 (예: 모네로) 은 자금세탁 방지 (AML) 및 테러 자금 조달 방지 (CFT) 와 같은 규제 요구사항과 충돌합니다.
• 기술적 복잡성: 기존 연구들은 특정 기술 (예: 제로지식 증명) 에만 초점을 맞추거나, 감사 가능성 (Auditability) 을 고려하지 않는 경우가 많아, 프라이버시와 책임성 사이의 균형을 다루는 통합된 설계 프레임워크가 부족했습니다.

2. 방법론 (Methodology)

저자들은 기존 문헌을 체계적으로 분석하고 분류하기 위해 다음과 같은 방법론을 사용했습니다:

• 다차원 분류 체계 (Taxonomy): 기존 시스템들을 분석하기 위해 프로토콜, 가치 표현 (Value Representation), 프라이버시 기능, 감사 가능성이라는 4 가지 핵심 차원을 정의했습니다.
• 세대별 진화 분석: 프라이버시 보호 결제 시스템의 발전 과정을 3 가지 세대로 나누어 분석했습니다.
  • 1 세대: 중앙 집중형 (e-cash), 발권자 익명성 중심.
  • 2 세대: 탈중앙화 (비트코인 등), unlinkability(연결 불가능성) 및 추적 불가능성 강화.
  • 3 세대: 프라이버시와 감사 가능성의 균형 (CBDC 포함).
• 기술 매핑: 고수준의 프라이버시 목표 (익명성, 기밀성 등) 를 이를 구현하는 구체적인 암호학적 원시적 요소 (Commitment, ZKP, Ring Signature 등) 및 시스템 아키텍처에 매핑했습니다.

3. 주요 기여 (Key Contributions)

이 논문의 핵심 기여는 다음과 같습니다:

1. 통합 분류 체계 (Unified Taxonomy) 제시:

   • 탈중앙화 원장 기반 솔루션과 중앙 관리형 시스템 (CBDC) 을 아우르는 포괄적인 분류 체계를 제안했습니다.
   • 시스템 아키텍처, 신뢰 모델, 가치 표현 모델 (계정 기반, 토큰 기반, 표 형식 원장), 프라이버시 보장 수준, 감사 메커니즘 등을 다차원으로 분류했습니다.

2. 프라이버시 속성의 체계적 분석 및 세대별 진화 추적:

   • 1 세대 (중앙 집중형): Chaum 의 e-cash 와 같이 맹신호 (Blind Signature) 를 사용하여 화폐 발행 기관이 지출자를 알지 못하도록 하는 방식.
   • 2 세대 (탈중앙화): 비트코인 이후 등장한 프라이버시 네이티브 프로토콜 (Zerocoin, Monero, MimbleWimble 등). 링 서명, 스텔스 주소, 제로지식 증명 (ZKP) 을 활용하여 발신자/수신자 익명성과 거래 금액 기밀성을 강화.
   • 3 세대 (감사 가능성 통합): AML/CFT 요구사항을 충족하기 위해 선택적 공개, 익명성 예산 (Anonymity Budget), 추적 가능 링 서명 등을 도입하여 프라이버시와 규제 준수 사이의 균형을 모색.

3. 기술적 구현과 설계 트레이드오프 매핑:

   • 프라이버시 기능: 발신자/수신자 익명성, 거래 금액 기밀성, 네트워크 익명성 (IP 숨김), 연결 불가능성 (Unlinkability), 그럴듯한 부인 (Plausible Deniability) 등을 구현하는 암호학적 도구 (예: Pedersen Commitment, zk-SNARKs, Homomorphic Encryption) 를 상세히 분석했습니다.
   • 감사 가능성 메커니즘: 익명성 예산, 운영 한도 (Operating Limits), 취소 가능한 익명성 (Revocable Anonymity), 코인 추적, 정보 공개 없이 검증 (Verification without Disclosure) 등의 메커니즘을 분류하고, 이를 구현하는 프로토콜 (예: zkLedger, Solidus, PEReDi) 을 비교했습니다.

4. 개방된 연구 과제 및 미래 방향 제시:

   • 프라이버시와 감사 가능성에 대한 공식적 정의 (Formal Definitions) 부재.
   • 확장성 및 효율성 문제 (ZKP 의 계산 비용, 신뢰 설정 문제).
   • 규제 준수와 프라이버시 간의 동적 균형 (Adaptive Privacy).
   • 네트워크 계층의 프라이버시 누출 (Cross-layer Leakage) 문제 해결 필요성 등을 지적했습니다.

4. 주요 결과 및 기술적 통찰 (Results & Insights)

• 가치 표현 모델의 차이:
  • 계정 기반 (Account-based): 잔액을 명시적으로 관리하며, 기밀성을 위해 암호화된 잔액이나 Commitment 를 사용. 감사 정책 적용에 유리함.
  • 토큰 기반 (Token-based): 개별 토큰을 추적. Chaumian 토큰 (맹신호 기반) 과 Unspent Token (UTXO 기반) 으로 나뉨. UTXO 기반은 동시성 검증이 유리하지만 프라이버시 보호를 위해 추가 기술 (링 서명 등) 이 필요.
  • 표 형식 원장 (Tabular Ledger): 은행 간 결제에 특화 (zkLedger). 행은 거래, 열은 은행을 나타내며, 암호학적 검증을 통해 감사 가능.
• 감사 가능성의 설계:
  • 완전한 투명성은 프라이버시와 상충되므로, **선택적 공개 (Selective Disclosure)**가 핵심입니다.
  • 감사 가능성 메커니즘:
    • 익명성 예산: 일정 횟수 이상의 익명 거래 시 신원 공개.
    • 취소 가능한 익명성: 특정 조건 (이중 지출, 법적 명령) 하에서만 신원을 추적 가능하게 함.
    • 정보 공개 없이 검증: 영지식 증명 (ZKP) 을 사용하여 거래가 규정을 준수했음을 증명하되, 거래 내용 자체는 숨김.
• 암호학적 도구의 트레이드오프:
  • 맹신호 (Blind Signatures): 가볍지만 중앙 집중적 신뢰 필요.
  • 링 서명 (Ring Signatures): 확장성 좋지만, 링 크기에 따라 익명성 제한 및 분석 취약점 존재.
  • 제로지식 증명 (ZKPs): 강력한 프라이버시 보장 (발신자, 수신자, 금액 모두 숨김) 이 가능하지만, 계산 비용이 크고 신뢰 설정 (Trusted Setup) 이 필요한 경우가 많음.

5. 의의 (Significance)

• 통합적 관점 제공: 기존 연구들이 특정 기술이나 특정 시스템 (암호화폐 또는 CBDC) 에만 국한되었던 것과 달리, 이 논문은 두 영역을 아우르는 설계 지향적 (Design-oriented) 통합 프레임워크를 제시했습니다.
• 규제와 기술의 교량: 금융 규제 당국 (AML/CFT) 과 암호학자/시스템 엔지니어 간의 용어와 요구사항 격차를 해소하고, 규제 준수를 위한 기술적 구현 방안 (감사 가능성 메커니즘) 을 구체화했습니다.
• 미래 연구 방향 제시: 단순한 기술 나열을 넘어, 확장성, 형식적 검증, 네트워크 계층 보안 등 실제 배포를 위한 핵심 과제를 명확히 제시하여 향후 연구의 로드맵을 제공합니다.

결론적으로, 이 논문은 디지털 결제 시스템이 사용자의 강력한 프라이버시 보장과 기관의 책임성 및 규제 준수를 동시에 달성하기 위해 필요한 기술적, 설계적 요소들을 체계적으로 정리한 가이드북 역할을 합니다.