A Practical Post-Quantum Distributed Ledger Protocol for Financial Institutions

이 논문은 금융 기관의 프라이버시 요구사항과 감사 가능성을 충족시키기 위해, 기존 링-CT 모델의 한계를 극복하고 영지식 증명 및 새로운 컴팩트 범위 증명을 활용한 포스트 양자 격자 기반의 효율적이고 공개적으로 검증 가능한 분산 원장 프로토콜을 제안합니다.

핵심

이 논문은 JPMorgan Chase(제이피모건 체이스) 의 연구팀이 금융 기관을 위해 개발한 새로운 '양자 컴퓨터 시대용 비밀 장부 시스템' 을 소개합니다.

기존의 블록체인이나 분산 원장 기술은 투명하지만, 은행처럼 '거래 내역을 완전히 숨기면서도, 감사 (Audit) 는 가능해야 하는' 상황에는 적합하지 않았습니다. 이 논문은 그 문제를 해결하는 새로운 방법을 제안합니다.

이 복잡한 내용을 일상적인 비유로 쉽게 설명해 드리겠습니다.

---

1. 문제 상황: "투명한 유리 상자 vs. 잠긴 금고"

• 기존 방식 (공개 장부): 기존 블록체인은 마치 유리 상자에 모든 거래를 넣어두는 것과 같습니다. 누구나 중얼거리는 소리를 들을 수 있어 투명하지만, 은행은 "내 계좌 잔고가 얼마인지, 누가 얼마를 보냈는지"는 절대 남에게 알려주고 싶지 않습니다.
• 기존 사설 방식 (RingCT): 기존에 사설 장부를 만들 때는 '가상 인형' 을 사용하는 방법이 있었습니다. "내가 A 에게 돈을 보냈는데, 사실은 B, C, D 중 한 명에게 보낸 것일 수도 있어"라고 둘러대서 정체를 숨기는 방식입니다. 하지만 이 방법은 은행이 "내 계좌를 감시 (감사) 하려면 모든 과거 기록을 다 뒤져봐야 한다"는 귀찮은 문제가 있고, 양자 컴퓨터가 등장하면 이 암호가 뚫릴 위험이 있습니다.

2. 이 논문의 해결책: "스마트한 잠긴 금고 (ETL)"

이 연구팀은 "ETL(암호화된 테이블 기반 장부)" 이라는 새로운 방식을 제안합니다.

• 비유: 거대한 엑셀 시트
  • 장부를 하나의 거대한 엑셀 시트라고 상상해 보세요.
  • 행 (Row): 각 거래 기록입니다.
  • 열 (Column): 각 은행 계좌입니다.
  • 셀 (Cell): 특정 계좌의 특정 거래 금액입니다.
  • 핵심: 모든 숫자는 잠긴 금고 안에 들어있습니다. 하지만 이 금고는 마법처럼 "합계는 0 이다 (돈이 새로 생기거나 사라지지 않음)" 라는 사실만 증명할 수 있게 설계되었습니다.

3. 핵심 기술 3 가지 (마법의 도구들)

이 시스템이 작동하려면 세 가지 마법의 도구가 필요합니다.

① 양자 방어막 (Post-Quantum Lattice Cryptography)

• 비유: 기존 암호는 자물쇠처럼 단순해서 미래의 양자 컴퓨터 (초고속 열쇠) 가 뚫어버릴 수 있습니다. 이 논문은 '미로 같은 격자 (Lattice)' 형태의 암호를 사용합니다.
• 설명: 양자 컴퓨터가 아무리 빨라도, 이 미로 속을 헤매는 데는 시간이 너무 오래 걸려서 뚫을 수 없습니다. 미래의 해킹 위협에 대비한 '방탄 금고' 입니다.

② 마법의 증명서 (Zero-Knowledge Proofs, ZKP)

• 비유: 가상현실 (VR) 게임에서 "나는 이 보물을 가졌지만, 보물의 위치는 말해주지 않겠다"라고 증명하는 방법입니다.
• 설명: 은행은 "내 계좌에 돈이 있다"는 사실만 증명하고, "얼마나 있는지, 누구에게 보냈는지"는 절대 공개하지 않습니다. 하지만 장부 전체의 총합이 맞는지는 검증할 수 있습니다.

③ 새로운 열쇠 교환 기술 (Commitment Equivalence)

• 비유: 두 개의 다른 자물쇠가 같은 열쇠로 열린다는 것을 증명하는 방법입니다.
• 설명: 송금할 때, 보낸 사람이 만든 '잠긴 상자'와 받는 사람이 만든 '새로운 잠긴 상자'가 정말로 같은 내용 (동일한 금액) 을 담고 있는지, 열쇠 (랜덤 값) 를 직접 보여주지 않고도 증명할 수 있는 새로운 기술을 개발했습니다. 이는 은행이 돈을 제대로 받았는지 확인하는 데 필수적입니다.

