{"id":"W4400582940","doi":"10.1145/3660786","title":"Demystifying Invariant Effectiveness for Securing Smart Contracts","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on software engineering.","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Invariant (physics); Computer security; Business; Computer science; Mathematics; Mathematical 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.004384642,0.0007089887,0.0004673309,0.004213819,0.0003316793,0.001513896,0.001042866,0.0005759057,0.001105277],"category_scores_gemma":[0.02847464,0.0004094334,0.000569133,0.001410002,0.001666416,0.002978964,0.001642618,0.001132976,0.000246657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000842882,"about_ca_system_score_gemma":0.001352143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002657651,"about_ca_topic_score_gemma":0.003793636,"domain_scores_codex":[0.9958547,0.001054703,0.0003607656,0.0005603801,0.001763463,0.0004058638],"domain_scores_gemma":[0.9701201,0.01869764,0.003562542,0.005362539,0.001848072,0.0004091991],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001001885,0.0004681304,0.2577993,0.0006841977,0.0002837809,0.0006804995,0.001648381,0.1794134,0.08766296,0.0182186,0.002757621,0.4493813],"study_design_scores_gemma":[0.00004570802,0.0004633456,0.02756362,0.00006544257,0.00008944025,0.0004291609,0.0003722699,0.8812168,0.07695832,0.00998186,0.002732059,0.00008203759],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.8164986,0.0006109762,0.1675347,0.0002461428,0.00003566038,0.0001359639,0.0007584468,0.01150343,0.002676022],"genre_scores_gemma":[0.9525822,0.0001047035,0.0463036,0.00002345762,0.000007058572,0.00003019755,0.0005191939,0.0002044895,0.0002251939],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.004384642,"threshold_uncertainty_score":0.02318847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01155423335082128,"score_gpt":0.2314169403181839,"score_spread":0.2198627069673626,"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."}}