{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001707651,0.000357346,0.001375633,0.0008751702,0.0000934015,0.00004659458,0.0008938428,0.0004306047,0.000003649667],"category_scores_gemma":[0.0001245297,0.0003432314,0.000279457,0.0004101995,0.0001680678,0.00004642463,0.0003058993,0.0003677015,0.000001470653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009047031,"about_ca_system_score_gemma":0.0001060982,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003507481,"about_ca_topic_score_gemma":0.00008468165,"domain_scores_codex":[0.9972939,0.0001081146,0.001103894,0.0009546341,0.0002124602,0.0003270282],"domain_scores_gemma":[0.9962168,0.001585884,0.0009725758,0.0009163301,0.000255506,0.00005295061],"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.00001481016,0.00004566021,0.0002665347,0.001066069,0.0002293538,0.000001842956,0.0002855261,0.03964722,0.000004308643,0.9391531,0.000006762381,0.01927884],"study_design_scores_gemma":[0.0002225313,0.0001947032,0.00000929018,0.000785157,0.0001596505,0.000005451244,0.00004120424,0.8871582,0.00008745747,0.08730651,0.02367417,0.0003557039],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002687895,0.004347992,0.9803674,0.00005704485,0.0002049851,0.01166301,0.0000464307,0.0001097285,0.002934658],"genre_scores_gemma":[0.8641075,0.0002659545,0.1229211,0.0001643476,0.0002030477,0.008928444,0.00007392546,0.0001107207,0.003224924],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8638387,"threshold_uncertainty_score":0.999902,"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."}}