kaal:claim:3125827-030

A 67% active validator requirement would improve finality but is excluded from the initial SPoS implementation because, by the CAP theorem, it limits the availability of the system and arbitrarily punishes randomly selected producers when the network is partitioned.

More importantly, due to the CAP theorem33, it limits the availability of the system, which is why it is not included in the initial implementation.

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

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

• network partitions occur
• consensus recognizes only blocks validated by a supermajority of active validators

failuresupport: arguedfailure: supermajority-validator-requirement-costfamily: scalability-and-throughput-limitinstitutional-design

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