[논문 리뷰] Systematizing Decentralization and Privacy: Lessons from 15 Years of Research and Deployments

Carmela Troncoso, Marios Isaakidis외 2명|arXiv (Cornell University)|2017. 10. 01.

Internet Traffic Analysis and Secure E-voting참고 문헌 186인용 수 68

한 줄 요약

이 논문은 탈중앙화된 프라이버시 시스템 분야에서 15년간의 연구 및 구현을 체계화하며, 프라이버시, 무결성, 가용성, 시스템 복잡성 간의 핵심 설계 상충 관계를 규명한다. 성공적인 탈중앙화 시스템은 암호학, 분산 시스템, 메커니즘 설계 분야의 통합 전문 지식이 필요하며, 실제 가용성과 내구성을 확보하기 위해 인cent라이즈가 일치해야 한다고 주장한다.

ABSTRACT

Decentralized systems are a subset of distributed systems where multiple authorities control different components and no authority is fully trusted by all. This implies that any component in a decentralized system is potentially adversarial. We revise fifteen years of research on decentralization and privacy, and provide an overview of key systems, as well as key insights for designers of future systems. We show that decentralized designs can enhance privacy, integrity, and availability but also require careful trade-offs in terms of system complexity, properties provided, and degree of decentralization. These trade-offs need to be understood and navigated by designers. We argue that a combination of insights from cryptography, distributed systems, and mechanism design, aligned with the development of adequate incentives, are necessary to build scalable and successful privacy-preserving decentralized systems.

연구 동기 및 목표

• 탈중앙화가 프라이버시 강화 시스템에서 어떻게 일반적인 분산 시스템과 다름을 이해하는 기초를 마련하기 위해.
• 15년간의 연구 및 구현을 통해 탈중앙화, 시스템 복잡성, 프라이버시, 가용성 간의 반복적인 설계 상충 관계를 규명하기 위해.
• 안전하고 확장 가능하며 구현 가능한 탈중앙화 시스템을 구축하기 위해 암호학, 분산 시스템, 메커니즘 설계의 핵심적 역할을 부각하기 위해.
• 디렉터리, 평판, 키 관리와 같은 중심화된 구성 요소에 대한 의존성으로 인해 지속적인 실제 확장성 문제를 다루기 위해.
• 장기적인 탈중앙화 시스템의 지속 가능성 확보를 위해 기술적 탄력성과 사회적, 인센티브 구조를 통합하는 다학제적 설계를 촉진하기 위해.

제안 방법

• 2001년부터 2016년까지의 연구 및 구현 사례를 체계화하여 피어 투 피어, 익명 통신, 블록체인 시스템에 집중한다.
• 탈중앙화 시스템을 다수의 불신뢰할 수 있는 기관을 가진 분산 시스템으로 정의하며, 중심화 또는 완전히 신뢰 가능한 시스템과 대비한다.
• 비트토런트, 토르, 비트코인과 같은 핵심 시스템을 분석하여 프라이버시 및 탈중앙화와 관련된 설계 패tern과 실패 모드를 도출한다.
• 네트워크 과학 및 그래프 이론을 적용하여 확장성에 따라 탈중앙화 네트워크가 중심화되거나 연합형 구조로 진화하는 방식을 모델링한다.
• 제로 지식 증명 및 익명 자격 증명과 같은 암호 primitive의 역할을 중심화된 신뢰 없이도 프라이버시를 보장하는 데 기여함을 평가한다.
• 암호학, 분산 시스템, 메커니즘 설계를 통합하는 프레임워크를 제안하여 향후 시스템 설계를 안내하며, 인센티브 일치성과 해킹에 대한 내구성 강조.

실험 결과

연구 질문

• RQ1 신뢰 모델과 위협 모델 측면에서 탈중앙화 시스템과 분산 시스템은 어떻게 다릅니까?
• RQ2 실제로 운영되는 탈중앙화 시스템은 성능, 가용성, 프라이버시를 고려할 때 탈중앙화를 어떻게 균형 있게 유지합니까?
• RQ3 왜 많은 탈중앙화 시스템이 이름, 키 관리, 평판과 같은 핵심 기능을 위해 중심화된 구성 요소에 의존합니까?
• RQ4 사회적 및 경제적 인센티브는 탈중앙화 시스템의 장기적 지속 가능성과 보안에 어떤 역할을 합니까?
• RQ5 고도의 암호 기법과 하이브리드 시스템 설계는 실제 사용 압력 하에서도 탈중앙화를 잠재적 성질로 유지할 수 있습니까?

주요 결과

• 탈중앙화 시스템은 프라이버시, 무결성, 가용성을 향상시키지만, 탈중앙화, 복잡성, 시스템 성질 간의 신중한 상충 관계가 필요하다.
• 비트토런트와 토르와 같은 시스템은 설계 목표가 있음에도 불구하고 확장성에 따라 슈퍼노드 또는 연합형 클라이언트-서버 모델로 진화하여 순수한 탈중앙화를 약화시킨다.
• 디렉터리, 키 관리, 평판 시스템과 같은 중심화된 구성 요소는 여전히 전적으로 탈중앙화를 목표로 하는 시스템에서도 지속적으로 존재한다.
• 평판 및 악용 방지 메커니즘은 종종 중심화된 기관이나 사전 존재하는 사회적 네트워크에 의존하여, 신뢰할 수 없는 프라이버시 보장 대안의 격차를 드러낸다.
• 최종 사용자 기기 보안은 취약한 고리이며, 탈중앙화 시스템은 해킹 후에도 프라이버시 성질을 유지하고 복구할 수 있도록 설계되어야 한다.
• 진정한 탈중앙화는 기술적 설계 외에도 사회적 구조와 인센티브 구조가 필요하며, 순수 기술적 해결책만으로는 장기적 구현과 내구성을 보장할 수 없다.