{"id":"https://openalex.org/W7130713081","doi":"https://doi.org/10.48550/arxiv.2602.17651","title":"Non-Trivial Zero-Knowledge Implies One-Way Functions","display_name":"Non-Trivial Zero-Knowledge Implies One-Way Functions","publication_year":2026,"publication_date":"2026-02-19","ids":{"openalex":"https://openalex.org/W7130713081","doi":"https://doi.org/10.48550/arxiv.2602.17651"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.17651","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","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":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027651873","display_name":"Suvradip Chakraborty","orcid":"https://orcid.org/0000-0002-5352-4946"},"institutions":[{"id":"https://openalex.org/I164956901","display_name":"Visa (United Kingdom)","ror":"https://ror.org/05syhdw25","country_code":"GB","type":"company","lineage":["https://openalex.org/I164956901","https://openalex.org/I4210148469"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chakraborty, Suvradip","raw_affiliation_strings":["Visa Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Visa Research","institution_ids":["https://openalex.org/I164956901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084196712","display_name":"James Hulett","orcid":null},"institutions":[{"id":"https://openalex.org/I308392441","display_name":"International University of the Caribbean","ror":"https://ror.org/02rv57d03","country_code":"JM","type":"education","lineage":["https://openalex.org/I308392441"]}],"countries":["JM"],"is_corresponding":false,"raw_author_name":"Hulett, James","raw_affiliation_strings":["UIUC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UIUC","institution_ids":["https://openalex.org/I308392441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073283740","display_name":"Dakshita Khurana","orcid":"https://orcid.org/0000-0001-5315-4503"},"institutions":[{"id":"https://openalex.org/I308392441","display_name":"International University of the Caribbean","ror":"https://ror.org/02rv57d03","country_code":"JM","type":"education","lineage":["https://openalex.org/I308392441"]},{"id":"https://openalex.org/I4210105847","display_name":"NTT Basic Research Laboratories","ror":"https://ror.org/01m2pas06","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210105847"]}],"countries":["JM","JP"],"is_corresponding":false,"raw_author_name":"Khurana, Dakshita","raw_affiliation_strings":["UIUC","NTT Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UIUC","institution_ids":["https://openalex.org/I308392441"]},{"raw_affiliation_string":"NTT Research","institution_ids":["https://openalex.org/I4210105847"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018413240","display_name":"Kabir Tomer","orcid":"https://orcid.org/0009-0004-3716-5367"},"institutions":[{"id":"https://openalex.org/I308392441","display_name":"International University of the Caribbean","ror":"https://ror.org/02rv57d03","country_code":"JM","type":"education","lineage":["https://openalex.org/I308392441"]}],"countries":["JM"],"is_corresponding":false,"raw_author_name":"Tomer, Kabir","raw_affiliation_strings":["UIUC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UIUC","institution_ids":["https://openalex.org/I308392441"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"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/T10237","display_name":"Cryptography and Data Security","score":0.9108999967575073,"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/T10237","display_name":"Cryptography and Data Security","score":0.9108999967575073,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.05339999869465828,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.00800000037997961,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/soundness","display_name":"Soundness","score":0.8907999992370605},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6998999714851379},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6011999845504761},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5249999761581421},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5194000005722046},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4999000132083893},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.42419999837875366},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.42410001158714294}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8907999992370605},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7501999735832214},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6998999714851379},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6011999845504761},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5249999761581421},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5194000005722046},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4999000132083893},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.42419999837875366},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42410001158714294},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.3785000145435333},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.37220001220703125},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.33709999918937683},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32420000433921814},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3228999972343445},{"id":"https://openalex.org/C27851653","wikidata":"https://www.wikidata.org/wiki/Q829653","display_name":"Bounded variation","level":2,"score":0.3046000003814697},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.28600001335144043},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.2745000123977661},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.2736999988555908},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.25940001010894775}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.17651","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.17651","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.17651","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":"pmh:doi:10.48550/arxiv.2602.17651","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0],"recent":[1],"breakthrough":[2],"[Hirahara":[3],"and":[4,67,142,168,180,199,209],"Nanashima,":[5],"STOC'2024]":[6],"established":[7],"that":[8,53,162],"if":[9,60],"$\\mathsf{NP}":[10,81],"\\not":[11,82],"\\subseteq":[12,83],"\\mathsf{ioP/poly}$,":[13],"the":[14,24,41,48,61,95,126,138,184,197,204,217],"existence":[15,25,96,139],"of":[16,26,37,44,63,97,140],"zero-knowledge":[17,45,55,68,133,147,165],"with":[18],"negligible":[19],"errors":[20,69],"for":[21,92,116,135,149],"$\\mathsf{NP}$":[22,93,136],"implies":[23],"one-way":[27,38,155,221],"functions":[28,39,156,222],"(OWFs).":[29],"In":[30],"this":[31,103,153],"work,":[32,154],"we":[33],"obtain":[34],"a":[35,54],"characterization":[36],"from":[40,73,110,160,223],"worst-case":[42,224],"complexity":[43],"{\\em":[46,58,86,129],"in":[47,203,216],"high-error":[49],"regime}.":[50],"We":[51,122],"say":[52],"argument":[56],"is":[57,70],"non-trivial}":[59],"sum":[62],"its":[64],"completeness,":[65],"soundness":[66,169],"bounded":[71],"away":[72],"$1$.":[74],"Our":[75,207],"results":[76,208],"are":[77],"as":[78],"follows,":[79],"assuming":[80],"\\mathsf{ioP/poly}$:":[84],"1.":[85],"Non-trivial}":[87,130],"Non-Interactive":[88],"ZK":[89],"(NIZK)":[90],"arguments":[91,134,148],"imply":[94,137],"OWFs.":[98],"Using":[99],"known":[100],"amplification":[101],"techniques,":[102],"result":[104],"also":[105,123,144],"provides":[106],"an":[107],"unconditional":[108],"transformation":[109],"weak":[111],"to":[112,125,152,219],"standard":[113],"NIZK":[114],"proofs":[115],"all":[117],"meaningful":[118],"error":[119,166,170],"parameters.":[120],"2.":[121],"generalize":[124],"interactive":[127,205],"setting:":[128],"constant-round":[131],"public-coin":[132],"OWFs,":[141],"therefore":[143],"(standard)":[145],"four-message":[146],"$\\mathsf{NP}$.":[150],"Prior":[151],"could":[157,211],"be":[158,212],"obtained":[159],"NIZKs":[161],"had":[163],"constant":[164],"$\u03b5_{zk}$":[167],"$\u03b5_{s}$":[171],"satisfying":[172],"$\u03b5_{zk}":[173,187],"+":[174,188],"\\sqrt{\u03b5_{s}}":[175,189],"<":[176],"1$":[177,191],"[Chakraborty,":[178],"Hulett":[179],"Khurana,":[181],"CRYPTO'2025].":[182],"However,":[183],"regime":[185],"where":[186],"\\geq":[190],"remained":[192],"open.":[193],"This":[194],"work":[195],"closes":[196],"gap,":[198],"obtains":[200],"new":[201],"implications":[202],"setting.":[206],"techniques":[210],"useful":[213],"stepping":[214],"stones":[215],"quest":[218],"construct":[220],"hardness.":[225]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-02-21T00:00:00"}