The Quanta Podcast cover image

Cryptography That Is Provably Secure

The Quanta Podcast

00:00

Using a Cryptographic Library

cryptographic libraries are innately mathematical. They involve arithmetic with prime numbers and operations on geometric objects like elliptic curves. Computer scientists began working on ever in two thousand 16 as a part of project everist, an initiative led by microsoft research. It's practically impossible to formally specify the function of complex softwar like a web browser.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app