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

スマートコントラクトは「書きっぱなし」で終わるな：イベントログ監視でインシデントを「予知」する技術現場のエンジニア諸君、お疲れ様。スマートコントラクトをデプロイして終わりだと思っているなら、それは「鍵をかけずに金庫を砂漠に置いている」のと同...

スマートコントラクトにおける「ガス最適化」という名の罠：DoS攻撃を招く設計ミスを正す現場でコードを叩いていると、「ガス代が高いから」という理由でループ処理を極限まで削ったり、複雑なロジックを無理やり1つのトランザクションに押し込もうとする...

形式検証（Formal Verification）の真実：スマートコントラクトを「数学」で守り抜くようこそ、泥沼のインシデント対応から生還したエンジニア諸君。君たちが普段書いているWebアプリの脆弱性診断で、「SQLインジェクションがないか...

オラクル操作攻撃：なぜ「単一の価格」を信じるのは自殺行為なのか現場でインシデントレスポンスを担当していると、スマートコントラクトのハッキング報告の半分近くが「価格参照の甘さ」に起因していることに気づく。「DEXのプールにある価格をそのまま引...

selfdestructの終焉と「資金ロック」の罠：Dencunアップグレード後の生存戦略現場で「とりあえずコントラクトを削除してリセットすればいい」なんて安易な設計をしているエンジニアがいたら、今すぐその思考を止めてくれ。特にSCADAや...

現場のエンジニアへ：delegatecallという「劇薬」と、ストレージ汚染の悪夢現場でSCADAシステムのPLC（プログラマブル・ロジック・コントローラ）やIoTゲートウェイのファームウェアを解析していると、「便利さ」と「危険」が背中合わ...

整数オーバーフローの「墓場」：Solidity 0.8.xの過信と現場の泥臭い教訓現場の若手エンジニアから「Solidity 0.8以降を使っているからSafeMathは不要ですよね？」という質問を受けることがある。そのたびに私はこう答える...

MEVの深淵：コミット・リビールスキームが「破られる」瞬間の設計思想ブロックチェーン界隈で「フロントランニング防止」という言葉を耳にすると、多くのエンジニアは「コミット・リビール（Commit-Reveal）スキーム」を反射的に思い浮かべる...

よし、今日はWeb3開発、特にスマートコントラクトの設計で誰もが一度は深刻な損害を出す（あるいは出しそうになる）「フロントランニング（MEV: Maximal Extractable Value）」の完全防御策について話そう。制御システム（...

Web3の「暗黒森林」を生き抜く：フロントランニングを封殺するコミット・リビールスキームの極意いいか、よく聞いてくれ。Web3の世界、特にイーサリアムのようなパブリックチェーンでの開発は、常に「全方位から覗き見されている」という前提で動かな...