{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00200294,0.000635494,0.0004730868,0.001543061,0.0005371289,0.001070123,0.001044667,0.0008511576,0.002446995],"category_scores_gemma":[0.005710979,0.0002859868,0.001133739,0.0007530478,0.001837831,0.00210384,0.002777191,0.001505602,0.0005323247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007457908,"about_ca_system_score_gemma":0.0007835396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005346335,"about_ca_topic_score_gemma":0.0002742276,"domain_scores_codex":[0.9987482,0.0004280609,0.00006422833,0.0001950734,0.0004294212,0.0001349835],"domain_scores_gemma":[0.997677,0.001007935,0.0003494633,0.0003825358,0.0004075495,0.0001754841],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001337152,0.0001055182,0.002047278,0.0002505306,0.0001570495,0.0007472351,0.0007388029,0.271367,0.03132432,0.6428873,0.002639363,0.04760198],"study_design_scores_gemma":[0.00001102884,0.00008208939,0.000419416,0.00002660877,0.0000344071,0.0001467666,0.00005236818,0.7947567,0.003044643,0.1986323,0.002776264,0.00001747239],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01637573,0.0001890365,0.9805236,0.0001795681,0.0000401845,0.0001011546,0.00004651433,0.0001705665,0.00237359],"genre_scores_gemma":[0.7098916,0.0006817555,0.282765,0.0002203959,0.0002891344,0.0006160814,0.0002412091,0.000242038,0.005052652],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002446995,"threshold_uncertainty_score":0.0105927,"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."}}