James
@_jhunsaker
co-founder @monad and @category_xyz
james.nad / hunsaker.eth
参加 April 2022
1.2K フォロー中 105.9K ファン
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
もっと見る
