{"id":"https://openalex.org/W4412921381","doi":"https://doi.org/10.1007/s12095-025-00827-1","title":"Hybrid zero-knowledge from garbled circuits","display_name":"Hybrid zero-knowledge from garbled circuits","publication_year":2025,"publication_date":"2025-07-25","ids":{"openalex":"https://openalex.org/W4412921381","doi":"https://doi.org/10.1007/s12095-025-00827-1"},"language":"en","primary_location":{"id":"doi:10.1007/s12095-025-00827-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s12095-025-00827-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s12095-025-00827-1.pdf","source":{"id":"https://openalex.org/S129219326","display_name":"Cryptography and Communications","issn_l":"1936-2447","issn":["1936-2447","1936-2455"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cryptography and Communications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s12095-025-00827-1.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091698608","display_name":"Masayuki Abe","orcid":"https://orcid.org/0000-0001-5619-3911"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Masayuki Abe","raw_affiliation_strings":["NTT Social Informatics Laboratories, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"NTT Social Informatics Laboratories, Tokyo, Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005806644","display_name":"Miguel Ambrona","orcid":"https://orcid.org/0000-0001-5927-9235"},"institutions":[{"id":"https://openalex.org/I4210114954","display_name":"Institut Input","ror":"https://ror.org/023d46310","country_code":"DE","type":"other","lineage":["https://openalex.org/I4210114954"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Miguel Ambrona","raw_affiliation_strings":["Midnight, Input Output Global (IOHK) GB, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Midnight, Input Output Global (IOHK) GB, Madrid, Spain","institution_ids":["https://openalex.org/I4210114954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063127896","display_name":"Miyako Ohkubo","orcid":null},"institutions":[{"id":"https://openalex.org/I90023481","display_name":"National Institute of Information and Communications Technology","ror":"https://ror.org/016bgq349","country_code":"JP","type":"facility","lineage":["https://openalex.org/I90023481"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Miyako Ohkubo","raw_affiliation_strings":["National Institute of Information and Communications Technology, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Information and Communications Technology, Tokyo, Japan","institution_ids":["https://openalex.org/I90023481"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5063127896"],"corresponding_institution_ids":["https://openalex.org/I90023481"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1009649,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"5","first_page":"1249","last_page":"1286"},"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9983000159263611,"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.9980999827384949,"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/zero","display_name":"Zero (linguistics)","score":0.7237370014190674},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.6973159313201904},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.6097445487976074},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38885802030563354},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3498949408531189},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28690603375434875},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.233126699924469},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20192986726760864},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18090671300888062},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.10215464234352112}],"concepts":[{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.7237370014190674},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.6973159313201904},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.6097445487976074},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38885802030563354},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3498949408531189},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28690603375434875},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.233126699924469},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20192986726760864},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18090671300888062},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.10215464234352112},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s12095-025-00827-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s12095-025-00827-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s12095-025-00827-1.pdf","source":{"id":"https://openalex.org/S129219326","display_name":"Cryptography and Communications","issn_l":"1936-2447","issn":["1936-2447","1936-2455"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cryptography and Communications","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s12095-025-00827-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s12095-025-00827-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s12095-025-00827-1.pdf","source":{"id":"https://openalex.org/S129219326","display_name":"Cryptography and Communications","issn_l":"1936-2447","issn":["1936-2447","1936-2455"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cryptography and Communications","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412921381.pdf","grobid_xml":"https://content.openalex.org/works/W4412921381.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W74973629","https://openalex.org/W780859780","https://openalex.org/W1543236049","https://openalex.org/W1600255172","https://openalex.org/W1667049494","https://openalex.org/W1694136297","https://openalex.org/W1728441211","https://openalex.org/W1826277484","https://openalex.org/W1980227445","https://openalex.org/W2058648304","https://openalex.org/W2088492763","https://openalex.org/W2102632861","https://openalex.org/W2152772468","https://openalex.org/W2168571148","https://openalex.org/W2170696315","https://openalex.org/W2173120240","https://openalex.org/W2258874952","https://openalex.org/W2475985589","https://openalex.org/W2500910757","https://openalex.org/W2534243026","https://openalex.org/W2793916198","https://openalex.org/W2798595079","https://openalex.org/W2811331976","https://openalex.org/W2882986534","https://openalex.org/W2891063150","https://openalex.org/W2913169702","https://openalex.org/W2968502565","https://openalex.org/W2989230924","https://openalex.org/W3013005985","https://openalex.org/W3014044251","https://openalex.org/W3037569478","https://openalex.org/W3086061451","https://openalex.org/W3091322675","https://openalex.org/W3107225991","https://openalex.org/W3112203384","https://openalex.org/W3112756597","https://openalex.org/W3141585064","https://openalex.org/W3182544401","https://openalex.org/W3187842930","https://openalex.org/W3191289991","https://openalex.org/W3197025878","https://openalex.org/W3201715140","https://openalex.org/W3205799449","https://openalex.org/W3213967995","https://openalex.org/W3214685808","https://openalex.org/W4296831703","https://openalex.org/W4312243983","https://openalex.org/W4365807010","https://openalex.org/W4367665628","https://openalex.org/W4389011034"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1870614684","https://openalex.org/W194387157","https://openalex.org/W2000850689","https://openalex.org/W59628553","https://openalex.org/W1483984920","https://openalex.org/W4406460655","https://openalex.org/W2952570804"],"abstract_inverted_index":{"We":[0],"present":[1],"techniques":[2],"for":[3,136],"constructing":[4],"zero-knowledge":[5,41],"argument":[6,42],"systems":[7,43],"from":[8],"garbled":[9],"circuits,":[10],"extending":[11],"the":[12,21,32],"GC-to-ZK":[13],"compiler":[14,25],"by":[15,26,58,106,126,150],"Jawurek":[16],"Et":[17],"al.":[18,153],"(2013)":[19],"and":[20,28,54,78,121],"GC-to-":[22],"$$\\varSigma":[23,89,118,133],"$$":[24,90,119,134],"Hazay":[27],"Venkitasubramaniam":[29],"(2020)":[30],"to":[31],"following":[33],"directions:":[34],"\u2212":[35,62],"Our":[36,63],"schemes":[37,64],"are":[38],"hybrid,":[39],"commit-and-prove":[40],"that":[44,92,101],"establish":[45],"a":[46,55,59,107,117,122,127,132],"connection":[47],"between":[48],"secrets":[49,68],"embedded":[50,69],"in":[51],"algebraic":[52,72],"commitments":[53,77],"relation":[56],"represented":[57,105,125],"Boolean":[60,128],"circuit.":[61,109],"incorporate":[65],"diverse":[66],"cross-domain":[67],"within":[70],"distinct":[71],"commitments,":[73],"simultaneously":[74],"supporting":[75],"Pedersen-like":[76],"lattice-based":[79],"commitments.":[80],"As":[81],"an":[82,146],"application,":[83],"we":[84,130],"develop":[85],"circuit-represented":[86],"compositions":[87],"of":[88],"-protocols":[91],"support":[93],"attractive":[94],"access":[95],"structures,":[96],"such":[97],"as":[98],"weighted":[99],"thresholds,":[100],"can":[102],"be":[103],"easily":[104],"small":[108],"For":[110],"predicates":[111],"$$P_1,\\dots":[112],",P_n$$":[113],"individually":[114],"associated":[115],"with":[116],"-protocol,":[120],"predicate":[123],"C":[124],"circuit,":[129],"construct":[131],"-protocol":[135],"proving":[137],"$$C(P_1,\\dots":[138],",P_n)$$":[139],"=":[140],"1.":[141],"This":[142],"result":[143],"answers":[144],"positively":[145],"open":[147],"question":[148],"posed":[149],"Abe,":[151],"et.":[152],"(2021).":[154]},"counts_by_year":[],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}