schmidty on Nostr: Russell O’Connor joined Brink to explain his work on formal verification of ...

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/