IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 L2のステートルート更新における競合状態 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、ちょっと手を止めてこっちを向いてくれ。先日、L2（レイヤー2）ネットワークのステートルート更新を扱うブリッジコントラクトで、冷や汗もののインシデント未遂があったんだ。L1とL2を行き来するアセットの総額が膨れ上がるにつれ、攻撃者たちは...
スマートコントラクトの脆弱性
IoT・OT（制御システム） & ブロックチェーンセキュリティ IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 DAOの提案実行コードの監査自動化 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、ちょっと手を止めてこっちを向いてくれ。先日、とあるDeFiプロジェクトのガバナンスDAOで、マルチシグとタイムロックをすり抜けた「ガバナンス・ハイジャック」未遂事件のフォレンジック調査を終えたところだ。攻撃者は悪意ある提案コードを巧妙...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 ブリッジのオラクル依存性脆弱性 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、ちょっと手を止めてくれ。昨日、テストネット上で検証していたクロスチェーンブリッジのモック環境、見事にスリッパを履かされた（ハッキングされた）よ。原因はどこだと思う？ スマートコントラクト自体のバグじゃない。「オラクルが指し示す数字を、...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 L2におけるデータ可用性(Data Availability)の検証 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、ちょっと手を止めてこっちを向いてくれ。先日、とあるクライアントのL2（レイヤー2）ブリッジ周辺のコードレビューをしていて、背筋が凍るような設計ミスを見つけたんだ。開発チームは「L1のセキュリティを継承しているから大丈夫」と高をくくって...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 ZK-Rollupの信頼セットアップ(Trusted Setup)のセキュリティ – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、ちょっと手を止めてこっちを向いてくれ。今日話すのは、昨今のWeb3およびL2スケーリングの文脈で最もアツく、そして一歩間違えばプロジェクト全体をトペコンヒーロ級の自爆に導くテーマだ。そう、「ZK-Rollupの信頼セットアップ（Tru...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 DAOの委任(Delegation)機能における二重投票リスク – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、ちょっと手を止めてこっちを向いてくれ。今日話すのは、最近ウチのチームが監査した某DAOプロジェクトで危うく大惨事を引き起こしかけた、ガバナンス機構の致命的な盲点についてだ。「トークンを売却したのに投票権が残っている」「委任（Deleg...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 ブリッジの流動性枯渇攻撃と価格操作 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、最近のクロスチェーンブリッジの設計を見ていると、どうも「流動性プール」と「価格オラクル」の依存関係を甘く見ている連中が多すぎる。「うちはDEXのAMM（自動マーケットメーカー）ロジックをそのまま流用しているから大丈夫だ」なんて言ってい...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 L2からL1へのメッセージ引き出しにおける検証不備 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
お疲れ。最近、L2（レイヤー2）とL1（レイヤー1）をブリッジするシステムに関わることが増えてきたな。OptimismやArbitrum、あるいは独自のZK-Rollupの設計レビューをしていると、開発者が「いかに高速にユーザーへ資金を届け...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 DAOの緊急停止機能(Emergency Pause)の設計と権限管理 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
おい、ちょっと手を止めてこっちを向いてくれ。今朝、海外のフォーク系DAOプロジェクトで、総額数千万ドル規模のガバナンス投票を伴うエクスプロイトが発生したというインシデント速報が飛び込んできた。原因は何か知っているか？ 「スマートコントラクト...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【実務・中級編】 ZK-Rollupの回路設計における算術演算のオーバーフロー脆弱性 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
ZK-Rollup回路の「静かなる崩壊」：算術オーバーフローが引き起こす証明の偽造と対策おい、ちょっと手を止めてこっちを向いてくれ。最近、「ZK-Rollupさえ導入しておけばL2の安全性は完璧だ」と、頭の中でお花畑を咲かせている開発者が多...