분산원장 기술 (수학 증명과 의사코드로 배우는 블록체인 구조와 알고리즘)

로저워튼호퍼

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

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

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

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

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

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

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


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

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

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

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

알고리즘으로배우는분산시스템의구조와이론
수학증명과의사코드로명확하게이해하기
10년간튜링상절반을차지할만큼분산시스템과암호학은컴퓨터과학의중심에위치한다.참여자간신뢰를구축하고거래내역을영구보존한다는측면에서블록체인의본질은분산원장이다.이와관련된기술은비트코인이전에도존재해왔지만,이론과실제를이해하는개발자는드물다.기법과도구역시초기단계이고파편화를겪고있어단순히코드만돌려보는것만으로는부족하다.
이책은비트코인전후에등장한주요분산시스템기술에대해정확한설명을제공하는정통이론서다.관련개념을수학증명과의사코드로정면돌파한다.장애허용시스템,팩소스,합의/동의,비잔틴문제,쿼럼시스템,최종일관성등익히들어왔지만이해하기어려웠던개념과프로토콜,알고리즘을명확하게정의하고살펴본다.각챕터는상호독립적이라원하는주제만골라서볼수있고,챕터노트를제공해효시가되는문헌과후속연구를찾아볼수있게했다.