kaal:claim:3266953-026

Producing a bad block is punished by slashing, since the producer loses the availability stakes they posted to be considered in the random selection of block producers.

Source quote, verbatim
Producing bad blocks is slashed because the bad block producer will lose their availability stakes (the tokens the producer staked to be considered for the random selection of block producers) in the validation pool.
From

Craig Calcaterra, Wulf A. Kaal, Gopinath Sivalingam, Reputation Protocol for the Internet of Trust - Conceptual Whitepaper (2018), Anchor Protocol, p. 16
https://ssrn.com/abstract=3266953 · source PDF

Cite as

Craig Calcaterra, Wulf A. Kaal, Gopinath Sivalingam, Reputation Protocol for the Internet of Trust - Conceptual Whitepaper (2018). SSRN: https://ssrn.com/abstract=3266953

Holds when
Classification

mechanismsupport: assertedinstitutional-design

Verify

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