{"id":"W4415991463","doi":"10.1145/3774322","title":"Proof-of-Execution: Low-Latency Consensus via Speculative Execution","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Database Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Protocol (science); Latency (audio); Key (lock); Distributed transaction; Transaction processing; Two-phase commit protocol; Database transaction","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004363617,0.0002682578,0.0004166359,0.0002932533,0.0002814489,0.00009927675,0.0009331523,0.0001294902,0.00001546091],"category_scores_gemma":[0.00004776638,0.0002530699,0.0001490041,0.001234227,0.000107108,0.0003615067,0.00003401712,0.0002578794,0.00005325044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001386735,"about_ca_system_score_gemma":0.0001854149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005130736,"about_ca_topic_score_gemma":0.00002813104,"domain_scores_codex":[0.9976292,0.000219563,0.0007508259,0.0006407265,0.0004231583,0.0003365418],"domain_scores_gemma":[0.9971964,0.0001872461,0.0002454628,0.001974835,0.0002884039,0.0001075913],"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.0007942349,0.00649616,0.0005189294,0.006581675,0.00239251,0.0005400547,0.003190848,0.1072317,0.05633717,0.5325409,0.02796134,0.2554145],"study_design_scores_gemma":[0.007679367,0.0009605011,0.001595665,0.00967422,0.0003722738,0.0005209135,0.001643621,0.7254943,0.1580576,0.004589951,0.08665077,0.002760835],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002652278,0.0004951142,0.990003,0.0005185842,0.002417105,0.000874739,0.000675356,0.0001857125,0.002178104],"genre_scores_gemma":[0.9938766,0.00001557804,0.004797615,0.00005215321,0.00004592785,0.0001382325,0.00008583268,0.00001085533,0.0009772062],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9912243,"threshold_uncertainty_score":0.9999921,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01594775058131951,"score_gpt":0.2646067206446487,"score_spread":0.2486589700633292,"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."}}