{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:17:17Z","timestamp":1766441837017,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","funder":[{"name":"the National Key Research and Development Program of China","award":["Grant No. 2022YFB2702701"],"award-info":[{"award-number":["Grant No. 2022YFB2702701"]}]},{"name":"the Strategic Priority Research Program of Chinese Academy of Sciences","award":["Grant No. XDB0690200"],"award-info":[{"award-number":["Grant No. XDB0690200"]}]},{"name":"the National Natural Science Foundation of China","award":["Grant No. 62372447 and Grand No. 62502513"],"award-info":[{"award-number":["Grant No. 62372447 and Grand No. 62502513"]}]},{"name":"the Postdoctoral Fellowship Program of China Postdoctoral Science Foundation","award":["Grand No. GZC20252181"],"award-info":[{"award-number":["Grand No. GZC20252181"]}]},{"name":"Chinese Academy of Sciences Project for Young Scientists in Basic Research","award":["Grand No. YSBR-035"],"award-info":[{"award-number":["Grand No. YSBR-035"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,19]]},"DOI":"10.1145\/3719027.3765226","type":"proceedings-article","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T23:32:38Z","timestamp":1763854358000},"page":"4035-4048","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2739-7656","authenticated-orcid":false,"given":"Xinxuan","family":"Zhang","sequence":"first","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1276-1299","authenticated-orcid":false,"given":"Ruida","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7291-3106","authenticated-orcid":false,"given":"Zeyu","family":"Liu","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8163-3987","authenticated-orcid":false,"given":"Binwu","family":"Xiang","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5948-0780","authenticated-orcid":false,"given":"Yi","family":"Deng","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1154-2277","authenticated-orcid":false,"given":"Ben","family":"Fisch","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7091-5810","authenticated-orcid":false,"given":"Xianhui","family":"Lu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS, Beijing, China and School of Cybersecurity, UCAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134104"},{"key":"e_1_3_2_1_2_1","first-page":"962","volume-title":"PIR with Compressed Queries and Amortized Query Processing. In 2018 IEEE Symposium on Security and Privacy. IEEE Computer Society Press","author":"Angel Sebastian","unstructured":"Sebastian Angel, Hao Chen, Kim Laine, and Srinath T. V. Setty. 2018. PIR with Compressed Queries and Amortized Query Processing. In 2018 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, San Francisco, CA, USA, 962-979."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-96-0935-2_10"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.62056\/A6KSDKP10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53644-5_2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-75248-4_19"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32009-5_50"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633600"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2011.12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22792-9_29"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30617-4_17"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243836"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134061"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70694-8_15"},{"key":"e_1_3_2_1_15_1","volume-title":"A Zero Knowledge Sumcheck and its Applications. Electron. Colloquium Comput. Complex","author":"Chiesa Alessandro","year":"2017","unstructured":"Alessandro Chiesa, Michael A. Forbes, and Nicholas Spooner. 2017. A Zero Knowledge Sumcheck and its Applications. Electron. Colloquium Comput. Complex., Vol. TR17-057 (2017). [ECCC]TR17-057 https:\/\/eccc.weizmann.ac.il\/report\/2017\/057"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53887-6_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484760"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CONIT51480.2021.9498376"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46800-5_24"},{"key":"e_1_3_2_1_20_1","unstructured":"Junfeng Fan and Frederik Vercauteren. 2012. Somewhat Practical Fully Homomorphic Encryption. Cryptology ePrint Archive Report 2012\/144. https:\/\/ia.cr\/2012\/144."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47721-7_12"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660366"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45388-6_5"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690326"},{"key":"e_1_3_2_1_25_1","volume-title":"Jiayi Kang, Jannik Spiessens, and Frederik Vercauteren.","author":"Gama Mariana","year":"2024","unstructured":"Mariana Gama, Emad Heydari Beni, Jiayi Kang, Jannik Spiessens, and Frederik Vercauteren. 2024. Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data. IACR Cryptol. ePrint Arch. (2024), 1684. https:\/\/eprint.iacr.org\/2024\/1684"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/S00145-023-09481-3"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68403-6_14"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_25"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536414.1536440"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40041-4_5"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-38545-2_7"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.782097"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00043"},{"key":"e_1_3_2_1_34_1","volume-title":"GAZELLE: A Low Latency Framework for Secure Neural Network Inference. In USENIX Security","author":"Juvekar Chiraag","year":"2018","unstructured":"Chiraag Juvekar, Vinod Vaikuntanathan, and Anantha Chandrakasan. 2018. GAZELLE: A Low Latency Framework for Secure Neural Network Inference. In USENIX Security 2018, William Enck and Adrienne Porter Felt (Eds.). USENIX Association, 1651-1669."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3159694"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-99-8736-8_2"},{"key":"e_1_3_2_1_37_1","unstructured":"Keewoo Lee and Yongdong Yeo. 2024. SophOMR: Improved Oblivious Message Retrieval from SIMD-Aware Homomorphic Compression. Cryptology ePrint Archive Paper 2024\/1814. https:\/\/eprint.iacr.org\/2024\/1814"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","unstructured":"Yehuda Lindell (Ed.). 2017. Tutorials on the Foundations of Cryptography. Springer International Publishing. doi:10.1007\/978-3-319-57048-8","DOI":"10.1007\/978-3-319-57048-8"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00039"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15802-5_26"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00115"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89518"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833700"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28914-9_24"},{"volume-title":"https:\/\/github.com\/Microsoft\/SEAL. Microsoft Research","author":"SEAL","key":"e_1_3_2_1_45_1","unstructured":"SEAL 2023. Microsoft SEAL (release 4.1). https:\/\/github.com\/Microsoft\/SEAL. Microsoft Research, Redmond, WA.."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-56877-1_25"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Justin Thaler. 2022. Proofs Arguments and Zero-Knowledge.","DOI":"10.1561\/9781638281252"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Louis Tremblay Thibault and Michael Walter. 2024. Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2. IACR Cryptol. ePrint Arch. (2024) 451. https:\/\/eprint.iacr.org\/2024\/451","DOI":"10.1145\/3719027.3765097"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78524-8_1"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.3929\/ETHZ-B-000613734"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68403-6_5"},{"key":"e_1_3_2_1_52_1","volume-title":"Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data. Cryptology ePrint Archive, Paper 2025\/302. https:\/\/eprint.iacr.org\/2025\/302","author":"Zhang Xinxuan","year":"2025","unstructured":"Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng, Ben Fisch, and Xianhui Lu. 2025. Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data. Cryptology ePrint Archive, Paper 2025\/302. https:\/\/eprint.iacr.org\/2025\/302"}],"event":{"name":"CCS '25: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Taipei Taiwan","acronym":"CCS '25"},"container-title":["Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3719027.3765226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:13:49Z","timestamp":1766441629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3719027.3765226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,19]]},"references-count":52,"alternative-id":["10.1145\/3719027.3765226","10.1145\/3719027"],"URL":"https:\/\/doi.org\/10.1145\/3719027.3765226","relation":{},"subject":[],"published":{"date-parts":[[2025,11,19]]},"assertion":[{"value":"2025-11-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}