Russell O’Connor
where else to find them
github:roconnor
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Formal Functional Correctness of libsecp256k1's Modular Inverse | bitcoin++ Toronto, consensus edition 2026 | 2026-07-22 |
Completes a computer-verified proof that one libsecp256k1 modular-inverse implementation actually computes inverses and terminates, formalizing the safe GCD… | ||
| Simplicity for Programmable Money | Scale By The Bay 2018 | 2018-11-15 |
Simplicity is a typed, combinator-based language with no recursion or function types that targets crypto scripts; it defines programs as functions between… | ||
| nothing matches | ||