{"id":"W2983092601","doi":"10.1145/3338466.3358925","title":"Verifiable Computation using Smart Contracts","year":2019,"lang":"en","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Verifiable secret sharing; Stateful firewall; Cloud computing; Protocol (science); Computer security; Computation; Solidity; Outsourcing; Secure multi-party computation; Smart contract; Secure two-party computation; Cryptographic protocol; Distributed computing; Cryptography; Programming language; Operating system","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.007475846,0.0007998336,0.0009208338,0.001062846,0.001926965,0.004909269,0.002167246,0.002371405,0.005353408],"category_scores_gemma":[0.01704281,0.0008987191,0.001549157,0.001770235,0.008174816,0.01208771,0.005447862,0.004725944,0.001883852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002879758,"about_ca_system_score_gemma":0.003804836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001826934,"about_ca_topic_score_gemma":0.001016378,"domain_scores_codex":[0.9894828,0.003594413,0.0008358256,0.001391763,0.00370822,0.0009869847],"domain_scores_gemma":[0.9858119,0.006280317,0.001180404,0.005254528,0.001111051,0.0003618799],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002175123,0.00004212006,0.0003130943,0.0001010765,0.00002657383,0.0001477173,0.0004160528,0.01569715,0.005649137,0.9538137,0.001189327,0.02238671],"study_design_scores_gemma":[0.0001609306,0.0001672981,0.0001862661,0.00009432466,0.00005226539,0.0002607148,0.00008880203,0.2038097,0.02851347,0.7409167,0.02565291,0.00009662875],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01705382,0.0001994629,0.9705364,0.0008162414,0.00009249341,0.0002589607,0.0001230752,0.001048937,0.009870514],"genre_scores_gemma":[0.5673165,0.0006330973,0.4172013,0.0005023252,0.0001368936,0.0007237465,0.0003707952,0.0004551923,0.0126602],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007475846,"threshold_uncertainty_score":0.03953654,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01587647017135103,"score_gpt":0.2467260111396419,"score_spread":0.2308495409682909,"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."}}