{"id":"https://openalex.org/W3097376328","doi":"https://doi.org/10.1145/3460120.3484767","title":"Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time","display_name":"Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time","publication_year":2021,"publication_date":"2021-11-12","ids":{"openalex":"https://openalex.org/W3097376328","doi":"https://doi.org/10.1145/3460120.3484767","mag":"3097376328"},"language":"en","primary_location":{"id":"doi:10.1145/3460120.3484767","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460120.3484767","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460120.3484767","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3460120.3484767","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032474012","display_name":"Jiaheng Zhang","orcid":"https://orcid.org/0000-0002-2377-9796"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jiaheng Zhang","raw_affiliation_strings":["University of California, Berkeley, Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tianyi Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tianyi Liu","raw_affiliation_strings":["Texas A&M University, College Station, TX, USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120101352","display_name":"Weijie Wang","orcid":"https://orcid.org/0009-0006-9088-1471"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weijie Wang","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089024266","display_name":"Yinuo Zhang","orcid":"https://orcid.org/0000-0001-8956-7334"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yinuo Zhang","raw_affiliation_strings":["Texas A&M University, College Station, TX, USA","University of California, Berkeley, Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]},{"raw_affiliation_string":"University of California, Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Dawn Song","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dawn Song","raw_affiliation_strings":["University of California, Berkeley, Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xiang Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiang Xie","raw_affiliation_strings":["Shanghai Key Laboratory of Privacy-Preserving Computation, Shangha, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Privacy-Preserving Computation, Shangha, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100434298","display_name":"Yupeng Zhang","orcid":"https://orcid.org/0000-0003-2351-5579"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yupeng Zhang","raw_affiliation_strings":["Texas A&M University, College Station, TX, USA","University of California, Berkeley, Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]},{"raw_affiliation_string":"University of California, Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5032474012"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":0.4544,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65545926,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"2020","issue":null,"first_page":"159","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9926000237464905,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9926000237464905,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9883000254631042,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9747999906539917,"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/gas-meter-prover","display_name":"Gas meter prover","score":0.8745659589767456},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7637158632278442},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.6713958978652954},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5768213272094727},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.41606777906417847},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4156743884086609},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34520596265792847}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.8745659589767456},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7637158632278442},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.6713958978652954},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5768213272094727},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.41606777906417847},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4156743884086609},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34520596265792847},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3460120.3484767","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460120.3484767","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460120.3484767","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"mag:3097376328","is_oa":false,"landing_page_url":"https://eprint.iacr.org/2020/1247.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/3460120.3484767","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460120.3484767","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460120.3484767","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3577608169","display_name":null,"funder_award_id":"TWC-1518899","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3097376328.pdf","grobid_xml":"https://content.openalex.org/works/W3097376328.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W111294696","https://openalex.org/W1424543055","https://openalex.org/W1541538376","https://openalex.org/W1563556756","https://openalex.org/W1980227445","https://openalex.org/W2049982182","https://openalex.org/W2071520502","https://openalex.org/W2082647621","https://openalex.org/W2098843110","https://openalex.org/W2108598243","https://openalex.org/W2171337840","https://openalex.org/W2293988196","https://openalex.org/W2473389213","https://openalex.org/W2513989210","https://openalex.org/W2515122689","https://openalex.org/W2535060913","https://openalex.org/W2614074621","https://openalex.org/W2676157184","https://openalex.org/W2765206040","https://openalex.org/W2766710082","https://openalex.org/W2794536744","https://openalex.org/W2811026317","https://openalex.org/W2883585522","https://openalex.org/W2883748642","https://openalex.org/W2898776076","https://openalex.org/W2954625838","https://openalex.org/W2964279767","https://openalex.org/W2968027060","https://openalex.org/W2969207949","https://openalex.org/W3015343560","https://openalex.org/W3096609273"],"related_works":["https://openalex.org/W2963420224","https://openalex.org/W3031387342","https://openalex.org/W3204438756","https://openalex.org/W2169826319","https://openalex.org/W2159811535","https://openalex.org/W2192184199","https://openalex.org/W1567315244","https://openalex.org/W2401255201","https://openalex.org/W2158022092","https://openalex.org/W1780472831","https://openalex.org/W593894321","https://openalex.org/W2086027910","https://openalex.org/W179065745","https://openalex.org/W120823771","https://openalex.org/W2035289314","https://openalex.org/W33425727","https://openalex.org/W263217020","https://openalex.org/W2293720162","https://openalex.org/W1972295756","https://openalex.org/W1155595021"],"abstract_inverted_index":{"We":[0,65,132],"propose":[1],"a":[2,68,92,98,193,244],"new":[3,69,80,93,165],"doubly":[4],"efficient":[5,134,176],"interactive":[6,17,81,208],"proof":[7,18,48,82,191,209,217],"protocol":[8,14,83,143,166,210],"for":[9,19,52,62,74,136,192],"general":[10,75,233],"arithmetic":[11,76,234],"circuits.":[12,46,64],"The":[13,47,216],"generalizes":[15],"the":[16,33,42,45,57,101,117,127,130,137,156,159,190,206,212,223,248,251],"layered":[20,214,241],"circuits":[21,55,77,235,242],"proposed":[22],"by":[23],"Goldwasser,":[24],"Kalai":[25],"and":[26,56,144,222],"Rothblum":[27],"to":[28,41,106,126,139,145,188,240],"arbitrary":[29],"circuits,":[30],"while":[31],"preserving":[32],"optimal":[34,168],"prover":[35,138,169],"complexity":[36,170],"that":[37,96,182],"is":[38,60,91,174,201,219,226],"strictly":[39],"linear":[40,153],"size":[43,49,157,218,249],"of":[44,103,113,129,158,250],"remains":[50],"succinct":[51],"low":[53],"depth":[54,128],"verifier":[58,224],"time":[59,154,225],"sublinear":[61],"structured":[63],"then":[66],"construct":[67],"zero":[70],"knowledge":[71],"argument":[72],"scheme":[73],"using":[78],"our":[79,164],"together":[84],"with":[85,195,243],"polynomial":[86],"commitments.":[87],"Our":[88,179,229],"key":[89],"technique":[90],"sumcheck":[94,142],"equation":[95],"reduces":[97],"claim":[99],"about":[100,108,115],"output":[102],"one":[104,151],"layer":[105],"claims":[107,114,148],"its":[109],"input":[110],"only,":[111],"instead":[112],"all":[116],"layers":[118],"above":[119],"which":[120,200],"inevitably":[121],"incurs":[122],"an":[123],"overhead":[124,246],"proportional":[125],"circuit.":[131,160,215,252],"developed":[133],"algorithms":[135],"run":[140],"this":[141],"combine":[146],"multiple":[147],"back":[149],"into":[150],"in":[152,155,177],"Not":[161],"only":[162,184],"does":[163],"achieve":[167],"asymptotically,":[171],"but":[172],"it":[173,183],"also":[175],"practice.":[178],"experiments":[180],"show":[181],"takes":[185],"0.3":[186],"seconds":[187],"generate":[189],"circuit":[194],"more":[196],"than":[197,205],"600,000":[198],"gates,":[199],"13":[202],"times":[203],"faster":[204],"original":[207],"on":[211,247],"corresponding":[213],"208":[220],"kilobytes":[221],"66":[227],"milliseconds.":[228],"implementation":[230],"can":[231],"take":[232],"directly,":[236],"without":[237],"transforming":[238],"them":[239],"high":[245]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}