kaal:claim:3125827-029

If a Byzantine producer equivocates during a network partition and wins validation pools in separate subnets, the fork is not permanent: once connectivity is restored the next honest producer points to a previous block, and with 51% honest producers the Byzantine fork is eventually orphaned because honest producers outproduce it.

The next honest producer would point to a previous block and all Byzantine forks would be invalidated. If there are 51% honest producers the Byzantine fork would eventually be orphaned, since honest producers will outproduce the Byzantine producers

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

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

• at least 51% honest producers
• network connectivity is eventually restored

mechanismsupport: arguedconsensus-and-security

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