Running computations over encrypted data you can't read sounds fundamentally impossible, right? It turns out, with the eldritch abomination known as Fully Homomorphic Encryption (FHE), you can! Leveraging the power of lattices, the TFHE scheme allows Bob to evaluate binary circuits over your ciphertexts without your secret key. He can then send it back to you and then you can decrypt it!

In this workshop, we'll
* Journey through the basics of FHE and the TFHE scheme
* Ignore most of the math to keep things fun
* Show how to turn any binary circuit into one compatible with TFHE
* Use Mr. Circuit(TM) to automate the transformation
* Demo the circuit running with real(TM) cryptography
* Explore a few possible use cases

Afterwards, you too can play with Mr. Circuit to your heart's content and build your own circuits from a self-contained Rust starter project.