{"id":"W4394745405","doi":"10.1145/3597503.3639225","title":"Safeguarding DeFi Smart Contracts against Oracle Deviations","year":2024,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bank of Canada; University of Toronto","funders":"","keywords":"Oracle; Computer science; Guard (computer science); Random oracle; Oracle Unified Method; Solver; Computer security; Distributed computing; Software engineering; Encryption; Programming language; Information retrieval","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.004086843,0.0008520056,0.0007968958,0.001069474,0.0007190895,0.001870624,0.001208888,0.001012279,0.003682156],"category_scores_gemma":[0.02045596,0.0005120004,0.000737156,0.0005407929,0.00248263,0.004068317,0.002440794,0.001760641,0.0004690447],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001358672,"about_ca_system_score_gemma":0.003914908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003977558,"about_ca_topic_score_gemma":0.004217133,"domain_scores_codex":[0.9966689,0.001175406,0.0001305638,0.000342759,0.001228462,0.0004539202],"domain_scores_gemma":[0.9905487,0.005494088,0.001180856,0.001919872,0.0006387096,0.0002178135],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005604227,0.0001521222,0.01824926,0.000351886,0.0001296524,0.000616408,0.0007179251,0.7412149,0.03163939,0.1077869,0.002745143,0.095836],"study_design_scores_gemma":[0.00002346321,0.00006283622,0.0005608471,0.00002075287,0.00001283255,0.0000864382,0.0001003499,0.9448754,0.012795,0.0399329,0.001510754,0.00001843395],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2365964,0.0002134428,0.7455847,0.000597291,0.00004674393,0.0002371447,0.0005298502,0.01141686,0.004777704],"genre_scores_gemma":[0.9073578,0.00008695966,0.09031398,0.0001042048,0.00001168875,0.0000746738,0.0004326417,0.0005095617,0.001108448],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004086843,"threshold_uncertainty_score":0.02161354,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01101981312816482,"score_gpt":0.2431487770799827,"score_spread":0.2321289639518179,"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."}}