cbc-casper/cbc-casper-paper

Issues

• Draft

  #34 opened a year ago by philliprossii
  0

• GHOST estimator should return _children_ of the heaviest subtree.

  #28 opened 6 years ago by afck
  5

• Is the signature of the fork choice rule correct? or maybe its usage is incorrect.

  #33 opened 4 years ago by HarikrishnanBalagopal
  0

• Page 23, in epoch score, the input e is not used

  #32 opened 4 years ago by HarikrishnanBalagopal
  1

• Page 16, Lemma 5 Justification only takes a message, not a protocol state

  #31 opened 4 years ago by HarikrishnanBalagopal
  1

• Should be "latest estimate driven"

  #30 opened 4 years ago by HarikrishnanBalagopal
  1

• Line is repeated on page 12, in n party consesus safety proof

  #29 opened 4 years ago by HarikrishnanBalagopal
  1

• Remove an empty set from a power set

  #17 opened 6 years ago by nrryuya
  1

• `Blocks_In` is not defined

  #22 opened 6 years ago by nrryuya
  0

• Is the signature of Later_From in def 4.5 correct?

  #16 opened 6 years ago by yudetamago
  0

• Lemmas 6 and 9 should be formulated differently.

  #14 opened 6 years ago by afck
  0

• Needs clarification on what a "single execution of the protocol" means

  #6 opened 6 years ago by pyskell
  2

• Need to correct to either "a protocol's states" or "a protocol state"

  #7 opened 6 years ago by pyskell
  1