pull down to refresh

Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
Russell O’Connor joined Brink engineers 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
write
preview
related posts
200 sats \ 0 replies \ @Scoresby 7 Aug
I really enjoy these videos brink has been doing. Usually way beyond my paygrade, but I always feel like I'm learning when I watch them. Excellent stuff!
reply