search

LayerXcom / cbc-casper-simulator

CBC Casper simulator
MIT License
6 stars 1 forks source link

[Impl] message validation #1

Open yudetamago opened 5 years ago

yudetamago commented 5 years ago

See:

nrryuya commented 5 years ago

Same thought with https://github.com/LayerXcom/cbc-casper-simulator/issues/4#issuecomment-480589390

yudetamago commented 5 years ago

Makes sense, complete validation is not necessary, but some of simplified validations (like justification_is_justified as described above) are useful for debugging. Specifically, We might use it as just an assertion for experiments like: https://github.com/LayerXcom/cbc-casper-simulator/blob/de186bdfb1d1eafa70dcd78661b02459f6098c7a/cbc_casper_simulator/simulator/broadcast_and_receive_simulator.py#L35-L36

yudetamago commented 5 years ago

About justification_is_justified, it is required to check whether the message is to be "pending" or not.