graph LR idea_02fceda5_4242_409a_be54_e706251ad4bc["Network Partition"] idea_0ad51dcb_56ee_4fe1_a6d0_18d6f286cf21["Threshold Signatures"] idea_0e1c2e8f_cbe8_4efb_b442_25854b9e8222["Proof by Contradiction"] idea_199d079c_2556_405d_94c9_4ef1b4f1cdf8["Message-Passing System Model"] idea_19c9e9e6_22dd_403e_92ff_a92d09e25074["PBFT View Change"] idea_23740b43_9669_47bd_83cb_f6e5c1b93883["Safety and Liveness Properties"] idea_27c01238_1d4b_4cdf_8cb6_24894bf5c6ab["Message Authentication Code"] idea_3a3a6ad6_0003_467d_9c8e_730bd77de72d["Byzantine Fault"] idea_43ff6f69_51ab_4d64_95a1_8177673e357e["Consensus Problem"] idea_49dab9fc_9f7e_434c_92b4_26ea4108824f["3f+1 Replica Bound"] idea_50163ae7_27ba_4713_a5e5_ef6ecd00ef6c["Raft Consensus"] idea_521350ab_feea_4f58_a82a_9dcf38da73a2["Primary-Backup Replication"] idea_52d90247_729d_4915_9689_2a893a313a2c["FLP Impossibility Result"] idea_55a14e16_6e88_4475_b148_05e5232bf14a["Clock Drift"] idea_6408ff62_60bd_499c_b607_29e4697eee9d["Tendermint Consensus"] idea_677d73e2_261d_40ed_9db7_331de33ba9c8["Crash Fault Tolerance vs Byzantine Fault Tolerance"] idea_7a62b8b4_6042_489b_a2bf_298bcfe48a6f["Leader Election"] idea_7b5833e6_2200_44c9_9405_70fa2784b097["Crash Fault Model"] idea_86511f81_9553_4a92_8c51_40679e7a97fe["HotStuff Consensus"] idea_887e081b_a7f8_491d_8c0c_7b47089542d8["Distributed System"] idea_9bd200a5_9889_4afa_b8fd_5cab162e2ef6["Synchrony Models in Distributed Systems"] idea_a90e8901_ca58_483f_a429_3f1eab98b25c["Byzantine Quorum Intersection"] idea_abf14a79_4abd_47ac_9ea1_7c0527f170a5["Blockchain Data Structure"] idea_af89d88d_2be5_49bb_b42d_fa63e177602f["Byzantine Fault Model"] idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527["PBFT Normal-Case Protocol"] idea_b7d22807_f36f_4e83_934f_315060d08074["Equivocation"] idea_c9236e99_56ee_4667_a476_324775e15811["State Machine Replication"] idea_d09d3c16_fba7_4e14_94fe_2ba9ebf5df4b["Timeout-Based Failure Detection"] idea_d620e915_4bb1_416d_a95c_4d40fcdd6430["Byzantine Generals Problem"] idea_d98cbaf5_73b2_4925_9af0_5a87a4589309["Paxos Consensus"] idea_deb07dcd_0dda_43ab_8e5e_976bc3005fa9["Proof of Stake"] idea_df578c83_cd9c_4353_a895_b574bfdd1afa["Finite State Machine"] idea_df7038f5_a69c_400e_b2cd_d428944ae157["Oral Messages vs Signed Messages"] idea_e661b66d_0cd9_4f78_a5c6_1fc7fbedcfa0["Pigeonhole Principle"] idea_e9604294_61b0_4371_9796_257ffb4f11ed["Asynchronous Network Model"] idea_f07eda99_f84b_40e1_8c94_4b2b2306276e["Digital Signature"] idea_f56ef9a7_cacc_4db6_9466_aa3beba149d4["Network Latency"] idea_f6bd9cdb_0691_47bf_af9f_75cf6740eb01["Fault, Error, and Failure"] idea_f8c6f36a_9cbc_403d_913d_70a28746086c["Replicated Log"] idea_fcf7f177_ac12_41cb_8e6c_c51a2ea44bf3["Majority Quorum"] idea_3a3a6ad6_0003_467d_9c8e_730bd77de72d --> idea_d620e915_4bb1_416d_a95c_4d40fcdd6430 idea_abf14a79_4abd_47ac_9ea1_7c0527f170a5 --> idea_6408ff62_60bd_499c_b607_29e4697eee9d idea_887e081b_a7f8_491d_8c0c_7b47089542d8 --> idea_d620e915_4bb1_416d_a95c_4d40fcdd6430 idea_55a14e16_6e88_4475_b148_05e5232bf14a --> idea_9bd200a5_9889_4afa_b8fd_5cab162e2ef6 idea_0e1c2e8f_cbe8_4efb_b442_25854b9e8222 --> idea_52d90247_729d_4915_9689_2a893a313a2c idea_521350ab_feea_4f58_a82a_9dcf38da73a2 --> idea_c9236e99_56ee_4667_a476_324775e15811 idea_fcf7f177_ac12_41cb_8e6c_c51a2ea44bf3 --> idea_49dab9fc_9f7e_434c_92b4_26ea4108824f idea_27c01238_1d4b_4cdf_8cb6_24894bf5c6ab --> idea_df7038f5_a69c_400e_b2cd_d428944ae157 idea_e661b66d_0cd9_4f78_a5c6_1fc7fbedcfa0 --> idea_a90e8901_ca58_483f_a429_3f1eab98b25c idea_df578c83_cd9c_4353_a895_b574bfdd1afa --> idea_c9236e99_56ee_4667_a476_324775e15811 idea_49dab9fc_9f7e_434c_92b4_26ea4108824f --> idea_a90e8901_ca58_483f_a429_3f1eab98b25c idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527 --> idea_19c9e9e6_22dd_403e_92ff_a92d09e25074 idea_27c01238_1d4b_4cdf_8cb6_24894bf5c6ab --> idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527 idea_43ff6f69_51ab_4d64_95a1_8177673e357e --> idea_c9236e99_56ee_4667_a476_324775e15811 idea_02fceda5_4242_409a_be54_e706251ad4bc --> idea_677d73e2_261d_40ed_9db7_331de33ba9c8 idea_f6bd9cdb_0691_47bf_af9f_75cf6740eb01 --> idea_af89d88d_2be5_49bb_b42d_fa63e177602f idea_43ff6f69_51ab_4d64_95a1_8177673e357e --> idea_23740b43_9669_47bd_83cb_f6e5c1b93883 idea_199d079c_2556_405d_94c9_4ef1b4f1cdf8 --> idea_9bd200a5_9889_4afa_b8fd_5cab162e2ef6 idea_7b5833e6_2200_44c9_9405_70fa2784b097 --> idea_677d73e2_261d_40ed_9db7_331de33ba9c8 idea_d98cbaf5_73b2_4925_9af0_5a87a4589309 --> idea_677d73e2_261d_40ed_9db7_331de33ba9c8 idea_7a62b8b4_6042_489b_a2bf_298bcfe48a6f --> idea_86511f81_9553_4a92_8c51_40679e7a97fe idea_199d079c_2556_405d_94c9_4ef1b4f1cdf8 --> idea_d620e915_4bb1_416d_a95c_4d40fcdd6430 idea_f07eda99_f84b_40e1_8c94_4b2b2306276e --> idea_df7038f5_a69c_400e_b2cd_d428944ae157 idea_b7d22807_f36f_4e83_934f_315060d08074 --> idea_af89d88d_2be5_49bb_b42d_fa63e177602f idea_af89d88d_2be5_49bb_b42d_fa63e177602f --> idea_677d73e2_261d_40ed_9db7_331de33ba9c8 idea_521350ab_feea_4f58_a82a_9dcf38da73a2 --> idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527 idea_fcf7f177_ac12_41cb_8e6c_c51a2ea44bf3 --> idea_a90e8901_ca58_483f_a429_3f1eab98b25c idea_0ad51dcb_56ee_4fe1_a6d0_18d6f286cf21 --> idea_86511f81_9553_4a92_8c51_40679e7a97fe idea_abf14a79_4abd_47ac_9ea1_7c0527f170a5 --> idea_86511f81_9553_4a92_8c51_40679e7a97fe idea_c9236e99_56ee_4667_a476_324775e15811 --> idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527 idea_d09d3c16_fba7_4e14_94fe_2ba9ebf5df4b --> idea_19c9e9e6_22dd_403e_92ff_a92d09e25074 idea_23740b43_9669_47bd_83cb_f6e5c1b93883 --> idea_52d90247_729d_4915_9689_2a893a313a2c idea_d620e915_4bb1_416d_a95c_4d40fcdd6430 --> idea_df7038f5_a69c_400e_b2cd_d428944ae157 idea_43ff6f69_51ab_4d64_95a1_8177673e357e --> idea_52d90247_729d_4915_9689_2a893a313a2c idea_50163ae7_27ba_4713_a5e5_ef6ecd00ef6c --> idea_677d73e2_261d_40ed_9db7_331de33ba9c8 idea_7b5833e6_2200_44c9_9405_70fa2784b097 --> idea_af89d88d_2be5_49bb_b42d_fa63e177602f idea_43ff6f69_51ab_4d64_95a1_8177673e357e --> idea_d620e915_4bb1_416d_a95c_4d40fcdd6430 idea_e9604294_61b0_4371_9796_257ffb4f11ed --> idea_9bd200a5_9889_4afa_b8fd_5cab162e2ef6 idea_9bd200a5_9889_4afa_b8fd_5cab162e2ef6 --> idea_6408ff62_60bd_499c_b607_29e4697eee9d idea_e9604294_61b0_4371_9796_257ffb4f11ed --> idea_52d90247_729d_4915_9689_2a893a313a2c idea_f8c6f36a_9cbc_403d_913d_70a28746086c --> idea_c9236e99_56ee_4667_a476_324775e15811 idea_f56ef9a7_cacc_4db6_9466_aa3beba149d4 --> idea_9bd200a5_9889_4afa_b8fd_5cab162e2ef6 idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527 --> idea_86511f81_9553_4a92_8c51_40679e7a97fe idea_e661b66d_0cd9_4f78_a5c6_1fc7fbedcfa0 --> idea_49dab9fc_9f7e_434c_92b4_26ea4108824f idea_a90e8901_ca58_483f_a429_3f1eab98b25c --> idea_6408ff62_60bd_499c_b607_29e4697eee9d idea_19c9e9e6_22dd_403e_92ff_a92d09e25074 --> idea_86511f81_9553_4a92_8c51_40679e7a97fe idea_b7d22807_f36f_4e83_934f_315060d08074 --> idea_6408ff62_60bd_499c_b607_29e4697eee9d idea_7a62b8b4_6042_489b_a2bf_298bcfe48a6f --> idea_19c9e9e6_22dd_403e_92ff_a92d09e25074 idea_deb07dcd_0dda_43ab_8e5e_976bc3005fa9 --> idea_6408ff62_60bd_499c_b607_29e4697eee9d idea_7b5833e6_2200_44c9_9405_70fa2784b097 --> idea_52d90247_729d_4915_9689_2a893a313a2c idea_a90e8901_ca58_483f_a429_3f1eab98b25c --> idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527 idea_d620e915_4bb1_416d_a95c_4d40fcdd6430 --> idea_49dab9fc_9f7e_434c_92b4_26ea4108824f style idea_b168eac2_d574_4ae5_9fc4_1c1c095a7527 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_c9236e99_56ee_4667_a476_324775e15811 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_7b5833e6_2200_44c9_9405_70fa2784b097 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_a90e8901_ca58_483f_a429_3f1eab98b25c fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_df7038f5_a69c_400e_b2cd_d428944ae157 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_0e1c2e8f_cbe8_4efb_b442_25854b9e8222 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_55a14e16_6e88_4475_b148_05e5232bf14a fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_fcf7f177_ac12_41cb_8e6c_c51a2ea44bf3 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_02fceda5_4242_409a_be54_e706251ad4bc fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_f8c6f36a_9cbc_403d_913d_70a28746086c fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_6408ff62_60bd_499c_b607_29e4697eee9d fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_50163ae7_27ba_4713_a5e5_ef6ecd00ef6c fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_e661b66d_0cd9_4f78_a5c6_1fc7fbedcfa0 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_d09d3c16_fba7_4e14_94fe_2ba9ebf5df4b fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_3a3a6ad6_0003_467d_9c8e_730bd77de72d fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_0ad51dcb_56ee_4fe1_a6d0_18d6f286cf21 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_27c01238_1d4b_4cdf_8cb6_24894bf5c6ab fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_86511f81_9553_4a92_8c51_40679e7a97fe fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_abf14a79_4abd_47ac_9ea1_7c0527f170a5 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_43ff6f69_51ab_4d64_95a1_8177673e357e fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_f07eda99_f84b_40e1_8c94_4b2b2306276e fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_e9604294_61b0_4371_9796_257ffb4f11ed fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_af89d88d_2be5_49bb_b42d_fa63e177602f fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_f6bd9cdb_0691_47bf_af9f_75cf6740eb01 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_deb07dcd_0dda_43ab_8e5e_976bc3005fa9 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_b7d22807_f36f_4e83_934f_315060d08074 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_f56ef9a7_cacc_4db6_9466_aa3beba149d4 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_49dab9fc_9f7e_434c_92b4_26ea4108824f fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_677d73e2_261d_40ed_9db7_331de33ba9c8 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_df578c83_cd9c_4353_a895_b574bfdd1afa fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_d620e915_4bb1_416d_a95c_4d40fcdd6430 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_887e081b_a7f8_491d_8c0c_7b47089542d8 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_7a62b8b4_6042_489b_a2bf_298bcfe48a6f fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_199d079c_2556_405d_94c9_4ef1b4f1cdf8 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_d98cbaf5_73b2_4925_9af0_5a87a4589309 fill:#fef3c7,stroke:#f59e0b,color:#92400e style idea_52d90247_729d_4915_9689_2a893a313a2c fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_19c9e9e6_22dd_403e_92ff_a92d09e25074 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_9bd200a5_9889_4afa_b8fd_5cab162e2ef6 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_23740b43_9669_47bd_83cb_f6e5c1b93883 fill:#e5e7eb,stroke:#9ca3af,color:#374151 style idea_521350ab_feea_4f58_a82a_9dcf38da73a2 fill:#fef3c7,stroke:#f59e0b,color:#92400e linkStyle 0 stroke:#2563eb,stroke-width:3px linkStyle 2 stroke:#2563eb,stroke-width:3px linkStyle 5 stroke:#2563eb,stroke-width:3px linkStyle 6 stroke:#2563eb,stroke-width:3px linkStyle 8 stroke:#2563eb,stroke-width:3px linkStyle 9 stroke:#2563eb,stroke-width:3px linkStyle 10 stroke:#2563eb,stroke-width:3px linkStyle 11 stroke:#2563eb,stroke-width:3px linkStyle 12 stroke:#2563eb,stroke-width:3px linkStyle 13 stroke:#2563eb,stroke-width:3px linkStyle 21 stroke:#2563eb,stroke-width:3px linkStyle 25 stroke:#2563eb,stroke-width:3px linkStyle 26 stroke:#2563eb,stroke-width:3px linkStyle 29 stroke:#2563eb,stroke-width:3px linkStyle 36 stroke:#2563eb,stroke-width:3px linkStyle 40 stroke:#2563eb,stroke-width:3px linkStyle 42 stroke:#2563eb,stroke-width:3px linkStyle 43 stroke:#2563eb,stroke-width:3px linkStyle 44 stroke:#2563eb,stroke-width:3px linkStyle 45 stroke:#2563eb,stroke-width:3px linkStyle 50 stroke:#2563eb,stroke-width:3px linkStyle 51 stroke:#2563eb,stroke-width:3px