issues
search
LayerXcom
/
cbc-casper-simulator
CBC Casper simulator
MIT License
5
stars
1
forks
source link
[Spec] simulation assumptions
#46
Open
nrryuya
opened
5 years ago
nrryuya
commented
5 years ago
Verifiability of messages
Do not simulate attacks by invalid messages
Assume validators can verify messages (See
https://github.com/LayerXcom/cbc-beacon-chain/issues/1#issuecomment-478194477
)
The total order of messages from the same sender
Do not reorder messages from the same sender
Assume this is solved by P2P layer (e.g. "pending" rule)
DoS attack vector (See
https://github.com/LayerXcom/cbc-beacon-chain/issues/8
)
Similarly, in "vote-by-block" consensus, we can assume the total order of all messages