{
 "@context": "https://schema.org",
 "@type": "Claim",
 "@id": "https://wulfkaal.github.io/claims/3782203-027",
 "identifier": "kaal:claim:3782203-027",
 "text": "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.",
 "author": {
  "@type": "Person",
  "name": "Wulf A. Kaal",
  "identifier": "https://orcid.org/0009-0008-7840-1847"
 },
 "citation": "Craig Calcaterra, Wulf A. Kaal, A Technical Perspective on Decentralization (2021). SSRN: https://ssrn.com/abstract=3782203",
 "isBasedOn": {
  "@type": "ScholarlyArticle",
  "name": "A Technical Perspective on Decentralization",
  "datePublished": "2021",
  "url": "https://ssrn.com/abstract=3782203",
  "sha256": "ab8a22d0dbb026a09212a4c85963f3c05787cf80775e8613ae3724e3883e7a56",
  "encoding": "https://raw.githubusercontent.com/wulfkaal/Academic-Papers/main/papers/pdf/Calcaterra%20and%20Kaal%20-%202021%20-%20A%20Technical%20Perspective%20on%20Decentralization.pdf"
 },
 "keywords": [
  "consensus-and-security"
 ],
 "about": [
  "correct-by-construction",
  "consensus-algorithms",
  "impossibility-results",
  "assumption-escape"
 ],
 "abstract": "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.",
 "additionalProperty": [
  {
   "@type": "PropertyValue",
   "name": "claim_type",
   "value": "failure"
  },
  {
   "@type": "PropertyValue",
   "name": "confidence",
   "value": "argued"
  },
  {
   "@type": "PropertyValue",
   "name": "scope_conditions",
   "value": [
    "consensus algorithms for open anonymous networks"
   ]
  },
  {
   "@type": "PropertyValue",
   "name": "is_failure_mode",
   "value": true
  },
  {
   "@type": "PropertyValue",
   "name": "attestations",
   "value": "https://wulfkaal.github.io/colloquium/attestations/5a26c06146c4eabe53cdbeb5bba20d207c7778442ee8c7ba28eb57c05cfb050a.json"
  },
  {
   "@type": "PropertyValue",
   "name": "edges",
   "value": []
  }
 ],
 "isPartOf": {
  "@id": "https://wulfkaal.github.io/claims/index.json"
 },
 "dateModified": "2026-07-27",
 "version": "1.0",
 "sha256": "5a26c06146c4eabe53cdbeb5bba20d207c7778442ee8c7ba28eb57c05cfb050a",
 "canonicalForm": "https://wulfkaal.github.io/claims/3782203-027.md"
}