Upgrade to Pro — share decks privately, control downloads, hide ads and more …

dBFT_consensus_as_distributed_system

____easy
October 25, 2018

 dBFT_consensus_as_distributed_system

2018/10/25 blockchaintokyo # 13 発表資料

____easy

October 25, 2018
Tweet

More Decks by ____easy

Other Decks in Programming

Transcript

  1. 2 &# @NeoKeymakersJP •  n $ *3 • Keymakers)

    n + n '! • R & D n   ( n dApps+" NEO +"% 
  2. 3 Contents 1  !!!$ 2 dBFT !!  3

    2& /3&  4 #%  5   "!!
  3. 4 9A!"%* '$&.0I3?K MB /),0#D=  8OHGC !"%* Ex:9A!"%* Q;+0-4J

    n PC+0- 0(0'$&.075F<>@  n  42 LE142(+0-N:6)= P
  4. 6 -":(:.7,,68:%Z ]} jh s!;-%pq Zwn ]} v` 6)#4]} ]}jhX/9&%

    Be  0)#5:]} /9&%2)&;$xIAN^  '0: ]} /9&% b{=Q‚~WF|b{ƒyH  -":(:]} ]} U/9&%>[G?Ru   E_3+7/9&% ]}n Zw v` JiZ #%*1 l{dtr\ mg AZ #%*1}S c{  \q  PDZ #%*1 <bkfVoC  zMK€ jh Zw @OZ Ta}SLYJt
  5. 7 .";';/8++79;%O EK28'6%+Hd • a[S^0:+ 8eZCWJaD, repilicated-write protocolf0:&%JaD5*8 BQ 

    • @\V@!<-<G cMAX  • 4(&<$ 0:&%`_ 0:&%`_  >]  k/<8++97;+O • ZCWJaDea[S^#%)3fYk? ;1<,;+Rb  ULC k/<8++97;+OP • .";';RbPIFk/<8++7;+OPT=2k+1?0:&%N\
  6. 9 dBFT(:+:)*-(:+:)*3;1uE • cMNEOMainnet(:+:)*3;17K • NEO@]k(:+:)*3;1Zhm • NEOjemw1B_HFNEO Councilid/`Fv •

    NEO Council@]NEOaWX9-'-7pz 2020WRD:9-' • NEO CouncilQHNEO@] y?TsgNEOvalidatoruE • $:,#;:&42:*VC • $5,#;:&42:*VC • Validator!:+:. 6rqy ^S • Windows!:*0;8 NEO-GUI>fx/Zh  • QN-7/;0NEO3.0t[Zh790(8PG  • %":0AnkU Zhm<%":0o\AnkZhJl Ex:3=Ank100NEO%":0ZhIOL Ank100h bY
  7. NEO Keymaers Japan 10 dBFT   F = (N

    - 1) / 3 N    F    
  8. 12 2E"I57 • dBFT ‘pre-prepare’ ‘prepare’ 2E "!&$9D • 0=

    &propose)< &.-G1C6 = FForkK/H7 • Primary;M  &' "!&$L/H7 • Neon #%  ,40>  (=@H+AB8 →3E"3dBFT:2?J* Pre-prepare Prepare
  9. 13 39!6. • $#$ #" 5;  n COMMIT70 ABORT7083<

    : 70*( n %  #INIT>&4? ABORTCOMMIT70 -+  • '/,1 2=)
  10. 15   • /8# -D BAK '%L %)%K%$#L7 •

    ')( /8# 4G* 10J9:  ' %/%$# ;?<I • BFT 2>" 3>" F 2,5 .=E3 • ')(@  $&(! trade-off H+6C
  11. 16  :BFT?JD=*0)C 64*0)C N+%.(.*0) FD=#.'.$& ?J*0)C T  5N-FD=*0);C7

    C 31I  ! − # $ F+%.(.*0)8ABH D=#.'.$& 31 > E ?J % > !'# $ + # ⋯① F+%.(.*0)6",-!.<: G2D=*0) #.'.$& 931>@F ! − % ≥ %⋯② ①/② ! − % > ! − # $ + # ∴ # < ! -