Leona 極度妄想（しなさい）
@leo_hio
暗号を微妙に齧ってます。Intmax( @IntmaxIO) 共同創業・主任, seccamp, チューリッヒ大夏期講師 En: @HiokiLeona
参加 March 2011
1.6K フォロー中 15.6K ファン
ここ1週間くらいMythosによる監査を徹底的にしてるけど、MythosはFableがおもちゃにみえるぐらい強い。
Intmaxの回路への監査も安定していて終わりに近い。zERC20にはMythosでも重要バグが1つも見つからなかった。
ボランティアで監査した暗号学ライブラリには案の定Criticalが見つかる。昨日一通り報告とパッチを終えた。
もっと見る
