블록체인을 지탱하는 분산 시스템 구조와 알고리즘 정복

분산원장과 블록체인은 비트코인보다 훨씬 오래되었지만, 기술의 이론과 실제를 이해하는 개발자는 드물다. 이 책은 비트코인 전후에 등장한 주요 접근법에 대해 정확한 설명을 제공하며, 분산원장과 관련된 개념들을 수학 증명과 의사코드로 간단명료하게 살펴본다. 장애 허용 시스템, 팩소스, 합의/동의, 비잔틴 문제, 쿼럼 시스템, 최종 일관성 등 자주 들어봤으면서도 이해하기 어려웠던 개념과 프로토콜, 알고리즘을 명확하게 정의하고 설명한다.

취리히 연방 공과대학교(ETH Zurich) 정보기술전자공학부 교수. 동대학에서 컴퓨터과학 박사학위를 땄고, 워싱턴 주 마이크로소프트 리서치, 브라운 대학교, 매쿼리 대학교 등에서 연구했다. 분산 시스템, 무선 네트워크, 모바일 시스템, 소셜 네트워크 등 컴퓨터과학과 IT의 알고리즘 및 시스템 측면에 관심이 크다. PODC, SPAA, SIGCOMM, STOC 등 저명한 국제 학회에 여러 논문을 발표했고, 2012년 SIROCCO 상을 비롯하여 여러 차례 수상한 경력이 있다.

Chapter 1 들어가며
1.1 분산 시스템이란?
1.2 이 책의 구성

Chapter 2 장애 허용 & 팩소스
2.1 클라이언트/서버
2.2 팩소스

Chapter 3 합의
3.1 두 친구
3.2 합의
3.3 합의의 불가능성
3.4 랜덤 합의
3.5 공유 코인

Chapter 4 비잔틴 동의
4.1 유효성
4.2 비잔틴 노드의 개수
4.3 왕 알고리즘
4.4 라운드 수의 하한
4.5 비동기 비잔틴 동의

Chapter 5 암호학 기초
5.1 키 교환
5.2 공개 키 암호
5.3 비밀 분산 및 벌크 암호화
5.4 메시지 인증 & 패스워드
5.5 전송 계층 보안

Chapter 6 인증된 동의
6.1 인증 기반 동의
6.2 프랙티컬 비잔틴 장애 허용
6.3 PBFT: 동의 프로토콜
6.4 PBFT: 뷰 전환 프로토콜

Chapter 7 쿼럼 시스템
7.1 부하와 작업
7.2 그리드 쿼럼 시스템
7.3 장애 허용
7.4 비잔틴 쿼럼 시스템

Chapter 8 궁극적 일관성과 비트코인
8.1 일관성, 가용성, 분할 내성
8.2 비트코인
8.3 스마트 컨트랙트
8.4 약한 일관성

Chapter 9 인사이드 비트코인
9.1 암호학 도구
9.2 스크립트와 메시지 형식
9.3 참가자

Chapter 10 분산 스토리지
10.1 일관된 해싱
10.2 하이퍼큐빅 네트워크
10.3 DHT와 이탈