Russell O’Connor joined Brink to explain his work on formal verification of software, the process of mathematically proving that a program satisfies its specification.
- Overview of formal verification of software
- Walkthrough w/ libsecp256k1
- Coq, Rocq, Clightgen
- SafeGCD
- Q&A
https://brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/