Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data
Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng, Ben Fisch, Xianhui Lu
2025年份
3顶会引用
摘要
Verifiable Computation over encrypted data (VCoed) has two popular paradigms: SNARK-FHE (applying SNARKs to prove FHE operations) and FHE-SNARK (homomorphically evaluating SNARK proofs). For the existing works, FHE-SNARK has a much better efficiency compared to SNARK-FHE.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式，引用它的顶会 Paper 也一样。你提问，回答直接引用原文。
引用它的顶会 Paper3
- HasteBoots: Proving TFHE Programmable Bootstrapping in SecondsFengrun Liu, Haofei Liang, Xiang Xie, Yu Yu 等USENIX Security 2026
- Relect: Single Secret Leader Election via FHE with Reduced Computation and Communication and Transparent SetupHaofei Liang, Zeyu Liu, Yunhao Wang, Xiang Xie 等CCS 2026
- UnifOMR: Oblivious Message Retrieval with Near-optimal Concrete EfficiencyBen Fisch, Zeyu Liu, Eran Tromer, Yunhao WangCCS 2026
它引用的顶会 Paper22
- GAZELLE: A Low Latency Framework for Secure Neural Network InferenceChiraag Juvekar, Vinod Vaikuntanathan, Anantha P. ChandrakasanUSENIX Security 2018 · 被引用 1,075 次
- Fast Private Set Intersection from Homomorphic EncryptionHao Chen, Kim Laine, Peter RindalCCS 2017 · 被引用 446 次
- PIR with Compressed Queries and Amortized Query ProcessingSebastian Angel, Hao Chen, Kim Laine, Srinath T. V. SettyS&P 2018 · 被引用 353 次
- Ligero: Lightweight Sublinear Arguments Without a Trusted SetupScott Ames, Carmit Hazay, Yuval Ishai, Muthuramakrishnan VenkitasubramaniamCCS 2017 · 被引用 338 次
- Spartan: Efficient and General-Purpose zkSNARKs Without Trusted SetupSrinath T. V. SettyCRYPTO 2020 · 被引用 262 次
相关 Paper
- Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2Louis Tremblay Thibault, Michael WalterCCS 2025 · 被引用 1 次
- Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial CommitmentsMichel Dellepere, Pratyush Mishra, Alireza ShirzadUSENIX Security 2026 · 被引用 12 次
- Recursion over Public-Coin Interactive Proof Systems; Faster Hash VerificationAlexandre Belling, Azam Soleimanian, Olivier BégassatCCS 2023 · 被引用 5 次
- PRISM: Efficient zkSNARKs for RNS-Based Homomorphic EncryptionZhelei Zhou, Yun Li, Zhaomin Yang, Cheng Hong 等CCS 2026
- FxHENN: FPGA-based acceleration framework for homomorphic encrypted CNN inferenceYilan Zhu, Xinyao Wang, Lei Ju, Shanqing GuoHPCA 2023 · 被引用 39 次
