Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2.

Louis Tremblay Thibault, Michael Walter

Browse the full CCS paper archive.