4. 왜 금융 기관에 필요한가요?

• 다중 자산 지원: 한 번의 거래로 달러, 유로, 주식 등 여러 자산을 동시에 처리할 수 있습니다.
• 감사 (Audit) 용이성: 은행은 "내 계좌만 골라서 감사인에게 보여주고 싶다"고 할 수 있습니다. (기존 방식은 모든 기록을 다 뒤져야 했지만, 이 방식은 특정 열 (계좌) 만을 쉽게 추출할 수 있습니다.)
• 항상 사용 가능한 토큰: 받는 사람이 받은 자산을 100% 확실하게 다시 쓸 수 있도록 보장합니다. (기존 방식에서는 암호화 오류로 돈을 못 쓸 수도 있는 위험이 있었습니다.)

5. 성능은 어떨까요?

• 속도: 아직은 완벽하게 빠르지는 않지만, 금융 거래 (수백 밀리초) 에는 충분히 실용적인 수준입니다.
• 크기: 거래 데이터의 크기가 조금 크지만, 금융 기관의 규모 (참여자가 수천 명 정도) 에서는 충분히 처리 가능한 수준입니다.

요약

이 논문은 "미래의 양자 컴퓨터 해킹에도 안전하고, 은행의 비밀을 철저히 지키면서도, 감사인은 필요한 부분만 확인해 볼 수 있는 새로운 디지털 장부" 를 만들었습니다.

기존의 '투명한 유리 상자'나 '불편한 가짜 인형' 방식 대신, '스마트하고 안전한 잠긴 금고' 방식을 도입하여 금융 기관이 블록체인 기술을 실제로 쓸 수 있는 길을 열었습니다.

기술 요약

1. 문제 제기 (Problem)

• 기존 기술의 한계: 분산 원장 기술 (DLT) 은 중개자 없이 거래를 가능하게 하지만, 금융 기관이 이를 도입하는 데에는 프라이버시와 감사 (Auditability) 문제가 주요 장벽입니다.
• Ring-CT 의 부적합성: 현재 프라이버시 코인 (예: Monero) 에서 널리 쓰이는 Ring Confidential Transaction (Ring-CT) 은 은닉 주소 (Stealth Address) 와 링 서명을 사용하여 익명성을 보장합니다. 그러나 이는 금융 기관의 요구사항과 충돌합니다.
  • 감사의 어려움: 은닉 주소는 거래 내역을 전체 스캔해야만 특정 계정의 잔고를 확인할 수 있어, 효율적인 제로지식 (Zero-Knowledge) 기반 감사를 어렵게 만듭니다.
  • 토큰 소모성 불확실성: Ring-CT 는 수신자가 토큰을 사용할 수 있는지 (spendable) 를 검증하는 프로토콜이 부재하여, 은행이 잔고에 토큰이 표시되어도 실제로 사용할 수 없는 상황이 발생할 수 있습니다.
  • 양자 컴퓨팅 위협: 기존 Ring-CT 및 많은 DLT 는 이산 로그 (Discrete Log) 가정에 기반하므로, 양자 컴퓨터 등장 시 보안이 무너집니다.
• 금융 기관의 요구사항: 거래 가치 숨김, 입출금 계정 익명성, 자산 익명성, 원자적 교환 (Atomic Exchange) 지원, 그리고 **맞춤형 감사 가능성 (Customized Auditability)**이 필요합니다.

2. 방법론 (Methodology)

저자들은 암호화된 테이블 기반 원장 (Encrypted Table-based Ledger, ETL) 모델을 기반으로 한 새로운 사후 양자 거래 프로토콜인 **PQ-TaDL (Post-Quantum Table-based Distributed Ledger)**을 제안했습니다.

• ETL 구조:

  • 거래를 원장 테이블의 '행 (Row)'으로, 참여자 계정을 '열 (Column)'로 표현합니다.
  • 계정 잔고는 해당 열의 모든 거래 항목 합계로 표현되며, 가지치기 (Pruning) 를 통해 간결하게 표현됩니다.
  • 이는 Ring-CT 의 은닉 주소 스캔 방식보다 감사 효율성이 뛰어납니다.

• 암호학적 기반:

  • 격자 기반 암호 (Lattice Cryptography): 양자 컴퓨팅에 안전한 MLWE (Module Learning With Errors) 및 MSIS (Module Short Integer Solution) 가정을 사용합니다.
  • BDLOP 및 ABDLOP Commitment: 효율적인 커밋먼트 및 제로지식 증명 (ZKP) 을 위해 BDLOP (BDLOP Commitment) 와 ABDLOP (Ajtai 기반 확장) 방식을 활용합니다.
  • 새로운 증명 기법:
    1. 증명 가능성 (Proof of Equivalence): 원래 커밋의 무작위성 (Randomness) 을 알지 못하더라도, 두 커밋이 동일한 값을 가짐을 증명하는 새로운 기법을 도입했습니다. 이는 수신자가 송신자가 만든 커밋을 재커밋 (Re-commit) 할 때 필수적입니다.
    2. 범위 증명 (Range Proof): NTT (Number Theoretic Transform) 도메인을 활용한 컴팩트한 범위 증명을 통해 자산이 음수가 아님을 증명합니다.
    3. 다중 자산 지원: 하나의 링 (Ring) 요소에 여러 자산의 값을 인코딩하여 거래 크기를 줄이는 PQ-TaDL_Compact 버전을 제안했습니다.

