{"id":"https://openalex.org/W4416549457","doi":"https://doi.org/10.1145/3719027.3765226","title":"Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data","display_name":"Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data","publication_year":2025,"publication_date":"2025-11-19","ids":{"openalex":"https://openalex.org/W4416549457","doi":"https://doi.org/10.1145/3719027.3765226"},"language":null,"primary_location":{"id":"doi:10.1145/3719027.3765226","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3765226","pdf_url":null,"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 2025 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://doi.org/10.1145/3719027.3765226","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088775282","display_name":"Xinxuan Zhang","orcid":"https://orcid.org/0000-0002-2739-7656"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinxuan Zhang","raw_affiliation_strings":["State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-2739-7656","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002598305","display_name":"Ruida Wang","orcid":"https://orcid.org/0009-0002-1276-1299"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruida Wang","raw_affiliation_strings":["State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0002-1276-1299","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100376632","display_name":"Zeyu Liu","orcid":"https://orcid.org/0000-0001-7291-3106"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zeyu Liu","raw_affiliation_strings":["Yale University, New Haven, USA"],"raw_orcid":"https://orcid.org/0000-0001-7291-3106","affiliations":[{"raw_affiliation_string":"Yale University, New Haven, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008727912","display_name":"B. B. Xiang","orcid":"https://orcid.org/0009-0002-8163-3987"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Binwu Xiang","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0002-8163-3987","affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103272341","display_name":"Yi Deng","orcid":"https://orcid.org/0000-0001-5948-0780"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Deng","raw_affiliation_strings":["State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-5948-0780","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037983878","display_name":"Ben Fisch","orcid":"https://orcid.org/0009-0007-1154-2277"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Fisch","raw_affiliation_strings":["Yale University, New Haven, USA"],"raw_orcid":"https://orcid.org/0009-0007-1154-2277","affiliations":[{"raw_affiliation_string":"Yale University, New Haven, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007991015","display_name":"Xianhui Lu","orcid":"https://orcid.org/0000-0001-7091-5810"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianhui Lu","raw_affiliation_strings":["State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-7091-5810","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17143243,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4035","last_page":"4048"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.8460000157356262,"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.8460000157356262,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.09359999746084213,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.023499999195337296,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.7825999855995178},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5715000033378601},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5698999762535095},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.35600000619888306},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.30630001425743103},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.305400013923645}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.7825999855995178},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.598800003528595},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5715000033378601},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5698999762535095},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4724999964237213},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4034000039100647},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.35600000619888306},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3222000002861023},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2964000105857849},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.2728999853134155},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.26660001277923584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3719027.3765226","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3765226","pdf_url":null,"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 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3719027.3765226","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3765226","pdf_url":null,"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 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W56544557","https://openalex.org/W167928972","https://openalex.org/W913176383","https://openalex.org/W1494049356","https://openalex.org/W1557386445","https://openalex.org/W1589034595","https://openalex.org/W1836725053","https://openalex.org/W1992282993","https://openalex.org/W2031533839","https://openalex.org/W2032431003","https://openalex.org/W2101687784","https://openalex.org/W2113244484","https://openalex.org/W2177209050","https://openalex.org/W2226167778","https://openalex.org/W2536319456","https://openalex.org/W2554750353","https://openalex.org/W2604969030","https://openalex.org/W2765206040","https://openalex.org/W2766393794","https://openalex.org/W2768174108","https://openalex.org/W2889629344","https://openalex.org/W2954625838","https://openalex.org/W3023051856","https://openalex.org/W3030708022","https://openalex.org/W3117449869","https://openalex.org/W3157709467","https://openalex.org/W3173128495","https://openalex.org/W3189616064","https://openalex.org/W3203442625","https://openalex.org/W3211947246","https://openalex.org/W4288057738","https://openalex.org/W4312884376","https://openalex.org/W4365808257","https://openalex.org/W4385654262","https://openalex.org/W4389858347","https://openalex.org/W4394595246","https://openalex.org/W4401598503","https://openalex.org/W4401599157","https://openalex.org/W4402263938","https://openalex.org/W4402263981","https://openalex.org/W4405166865","https://openalex.org/W4405181936","https://openalex.org/W6910226017"],"related_works":[],"abstract_inverted_index":{"Verifiable":[0],"Computation":[1],"over":[2],"encrypted":[3],"data":[4],"(VCoed)":[5],"has":[6,28],"two":[7],"popular":[8],"paradigms:":[9],"SNARK-FHE":[10],"(applying":[11],"SNARKs":[12],"to":[13,34],"prove":[14],"FHE":[15],"operations)":[16],"and":[17],"FHE-SNARK":[18,27],"(homomorphically":[19],"evaluating":[20],"SNARK":[21],"proofs).":[22],"For":[23],"the":[24],"existing":[25],"works,":[26],"a":[29],"much":[30],"better":[31],"efficiency":[32],"compared":[33],"SNARK-FHE.":[35]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-11-23T00:00:00"}