{"id":"W2883173799","doi":"10.4230/lipics.aft.2025.15","title":"A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster)","year":2018,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":172,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung; National Science Foundation","keywords":"Gossip; Computer science; Political science; Law","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001964764,0.0008101938,0.001626427,0.0005908941,0.0004465781,0.0007599372,0.003787812,0.0006719683,0.0000106371],"category_scores_gemma":[0.00011946,0.0005829137,0.001408833,0.001016368,0.0003635006,0.0002300382,0.001807215,0.0006723136,0.00001043718],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001766099,"about_ca_system_score_gemma":0.0003074133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006621909,"about_ca_topic_score_gemma":0.00002159098,"domain_scores_codex":[0.9946342,0.0001096084,0.002602102,0.0007592104,0.0009292946,0.0009655505],"domain_scores_gemma":[0.9926748,0.0003773716,0.002283645,0.003102191,0.001348596,0.0002134234],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002438769,0.006073011,0.005043887,0.04236728,0.05896762,0.00001581661,0.06242848,0.6540467,0.0002579503,0.07826328,0.05320869,0.03688849],"study_design_scores_gemma":[0.002474996,0.0001929381,0.0005622954,0.0002638542,0.0006940164,0.00001667733,0.0005808628,0.9737257,0.0002177695,0.0008214021,0.01976087,0.0006885634],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005399509,0.00003878482,0.9102887,0.0003063162,0.000701889,0.0772612,0.004712096,0.0001508796,0.0011406],"genre_scores_gemma":[0.648883,0.000007200707,0.1328948,0.0011382,0.0006183347,0.2129498,0.002648026,0.0001465176,0.0007141788],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7773939,"threshold_uncertainty_score":0.9996622,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03124505584141129,"score_gpt":0.2978693558438446,"score_spread":0.2666243000024333,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}