{
  "assumed_authentication_boundary": {
    "detects": {
      "forged_honest_authenticator": true,
      "same_sender_equivocation_when_both_messages_are_available": true
    },
    "does_not_prevent": {
      "authenticating_conflicting_messages_by_faulty_node": true,
      "delay": true,
      "replaying_an_old_valid_message_without_protocol_coordinates": true,
      "withholding": true
    }
  },
  "conclusions": {
    "crash_majority_does_not_tolerate_equivocation": true,
    "three_of_four_quorums_share_an_honest_replica": true
  },
  "crash_fault": {
    "f": 1,
    "minimum_intersection": 1,
    "n": 3,
    "quorum": 2,
    "survives_one_crash": true
  },
  "crash_quorum_under_byzantine_fault": {
    "blue_certificate": [
      0,
      2
    ],
    "conflicting_decisions_possible": true,
    "faulty_node": 0,
    "intersection": [
      0
    ],
    "n": 3,
    "red_certificate": [
      0,
      1
    ]
  },
  "not_modeled": [
    "a PBFT network",
    "cryptographic implementation",
    "view-change logs",
    "performance"
  ],
  "pbft": {
    "certificate_pairs_without_honest_intersection": 0,
    "certificate_quorum": 3,
    "f": 1,
    "fault_placement_checks": [
      {
        "certificate_pairs_without_honest_intersection": 0,
        "faulty_node": 0
      },
      {
        "certificate_pairs_without_honest_intersection": 0,
        "faulty_node": 1
      },
      {
        "certificate_pairs_without_honest_intersection": 0,
        "faulty_node": 2
      },
      {
        "certificate_pairs_without_honest_intersection": 0,
        "faulty_node": 3
      }
    ],
    "honest_rule": "never vote for conflicting digests at one view and sequence",
    "minimum_intersection": 2,
    "n": 4
  },
  "source_claims_not_exercised": [
    "timeouts trigger view change but do not by themselves establish safety",
    "view change carries prepared information across views"
  ]
}