{
 "@context": "https://schema.org",
 "@type": "Claim",
 "@id": "https://wulfkaal.github.io/claims/3125827-030",
 "identifier": "kaal:claim:3125827-030",
 "text": "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.",
 "author": {
  "@type": "Person",
  "name": "Wulf A. Kaal",
  "identifier": "https://orcid.org/0000-0003-0757-275X"
 },
 "citation": "Craig Calcaterra, Wulf A. Kaal, Secure Proof of Stake Protocol (2018). SSRN: https://ssrn.com/abstract=3125827",
 "isBasedOn": {
  "@type": "ScholarlyArticle",
  "name": "Secure Proof of Stake Protocol",
  "datePublished": "2018",
  "url": "https://ssrn.com/abstract=3125827",
  "sha256": "598d9bd95e4af7a0a35328677c6bfc069f69f2e32c30c720b3a0be98a23a40cb",
  "encoding": "https://raw.githubusercontent.com/wulfkaal/Academic-Papers/main/papers/pdf/Calcaterra%20and%20Kaal%20-%202018%20-%20Secure%20Proof%20of%20Stake%20Protocol.pdf"
 },
 "keywords": [
  "institutional-design"
 ],
 "about": [
  "cap-theorem",
  "availability",
  "finality",
  "network-partition",
  "parameter-choice"
 ],
 "abstract": "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.",
 "additionalProperty": [
  {
   "@type": "PropertyValue",
   "name": "claim_type",
   "value": "failure"
  },
  {
   "@type": "PropertyValue",
   "name": "confidence",
   "value": "argued"
  },
  {
   "@type": "PropertyValue",
   "name": "scope_conditions",
   "value": [
    "network partitions occur",
    "consensus recognizes only blocks validated by a supermajority of active validators"
   ]
  },
  {
   "@type": "PropertyValue",
   "name": "is_failure_mode",
   "value": true
  },
  {
   "@type": "PropertyValue",
   "name": "attestations",
   "value": "https://wulfkaal.github.io/colloquium/attestations/df4db180df016eae5a3337cc5a7b5044e81748e08b76e932f6565fe58711c00d.json"
  },
  {
   "@type": "PropertyValue",
   "name": "edges",
   "value": []
  }
 ],
 "isPartOf": {
  "@id": "https://wulfkaal.github.io/claims/index.json"
 },
 "dateModified": "2026-07-27",
 "version": "1.0",
 "sha256": "df4db180df016eae5a3337cc5a7b5044e81748e08b76e932f6565fe58711c00d",
 "canonicalForm": "https://wulfkaal.github.io/claims/3125827-030.md"
}