Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed S...
Search
Kenji Saito
PRO
August 26, 2016
Technology
3
720
ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed System Literacy
ブロックチェーンハブ主催で開催している第2期ブロックチェーン連続講義の第5回「分散システムのリテラシー」のスライドです。2016年8月26日(金) に使用しました。
Kenji Saito
PRO
August 26, 2016
Tweet
Share
More Decks by Kenji Saito
See All by Kenji Saito
続・スマートコントラクトと分散ファイナンス / Smart Contracts and Decentralized Finance, Continued
ks91
PRO
0
21
スマートコントラクトと分散ファイナンス / Smart Contracts and Decentralized Finance
ks91
PRO
0
57
シン・ブロックチェーン / Truth of Blockchain
ks91
PRO
0
88
パスワード/パスフレーズと認証 / Password, Passphrase and Authentication
ks91
PRO
0
34
git と GitHub / git and GitHub
ks91
PRO
0
35
ソフトウェアの開発と保守 / Software Development and Maintenance
ks91
PRO
0
48
インターネットの特徴 / Features of the Internet
ks91
PRO
0
34
インターネットのガバナンス / Governance of the Internet
ks91
PRO
0
29
暗号学的ハッシュ関数 / Cryptographic Hash Function
ks91
PRO
0
37
Other Decks in Technology
See All in Technology
MUITにおける開発プロセスモダナイズの取り組みと開発生産性可視化の取り組みについて / Modernize the Development Process and Visualize Development Productivity at MUIT
muit
1
4.5k
AI導入の理想と現実~コストと浸透〜
oprstchn
0
160
Geminiとv0による高速プロトタイピング
shinya337
0
200
生成AI活用の組織格差を解消する 〜ビジネス職のCursor導入が開発効率に与えた好循環〜 / Closing the Organizational Gap in AI Adoption
upamune
6
4.7k
マーケットプレイス版Oracle WebCenter Content For OCI
oracle4engineer
PRO
3
940
Tech-Verse 2025 Keynote
lycorptech_jp
PRO
0
1.4k
整頓のジレンマとの戦い〜Tidy First?で振り返る事業とキャリアの歩み〜/Fighting the tidiness dilemma〜Business and Career Milestones Reflected on in Tidy First?〜
bitkey
1
4.6k
低レイヤを知りたいPHPerのためのCコンパイラ作成入門 完全版 / Building a C Compiler for PHPers Who Want to Dive into Low-Level Programming - Expanded
tomzoh
4
3.4k
How Community Opened Global Doors
hiroramos4
PRO
1
130
Zephyr RTOSを使った開発コンペに参加した件
iotengineer22
1
170
「良さそう」と「とても良い」の間には 「良さそうだがホンマか」がたくさんある / 2025.07.01 LLM品質Night
smiyawaki0820
1
450
解析の定理証明実践@Lean 4
dec9ue
1
210
Featured
See All Featured
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
138
34k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
657
60k
How GitHub (no longer) Works
holman
314
140k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.7k
GraphQLの誤解/rethinking-graphql
sonatard
71
11k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.5k
Being A Developer After 40
akosma
90
590k
Why You Should Never Use an ORM
jnunemaker
PRO
58
9.4k
Facilitating Awesome Meetings
lara
54
6.4k
Docker and Python
trallard
44
3.5k
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.9k
Code Review Best Practice
trishagee
69
18k
Transcript
2 5 SFC / CSO
[email protected]
— 2016-08-26 – p.1/31
FLP CAP CUP ( ) P2P — 2016-08-26 – p.2/31
1. 2. 3. P2P 4. — 2016-08-26 – p.3/31
1. FLP CAP — 2016-08-26 – p.4/31
A, B A-B m A B A B A B
. . . — 2016-08-26 – p.5/31
1. X 2. X C 3. C 1. 2. 3.
reliable multicast — 2016-08-26 – p.6/31
: — 2016-08-26 – p.7/31
(safety) (liveness) ( ) ( = ) — 2016-08-26 –
p.8/31
→ / (benign) → (Byzantine) (malicious) — 2016-08-26 – p.9/31
FLP Fischer, Lynch, Paterson — 2016-08-26 – p.10/31
CAP Consistency ( ) Availability ( ) Partition tolerance (
) ⇒ 3 C Eventual consistency ( ) . . . — 2016-08-26 – p.11/31
Consistency ( ) Strong consistency ( ) (safety) Eventual consistency
( ) (liveness) ↑ Weak consistency ( ) ← ( ) — 2016-08-26 – p.12/31
n = f ( ) — 2016-08-26 – p.13/31
1 1, 2 n ≤ 3f — 2016-08-26 – p.14/31
CS1 : CS2 : CS3 : CL1 : CL2 :
: : (e.g. ) — 2016-08-26 – p.15/31
Paxos (1) : (The Part-Time Parliament) Paxos ( ) ↔
↔ ↔ ⇒ — 2016-08-26 – p.16/31
Paxos (2) (proposers), (acceptors), (learners) 1. 2. Paxos ( )
— 2016-08-26 – p.17/31
Paxos Paxos 2f + 1 Paxos f “byzantizing” Byzantine Paxos
PBFT (Practical Byzantine Fault-Tolerance) — 2016-08-26 – p.18/31
2. CUP (Consensus with Unknown Participants) - — 2016-08-26 –
p.19/31
(B)FT-CUP (Consensus with Unknown Participants) ( / ) : FT
(Fault-Tolerant) : BFT (Byzantine Fault-Tolerant) P2P n FT/BFT — 2016-08-26 – p.20/31
- n ( ) p.6 — 2016-08-26 – p.21/31
3. P2P P2P - - — 2016-08-26 – p.22/31
P2P : P2P 3 3 — 2016-08-26 – p.23/31
(Sybil) 16 — 2016-08-26 – p.24/31
again n > 3f R F R > 2F ⇒
— 2016-08-26 – p.25/31
( ) f = 1 ⇒ R — 2016-08-26 –
p.26/31
4. — 2016-08-26 – p.27/31
3 1. ⇒ 2. ⇒ 3. TX · ⇒ —
2016-08-26 – p.28/31
10 ATM 1 ATM 1 : http://www.slideshare.net/yamaz2/ss-58813038 ⇒ KVS —
2016-08-26 – p.29/31
vs. — 2016-08-26 – p.30/31
— 2016-08-26 – p.31/31