kaal:claim:3125827-025

In SPoS, validators download the most recently upvoted validation algorithm and faithfully running it unedited automatically produces the winning vote, so honest validators are rewarded; this holds on the assumption that users controlling 51% of sem token power act honestly.

Source quote, verbatim
Faithfully running this algorithm on the block will automatically choose the correct vote to win the validation pool, rewarding honest validators, assuming users with 51% of sem token power act honestly. Honesty is defined as faithfully running the algorithm, unedited.
From

Craig Calcaterra, Wulf A. Kaal, Secure Proof of Stake Protocol (2018), 5.2 Block production, p. 18
https://ssrn.com/abstract=3125827 · source PDF

Cite as

Craig Calcaterra, Wulf A. Kaal, Secure Proof of Stake Protocol (2018). SSRN: https://ssrn.com/abstract=3125827

Holds when
Classification

conditionsupport: arguedconsensus-and-security

Verify

The quote above is an exact substring of the source PDF, whose sha256 is 598d9bd95e4af7a0a35328677c6bfc069f69f2e32c30c720b3a0be98a23a40cb. Extraction method: pdf-text-layer.
Attestation record: colloquium/attestations/72cbc2dad79cecc0...json
Verify the binding yourself: curl -s https://wulfkaal.github.io/claims/3125827-025.md | sha256sum