Achieving State Machine Replication without Honesty Assumptions

摘要: Current standards for player characterisation in tokenised state machine replication protocols allow honest players who will always follow the protocol, regardless of possible token increases deviating. Given ever-increasing market capitalisation these protocols, honesty is becoming more expensive and unrealistic. As such, this out-dated must be removed to provide true guarantees safety liveness a major stride towards universal trust new scale adoption. all current are built on legacy standards, it imperative that model identified utilised reflect nature now into future. To effect, we propose ByRa protocols. In model, either attempt maximise their rewards, or behave adversarially. This merges fields game theory distributed systems, an intersection which exist, but little formalisation has been carried out. identify properties strong incentive compatibility expectation fairness satisfy order achieve replication. We then FAIRSICAL, protocol provably satisfies properties, by doing so, achieves model.