Thus only the valid subset of theblocks will be considered as state by the replicated abstrac-tion (the CRDT).
Note: here valid seems to refer to both well-formed and valid.
Detection of this malformedness is possible as funciton(block). Thus a correct node will not accept such block's ops and won't make more atop.
Additional check is required to ensure that nodes do that^.
Nodes that do not comply are byzantine as well, and their ops can be "not observed" as well.