TFHE is a popular algorithm for homomorphic encryption. Staring with a C/C++ specification of TFHE to be provided, This project rewrite the C/C++ code (with appropriate annotations) and compile it using Vivado HLS, targeting either an AMD/Xilinx Alveo U250 or U280 FPGA