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

スマートコントラクトの「アップグレード」は諸刃の剣：Proxyパターンで陥る致命的な盲点やあ、エンジニア諸君。現場で日々コードを書いていると、「仕様変更に合わせてコントラクトを書き換えたい」という誘惑に駆られることは一度や二度ではないはずだ...

dAppとウォレットの「信頼」をハックする：セッション管理とCSRFの残酷な現実やあ。現場で泥をすすりながらインシデント対応をしてきた経験から言わせてもらうと、Web3界隈のエンジニアは「ブロックチェーン自体は改ざん不可能だから安全」という...

署名は「白紙の小切手」ではない：EIP-712の罠とフロントエンドで殺すフィッシング攻撃現場のエンジニア諸君、お疲れ様。今日もどこかのWeb3プロジェクトで「メタマスクの署名リクエストがなぜか意図しないコントラクトを実行した」という悲鳴が上...

スマートコントラクトの「想定外」を潰せ：Echidnaによる不変条件テストの極意現場でコードを書いていて、「ロジックは完璧だ」と確信した数時間後にインシデントの報告が上がってくる。これがWeb3の世界の日常です。特にスマートコントラクトにお...

Slitherの向こう側：スマートコントラクト監査の「盲点」を突くカスタム検出器の作り方現場のエンジニア諸君。GitHubで星の数が多い静的解析ツールを走らせて、「脆弱性は見つかりませんでした」というレポートに安心してはいないか？ 断言する...

DeFiの「緊急停止（Circuit Breaker）」を甘く見るな：泥沼のハック現場から学ぶ実装の真実現場でインシデント対応をしていると、決まって遭遇する光景がある。数億円規模のTVL（預かり資産）が流出している最中、焦った開発者が「コン...

「テストコードを書けば安全」という幻想を捨てろ：形式検証（Formal Verification）がWeb3の現場で不可欠な理由現場で日々コントラクトを叩いていると、たまに「ユニットテストは100%通っているから大丈夫」なんて楽観的な言葉を...

フロントランニングの悪夢を断つ：Commit-RevealスキームによるWeb3・OTの防御戦略現場のエンジニア諸君、お疲れ様。今日もメモリプール（Mempool）を監視するBotたちが、利益の種を探して徘徊している。特にIoT/OTの制御...

「誰でもオーナーになれる」という悪夢：プロキシパターンの初期化関数を死守せよ現場でスマートコントラクトを扱っていると、たまに「なぜこんな単純なミスが本番環境で生きているんだ？」と頭を抱えたくなる瞬間に遭遇する。今日取り上げるのは、プロキシパ...

ガス枯渇(DoS)の悪夢：スマートコントラクトを「止める」技術と「守る」実装現場でインシデント対応をしていると、よく耳にするセリフがある。「テスト環境では動いていた。本番にデプロイしたら動かなくなった」——。スマートコントラクトの世界におい...