Hitchhiker's guide to the TFHE scheme