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

署名リプレイ攻撃の解剖学：Web3とOT/IoT境界領域における暗号学的アイデンティティの崩壊スマートコントラクトのセキュリティ監査において、いまだに最も見落とされ、かつ致命的な破壊力を持つのが「署名リプレイ攻撃（Signature Rep...

プロキシの殻を破る者たち：未初期化初期化関数（Uninitialized Initialization）がEVMの神殿を揺るがす理由スマートコントラクトのセキュリティ監査において、私たちは日々、コードの細部に潜む「意図せぬ権限昇格」の影を追...

フラッシュローン攻撃の全貌：無担保の巨額流動性が牙をむく瞬間スマートコントラクトのセキュリティ監査をやっていると、たまに鳥肌が立つような設計上の美しさと、それに伴う圧倒的な破壊力を持つ攻撃ベクトルに出会う。その代表格が「フラッシュローン攻撃...

ブロックチェーン上の「偽りの運命」：弱いが故に刈り取られるオンチェーン・エントロピーの現実スマートコントラクトの監査を数十件とこなしてきた者であれば、開発者が「いかに手軽にランダムな値を手に入れたがっているか」を痛いほど知っている。NFTの...

スマートコントラクトの暗黒面：tx.originが招く認証破滅と、現場のエンジニアが見落とすコンテキストの罠スマートコントラクトのセキュリティ監査を行っていると、EVM（Ethereum Virtual Machine）の仕様の隙を突き、開...

スマートコントラクトにおける「無限の罠」：ガス制限とDoS攻撃の深層スマートコントラクトのセキュリティ監査において、私たちは日々、コードの「ロジックの美しさ」と「物理的な制約」の狭間で格闘している。Web2の世界であれば、無限ループやメモリ...

delegatecallの魔術：ストレージ衝突が引き起こすスマートコントラクトの静かなる崩壊スマートコントラクトの開発において、コードの再利用性を高めるデザインパターンとして「プロキシ（Proxy）パターン」はもはやデファクトスタンダードと...

制御システムとWeb3の交差点：アクセス制御の不備が生む「秒殺」の現実OT（制御システム）の現場に足を踏み入れると、PLCやRTUといったハードウェアが、ModbusやDNP3といったレガシーなプロトコルで平文のまま通信している光景にいまだ...

フロントランニングの残酷な現実：MEVの暗黒面にどう立ち向かうかスマートコントラクトの監査をしていると、開発者がいかに「静的なコードの安全性」に囚われているか痛感させられる。静的解析ツールやフォーマルベリフィケーションでバグを潰し、完璧なつ...

Solidity 0.8.0の衝撃：なぜ私たちは「暗黙のオーバーフロー」を忘れてはならないのかスマートコントラクトのセキュリティ監査を行っていると、いまだに「古いコードベースの遺物」と遭遇する。Solidity 0.8.0がリリースされてか...