Imagine if you could take a mathematical proof and make it significantly shorter. In this talk we will see how this can be done using cryptographic magic! We will begin with a brief overview of the evolution of proofs in computer science. We will then show how this beautiful theory, when combined with cryptographic methods, can be used to compress proofs.