search

cbc-casper / cbc-casper-paper

An Introduction to CBC Casper Consensus Protocols
138 stars 16 forks source link

Makefile + Typos / Phrasing Suggestions #9

Closed gakonst closed 5 years ago

gakonst commented 6 years ago

Also, I believe that the sentence "Note that F is a monotonic..." below Definition 2.11 should be part of the definition, what do you think?

Also, is the notation on Eq20 correct?

Think it should be (in words): there exists v in V, m1 in sigma, m2 in sigma so that ...

Currently it reads: v in V so that there exists ....

barnabemonnot commented 6 years ago

Hi, the notation seems correct. E returns a set of validators, so it says "give me the validators in V such that there exists m1, m2 etc." This is the "set builder notation", as given in the notation section. One notation that is missing from that list is the power set notation P, and its finite counterpart P_finite, you could add it to your PR! They are often used in the text.

The monotonicity of F is perhaps more of a property, you can actually prove it from the function definition.