• 보안 모델:

  • 기존 격자 기반 프로토콜들이 ROM (Random Oracle Model) 에서만 분석된 것과 달리, 이 논문은 **QROM (Quantum Random Oracle Model)**에서 보안성을 분석했습니다.
  • 사용된 ZKP 프로토콜이 **양자 지식 증명 (Quantum Proof of Knowledge, QPoK)**임을 입증했습니다.

3. 주요 기여 (Key Contributions)

1. PQ-TaDL 프로토콜 설계: 금융 기관을 위한 ETL 기반의 새로운 격자 기반 거래 프로토콜을 제안했습니다. 다중 자산 거래, 검증 가능한 사용 가능한 토큰 (Verifiable Spendable Token), 효율적인 제로지식 감사를 지원합니다.
2. 새로운 커밋 동등성 증명 기법: 원래 커밋의 무작위성 (Randomness) 을 알지 못하더라도, 두 커밋이 동일한 값을 공유함을 제로지식으로 증명하는 기술을 개발했습니다. 이는 ETL 환경에서 공개적으로 검증 가능한 거래 프로토콜을 구축하는 핵심 요소입니다.
3. 컴팩트 다중 자산 거래 (PQ-TaDL_Compact): 다중 자산 거래를 다항식 차수에 비례하여 확장 가능한 컴팩트한 형태로 구현했습니다.
4. QROM 모델에서의 보안 분석: 기존 격자 기반 연구들이 간과했던 양자 랜덤 오라클 모델에서의 보안성을 rigorously 분석했습니다.
5. 실용성 분석: 성능 및 통신 오버헤드 분석을 통해 제안된 프로토콜이 실제 금융 환경에 배포 가능한 수준임을 입증했습니다.

4. 결과 (Results)

• 성능 평가 (Rust 구현, M3 Pro MacBook 기준):
  • 프로버 (Prover) 시간: 거래 생성 시 각 참여자당 약 500ms 소요 (다중 자산 컴팩트 모드에서는 약 900ms).
  • 검증자 (Verifier) 시간: 거래 검증은 약 25ms로 매우 빠릅니다.
  • 주요 비용: 일관성 증명 (PoC) 과 동등성 증명 (PoE) 이 전체 실행 시간의 대부분을 차지합니다.
• 통신 오버헤드:
  • 표준 모드: 참여자당 자산당 약 1078 KB.
  • 컴팩트 모드: 참여자당 자산당 약 6.1 KB (총 1562 KB 를 자산 수로 나누어 계산). 이는 Ring-CT 기반 솔루션과 비교할 때 효율적인 편입니다.
• 보안성:
  • 균형 (Balance), 소유권 (Ownership), 프라이버시 (Privacy) 속성이 QROM 모델에서 수학적으로 증명되었습니다.
  • 양자 공격자 하에서도 거래의 무결성과 기밀성이 유지됨을 보였습니다.

5. 의의 및 중요성 (Significance)

• 금융 기관의 양자 전환 (Quantum Transition) 대비: 이 연구는 금융 기관이 양자 컴퓨팅 시대에 대비하여 기존 DLT 를 대체할 수 있는 실질적인 솔루션을 제시합니다.
• Ring-CT 대안 제시: Ring-CT 의 구조적 결함 (감사 어려움, 토큰 소모성 불확실성) 을 해결하면서도 동등한 수준의 프라이버시를 제공하는 ETL 기반 접근법의 우수성을 입증했습니다.
• 감사 가능성과 프라이버시의 조화: 금융 규제 (KYC/AML) 에 필수적인 맞춤형 감사 키 (Customized Audit Key) 를 지원하면서도 거래 내용을 암호화하여 프라이버시를 유지하는 '최적의 균형'을 달성했습니다.
• 이론적 기여: 격자 기반 암호학 분야에서 '커밋 동등성 증명'과 'QROM 하의 지식 증명'에 대한 새로운 이론적 결과를 도출하여, 향후 관련 연구에 기여할 수 있는 독립적인 가치가 있습니다.

결론적으로, 이 논문은 금융 기관이 프라이버시, 감사 가능성, 그리고 양자 내성을 모두 충족하는 분산 원장 기술을 도입할 수 있는 첫 번째 실용적인 청사진을 제공합니다.