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

Browse the full CCS paper archive.