James
@_jhunsaker
co-founder @monad and @category_xyz
james.nad / hunsaker.eth
Joined April 2022
1.2K Following 105.9K Followers
C/C++ can be formally verified, we've verified portipns of the C++ Monad execution client (the riskier portions)
We also have an OCaml implementation for differential fuzzing and further formal verification efforts
Show more
