1 Matching Annotations
  1. May 2024
    1. 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.