Консенсус

Impossibility of distributed consensus with one faulty process
Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson 1985

1984 State Machine Replication

Конечный автомат + лог операций
Мастер-реплика
Основа "классических" БД (MySQL, Oracle, Postgres, MongoDB)

Paxos - обобщение для группы

$n = 2F + 1$
Client, Acceptor, Proposer, Learner, Leader
Кворум

Raft - чуть проще

Leader, candidate, follower
Ортогонализация

Byzantine generals

Святослав Игоревич
Проблема генералов
n = 3F + 1
С криптографией проще

Proof of Work

Proof of stake

Greedy Heaviest-Observed Sub-Tree (GHOST), Casper, Gasper
легион