{"id":"W2955700129","doi":"10.1007/978-3-030-23813-1_13","title":"A Methodology for a Probabilistic Security Analysis of Sharding-Based Blockchain Protocols","year":2019,"lang":"en","type":"book-chapter","venue":"Advances in intelligent systems and computing","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Upper and lower bounds; Scalability; Probabilistic logic; Computer science; Bounded function; Context (archaeology); Blockchain; Node (physics); Theoretical computer science; Vulnerability (computing); Exponential function; Mathematics; Computer security; Physics","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.005234142,0.001455215,0.001558355,0.002531717,0.001943251,0.003308538,0.004105566,0.002305764,0.00871486],"category_scores_gemma":[0.01622362,0.001396362,0.003302512,0.002790736,0.003980527,0.006647439,0.004455724,0.005231084,0.001709698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002445161,"about_ca_system_score_gemma":0.003181464,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001550674,"about_ca_topic_score_gemma":0.001321609,"domain_scores_codex":[0.9958875,0.001176936,0.0002545179,0.0005277778,0.0018544,0.0002989456],"domain_scores_gemma":[0.9901305,0.006319297,0.0004911516,0.00164019,0.001168534,0.0002503992],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000271562,0.00006734081,0.0002822835,0.0001428802,0.00007639975,0.0001412423,0.000180768,0.08561145,0.002567017,0.8823078,0.002041011,0.02655462],"study_design_scores_gemma":[0.00001034989,0.00002742924,0.00009219467,0.00004239392,0.00003165498,0.00008027922,0.00002627463,0.4014437,0.001242788,0.5930603,0.003919623,0.00002308937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001111717,0.00009583841,0.9963226,0.0001507491,0.00002877141,0.00007878741,0.00004767791,0.0001402844,0.002023526],"genre_scores_gemma":[0.2204219,0.001143881,0.7600269,0.0003877181,0.0005122278,0.001067424,0.0004795241,0.000526801,0.01543353],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00871486,"threshold_uncertainty_score":0.02915412,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04740324725682983,"score_gpt":0.3345339647419484,"score_spread":0.2871307174851185,"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."}}