Verifiable fully homomorphic encryption This repository hosts a proof of concept for verifiable fully homomorphic encryption. The aim of this project is to prove and verify the correct execution of a single TFHE bootstrapping.