{"id":"W4402264471","doi":"10.1109/sp54263.2024.00146","title":"Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts","year":2024,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China; Impact Fund","keywords":"Front (military); Computer science; Geology","routes":{"ca_aff":true,"ca_fund":true,"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.0005387492,0.00009749008,0.0001269721,0.0001847432,0.0001171788,0.0001797141,0.0004525968,0.0001019684,0.00004301783],"category_scores_gemma":[0.00005603398,0.00008876518,0.00003425811,0.0003812265,0.00004392613,0.0003768816,0.0001773045,0.0003213139,0.00008886764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005583348,"about_ca_system_score_gemma":0.00004672588,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002868407,"about_ca_topic_score_gemma":0.000414934,"domain_scores_codex":[0.9989998,0.00002323959,0.000209043,0.0003831804,0.00009538369,0.0002893042],"domain_scores_gemma":[0.9992919,0.0002091246,0.00001841558,0.0004188999,0.00002565668,0.00003601158],"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.000001457694,0.00006249255,0.003977572,0.00003846753,0.0000153053,0.00003689499,0.002995618,0.0001087971,0.001514317,0.8900564,0.0007706213,0.1004221],"study_design_scores_gemma":[0.000411449,0.00009935899,0.00343744,0.0001552011,0.000006783568,0.00007029346,0.001824683,0.6778208,0.03623264,0.2368616,0.04249632,0.0005834726],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3750084,0.001954802,0.6055326,0.003182754,0.0003492279,0.0002361412,0.000001097821,0.00175352,0.01198149],"genre_scores_gemma":[0.9702056,0.00001183028,0.02888711,0.0001475088,0.00002416554,0.0001023909,5.000285e-7,0.000006718528,0.0006141863],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.677712,"threshold_uncertainty_score":0.3619739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01399479323054676,"score_gpt":0.2434438404352985,"score_spread":0.2294490472047517,"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."}}