{"id":"https://openalex.org/W3096740550","doi":"https://doi.org/10.1145/3372297.3417283","title":"A 2.1 KHz Zero-Knowledge Processor with BubbleRAM","display_name":"A 2.1 KHz Zero-Knowledge Processor with BubbleRAM","publication_year":2020,"publication_date":"2020-10-30","ids":{"openalex":"https://openalex.org/W3096740550","doi":"https://doi.org/10.1145/3372297.3417283","mag":"3096740550"},"language":"en","primary_location":{"id":"doi:10.1145/3372297.3417283","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372297.3417283","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372297.3417283","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security","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/3372297.3417283","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000985250","display_name":"David Heath","orcid":"https://orcid.org/0000-0001-9589-5182"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"David Heath","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016189854","display_name":"Vladimir Kolesnikov","orcid":"https://orcid.org/0000-0002-0211-1244"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vladimir Kolesnikov","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5000985250"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":1.3256,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.85070661,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"2055","last_page":"2074"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":1.0,"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":1.0,"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.9972000122070312,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9952999949455261,"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/computer-science","display_name":"Computer science","score":0.7770820260047913},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.711381733417511},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7062634229660034},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5342497229576111},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.4951082766056061},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4822576642036438},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.45851728320121765},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4420424997806549},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.42979976534843445},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4214681088924408},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.41105616092681885},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3667009174823761},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33071351051330566},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16589102149009705},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12776339054107666}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7770820260047913},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.711381733417511},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7062634229660034},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5342497229576111},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.4951082766056061},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4822576642036438},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.45851728320121765},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4420424997806549},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.42979976534843445},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4214681088924408},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.41105616092681885},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3667009174823761},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33071351051330566},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16589102149009705},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12776339054107666},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","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},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"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/3372297.3417283","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372297.3417283","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372297.3417283","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3372297.3417283","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372297.3417283","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372297.3417283","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3096740550.pdf","grobid_xml":"https://content.openalex.org/works/W3096740550.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W195811623","https://openalex.org/W1772045830","https://openalex.org/W1826277484","https://openalex.org/W2011112377","https://openalex.org/W2051576234","https://openalex.org/W2058648304","https://openalex.org/W2062812846","https://openalex.org/W2139594012","https://openalex.org/W2170696315","https://openalex.org/W2171337840","https://openalex.org/W2173120240","https://openalex.org/W2224364690","https://openalex.org/W2275295769","https://openalex.org/W2395813027","https://openalex.org/W2496543269","https://openalex.org/W2529173666","https://openalex.org/W2534243026","https://openalex.org/W2594206091","https://openalex.org/W2614074621","https://openalex.org/W2765206040","https://openalex.org/W2883748642","https://openalex.org/W2891063150","https://openalex.org/W2968027060","https://openalex.org/W2989644785","https://openalex.org/W6653395597"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4252501555","https://openalex.org/W2003848320","https://openalex.org/W2022025391","https://openalex.org/W2163538620","https://openalex.org/W1567449721","https://openalex.org/W2952857774","https://openalex.org/W3197164589"],"abstract_inverted_index":{"Zero-Knowledge":[0],"(ZK)":[1],"proofs":[2,15,31,78],"(ZKP)":[3],"are":[4,36],"foundational":[5],"in":[6,21,39,44,56,63,214],"cryptography.":[7],"Most":[8],"recent":[9],"ZK":[10,64,77,100,156,180],"research":[11],"focuses":[12],"on":[13],"non-interactive":[14],"(NIZK)":[16],"of":[17,32,42,67,79,151,163,182,200,208],"small":[18],"statements,":[19],"useful":[20],"blockchain":[22],"scenarios.":[23],"Another":[24],"line,":[25],"and":[26,61,92,129],"our":[27,104,168,189,212,220],"focus,":[28],"instead":[29],"targets":[30],"large":[33,80],"statements":[34,81],"that":[35,51,102,122,174],"useful,":[37],"e.g.,":[38],"proving":[40],"properties":[41],"programs":[43,54],"ZK.":[45],"We":[46,166,210],"specify":[47],"a":[48,57,171,195,217,223],"zero-knowledge":[49],"processor":[50,196,204],"executes":[52],"arbitrary":[53],"written":[55],"simple":[58],"instruction":[59],"set,":[60],"proves":[62],"the":[65,68,179],"correctness":[66],"execution.":[69],"Such":[70],"an":[71,109,118,131],"approach":[72,105,213],"is":[73,191],"well-suited":[74],"for":[75,149,194],"constructing":[76],"as":[82,90,170],"it":[83],"efficiently":[84],"supports":[85],"complex":[86],"programming":[87],"constructs,":[88],"such":[89],"loops":[91],"RAM":[93,150],"access.":[94,144],"Critically,":[95],"we":[96],"propose":[97],"several":[98],"novel":[99],"improvements":[101],"make":[103],"concretely":[106,192],"efficient:":[107,193],"(1)":[108],"efficient":[110,119,132],"arithmetic":[111],"representation":[112],"with":[113,198],"conversions":[114],"to/from":[115],"Boolean,":[116],"(2)":[117],"read-only":[120],"memory":[121],"uses":[123,137],"$2\u0142og":[124],"n$":[125,141],"OTs":[126,142],"per":[127,143],"access,":[128],"(3)":[130],"read-write":[133],"memory,":[134,202],"\u00f8urram,":[135],"which":[136],"$\\frac1":[138],"2":[139],"\u0142og^2":[140],"\u00f8urram":[145],"beats":[146],"linear":[147],"scan":[148],"size":[152],"$>3$":[153],"elements!":[154],"Prior":[155],"systems":[157],"used":[158],"generic":[159],"ORAM":[160],"costing":[161],"orders":[162],"magnitude":[164],"more.":[165],"cast":[167],"system":[169,190],"garbling":[172],"scheme":[173],"can":[175],"be":[176],"plugged":[177],"into":[178],"protocol":[181],"[Jawurek":[183],"et":[184],"al,":[185],"CCS'13].":[186],"Put":[187],"together,":[188],"instantiated":[197],"$512$KB":[199],"main":[201],"each":[203],"cycle":[205],"costs":[206],"$24$KB":[207],"communication.":[209],"implemented":[211],"\\textttC++.":[215],"On":[216],"1Gbps":[218],"LAN":[219],"implementation":[221],"realizes":[222],"$2.1$KHz":[224],"processor.":[225]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}