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

ブリッジが狙われる理由：クロスチェーン・リプレイ攻撃の悪夢おい、最近のブリッジハックのニュースを見たか？ 「チェーンAで燃やした（あるいはロックした）はずのトークンが、チェーンBで無限に複製される」という悪夢のようなインシデントが後を絶たな...

おい、新人。ちょっとこっちに来い。お前、最近流行りのLayer 2（L2）スケーリングソリューション、例えばArbitrumとかOptimismを使ったdAppの開発で「ガス代が安くなって最高です！」なんて浮かれてないか？ 確かにエンドユー...

DAOの「クォーラム操作」という死角：なぜ投票率の低さが致命傷になるのか現場のエンジニア諸君、お疲れ様。最近、IoTゲートウェイのファームウェア解析の傍ら、DAOのガバナンス設計の相談を受けることが増えた。「DAOなら分散型で安全だ」という...

DAOのガバナンスは「金」で買える：フラッシュローン攻撃の残酷な現実やあ。今日もスマートコントラクトの監査ログと格闘しているか？最近、DAOの運営基盤であるガバナンス・トークンを狙った攻撃が巧妙化している。「俺たちのDAOはコミュニティの意...

ブリッジは「現代の関所」だ：アップグレードキーを奪われる前に知っておくべきマルチシグとタイムロックの深淵ネットワークの境界で信号機を制御するOTエンジニアと、分散型金融のプロトコルを組むWeb3エンジニア。一見遠い存在に見える両者だが、実は...

ブリッジ崩壊の予兆：クロスチェーン「ロック・ミント」の死角を突く現場で数々のブリッジハッキング事例を追跡してきた経験から言わせてもらうが、クロスチェーンブリッジにおける「ロック・ミント」モデルは、常に「信頼の非対称性」という時限爆弾を抱えて...

ZK-Rollupの「計算の深淵」を突く：証明生成攻撃からシーケンサーを守り抜く実務戦略やあ。現場の最前線でコードとログの海を泳いでいるエンジニア諸君。今日は少しエッジの効いた話をしよう。ZK-Rollup（ゼロ知識証明ロールアップ）のプロ...

Optimistic Rollupの悪夢：不正証明（Fraud Proof）の遅延攻撃と生存戦略やあ、チームの諸君。最近、L2（レイヤー2）ソリューションであるOptimistic Rollupの運用に関心を持つエンジニアが増えてきたね。だ...

「数学でハックを防ぐ」：スマートコントラクト形式検証（Formal Verification）の現実と実装の処方箋現場のセキュリティ担当として言わせてもらうが、スマートコントラクトの脆弱性は、WebアプリのSQLiやXSSとは次元が違う。一...

なぜ「検証済みコントラクト」がないプロジェクトに、貴方の資産を預けてはいけないのか現場のエンジニア諸君、お疲れ様。今日はスマートコントラクトのセキュリティにおいて、最も基本的だが、最も多くの「被害者」を生んでいる盲点について話そう。Ethe...