{"id":"https://openalex.org/W2982415261","doi":"https://doi.org/10.1145/3661483","title":"Local Proofs Approaching the Witness Length","display_name":"Local Proofs Approaching the Witness Length","publication_year":2024,"publication_date":"2024-04-25","ids":{"openalex":"https://openalex.org/W2982415261","doi":"https://doi.org/10.1145/3661483","mag":"2982415261"},"language":"en","primary_location":{"id":"doi:10.1145/3661483","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3661483","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3661483","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3661483","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053736571","display_name":"Noga Ron\u2010Zewi","orcid":"https://orcid.org/0000-0002-8416-893X"},"institutions":[{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Noga Ron-Zewi","raw_affiliation_strings":["Department of Computer Science, University of Haifa, Haifa, Israel"],"raw_orcid":"https://orcid.org/0000-0002-8416-893X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049757682","display_name":"Ron D. Rothblum","orcid":"https://orcid.org/0000-0001-5481-7276"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ron Rothblum","raw_affiliation_strings":["Computer Science, Technion Israel Institute of Technology, Haifa, Israel"],"raw_orcid":"https://orcid.org/0000-0001-5481-7276","affiliations":[{"raw_affiliation_string":"Computer Science, Technion Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.00085258,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"71","issue":"3","first_page":"1","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12549","display_name":"Image and Object Detection Techniques","score":0.7843999862670898,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12549","display_name":"Image and Object Detection Techniques","score":0.7843999862670898,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.6676999926567078,"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/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.6553999781608582,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/witness","display_name":"Witness","score":0.8028351068496704},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.8009082078933716},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5019633769989014},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30525851249694824},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1746097207069397},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.12551698088645935}],"concepts":[{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.8028351068496704},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8009082078933716},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5019633769989014},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30525851249694824},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1746097207069397},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.12551698088645935}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3661483","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3661483","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3661483","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"mag:2982415261","is_oa":false,"landing_page_url":"https://eprint.iacr.org/2019/1062.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S2764847869","display_name":"IACR Cryptology ePrint Archive","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":["https://openalex.org/P4322614454"],"host_organization_lineage_names":["Cryptology ePrint Archive"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Cryptology ePrint Archive","raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3661483","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3661483","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3661483","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4450138422","display_name":"Error-correcting Codes and Computation","funder_award_id":"101076663","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5083335094","display_name":"Fast Proofs for Verifying Computations","funder_award_id":"101041208","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8483438210","display_name":null,"funder_award_id":"1262/18 and 2137/19","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G849402265","display_name":null,"funder_award_id":"2137/19","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G8666992931","display_name":null,"funder_award_id":"735/20","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G8925372000","display_name":null,"funder_award_id":"ERC, FASTPROOF, 101041208","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320323387","display_name":"University of Haifa","ror":"https://ror.org/02f009v59"},{"id":"https://openalex.org/F4320325263","display_name":"Environment and Climate Change Canada","ror":"https://ror.org/026ny0e17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2982415261.pdf","grobid_xml":"https://content.openalex.org/works/W2982415261.grobid-xml"},"referenced_works_count":68,"referenced_works":["https://openalex.org/W1970278864","https://openalex.org/W1970808997","https://openalex.org/W1976493784","https://openalex.org/W1978478346","https://openalex.org/W1998964055","https://openalex.org/W1999032440","https://openalex.org/W2004229705","https://openalex.org/W2007309095","https://openalex.org/W2014860393","https://openalex.org/W2019578639","https://openalex.org/W2030221686","https://openalex.org/W2038202352","https://openalex.org/W2038691311","https://openalex.org/W2040438296","https://openalex.org/W2043360684","https://openalex.org/W2045717693","https://openalex.org/W2053086236","https://openalex.org/W2061595984","https://openalex.org/W2061662395","https://openalex.org/W2067596507","https://openalex.org/W2071520502","https://openalex.org/W2072264369","https://openalex.org/W2077901621","https://openalex.org/W2082647621","https://openalex.org/W2086653003","https://openalex.org/W2087900794","https://openalex.org/W2091968255","https://openalex.org/W2121417875","https://openalex.org/W2125293366","https://openalex.org/W2135393523","https://openalex.org/W2135952940","https://openalex.org/W2148352980","https://openalex.org/W2148575324","https://openalex.org/W2150795250","https://openalex.org/W2337421628","https://openalex.org/W2473767456","https://openalex.org/W2536319456","https://openalex.org/W2556940513","https://openalex.org/W2576456765","https://openalex.org/W2617207196","https://openalex.org/W2742040237","https://openalex.org/W2768980344","https://openalex.org/W2885314357","https://openalex.org/W2898776076","https://openalex.org/W2914525031","https://openalex.org/W2963046172","https://openalex.org/W2963154631","https://openalex.org/W2963964051","https://openalex.org/W2968027060","https://openalex.org/W2972203561","https://openalex.org/W2982087871","https://openalex.org/W3099579425","https://openalex.org/W3115192023","https://openalex.org/W3116303059","https://openalex.org/W3203946261","https://openalex.org/W3208320247","https://openalex.org/W3213933684","https://openalex.org/W3214484754","https://openalex.org/W3216957975","https://openalex.org/W4206758876","https://openalex.org/W4229760579","https://openalex.org/W4252948584","https://openalex.org/W4256317935","https://openalex.org/W4312478351","https://openalex.org/W4313042292","https://openalex.org/W6611098902","https://openalex.org/W6769476017","https://openalex.org/W6891669839"],"related_works":["https://openalex.org/W3101360571","https://openalex.org/W2501651736","https://openalex.org/W2505834416","https://openalex.org/W2901110816","https://openalex.org/W2010431573","https://openalex.org/W2950379217","https://openalex.org/W2489786727","https://openalex.org/W2798087632","https://openalex.org/W2368094599","https://openalex.org/W2598535527","https://openalex.org/W2096377498","https://openalex.org/W3168779796"],"abstract_inverted_index":{"Interactive":[0],"oracle":[1],"proofs":[2,9],"(IOPs)":[3],"are":[4,59,172],"a":[5,22,45,55,78,232,244,301,328],"hybrid":[6],"between":[7,218],"interactive":[8,27],"and":[10,129,221,268,314],"PCPs.":[11],"In":[12,72,241,331],"an":[13,26,138,250,290],"IOP,":[14],"the":[15,35,48,62,87,91,152,163,169,187,197,201,210,216,229,238,277,311,335,339],"prover":[16],"is":[17,40,151,194],"allowed":[18,42],"to":[19,34,43,196,237],"interact":[20],"with":[21,108,140,254,294],"verifier":[23],"(like":[24,53],"in":[25,38,54,85,106,183,190],"proof)":[28],"by":[29,168,338],"sending":[30],"relatively":[31],"long":[32],"messages":[33],"verifier,":[36,171],"who":[37,288],"turn":[39],"only":[41],"query":[44],"few":[46],"of":[47,64,68,81,158,165,199,265,281,318,327,342,354],"bits":[49],"that":[50],"were":[51],"sent":[52],"PCP).":[56],"Efficient":[57],"IOPs":[58,84,193],"currently":[60],"at":[61],"core":[63],"leading":[65],"practical":[66],"implementations":[67],"highly":[69],"efficient":[70],"proof-systems.":[71],"this":[73],"work":[74,280],"we":[75,136,247,333],"construct,":[76],"for":[77,96,100,116,130,252,263,292,300],"large":[79,233,302],"class":[80],"NP":[82,98,202],"relations,":[83],"which":[86,101,204],"communication":[88,141,188,239,255,295],"complexity":[89,142,189,198,256],"approaches":[90],"witness":[92,154,211,219],"length.":[93,155],"More":[94],"precisely,":[95],"any":[97,131,269],"relation":[99],"membership":[102],"can":[103,205],"be":[104,206],"decided":[105],"polynomial-time":[107],"bounded":[109],"polynomial":[110],"space":[111,113],"(i.e.,":[112],"n":[114,147,150],"\u03be":[115,121],"some":[117],"sufficiently":[118],"small":[119],"constant":[120,132,234,270,304],">":[122,134,272],"0;":[123],"e.g.,":[124],"SAT,":[125],"Hamiltonicity,":[126],"Clique,":[127],"Vertex-Cover)":[128],"\u03b3":[133,271],"0,":[135],"construct":[137,289],"IOP":[139,170,251,291],"(1":[143,257],"+":[144,258],"\u03b3)":[145,259],"\u22c5":[146,260,298],",":[148,262],"where":[149],"original":[153],"The":[156],"number":[157,164],"rounds,":[159],"as":[160,162,243,322,324],"well":[161,323],"queries":[166],"made":[167],"constant.":[173],"This":[174,274],"result":[175],"improves":[176,275],"over":[177],"prior":[178,225,278],"works":[179,226],"on":[180],"short":[181,192,357],"IOPs/PCPs":[182],"two":[184],"ways.":[185],"First,":[186],"these":[191],"proportional":[195],"verifying":[200],"witness,":[203],"polynomially":[207],"larger":[208],"than":[209],"size.":[212],"Second,":[213],"even":[214],"ignoring":[215],"difference":[217],"length":[220,296],"non-deterministic":[222],"verification":[223],"time,":[224],"incur":[227],"(at":[228],"very":[230],"least)":[231],"multiplicative":[235],"overhead":[236],"complexity.":[240],"particular,":[242,332],"special":[245],"case,":[246],"also":[248],"obtain":[249],"CircuitSAT":[253,293],"t":[261,267,299],"circuits":[264],"size":[266],"0.":[273],"upon":[276],"state-of-the-art":[279],"Ben":[282],"Sasson":[283],"et":[284],"al.":[285],"(ICALP,":[286],"2017)":[287],"c":[297,305],"(unspecified)":[303],"\u2265":[306],"1.":[307],"Our":[308],"proof":[309],"leverages":[310],"local":[312,316],"testability":[313],"(relaxed)":[315],"correctability":[317],"high-rate":[319],"tensor":[320],"codes,":[321],"their":[325],"support":[326],"sumcheck-like":[329],"procedure.":[330],"bypass":[334],"barrier":[336],"imposed":[337],"low":[340],"rate":[341],"multiplication":[343],"codes":[344],"(e.g.,":[345],"Reed\u2013Solomon,":[346],"Reed\u2013Muller,":[347],"or":[348],"AG":[349],"codes)\u2014a":[350],"key":[351],"building":[352],"block":[353],"all":[355],"known":[356],"PCP/IOP":[358],"constructions.":[359]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}