Out today in @quantamagazine.bsky.social — my latest dispatch from the very meta, mind-bending corners of CS theory research. It's about a new approach to cryptography in which secrecy stems from Gödel-esque unprovable statements!

How Unknowable Math Can Help Hide Secrets | Quanta MagazineA graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.www.quantamagazine.org