Security Cryptography Whatever cover image

Matrix with Martin Albrecht and Dan Jones

Security Cryptography Whatever

00:00

Is That All of Omega Old and the Secure Backup?

We were originally working on formal modeling and it was going to be pen and paper proofs of not the whole matrix protocol, but a subset of it. And we kind of did little deep dives into implementation parts and found some bits we were like, Oh, maybe we should double check if they do this right. But we're still working on formal analysis and like kind of a follow up on that in like a symbolic model or just like any you're trying to formalize any of these properties at all.

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