{"id":"https://openalex.org/W4408155640","doi":"https://doi.org/10.1145/3721477","title":"Proving as Fast as Computing: Succinct Arguments with Constant Prover Overhead","display_name":"Proving as Fast as Computing: Succinct Arguments with Constant Prover Overhead","publication_year":2025,"publication_date":"2025-03-04","ids":{"openalex":"https://openalex.org/W4408155640","doi":"https://doi.org/10.1145/3721477"},"language":"en","primary_location":{"id":"doi:10.1145/3721477","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3721477","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3721477","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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3721477","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":["Computer Science, University of Haifa, Haifa, Israel"],"raw_orcid":"https://orcid.org/0000-0002-8416-893X","affiliations":[{"raw_affiliation_string":"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","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"]},{"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":2.1819,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87297517,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"72","issue":"2","first_page":"1","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":1.0,"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/T10237","display_name":"Cryptography and Data Security","score":0.9997000098228455,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9945999979972839,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.9219257831573486},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.6604502201080322},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6562848687171936},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5555369257926941},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.5058814883232117},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4259055554866791},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.417195200920105},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41281676292419434},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3426675796508789},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29908719658851624},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.22817331552505493}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.9219257831573486},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.6604502201080322},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6562848687171936},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5555369257926941},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.5058814883232117},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4259055554866791},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.417195200920105},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41281676292419434},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3426675796508789},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29908719658851624},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.22817331552505493},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3721477","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3721477","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3721477","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"}],"best_oa_location":{"id":"doi:10.1145/3721477","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3721477","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3721477","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/G8483438210","display_name":null,"funder_award_id":"1262/18 and 2137/19","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4408155640.pdf"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W1539572409","https://openalex.org/W1556155774","https://openalex.org/W1564514837","https://openalex.org/W1574373886","https://openalex.org/W1574535057","https://openalex.org/W1589034595","https://openalex.org/W1970278864","https://openalex.org/W1970808997","https://openalex.org/W1976493784","https://openalex.org/W2007309095","https://openalex.org/W2019578639","https://openalex.org/W2019807548","https://openalex.org/W2043814918","https://openalex.org/W2044199052","https://openalex.org/W2049982182","https://openalex.org/W2053327080","https://openalex.org/W2067596507","https://openalex.org/W2069535412","https://openalex.org/W2077901621","https://openalex.org/W2082647621","https://openalex.org/W2087900794","https://openalex.org/W2090190190","https://openalex.org/W2125293366","https://openalex.org/W2135393523","https://openalex.org/W2148575324","https://openalex.org/W2150005435","https://openalex.org/W2150795250","https://openalex.org/W2170716519","https://openalex.org/W2293231900","https://openalex.org/W2416431186","https://openalex.org/W2536319456","https://openalex.org/W2595959570","https://openalex.org/W2742040237","https://openalex.org/W2754619027","https://openalex.org/W2765206040","https://openalex.org/W2774174285","https://openalex.org/W2784847383","https://openalex.org/W2885314357","https://openalex.org/W2898776076","https://openalex.org/W2899793533","https://openalex.org/W2919836788","https://openalex.org/W2952604022","https://openalex.org/W2968027060","https://openalex.org/W2969207949","https://openalex.org/W2982474429","https://openalex.org/W2990120385","https://openalex.org/W3046380193","https://openalex.org/W3115900791","https://openalex.org/W3116303059","https://openalex.org/W3127540631","https://openalex.org/W3133484336","https://openalex.org/W3190538822","https://openalex.org/W3203366266","https://openalex.org/W3208320247","https://openalex.org/W3213926420","https://openalex.org/W3214651532","https://openalex.org/W3214716770","https://openalex.org/W4210631930","https://openalex.org/W4229760579","https://openalex.org/W4230547894","https://openalex.org/W4312230338","https://openalex.org/W4312903934","https://openalex.org/W4385654262","https://openalex.org/W4401598833","https://openalex.org/W6790279793"],"related_works":["https://openalex.org/W4246350535","https://openalex.org/W4238632608","https://openalex.org/W3083050876","https://openalex.org/W1875958796","https://openalex.org/W1780472831","https://openalex.org/W1976200187","https://openalex.org/W1561644379","https://openalex.org/W2969536091","https://openalex.org/W783488073","https://openalex.org/W2584449131"],"abstract_inverted_index":{"Succinct":[0],"arguments":[1,83,116],"are":[2,50],"proof":[3,297],"systems":[4],"that":[5,17,32,62,268],"allow":[6],"a":[7,14,23,59,95,120,165,206,216,226,234,292,306,328,348],"powerful,":[8],"but":[9],"untrusted,":[10],"prover":[11,124,160,315],"to":[12,22,112,338],"convince":[13],"weak":[15],"verifier":[16,201],"an":[18,107,152,302],"input":[19,172],"x":[20,176],"belongs":[21],"language":[24],"\\(L":[25],"\\in":[26],"\\mathsf":[27],"{NP}\\)":[28,39],",":[29,149,211,309],"with":[30,94,119,130,182,233,248,313],"communication":[31],"is":[33,65,106,256,291,324],"much":[34],"shorter":[35],"than":[36],"the":[37,47,66,104,159,174,178,197,261,286,344],"\\(\\mathsf":[38,299,307,322,333],"witness.":[40],"Such":[41],"arguments,":[42],"which":[43,158,336],"grew":[44],"out":[45],"of":[46,70,103,253,263,288,305,320],"theory":[48],"literature,":[49],"now":[51],"drawing":[52],"immense":[53],"interest":[54],"also":[55],"in":[56,157],"practice,":[57],"where":[58,194],"key":[60],"bottleneck":[61],"has":[63],"arisen":[64],"high":[67],"computational":[68,257],"cost":[69],"proving":[71],"correctness.":[72],"In":[73,141],"this":[74,78,113],"work,":[75,114],"we":[76,150],"address":[77],"problem":[79],"by":[80,164,205,224,272,279,326,331],"constructing":[81],"succinct":[82,115],"for":[84,125,133,144,310],"general":[85,126],"computations,":[86],"expressed":[87],"as":[88,171,276],"Boolean":[89,127,146,168],"circuits":[90,128],"(of":[91],"bounded":[92],"fan-in),":[93],"strictly":[96],"linear":[97,122],"size":[98,123,166,207,217,235],"prover.":[99],"The":[100,200,238,251,317],"soundness":[101,186,252],"error":[102,187],"protocol":[105,229,239,255],"arbitrarily":[108,183],"small":[109,184],"constant.":[110],"Prior":[111],"were":[117],"known":[118],"quasi-":[121],"or":[129,341],"linear-size":[131,273],"only":[132],"arithmetic":[134],"circuits,":[135,274],"defined":[136],"over":[137],"large":[138],"finite":[139],"fields.":[140],"more":[142],"detail,":[143],"every":[145],"circuit":[147,169,214,311],"\\(C=C(x,w)\\)":[148],"construct":[151],"\\(O(\\log":[153],"|C|)\\)":[154,192,213],"-round":[155],"argument-system":[156],"can":[161,202,240,269],"be":[162,203,241,270],"implemented":[163,204],"\\(O(|C|)\\)":[167,218,236],"(given":[170],"both":[173],"instance":[175],"and":[177,188,258],"witness":[179],"w":[180],"),":[181,301],"constant":[185,314],"using":[189,225,244,347],"\\(\\mathrm{poly}(\\lambda":[190],",\\log":[191],"communication,":[193],"\\(\\lambda\\)":[195],"denotes":[196],"security":[198],"parameter.":[199],"\\(O(|x|)":[208],"+":[209],"\\mathrm{poly}(\\lambda":[210],"\\log":[212],"following":[215],"private":[219],"pre-processing":[220],"step,":[221],"or,":[222],"alternatively,":[223],"purely":[227],"public-coin":[228],"(with":[230],"no":[231],"pre-processing)":[232],"verifier.":[237],"made":[242],"zero-knowledge":[243],"standard":[245],"techniques":[246],"(and":[247],"similar":[249],"parameters).":[250],"our":[254,289,321],"relies":[259],"on":[260],"existence":[262],"collision":[264],"resistant":[265],"hash":[266],"functions":[267],"computed":[271],"such":[275],"those":[277],"proposed":[278],"Applebaum":[280],"et":[281],"al.":[282],"(ITCS,":[283],"2017).":[284],"At":[285],"heart":[287],"construction":[290],"new":[293],"information-theoretic":[294],"interactive":[295,303],"oracle":[296],"(":[298],"{IOP}\\)":[300,323,334],"analog":[304],"{PCP}\\)":[308],"satisfiability,":[312],"overhead.":[316],"improved":[318],"efficiency":[319],"obtained":[325],"bypassing":[327],"barrier":[329],"faced":[330],"prior":[332],"constructions,":[335],"needed":[337],"(either":[339],"explicitly":[340],"implicitly)":[342],"encode":[343],"entire":[345],"computation":[346],"multiplication":[349],"code.":[350]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}