{"id":"https://openalex.org/W4399522305","doi":"https://doi.org/10.1145/3618260.3649775","title":"Batch Proofs Are Statistically Hiding","display_name":"Batch Proofs Are Statistically Hiding","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399522305","doi":"https://doi.org/10.1145/3618260.3649775"},"language":"en","primary_location":{"id":"doi:10.1145/3618260.3649775","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649775","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649775","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649775","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065373891","display_name":"Nir Bitansky","orcid":"https://orcid.org/0000-0001-8361-6035"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Nir Bitansky","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012769677","display_name":"Chethan Kamath","orcid":"https://orcid.org/0009-0006-6812-7317"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chethan Kamath","raw_affiliation_strings":["IIT Bombay, Mumbai, India"],"affiliations":[{"raw_affiliation_string":"IIT Bombay, Mumbai, India","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035828031","display_name":"Omer Paneth","orcid":"https://orcid.org/0000-0001-8561-1123"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Omer Paneth","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"middle","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 D. Rothblum","raw_affiliation_strings":["Technion, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032319697","display_name":"Prashant Nalini Vasudevan","orcid":"https://orcid.org/0000-0001-6880-795X"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Prashant Nalini Vasudevan","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5065373891"],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":3.1276,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.9242904,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"435","last_page":"443"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"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.9998999834060669,"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.998199999332428,"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9966999888420105,"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.9373571872711182},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.909153163433075},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.9003153443336487},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.6139413118362427},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5481165647506714},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4391823709011078},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4257068932056427},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4068233370780945},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1635228991508484}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.9373571872711182},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.909153163433075},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.9003153443336487},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.6139413118362427},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5481165647506714},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4391823709011078},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4257068932056427},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4068233370780945},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1635228991508484},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3618260.3649775","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649775","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649775","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3618260.3649775","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649775","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649775","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399522305.pdf"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W1502416796","https://openalex.org/W1522706628","https://openalex.org/W1522899817","https://openalex.org/W1555733702","https://openalex.org/W1686844196","https://openalex.org/W1856987595","https://openalex.org/W1872294524","https://openalex.org/W1882771262","https://openalex.org/W1979397185","https://openalex.org/W2006453614","https://openalex.org/W2021586362","https://openalex.org/W2032133054","https://openalex.org/W2033159094","https://openalex.org/W2038202352","https://openalex.org/W2040438296","https://openalex.org/W2062427087","https://openalex.org/W2067596507","https://openalex.org/W2082647621","https://openalex.org/W2091434162","https://openalex.org/W2109693837","https://openalex.org/W2139044314","https://openalex.org/W2142968417","https://openalex.org/W2148098270","https://openalex.org/W2148373594","https://openalex.org/W2176120077","https://openalex.org/W2255673366","https://openalex.org/W2293021588","https://openalex.org/W2293988196","https://openalex.org/W2399200320","https://openalex.org/W2625723895","https://openalex.org/W2732980408","https://openalex.org/W2794934772","https://openalex.org/W2799205037","https://openalex.org/W2809293764","https://openalex.org/W2920344594","https://openalex.org/W2954790660","https://openalex.org/W2968372074","https://openalex.org/W2982087871","https://openalex.org/W3004307906","https://openalex.org/W3037427224","https://openalex.org/W3115192023","https://openalex.org/W3115438312","https://openalex.org/W3115656545","https://openalex.org/W3151046115","https://openalex.org/W3157193347","https://openalex.org/W3192071094","https://openalex.org/W3196690149","https://openalex.org/W4206758876","https://openalex.org/W4214811950","https://openalex.org/W4285136272","https://openalex.org/W4300025581","https://openalex.org/W4313227396","https://openalex.org/W4376651380","https://openalex.org/W4385654407"],"related_works":["https://openalex.org/W2950202488","https://openalex.org/W2604424424","https://openalex.org/W2466303427","https://openalex.org/W2149634854","https://openalex.org/W2809883875","https://openalex.org/W1970588133","https://openalex.org/W4386880013","https://openalex.org/W2157568248","https://openalex.org/W1567449721","https://openalex.org/W2146325043"],"abstract_inverted_index":{"Batch":[0],"proofs":[1,52,103,110,167,186,198],"are":[2,53,75,79,255],"proof":[3],"systems":[4],"that":[5,9,20,114,178],"convince":[6],"a":[7,117,129,162,319,326,330],"verifier":[8],"x1,\u2026,xt":[10],"\u2208":[11],"L,":[12,17],"for":[13,55,82,111,137,142,150,164,187,204,215,287,298,329,337],"some":[14],"NP":[15,61,179,190,216],"language":[16,331],"with":[18,123,207,217,290],"communication":[19],"is":[21,39,45,135,155,173],"much":[22],"shorter":[23],"than":[24],"sending":[25],"the":[26,30,36,42,48,57,64,94,99,219,304],"t":[27],"witnesses.":[28],"In":[29,63,175],"case":[31,65],"of":[32,59,66,84,101,189,222,269],"statistical":[33,211],"soundness":[34,68],"(where":[35,69,170],"cheating":[37],"prover":[38,44,281],"unbounded":[40],"but":[41],"honest":[43,71,131,231],"efficient":[46],"given":[47],"witnesses),":[49],"interactive":[50,235],"batch":[51,102,109,166,185,197,200,271,327],"known":[54,81,258],"UP,":[56],"class":[58],"unique-witness":[60],"languages.":[62],"computational":[67,295],"both":[70],"and":[72,104,128,229,282,314],"dishonest":[73],"provers":[74],"efficient),":[76],"non-interactive":[77,270,274,294],"solutions":[78],"now":[80],"all":[83,188],"NP,":[85,205,288],"assuming":[86,157,177,259],"standard":[87],"lattice":[88],"or":[89,141,202],"group":[90],"assumptions.":[91],"We":[92,263],"exhibit":[93],"first":[95],"negative":[96,313],"results":[97,316],"regarding":[98],"existence":[100],"arguments:":[105],"-":[106,194,284],"Statistically":[107],"sound":[108,196],"L":[112,115,332],"imply":[113,210,293],"has":[116],"statistically":[118],"witness":[119,171],"indistinguishable":[120],"(SWI)":[121],"proof,":[122],"inverse":[124,225],"polynomial":[125,226],"SWI":[126,140,145,154,183,335],"error,":[127,228],"non-uniform":[130,230],"prover.":[132,232],"The":[133],"implication":[134],"unconditional":[136],"obtaining":[138,143],"honest-verifier":[139],"full-fledged":[144,153],"from":[146,237,245,318],"public-coin":[147],"protocols,":[148],"whereas":[149],"private-coin":[151],"protocols":[152],"obtained":[156],"one-way":[158,208,238,246,291],"functions.":[159,247],"This":[160,248],"poses":[161],"barrier":[163],"achieving":[165],"beyond":[168],"UP":[169],"indistinguishability":[172],"trivial).":[174],"particular,":[176],"does":[180],"not":[181,192],"have":[182],"proofs,":[184],"do":[191],"exist.":[193],"Computationally":[195],"(a.k.a":[199],"arguments":[201,214,244,254,272,277,297],"BARGs)":[203],"together":[206,289],"functions,":[209,292],"zero-knowledge":[212,227,296],"(SZK)":[213],"roughly":[218],"same":[220],"number":[221],"rounds,":[223],"an":[224,334],"Thus,":[233],"constant-round":[234,242,260],"BARGs":[236,286],"functions":[239],"would":[240,249],"yield":[241],"SZK":[243,253],"be":[250,308],"surprising":[251],"as":[252],"currently":[256],"only":[257],"statistically-hiding":[261],"commitments.":[262],"further":[264],"prove":[265],"new":[266,320],"positive":[267,315],"implications":[268],"to":[273,324],"zero":[275,305],"knowledge":[276,306],"(with":[278],"explicit":[279],"uniform":[280],"verifier):":[283],"Non-interactive":[285],"NP.":[299],"Assuming":[300],"also":[301],"dual-mode":[302],"commitments,":[303],"can":[307],"made":[309],"statistical.":[310],"Both":[311],"our":[312],"stem":[317],"framework":[321],"showing":[322],"how":[323],"transform":[325],"protocol":[328,336],"into":[333],"L.":[338]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}