Bystack的高TPS共识算法
多多的布布士
发表于 2023-1-4 04:17:07
82
0
0
Bystack是一个基于主侧链架构的区块链BaaS平台,将区块链分为Layer1和Layer2两层。5 N% ]. u! N' M4 @1 E
Layer1既比原链的主链,由POW算法保证最高级别的资产安全与去中心化。Layer1的TPS问题则通过跨链技术将资产转移到Layer2上来解决.
侧链(既Layer2)使用创新的BBFT共识算法使单条侧链的TPS达到20000以上,多条侧链配合可使TPS线性增长。
在未达到节点带宽与性能瓶颈的前提下,TPS = 区块交易数 *每秒确认的区块数。由于区块可以容纳的最大交易数可以通过简单的修改代码参数实现,所以提高每秒确认的区块数就成了提高TPS的关键方式。如比原链的每个区块最大可容纳5500笔左右的交易,在主链上因为平均每150秒出一个块的POW特性所以TPS是36.32.但上在侧链如将每秒进入最终确认的区块数提高到5个则可轻易的将TPS达到25000以上。
DPOS的问题* Y! r% w: b( o4 F0 a- |) O
传统的DPOS共识算法如EOS已经完全可以做到支持每秒2个区块的出块速度,但却有一个等待最终确认的问题。
因为一个传统的DPOS区块获得最终确认的依据是所有超级节点都在此块之后出过至少一个子块。这意味着假设有21个超级节点,每个节点每轮出6个块,平均每个出块时间为0.5秒。那么一个区块获得最终确认的时间需要60秒。" Y0 ?% r( @! P
BFT的问题
基于BFT的POS因为BFT的特性所有每个块在产出之后可以得到快速的最终确认,但是却难以获得较高的TPS.
原因是BFT每个区块分为三个状态,产生,预最终状态与最终确认状态。
状态的改变是依靠收集到2/3节点的签名,而签名产生的效率依赖网络的延迟。假设部分超级节点在美国,部分在中国那么通信的延迟大约为200毫秒。7 o1 ?7 j' R5 G6 z8 h- A
那一个区块从产生到最终确认至少需要600毫秒的限制。所以在BFT的共识算法中网络延迟成为了高TPS的瓶颈。
DPOS BBFT共识算法
Bystack的共识算法是基于DPOS和BBFT算法特性的全新混合共识算法,, X2 @: y. `/ [0 M1 _, Z$ E) J( E
通过将出块与BBFT签名异步进行的模式使得算法同时具有高TPS与快速最终确认的特性。在BBFT共识算法由全网用户投票选出n个共识节点进行出块。共识节轮流成为出块节点,当成为出块节点的共识节点将会以s秒一个块的速度连续出m个区块。当区块产生之后将直接广播至全网,8 \- C+ N6 b& `9 @' S
但出块节点不会等待获取2/3的其他共识节点签名而是继续在当前块的基础上出下一个块。此时当前区块已是合法区块但是未获得最终确认,类似于比特币未获得6个块确认存在回滚的可能性。当其他共识节点收到区块并且验证通过之后将会对区块进行签名并广播到全网,当一个区块获得超过2/3的签名时就进入了最终确认状态。
TPS+ e2 r$ Y# W! s1 y- w& z+ L6 D
实现高TPS的核心点是每个共识节点连续出m个区块。因为当每个节点只出一个块的话那么下一个共识节点出块需要等待上一个共识节点出的块,这里就需要考虑一个网络延迟带来的问题。如果把出块间隔设置小于网络延迟的,那会有大概率共识节点在出块时未收到上一个块造成分叉的状态。但当m设为一个稍大的数则可以将tps提升到带宽与节点性能的极限。
假设当m=20," ^% N: |* T8 L
当下一个共识节点出块时因为网络延迟未收到最后1个块但却收到了之前的19个块,节点会接在上一轮第19个块之后出块。区块链会进入瞬间的分叉状态但会根据最长链原则在2个块之后全网状态统一。虽然损失了1个区块的TPS,2 P8 T5 d5 ~2 x4 f) }
但任保证了出块间隔小于网络延迟情况下的高出块率。
异步BFT
在BBFT的设计中出块与与共识节点的BFT签名是并行进行来抵消因网络延迟收集BFT签名对出块效率的影响。但不同于经典BFT算法中有产生,预最终状态与最终确认三个状态,
BBFT根据区块链的特性改造使算法只有一个最终确认状态。5 M1 s* Z; V7 O" D' s/ q2 R- j% Q
但添加了两个额外的限制条件:第一个是当一个共识节点对相同高度的两个不同区块进行签名既发生欺诈;第二个是当一个共识节点对相同时间的两个不同区块进行签名既发生欺诈。通过这种方式的改造减少了共识节点之间的通信次数,从而降低了区块获得最终确认所花费的时间。同时BBFT还有区块获得直接确认与间接确认两种。第一种直接确认既区块获得了超过2/3的共识节点签名。第二种间接确认是一个区块未获得2/3的共识节点签名,但其子块获得了超过2/3共识节点的签名,BBFT则会认为此区块间接的获得了最终确认的状态。6 k5 ~$ `9 |; J
容灾容错" \, v# C) o* l! R
0 A! a$ r# D- a7 k3 S
[*]
支持只剩单共识节点存活的情况下支撑整个网络的运行到下一轮共识节点替换,但出块速度会下降为正常情况的1/n.6 ~ f5 z# E+ w8 F: x: N( x u: O
用户可在此期间更改投票替换超级节点,在下一轮共识节点替换时网络既恢复正常状态。# l/ F$ Z8 w: G, p/ F
4 s; \1 T7 R) u; z
[*]
支持1/3的共识节点作恶的情况下网络正常运行,当超过1/3的共识节点作恶区块将长时间不能进入最终确认功能直至网络运行到下一轮共识节点被替换。当超过1/2的共识节点作恶,恶意节点将控制网络。5 N& ?8 i5 U4 [3 O; ?
! I! ] }+ P8 `+ s2 a/ E/ J
& O1 D9 D3 j, {4 {4 E$ _& b: R
BBFT共识出块情景分析
以下案例假设 n = 5, m = 3, s = 1,区块高度 = 100,时间戳为= 1557148900,
轮到3号共识节点准备出第一个块0 {+ x- H$ y& z, ]9 m
完美状态
' Z& u( ^+ a; x* t- f2 i( N- Q
[*]8 ]1 J+ B2 j& e; z! z* @
3号节点出高度为101, 时间戳为155714890区块A,广播至全网
[*]
区块A得到超过2/3的节点确认,进入最终确认状态/ H9 w; `: p3 M8 Q& r
[*]
3号节点出高度为102, 时间戳为155714891区块B,广播至全网
[*]
区块B得到超过2/3的节点确认,进入最终确认状态
4 j3 s2 U9 g$ t7 }
[*]1 t/ p( s3 W8 h. w
3号节点出高度为103, 时间戳为155714892区块C,广播至全网
2 g) v" W& d/ q+ K% K5 |, [: C6 r
[*]# ?3 P r; Y0 s/ C
区块C得到超过2/3的节点确认,进入最终确认状态
3 R% @' s4 `$ V9 ]4 n7 r$ N
[*]
4号节点成功收到区块A, B, C并都处于最终状态,在此链的基础上继续连续出
[*]1 @" }0 { l4 y& }' t2 H# Q$ H
4号节点出高度为104, 时间戳为155714893区块D,广播至全网4 }4 V) f' g _% Z% l
达到毫秒级最终确认,无回滚发生, 只有在网络延迟低与共识节点稳定的时候产生
理想状态! k6 t" `9 n5 w& H; j
2 [2 L" b) H* s8 P
[*]
3号节点出高度为101, 时间戳为155714890区块A,广播至全网
[*]8 x* M$ r6 E S0 y
3号节点出高度为102, 时间戳为155714891区块B,广播至全网
% ]# K5 A& h {8 T
[*]
区块A得到超过2/3的节点确认,进入最终确认状态
[*]4 {' j9 d' n' k- k q
3号节点出高度为103, 时间戳为155714892区块C,广播至全网
, n2 w- v) `/ `1 Z7 k# ?5 z
[*]) o; }) X8 W( O7 U6 L9 i
区块B得到超过2/3的节点确认,进入最终确认状态2 l6 f+ N. B4 s" c
7 w! A+ A3 V7 g! D6 c+ d
[*]+ L/ \. l0 [# _$ |) F4 Z0 F+ W" T0 }; N
4号节点成功收到区块A, B, C但只有A,
B处于最终确认状态,在此链的基础上继续连续出块( M: }# t3 V" _1 d& O0 V
[*]
4号节点出高度为104, 时间戳为155714893区块D,广播至全网3 Y3 @7 j! e( }4 Z$ v4 w% \# h- y- K
[*]
区块C得到超过2/3的节点确认,进入最终确认状态
! h# M! Q5 m3 P3 B& O
达到秒级最终确认,无回滚发生,但因收集共识节点对区块的确认签名,导致最终确认的延迟。
但由于所有区块已成功传递到下一个出块共识节点,所以不影响出块0 i: r4 }8 l+ \- f4 m( N
出块共识节点异常状态
[*]
时间戳为155714890, 无新块产生
7 Q) R0 p0 r& ]1 ~% [9 K
[*]0 P4 j! `, F* Q( t) v& S- t
时间戳为155714891, 无新块产生9 s' P/ _, b! V* ] U
[*]$ L2 I7 o2 r7 `8 _8 D7 E- K* p) {
时间戳为155714892, 无新块产生
[*]8 F; u" v& P* A8 \
4号节点未收到任何区块,轮到挖矿后出高度为101,
时间戳为155714893区块A广播至全网7 B) r$ i: z2 C
[*] q- M7 B7 P+ J: J/ n- g
区块A得到超过2/3的节点确认,进入最终确认状态
达到秒级最终确认,无回滚发生,因共识节点down机导致全网3秒内无节点出块。造成的影响是减慢了全网的出块速度,当单节点长期down机需要等待下一次投票时重新选出新一轮的共识节点可修复
网络延迟异常1) Q. X3 w& R; s. R5 \8 ?
) g; K' b: s& u$ E- {* N
[*]/ g8 I; ]6 Y6 x1 t$ O
3号节点出高度为101, 时间戳为155714890区块A,广播至全网. q% S$ Y4 v) C' {+ [& T. y
[*]) o3 g$ p, M: V. Y7 x
区块A得到超过2/3的节点确认,进入最终确认状态) }( Z+ \! o. Z/ M& |$ c
[*]
3号节点出高度为102, 时间戳为155714891区块B,广播至全网
[*]
区块B得到超过2/3的节点确认,进入最终确认状态
. a @' s5 h# u: f3 A
[*]
3号节点出高度为103, 时间戳为155714892区块C,广播至全网' N# c* I9 u4 g, n, j
[*]2 ?0 u6 a+ b5 Q4 U* _
区块C得到超过2/3的节点确认,进入最终确认状态) u# d$ p. _7 J- ?, c7 x( ~
[*]
4号节点成功收到区块A, B但C区块由于延迟问题暂未收到2 `% K0 h D+ c2 S: [
2 q! x# b: @0 B5 o9 y
[*]
4号节点出高度为103, 时间戳为155714893区块D,广播至全网3 `9 W; b n& t2 c4 b" O
[*]
由于2/3的共识节点已最终确认区块C, D无法获得最终确认0 f4 x" p% ^" q& N f( u
# E8 B: t: Q m# q
[*]0 ^7 j W' T' Q8 X4 Y$ P
4号节点收到区块C与C的最终确认信息, 回滚区块D, 切换链至区块C
) a+ x* G6 c( m8 _4 m
[*]
4号节点出高度为104, 时间戳为155714894区块E,广播至全网. D" u% O# S+ @* }3 z' [$ |
[*]
区块E得到超过2/3的节点确认,进入最终确认状态
1 r- g* J* u+ J3 [
8 K2 x7 j. G0 S
达到秒级最终确认,有回滚在所有没收到区块C的节点中发生,造成的影响是减慢了1个块的出块速度
网络延迟异常2
[*]
3号节点出高度为101, 时间戳为155714890区块A,广播至全网
, A9 f2 k. r. |; I' H$ \1 s& x8 o, [
[*]
区块A得到超过2/3的节点确认,进入最终确认状态8 N8 Z8 [0 k3 u8 |
6 s* c4 [; F: J7 W: A
[*]
3号节点出高度为102, 时间戳为155714891区块B,广播至全网2 k9 M. |+ N E) @6 _( c
[*]
区块B得到超过2/3的节点确认,进入最终确认状态
# N: w2 e5 v, h7 H+ U I
[*]
3号节点出高度为103, 时间戳为155714892区块C,广播至全网
# K, f/ w; o! k! l& q2 O/ l. @) m
[*]
4号节点成功收到区块A, B但C区块由于延迟问题暂未收到
[*]; _3 h; Q! j* i2 [$ g0 Z
4号节点出高度为103, 时间戳为155714893区块D,广播至全网
[*]
区块D得到超过2/3的节点确认,进入最终确认状态
7 b" [0 U* l4 w
[*]
3号节点收到区块D与D的最终确认信息, 回滚区块C, 切换链至区块D [/ [- E0 s9 H9 w9 Q* c2 w% }( \
[*]
4号节点出高度为104, 时间戳为155714894区块E,广播至全网$ P& t z8 ~3 [$ x
[*]
区块E得到超过2/3的节点确认,进入最终确认状态
达到秒级最终确认,有回滚在所有认同区块C的节点中发生,造成的影响是减慢了1个块的出块速度- p" d! ]$ Y7 u; D0 s
网络延迟异常3 ) s; e6 x/ N9 @# M. e& q! W
6 r: i# a: O% z! |+ }
[*]9 u/ `- S6 I6 @& V9 C: w! X! g
3号节点出高度为101, 时间戳为155714890区块A,广播至全网
[*]+ ^, N3 |% e* S+ H( }3 W
区块A得到超过2/3的节点确认,进入最终确认状态
! a+ `- ?; ?4 ?1 E8 _& \
[*]
3号节点出高度为102, 时间戳为155714891区块B,广播至全网0 z1 {3 v2 {6 E9 L8 z
[*]+ ?4 P! K) H( U" K
区块B得到超过2/3的节点确认,进入最终确认状态. f, s& u2 D. p, j" [9 [' u
5 a) [* e3 v( f' b. N/ F3 I6 a7 s; s, u
[*]/ x* G# Z5 _. Q3 c+ S
3号节点出高度为103, 时间戳为155714892区块C,广播至全网0 D9 O" b9 ?9 @( e$ d; L9 E, m
[*]6 f. M7 x3 ^+ Z) k3 J7 h4 y; j+ Y
4号节点成功收到区块A, B但C区块由于延迟问题暂未收到
4 ~0 j2 B1 ?3 I% U3 D( @
[*]
4号节点出高度为103, 时间戳为155714893区块D,广播至全网
* k/ D' Q5 C0 g, p! j
[*]
区块D得到超过2/3的节点确认,进入最终确认状态
% r! p' O; f O- Z2 e" u
[*]- p1 h+ p" M" M" D6 _: u3 n
3号节点收到区块D与D的最终确认信息, 回滚区块C, 切换链至区块D0 g, w, B0 ]# d8 A/ ^
[*]" Q2 @# ~1 E; U6 p$ B& U/ m/ E) S$ e
4号节点出高度为104, 时间戳为155714894区块E,广播至全网$ M. y& v/ A8 y6 c
. J) {. Z" X9 L2 c) Y0 p; h* ?
[*]
区块E得到超过2/3的节点确认,进入最终确认状态
6 X Y% w, W& |. v$ b5 j
达到秒级最终确认,有回滚在所有认同区块C的节点中发生,造成的影响是减慢了1个块的出块速度8 J% |0 u- h0 m+ ^. ?" ?
网络延迟异常4
[*]
3号节点出高度为101, 时间戳为155714890区块A,广播至全网! e6 O1 B+ J$ V# {- t: @6 x! @
' E' D' d6 N, J- g' {
[*]
区块A得到超过2/3的节点确认,进入最终确认状态
[*]. A( ]" n3 V& G4 Z" b2 y: t
3号节点出高度为102, 时间戳为155714891区块B,广播至全网! \: E2 {4 L8 S4 S8 Z. y8 |9 w$ i
" _& E' ?* k0 ~! f% Z% v& E* ^- U: |
[*]
区块B得到超过2/3的节点确认,进入最终确认状态
' l0 C7 z6 `3 U, k; [
[*]0 h" }5 s) }5 {# R* S
3号节点出高度为103, 时间戳为155714892区块C,广播至全网7 R) q: W0 r& G# Z2 G# K0 z
8 x, Q+ `' I; s- J" b+ |) ?
[*]
4号节点成功收到区块A, B但C区块由于延迟问题暂未收到
[*]
4号节点出高度为103, 时间戳为155714893区块D,广播至全网
[*]
区块C, D各获得50%的共识节点投票,网络进入分叉状态7 x% j( w- x( T: A5 S4 L
" q) u* y; k. B' J: G7 Z7 M
[*]" k: m$ e- n7 r( e
4号节点出高度为104, 时间戳为155714894区块E,广播至全网
f' d3 z! U* X6 ~! g
[*]$ `5 a( }$ }" f# y" w
区块E得到超过2/3的节点确认,进入最终确认状态
. g5 W# i1 K& f; \( k
[*]
4号节点出高度为105, 时间戳为155714895区块E,广播至全网
达到秒级最终确认(极端情况分钟级发生概率和比特币回滚6区块差不多),有回滚在所有认同区块C的节点中发生,造成的影响是减慢了1个块的出块速度.* t+ D8 c& e7 d$ ?7 [# d+ M
此异常情况的极限状态是两条链各站约50%的算力并且发生持续竞争,直到稍占共识优势的链先进入了了最终确认状态。
参数对网络的影响9 C) U* a1 l' T0 V3 n8 q. S
[*]$ d: f5 M3 B2 Y, U0 M9 n9 w+ G
" {# N9 Y) a* w3 ~
共识节点的个数其实代表了区块链网络的容错率,n越大则单点故障对网络造成的影响越小。但n的数量增大会导致BFT对区块签名数量要求的增加,会消耗更多的资源与延缓区块进入最终确认状态所需要的时间
( j7 Y$ o. b& ^( p6 l
[*]
每个节点连续出块的个数是为了在考虑到网络延迟的情况下仍可以保证高速出块的方法。
当连续出块个数足够时出块时间理论上可达毫秒级。核心点就是当下一个出块共识节点有网络延迟未收到最后的3个区块,但之前的m-3个区已收到,可在m-3基础上继续出块。但m过大会导致单共识节点故障时长时间不出块* f1 R& p+ H' g8 w. y
" {9 e, l9 h& b
[*]8 r- w3 j% x- E" V: |5 c+ f: |
1 X( A3 V. G, Y0 {4 K
出块间隔时间明面上是高tps的保证,理论上当出块间隔为200毫秒时比Bytom的tps可达25000。但s设置的过小可能导致区块最终确认时间的延长。' Y- I/ r" ^# g8 m2 I% j* A
论文链接:https://github.com/bystackcom/BBFT
成为第一个吐槽的人