A
а еще Tendermint год запущен в production и работает, и его можно просто форкнуть и использовать, поэтому кажется что придумывать свой BFT консенсус в 2019 — это просто странно.
Size: a a a
2019 July 25
A
и я очень много разбирался с консенсусами типа PBFT, Tendermint и HotStuff, и не накосячить в Liveness Proof очень сложно. Например тот же Tendermint изначально не был live, и там заняло время понять это и исправить.
DK
Ну все зависит от assumptions. При некоторых параметрах и простой протокол с одним лидером - bft
A
кажется что это не правда? ведь лидер может быть byzantine
DK
Это тоже assumption :)
A
ну я думаю можно договориться что участников которые точно не byzantine не сущесвует :)
A
и что их не больше чем f из 3f+1. А какие еще assumptions релевантны?
DK
Ну честно говоря f из 3f+1 не знаю насколько релевантно
DK
If at all
A
это assumption без которого PBFT и Tendermint не работают, поэтому кажется релевантным
DK
Ну это довольно произвольное предположение
DK
Потому что непонятно что это за система такая где четверть может быть коррумпирована а треть уже нет
DK
Примеров нет в реальности
A
А вот в Bitcoin например треть может быть коррумпирована а половина уже нет.
Это не обозначает что мы верим что четверть может быть коррумпирована, но есть assumption что треть точно не может быть, или safety и liveness теряются
Это не обозначает что мы верим что четверть может быть коррумпирована, но есть assumption что треть точно не может быть, или safety и liveness теряются
DK
В биткоине нет коррумпированности
A
почему? если 51% коррумпирован, тебяется safety
DK
Если треть то тоже теряется
A
кажется что это неправда?
DK
Ну как же
DK
Последние версии selfish mining