kaal:claim:3782203-027

Finding a correct by construction algorithm that incorporates all possible or even all practical assumptions about network status is not possible, because for any set of assumptions about network behavior an actor can break those assumptions by valuing some other result.

Source quote, verbatim
Finding a correct by construction algorithm that incorporates all possible, or even practical, assumptions of possible network statuses, is not possible. Given any set of assumptions about how the network will behave, you can always break those assump- tions by valuing some other result.
From

Craig Calcaterra, Wulf A. Kaal, A Technical Perspective on Decentralization (2021), Application to PoS consensus algorithms, p. 18
https://ssrn.com/abstract=3782203 · source PDF

Cite as

Craig Calcaterra, Wulf A. Kaal, A Technical Perspective on Decentralization (2021). SSRN: https://ssrn.com/abstract=3782203

Holds when
Classification

failuresupport: arguedfailure: assumption-escapefamily: research-design-limitationconsensus-and-security

Verify

The quote above is an exact substring of the source PDF, whose sha256 is ab8a22d0dbb026a09212a4c85963f3c05787cf80775e8613ae3724e3883e7a56. Extraction method: pdf-text-layer.
Attestation record: colloquium/attestations/5a26c06146c4eabe...json
Verify the binding yourself: curl -s https://wulfkaal.github.io/claims/3782203-027.md | sha256sum