IoT・OT（制御システム） & ブロックチェーンセキュリティ

EIP-2612 permit の暗き罠：署名再利用とフロントランニングの深層解析スマートコントラクトのUXを劇的に改善したEIP-2612（Permit）。approve と transferFrom の2トランザクションを強要されていた...

EIP-712の罠：クロスチェーンリプレイ攻撃と型付きデータ署名の深層解析スマートコントラクトのセキュリティ監査を行っていると、開発者が「オフチェーン署名＝安全」という神話を盲信している現場に幾度となく直面する。特に、複雑なDeFiプロトコ...

スマートコントラクト監査の要諦：静的解析の限界とプロパティベース・テスティングによる極限防御制御システム（OT）のファームウェアをリバースしているときも、DeFiプロトコルのTVL（総預かり資産）が数億ドルに膨れ上がったスマートコントラクト...

ガス最適化の悪夢：スマートコントラクトにおける「過剰なチューニング」が招く致命的な脆弱性と設計パラダイムスマートコントラクトのセキュリティ監査を行っていると、開発チームがEVM（Ethereum Virtual Machine）のバイトコー...

EIP-170の壁：なぜ「巨大なスマートコントラクト」はデプロイ時に沈黙するのかスマートコントラクトの開発において、機能てこ盛りで全てのロジックを1つのコントラクトに集約しようとした瞬間、ハードハットやFoundryのコンソールに冷酷なエラ...

ERC-20の「沈黙」が生む億単位の消滅：非標準トークンがスマートコントラクトをハックするメカニズムスマートコントラクトのセキュリティ監査を行っていると、EVM（Ethereum Virtual Machine）の仕様の「甘さ」と、開発者の...

刻まれた偽りの時間：block.timestamp 依存性という名の慢心スマートコントラクトのセキュリティ監査において、いまだに散見される根本的な勘違いがある。それは、ブロックチェーン上の時間を「信頼できる外部の原子時計」と同等に扱ってしま...

ストレージレイアウトの暗黒面：プロキシパターンにおける「見えない上書き」とストレージ破壊のメカニズムスマートコントラクトのアップグレード性（Upgradability）は、ビジネスロジックの敏捷性を担保する聖杯として持て囃されてきた。しかし...

ブロックチェーンとOTの交差点：イベントログ監視の盲点と、改ざん耐性アーキテクチャの構築スマートコントラクトのセキュリティ監査において、私たちは長年「リエントラント」や「整数オーバーフロー」、「アクセス制御の不備」といったコード上のロジック...

制御システムとWeb3の交差点：なぜスマートコントラクトの「小数」は命取りになるのかOT（制御システム）の現場や、莫大なTVL（Total Value Locked）を抱えるDeFiプロトコルのスマートコントラクトを監査していて最も背筋が凍...