IoT・OT(制御システム) & ブロックチェーンセキュリティ 【実務・中級編】 ZK Rollupにおける回路(Circuit)のバグと証明検証の脆弱性 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド
ZK Rollupの深淵:回路バグが引き起こす「不可逆な資産流出」のリアルこんにちは。現場で泥をすすりながらインシデント対応をしていると、時折「数学的に証明されているから安全だ」という甘い言葉を耳にします。特に最近のZK Rollup(ゼロ...