{"id":"https://openalex.org/W4308642742","doi":"https://doi.org/10.1145/3548606.3560653","title":"Succinct Zero Knowledge for Floating Point Computations","display_name":"Succinct Zero Knowledge for Floating Point Computations","publication_year":2022,"publication_date":"2022-11-07","ids":{"openalex":"https://openalex.org/W4308642742","doi":"https://doi.org/10.1145/3548606.3560653"},"language":"en","primary_location":{"id":"doi:10.1145/3548606.3560653","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3548606.3560653","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3548606.3560653","source":{"id":"https://openalex.org/S4363608815","display_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","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":"conference"},"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 2022 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3548606.3560653","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009985076","display_name":"Sanjam Garg","orcid":"https://orcid.org/0000-0003-1330-0419"},"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":"Sanjam Garg","raw_affiliation_strings":["UC Berkeley & NTT Research, Berkeley, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC Berkeley & NTT Research, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100661347","display_name":"Abhishek Jain","orcid":"https://orcid.org/0000-0002-3572-7643"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abhishek Jain","raw_affiliation_strings":["Johns Hopkins University, Baltimore, MD, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johns Hopkins University, Baltimore, MD, USA","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005453022","display_name":"Zhengzhong Jin","orcid":"https://orcid.org/0000-0002-2233-3768"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhengzhong Jin","raw_affiliation_strings":["Johns Hopkins University, Baltimore, MD, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johns Hopkins University, Baltimore, MD, USA","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089024266","display_name":"Yinuo Zhang","orcid":"https://orcid.org/0000-0001-8956-7334"},"institutions":[{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]},{"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":["UC Berkeley, Berkeley, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I134446601","https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.856,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.92897959,"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":"1203","last_page":"1216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9994000196456909,"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.9994000196456909,"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.9990000128746033,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9976999759674072,"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/gas-meter-prover","display_name":"Gas meter prover","score":0.8065650463104248},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7560637593269348},{"id":"https://openalex.org/keywords/ieee-floating-point","display_name":"IEEE floating point","score":0.6288593411445618},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.623175323009491},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.524752140045166},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4926045536994934},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.4892466068267822},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.4766055941581726},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.47256770730018616},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4499083161354065},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4470514953136444},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4448888301849365},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.43644633889198303},{"id":"https://openalex.org/keywords/single-precision-floating-point-format","display_name":"Single-precision floating-point format","score":0.433494508266449},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.35271352529525757},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20253914594650269},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17002442479133606},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.12087255716323853},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.09730693697929382}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.8065650463104248},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7560637593269348},{"id":"https://openalex.org/C137231763","wikidata":"https://www.wikidata.org/wiki/Q828287","display_name":"IEEE floating point","level":3,"score":0.6288593411445618},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.623175323009491},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.524752140045166},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4926045536994934},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.4892466068267822},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.4766055941581726},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.47256770730018616},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4499083161354065},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4470514953136444},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4448888301849365},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.43644633889198303},{"id":"https://openalex.org/C133095886","wikidata":"https://www.wikidata.org/wiki/Q1307173","display_name":"Single-precision floating-point format","level":3,"score":0.433494508266449},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.35271352529525757},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20253914594650269},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17002442479133606},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.12087255716323853},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.09730693697929382},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3548606.3560653","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3548606.3560653","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3548606.3560653","source":{"id":"https://openalex.org/S4363608815","display_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","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":"conference"},"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 2022 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3548606.3560653","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3548606.3560653","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3548606.3560653","source":{"id":"https://openalex.org/S4363608815","display_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","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":"conference"},"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 2022 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G2086309680","display_name":"SaTC: CORE: Medium: Collaborative: New Directions in Public-Key and Identity-Based Encryption","funder_award_id":"1936826","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3259869316","display_name":"SaTC: CORE: Small: Secure Computation with Minimal Interaction","funder_award_id":"1814919","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3265173708","display_name":null,"funder_award_id":"FA9550-19-1-0200","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6098521345","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7642952938","display_name":null,"funder_award_id":"N00014-19-1-2294","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8571778416","display_name":"CAREER: New Frontiers in Computing on Private Data","funder_award_id":"1942789","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306151","display_name":"Alfred P. Sloan Foundation","ror":"https://ror.org/052csg198"},{"id":"https://openalex.org/F4320310145","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95"},{"id":"https://openalex.org/F4320316375","display_name":"Visa","ror":"https://ror.org/05t1y0b59"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4308642742.pdf","grobid_xml":"https://content.openalex.org/works/W4308642742.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W41098585","https://openalex.org/W1479826086","https://openalex.org/W1494775996","https://openalex.org/W1502745717","https://openalex.org/W1589034595","https://openalex.org/W1589521364","https://openalex.org/W1970808997","https://openalex.org/W2031533839","https://openalex.org/W2037038460","https://openalex.org/W2043007983","https://openalex.org/W2049982182","https://openalex.org/W2052267638","https://openalex.org/W2071520502","https://openalex.org/W2144752539","https://openalex.org/W2169004268","https://openalex.org/W2304387544","https://openalex.org/W2612871929","https://openalex.org/W2768174108","https://openalex.org/W2883748642","https://openalex.org/W2898776076","https://openalex.org/W2947633774","https://openalex.org/W2954625838","https://openalex.org/W2964279767","https://openalex.org/W2990120385","https://openalex.org/W3015343560","https://openalex.org/W3023964980","https://openalex.org/W3164127247","https://openalex.org/W3214716770","https://openalex.org/W4300889023"],"related_works":["https://openalex.org/W2293021588","https://openalex.org/W3202533652","https://openalex.org/W2989638804","https://openalex.org/W2920530813","https://openalex.org/W2886981100","https://openalex.org/W2610280682","https://openalex.org/W3159717682","https://openalex.org/W1523338383","https://openalex.org/W1997440650","https://openalex.org/W1595597526"],"abstract_inverted_index":{"We":[0,65],"study":[1],"the":[2,29,56,60,67,158,162,178,189],"problem":[3],"of":[4,62,156,161,207],"constructing":[5,118],"succinct":[6,63,119],"zero":[7],"knowledge":[8],"proof":[9,172,215],"systems":[10],"for":[11,43,75,100,117,122,196],"floating":[12,20,31,77,123,198],"point":[13,21,32,78,124,199],"computations.":[14,200],"The":[15,170],"standard":[16,193,218],"approach":[17,35,138],"to":[18,25,153,202],"handle":[19],"computations":[22,44,79,125,133],"requires":[23,166],"conversion":[24],"binary":[26],"circuits,":[27],"following":[28,68,191],"IEEE-754":[30],"standard.":[33],"This":[34,89],"incurs":[36,139],"a":[37,72,85,114,141,154,211],"poly(w)":[38],"overhead":[39,143],"in":[40,49,59,144,177,217],"prover":[41,52,145],"efficiency":[42],"with":[45,134],"w-bit":[46,135],"precision,":[47,136],"resulting":[48,171],"very":[50,98],"high":[51],"runtimes":[53],"--":[54],"already":[55],"key":[57],"bottleneck":[58],"design":[61],"arguments.":[64],"make":[66],"contributions:":[69],"-We":[70],"propose":[71],"new":[73,212],"model":[74,90],"verifying":[76],"that":[80,222],"guarantees":[81],"approximate":[82],"correctness":[83],"w.r.t.":[84],"relative":[86],"error":[87],"bound.":[88],"is":[91,97,185,210],"inspired":[92],"by":[93],"numerical":[94],"analysis,":[95],"and":[96,106,165,206],"meaningful":[99],"applications":[101],"such":[102],"as":[103],"machine":[104],"learning":[105],"scientific":[107],"computing.":[108],"-Using":[109],"this":[110],"model,":[111],"we":[112],"present":[113],"general":[115],"method":[116,190],"zero-knowledge":[120],"proofs":[121],"starting":[126],"from":[127],"existing":[128],"public-coin":[129],"\"commit-and-prove''":[130],"systems.":[131],"For":[132],"our":[137,183,203],"only":[140],"log(w)":[142],"running":[146],"time.":[147,169],"Our":[148],"compiler":[149],"nearly":[150],"preserves":[151],"(up":[152],"factor":[155],"2)":[157],"communication":[159],"complexity":[160],"underlying":[163],"protocol,":[164],"sub-linear":[167],"verification":[168],"can":[173],"be":[174],"made":[175],"non-interactive":[176],"random":[179],"oracle":[180],"model.":[181],"Concretely,":[182],"scheme":[184],"~57x":[186],"faster":[187],"than":[188],"IEEE":[192],"exactly":[194],"[35]":[195],"32-bit":[197],"Central":[201],"main":[204],"result,":[205],"independent":[208],"interest,":[209],"batch":[213],"range":[214],"system":[216],"prime":[219],"order":[220],"groups":[221],"does":[223],"not":[224],"rely":[225],"on":[226],"bit":[227],"decomposition.":[228]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}