[논문 리뷰] Proofs of Zero Knowledge

Matthias Bauer|ArXiv.org|2004. 06. 29.

Cryptography and Data Security참고 문헌 7인용 수 5

한 줄 요약

이 논문은 기밀 해시 트리 기반의 새로운 암호 프로토콜을 제안하여, 데이터베이스를 신뢰할 수 없을 경우에도 독자가 데이터베이스 응답—포함하여 존재하지 않는 항목에 대한 부정까지도 검증할 수 있도록 한다. 작성자가 데이터베이스 전체 상태를 암호적으로 암묵적으로 암호화한 서명된 상태 자격 증명을 게시함으로써, 이는 데이터 존재성과 부재성에 대한 효율적이고 통신량이 적은 검증을 가능하게 하며, 이전의 영지식 집합 기반 기법들보다 속도 면에서 뛰어나고 다수의 작성자 및 동적 업데이트를 지원한다.

ABSTRACT

We present a protocol for verification of ``no such entry'' replies from databases. We introduce a new cryptographic primitive as the underlying structure, the keyed hash tree, which is an extension of Merkle's hash tree. We compare our scheme to Buldas et al.'s Undeniable Attesters and Micali et al.'s Zero Knowledge Sets.

연구 동기 및 목표

• 신뢰할 수 없는 데이터베이스에서 '해당 항목이 존재하지 않는다'는 응답을 검증하는 데 도전 과제를 해결하기 위해.
• 독자가 데이터베이스 전체 상태를 다운로드하지 않고도 항목의 존재 여부와 부재 여부를 암호적으로 검증할 수 있는 시스템을 설계하기 위해.
• 다수의 작성자가 상호 간섭 없이 독립적으로 데이터베이스를 업데이트하고 상태 자격 증명을 재계산할 수 있도록 하되, 글로벌 PKI나 작성자들의 지속적 참여가 필요로 하지 않도록 하기 위해.
• 동적 수정을 지원하고 기존 기법들보다 빠른 영지식 집합의 실용적이고 효율적인 대안을 제공하기 위해.

제안 방법

• 메르클의 해시 트리의 확장된 형태인 키드 해시 트리라고 불리는 새로운 암호 primitive를 도입하여, 데이터베이스 상태를 압축되고 검증 가능한 자격 증명과 결합한다.
• 상태 자격 증명—고정된 순서로 모든 키에 대한 해시 기반의 암묵적 암호화—를 작성자가 서명하고 공고 서비스를 통해 게시한다.
• 조회된 키로 향하는 경로의 메르클 스타일 증명(형제 노드 및 암묵적 암호화 값 포함)을 검토하여 데이터베이스 응답을 검증할 수 있도록 한다.
• 가짜 노드 브랜치를 구성함으로써 부재성 증명을 지원하며, 이 경우 루트의 암묵적 암호화 값은 경로가 빈 리프로 이어지는 사실을 숨기기 위해 업데이트된다.
• 이산 로그 기반의 암묵적 암호화 기법(g^m * h^r)을 사용하여 작성자가 노드의 어떤 값이라도 재암묵적 암호화할 수 있도록 하여, 부재성에 대한 설득력 있는 증명을 가능하게 한다.
• 작성자가 상태 자격 증명을 서명하고 공개 키를 외부에 저장하도록 함으로써 보안을 확보하여, 독자가 임의의 위변조나 잘못된 응답을 탐지할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 데이터베이스에서 데이터가 반환되지 않은 상태에서 독자가 해당 키가 실제로 존재하지 않음을 어떻게 검증할 수 있는가?
• RQ2 작성자가 서명한 상태 자격 증명이 데이터베이스 전체 상태를 암묵적으로 암호화하고 있음을 기반으로, 데이터베이스가 이에 부합하는지 효율적으로 증명할 수 있는가?
• RQ3 다수의 작성자가 상호 간섭 없이 데이터베이스를 업데이트하고 검증 가능한 상태 자격 증명을 유지할 수 있는가? 이 과정에서 지속적인 조율이나 글로벌 PKI가 필요로 하는가?
• RQ4 어떤 암호 primitive가 신뢰할 수 없는 데이터베이스에서 항목의 존재 및 부재성에 대한 효율적이고 통신량이 적은 증명을 가능하게 하는가?
• RQ5 기존의 영지식 집합 기반 기법들, 예를 들어 마이칼리 등이 제안한 것과 비교할 때, 제안된 기법은 성능과 보안 면에서 어떻게 다른가?

주요 결과

• 제안된 기법은 독자가 데이터베이스 응답—포함하여 존재하지 않는 항목에 대한 부정까지도 매우 소량의 데이터로 검증할 수 있도록 하여, 전체 데이터베이스를 다운로드하는 것보다 통신 오버헤드를 크게 줄였다.
• 키드 해시 트리의 사용은 작성자가 다른 작성자와의 상호작용 없이도 각각의 변경 후 상태 자격 증명을 재계산하고 재게시할 수 있도록 하여, 효율적이고 동적 업데이트가 가능하게 한다.
• 기존의 마이칼리 등이 제안한 영지식 집합보다 훨씬 빠르며, 노드당 다섯 개의 모듈러 승거 연산 대비 최적화된 해시 함수 하나만으로도 충분하다.
• 부재성 증명은 암묵적 값이 포함된 가짜 브랜치를 구성함으로써 달성되며, 이 경우 루트의 암묵적 암호화 값은 경로가 빈 리프로 이어지는 사실을 숨기기 위해 재계산된다.
• 이 기법은 영지식 성질을 부분적으로 유지하지만, 불가부인 서명이나 복잡한 작성자 간 조율이 필요로 하지 않아 실세계 적용에 더 실용적이다.
• 이 접근법은 DNS 및 웹 호스팅과 같이 신뢰할 수 없는 조건 하에서 데이터베이스 일관성과 무결성이 중요한 실세계 시스템에 적용 가능하다.