Thanks so much @OpenSats! Three months ago, if someone had told me I’d be working on formal verification for open-source cryptography, and actually getting paid for it, I never would have believed i...