{"id":"W2951084366","doi":"10.48550/arxiv.1906.06490","title":"A Secure Consensus Protocol for Sidechains","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Liveness; Mathematical proof; Computer science; Scalability; Protocol (science); Computer security; Formal proof; Block (permutation group theory); Interoperability; Formal methods; Theoretical computer science; Mathematics; Software engineering","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.002715328,0.0008371762,0.0006704892,0.0009069428,0.001538619,0.002046644,0.001590064,0.002028146,0.005439131],"category_scores_gemma":[0.006236547,0.0004638554,0.0008639548,0.001084115,0.002507918,0.003679186,0.003699883,0.002468774,0.001509283],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00149739,"about_ca_system_score_gemma":0.002908604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001267817,"about_ca_topic_score_gemma":0.0008984738,"domain_scores_codex":[0.9965044,0.0008208407,0.0003014389,0.0004768825,0.001617154,0.0002792847],"domain_scores_gemma":[0.9973496,0.0008875657,0.000206238,0.0007146947,0.0006188112,0.0002229569],"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.0002256416,0.00008148064,0.0002026316,0.00023827,0.00003057436,0.0005358637,0.000410612,0.06508029,0.01679853,0.8578066,0.004422352,0.05416725],"study_design_scores_gemma":[0.0002782405,0.0002459124,0.0001093582,0.000100622,0.00004117471,0.0003195981,0.00008769515,0.4169359,0.02997044,0.4847756,0.06705771,0.00007776357],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0135811,0.0002600164,0.9703964,0.0006645506,0.0002402239,0.0003959099,0.0001852967,0.001381257,0.01289524],"genre_scores_gemma":[0.5118796,0.000696521,0.4577311,0.0004944498,0.000270987,0.001223157,0.0007523145,0.0003841805,0.02656771],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005439131,"threshold_uncertainty_score":0.01819569,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07492654674204208,"score_gpt":0.2262964841637559,"score_spread":0.1513699374217138,"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."}}