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

Louis Tremblay Thibault, Michael Walter. Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2. IACR Cryptology ePrint Archive, 2024:451, 2024. [doi]

Abstract

Abstract is missing.