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

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

Louis Tremblay Thibault, Michael Walter

In this work we demonstrate for the first time that a full FHE bootstrapping operation can be proven using a SNARK in practice. We do so by designing an arithmetic circuit for the bootstrapping operation and prove it using plonky2. We are able to prove the circuit on an AWS C6i.metal instance in about 20 minutes. Proof size is about …

can eprint report fhe michael practice report work