{"id":"https://openalex.org/W7133331508","doi":"https://doi.org/10.48550/arxiv.2603.00544","title":"On Best-Possible One-Time Programs","display_name":"On Best-Possible One-Time Programs","publication_year":2026,"publication_date":"2026-02-28","ids":{"openalex":"https://openalex.org/W7133331508","doi":"https://doi.org/10.48550/arxiv.2603.00544"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.00544","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00544","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.00544","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015434599","display_name":"Aparna Gupte","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gupte, Aparna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127949050","display_name":"Jiahui Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Jiahui","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012874140","display_name":"Luowen Qian","orcid":"https://orcid.org/0000-0002-1112-8822"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qian, Luowen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127891629","display_name":"Justin Raizes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raizes, Justin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055773518","display_name":"Bhaskar Roberts","orcid":"https://orcid.org/0000-0003-4057-5952"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roberts, Bhaskar","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5128013398","display_name":"Mark Zhandry","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhandry, Mark","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5015434599"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.5548999905586243,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.5548999905586243,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.26170000433921814,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.043699998408555984,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.8766000270843506},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.59579998254776},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5485000014305115},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.544700026512146},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4429999887943268},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4287000000476837},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.423799991607666},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.40310001373291016},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.36959999799728394}],"concepts":[{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.8766000270843506},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7416999936103821},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.59579998254776},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5485000014305115},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.544700026512146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48159998655319214},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4429999887943268},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4287000000476837},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.423799991607666},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.40310001373291016},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.36959999799728394},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3463999927043915},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.3255999982357025},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.320499986410141},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.3172999918460846},{"id":"https://openalex.org/C187486625","wikidata":"https://www.wikidata.org/wiki/Q2122176","display_name":"Quantum channel","level":4,"score":0.31610000133514404},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3073999881744385},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.29420000314712524},{"id":"https://openalex.org/C95466800","wikidata":"https://www.wikidata.org/wiki/Q1027298","display_name":"Quantum key distribution","level":3,"score":0.2935999929904938},{"id":"https://openalex.org/C29013271","wikidata":"https://www.wikidata.org/wiki/Q7544","display_name":"Wormhole","level":2,"score":0.2892000079154968},{"id":"https://openalex.org/C190463098","wikidata":"https://www.wikidata.org/wiki/Q2081419","display_name":"Quantum technology","level":4,"score":0.2818000018596649},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.28060001134872437},{"id":"https://openalex.org/C131672422","wikidata":"https://www.wikidata.org/wiki/Q852594","display_name":"Provable security","level":3,"score":0.2800000011920929},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C144901912","wikidata":"https://www.wikidata.org/wiki/Q471906","display_name":"Quantum cryptography","level":4,"score":0.2597000002861023},{"id":"https://openalex.org/C91717678","wikidata":"https://www.wikidata.org/wiki/Q1135332","display_name":"Quantum teleportation","level":5,"score":0.258899986743927}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.00544","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00544","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.00544","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00544","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6516180038452148}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"One-time":[0],"programs":[1],"(OTPs)":[2],"aim":[3],"to":[4,36],"let":[5],"a":[6,9,12,72,90,112,147,243],"user":[7],"evaluate":[8],"program":[10,133],"on":[11],"single":[13],"input":[14],"while":[15],"revealing":[16],"nothing":[17],"else.":[18],"Classical":[19],"OTPs":[20,29,171,222],"require":[21],"hardware":[22],"assumptions,":[23],"and":[24,41,57,157,167,223],"even":[25,97],"with":[26,128],"quantum":[27,125,155,174,188,198,202,205,210,217,226,240],"information,":[28],"for":[30,50,71,98,131,154,172,186,208],"deterministic":[31],"functionalities":[32,101,175],"remain":[33,63],"impossible":[34],"due":[35],"gentle-measurement":[37],"attacks":[38],"(Broadbent,":[39],"Gutoski":[40],"Stebila,":[42],"2013).":[43],"While":[44],"recent":[45],"works":[46],"achieve":[47],"positive":[48],"results":[49,237],"certain":[51],"randomized":[52,100,192],"functionalities,":[53],"the":[54,58,77,177,183,232],"fundamental":[55],"limits":[56],"strongest":[59,78],"achievable":[60,81,143,230],"security":[61,80,152,161],"notions":[62],"poorly":[64],"understood.":[65],"In":[66],"this":[67,108],"paper,":[68],"we":[69,110,195],"ask":[70],"\"best-possible\"":[73],"OTP":[74,84,140,185],"that":[75,89,137,159,214],"achieves":[76],"one-time":[79,93,116,120,165],"by":[82,144],"any":[83],"construction.":[85],"We":[86,135,212],"first":[87,184],"show":[88,136,158,213],"generic":[91],"best-possible":[92,138,163,220,247],"compiler":[94],"cannot":[95],"exist,":[96],"classical":[99,178,191,233],"(assuming":[102],"lossy":[103],"encryption":[104],"schemes":[105],"exist).":[106],"Given":[107],"impossibility,":[109],"introduce":[111],"natural":[113],"subclass":[114],"of":[115],"compilers":[117,141],"called":[118],"\"testable":[119],"program\"":[121],"compilers,":[122],"which":[123],"output":[124],"states":[126],"augmented":[127],"reflection":[129],"oracles":[130],"these":[132],"states.":[134],"testable":[139,164,221,248],"are":[142],"(1)":[145,215],"formulating":[146],"generalized":[148],"Single-Effective-Query":[149],"(SEQ)":[150],"simulation":[151],"notion":[153],"channels":[156,189],"SEQ":[160],"implies":[162,219],"security,":[166],"(2)":[168,224],"constructing":[169],"SEQ-secure":[170],"all":[173],"in":[176,231],"oracle":[179,234],"model.":[180,235],"This":[181],"yields":[182],"arbitrary":[187],"beyond":[190],"functionalities.":[193],"Finally,":[194],"propose":[196],"stateful":[197,209,216,225,239],"indistinguishability":[199],"obfuscation":[200,207],"(stateful":[201],"iO)":[203],"--":[204],"state":[206],"programs.":[211],"iO":[218,227,241],"is":[228],"also":[229],"These":[236],"identify":[238],"as":[242],"promising":[244],"approach":[245],"towards":[246],"OTPs.":[249]},"counts_by_year":[],"updated_date":"2026-03-04T07:09:34.246503","created_date":"2026-03-04T00:00:00"}