注目の研究者: @cmichelio SpearbitのリードセキュリティリサーチャーであるChristophは、これまでで最も洗練されたDeFiシステムの保護に貢献し、組織のリスクに対する考え方を再構築するプルーフドリブンな考え方をもたらしました。彼のストーリーは以下からご覧いただけます。

彼は暗号学を中心に数学とコンピューターサイエンスを学びました。その学問的な道が彼をWeb3に導き、スマートコントラクトのオープンソースの性質と構成可能性がすぐに際立っていました。

セキュリティを導入する前、クリストフの道はフルスタックとブロックチェーンの開発を通じて行われました。転機となったのは、現実世界のエクスプロイトと 6 桁の報奨金が、バグの発見と修正にどれほどの影響を与えるかを示したときでした。

各レビューは、「資金を盗むには何が必要か」という核心的な質問から始まります。そこから、システムの状態をモデル化し、攻撃パスを定義し、証拠を探します。 その証明が失敗した場合、エクスプロイトされる可能性があります。それが保持されている場合、プロトコルは安全です。

クリストフは、ほとんどの主要なDeFiプラットフォームで働いてきました。彼の長期的なコラボレーションには、ガバナンスと経済システムが継続的に進化するSkyプロトコル(旧MakerDAO)のほぼすべてのアップグレードの見直しが含まれます。

退屈しないように、彼は目新しさを求めています:ペンと紙のモデリングを必要とするプロトコル、Moveのような新しいチェーンパラダイム、暗号ネイティブのプリミティブのためのチームの構築。彼は今でもDAOを信じており、DAOの成功を見たいと思っています。

彼のプロセスのほとんどは手作業ですが、彼は監査におけるAIの進化を見守っています。彼の興味は誇大広告ではなく、証拠です。彼は、出力のベンチマーク、プロンプトのテスト、さまざまなバグ クラスの信号ゲインの測定を行いたいと考えています。

@cmichelioにとって、スマートコントラクトはルールのシステムです。彼はリスクを定義し、ロジックを追跡し、仮定が失敗する場所を特定します。バグを見つけるだけではありません。それは、何が可能であり、何が可能ではないかを証明することです。