ダン・グイド

グイドは2012年にニューヨークでTrail of Bitsを、ディノ・ダイ・ゾヴィ、アレックス・ソティロフとともに設立した。DARPA向けの研究と、コンパイラーから暗号ライブラリーまでの監査で名を上げ、のちにEthereumのスマートコントラクト監査で最も多く使われる会社の一つとなった。

ツールも同社の個性の大きな部分だ。Solidityの静的解析のSlither、シンボリック実行のManticore、コントラクトのファジングのEchidna、そしてよくある設定ミスを避けて自分用のVPNサーバーを立てるスクリプトAlgoである。グイドは、セキュリティは勘で売るのではなく、計測し自動化すべきものだと長く主張してきた。