{"id":"W3077905897","doi":"10.1109/icbc48266.2020.9169428","title":"Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid","year":2020,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Software deployment; Correctness; Exploit; Computer science; Notation; Smart contract; Computer security; Vulnerability (computing); Software engineering; Distributed computing; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.00005921009,0.00006083571,0.00009938295,0.00002137701,0.00005307507,0.00001710209,0.0002062316,0.00003088436,0.000002948051],"category_scores_gemma":[0.00002521478,0.00004850078,0.00000744213,0.0001191066,0.00003117823,0.00007514317,0.0001448002,0.00007812663,0.000003440258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007400829,"about_ca_system_score_gemma":0.00002924731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001630721,"about_ca_topic_score_gemma":0.0000281601,"domain_scores_codex":[0.9995089,0.000007932998,0.0001340983,0.0001862009,0.00006871622,0.00009418611],"domain_scores_gemma":[0.9996447,0.00005921096,0.00006063103,0.0001501652,0.00003370772,0.00005160777],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000234238,0.0007418234,0.07142243,0.0001698059,0.0003348401,0.00005022082,0.0338648,0.000124121,0.04897627,0.2214135,0.0009540381,0.6217139],"study_design_scores_gemma":[0.001875278,0.0003563585,0.02150694,0.00004948449,0.00001067993,0.00002912485,0.0007697511,0.1574347,0.7747105,0.0002998927,0.04255233,0.0004049251],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6812264,0.00003111787,0.3165755,0.001628356,0.00001284832,0.0001119018,2.327884e-7,0.0001166393,0.0002969618],"genre_scores_gemma":[0.8505409,0.00000252216,0.1491586,0.00027268,0.000002885092,0.00001491948,4.057355e-7,0.000002486976,0.000004613145],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7257343,"threshold_uncertainty_score":0.1977805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01833027673689452,"score_gpt":0.2189268724999527,"score_spread":0.2005965957630582,"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."}}