[논문 리뷰] Think Global, Act Local: Gossip and Client Audits in Verifiable Data Structures

Sarah Meiklejohn, Pavel Kalinnikov외 5명|arXiv (Cornell University)|2020. 11. 09.

Distributed systems and fault tolerance참고 문헌 30인용 수 7

한 줄 요약

이 논문은 클라이언트가 검증 가능한 데이터 구조 내 자신의 데이터 항목을 효율적으로 개인적으로 감사할 수 있도록 해주는 검증 가능한 레지스트리인 Mog을 소개한다. 이는 글로벌 감사자에 대한 의존도를 제거한다. 가벼운 게시 프로토콜과 메르클 트리 기반의 압축 범위를 결합하여 일관성과 보안을 확보하며, 충돌 저항성 해시 함수를 사용해 증명 가능한 보안성을 확보하고, 사용자당 감사 비용을 아우터라인으로 줄인다.

ABSTRACT

In recent years, there has been increasing recognition of the benefits of having services provide auditable logs of data, as demonstrated by the deployment of Certificate Transparency and the development of other transparency projects. Most proposed systems, however, rely on a gossip protocol by which users can be assured that they have the same view of the log, but the few gossip protocols that do exist today are not suited for near-term deployment. Furthermore, they assume the presence of global sets of auditors, who must be blindly trusted to correctly perform their roles, in order to achieve their stated transparency goals. In this paper, we address both of these issues by proposing a gossip protocol and a verifiable registry, Mog, in which users can perform their own auditing themselves. We prove the security of our protocols and demonstrate via experimental evaluations that they are performant in a variety of potential near-term deployments.

연구 동기 및 목표

• 검증 가능한 데이터 구조에서 실용적인 게시 프로토콜가 부족한 문제를 해결하기 위해, 특히 인증서 투명성 및 키 투명성과 같은 근접한 응용 분야를 대상으로 한다.
• 글로벌 감사자에 대한 의존도를 제거하기 위해 클라이언트가 자체적으로 검증 가능한 로그나 레지스트리 내 자신의 데이터 항목을 독립적으로 검증할 수 있도록 한다.
• 전체 데이터 구조에 비해 상당히 낮은 계산 비용을 지닌 효율적이고 증명 가능한 보안 개인 감사를 지원하는 시스템을 설계한다.
• 블록체인 의존성이나 인터넷 인fra구조 변경 없이도 분할 시각 공격을 방지하는 게시 프로토콜을 제공한다.

제안 방법

• 검증 가능한 로그의 최신 체크포인트를 일정 수의 신뢰할 수 있는 증인들이 서명하도록 하는 게시 프로토콜을 제안하여, 클라이언트가 서명을 수집하고 검증함으로써 일관성 문제가 있는지 탐지할 수 있도록 한다.
• 메르클 트리의 압축 범위를 사용해 각 버전당 다수의 업데이트를 표현함으로써 메르클 마운틴 레인지(MRL) 구조의 크기와 검증 비용을 감소시킨다.
• 이중 단계 검증 프로세스를 적용한다: 클라이언트는 먼저 MRL이 이전 체크포인트와 일관성을 유지하는지 검증한 후, 증인으로부터의 서명을 검증하여 악성 행동을 탐지한다.
• Mog을 도입하여 메르클 트리에 버전화된 체크포인트를 사용해 항목을 저장함으로써, 클라이언트가 자신의 키들만을 $O(N_{\mathsf{MRL}} \cdot \log M)$ 계산 비용으로 감사할 수 있도록 한다.
• 무결성을 보장하기 위해 충돌 저항성 해시 함수를 사용하고, 클라이언트 측 서명 집합 기반으로 동일성 위반과 분할 시각 공격을 탐지한다.
• 클라이언트가 자신의 위협 모델과 신뢰 가정에 따라 공식화 기준을 정의할 수 있도록 유연한 클라이언트 정책을 지원한다.

실험 결과

연구 질문

• RQ1 블록체인이나 인프라 수준의 변경 없이도 분할 시각 공격을 방지할 수 있는 게시 프로토콜을 설계할 수 있는가? 이는 인증서 투명성과 같은 시스템에서 근접한 시기의 구현 가능성을 높인다.
• RQ2 개별 클라이언트가 전체 데이터 구조에 비해 하위선형 비용으로 자신의 항목만 감사할 수 있는 검증 가능한 레지스트리를 구축하는 것이 가능한가?
• RQ3 신뢰할 수 있는 글로벌 감사자나 글로벌 감사 기관이 없이도 클라이언트 측 감사가 효율적이고 증명 가능한 보안성을 확보할 수 있는가?
• RQ4 대규모 레지스트리에서 감사 효율성과 버전 업데이트 빈도 사이의 성능 트레이드오프는 어떠한가?
• RQ5 실시간 방지가 아니라 후행적으로 악성 이벤트(예: 누락된 항목)를 탐지할 수 있는가?

주요 결과

• 제안된 게시 프로토콜은 일정 수의 증인이 신뢰할 수 있는 한 분할 시각 공격을 방지하며, 최소 가동 시간 요구 조건을 충족할 경우 생존성도 확보한다.
• Mog는 클라이언트당 $O(N_{\mathsf{MRL}} \cdot \log M)$ 계산 비용으로 개인 감사를 가능하게 하여, 전체 감사에 $O(N)$ 작업이 필요한 것보다 상당히 비용을 줄였다.
• 실험적 평가 결과, 프로토콜이 고부하 및 증가하는 데이터 크기 조건에서도 성능이 유지됨을 확인했다.
• 충돌 저항성 해시 함수를 가정할 경우 시스템은 증명 가능한 보안성을 확보하며, 데이터 일관성과 무결성을 보장한다.
• 레지스트리 크기가 증가함에 따라 체크포인트 생성 속도를 늦추는 것이 필요하다는 점을 입증하여, 실시간 탐지와 시스템 확장성 사이의 트레이드오프를 시사한다.
• 특히 $N_{\mathsf{key}} \gg \log N$ 조건에서 SEEMless와 CONIKS와 같은 이전 시스템에 비해 Mog이 개인 감사 효율성에서 뛰어난 성능을 보였다.