搜索

[12770] 2018-05-31_区块链智能合约漏洞，想说补你不容易

文档创建者：s7ckTeam
浏览次数：11
最后更新：2025-01-18
2018-05-31_区块链智能合约漏洞，想说补你不容易 区 块 链 智 能 合 约 漏 洞 ， 想 说 补 你 不 容 易 3 6 0 企 业 安 全   F r e e B u f   2 0 1 8 - 0 5 - 3 1 最 近 几 天 ， 区 块 链 平 台 E O S 智 能 合 约 漏 洞 事 件 再 次 把 区 块 链 安 全 推 上 了 风 口 浪 尖 。 攻 击 者 可 以 通 过 发 布 包 含 恶 意 代 码 的 攻 击 者 可 以 通 过 发 布 包 含 恶 意 代 码 的 “ 智 能 合 约 智 能 合 约 ” ， 经 过 一 系 列 的 操 作 之 后 ， 控 制 区 块 链 网 络 中 的 所 有 节 点 ， 从 ， 经 过 一 系 列 的 操 作 之 后 ， 控 制 区 块 链 网 络 中 的 所 有 节 点 ， 从 而 为 所 欲 为 。 从 而 为 所 欲 为 。 从 T h e   D A O 到 到 B E C ， ， S o c i a l C h a i n ， ， H e x a g o n ， 再 到 这 几 天 的 ， 再 到 这 几 天 的 E O S 漏 洞 ， 漏 洞 ， “ 智 能 合 约 智 能 合 约 ” 已 经 成 为 区 已 经 成 为 区 块 链 安 全 的 重 灾 区 。 块 链 安 全 的 重 灾 区 。 那 么 什 么 是 智 能 合 约 ， 智 能 合 约 的 漏 洞 究 竟 给 安 全 带 来 了 什 么 样 的 新 挑 战 ， 我 们 应 该 如 何 应 对 ？   本 文 中 ， 3 6 0 代 码 卫 士 团 队 的 安 全 专 家 将 结 合 自 身 在 区 块 链 智 能 合 约 漏 洞 方 面 的 研 究 成 果 和 心 得 体 会 ， 从 这 几 个 方 面 进 行 深 入 解 读 。 一 、 什 么 是 智 能 合 约 ？ 一 、 什 么 是 智 能 合 约 ？ 智 能 合 约 ( s m a r t   c o n t r a c t )   这 个 术 语 是 在 1 9 9 4   年 由 N i c k   S z a b o   提 出 的 ， 后 来 经 过 几 次 在 不 同 环 境 下 的 重 新 定 义 。 我 们 现 在 通 常 所 说 的 区 块 链 智 能 合 约 以 以 太 坊 为 代 表 ， 以 太 坊 的 作 者 V i t a l i k   B u t e r i n   意 识 到 ， 在 区 块 链 系 统 中 ， 交 易 逻 辑 是 可 以 和 底 层 系 统 机 制 分 离 的 。 底 层 系 统 负 责 交 易 块 的 创 建 和 验 证 ， 记 账 者 的 共 识 达 成 等 基 础 功 能 ， 而 交 易 本 身 到 底 做 什 么 事 情 是 可 以 通 过 二 次 编 程 的 方 式 来 定 义 的 。 因 此 他 设 计 了 一 种 交 易 代 码 执 行 的 虚 拟 环 境 E V M ， 使 用 者 可 以 开 发 自 定 义 的 交 易 逻 辑 ， 发 布 到 链 上 ， 当 交 易 进 行 时 ， 链 上 所 有 的 节 点 都 执 行 相 同 的 代 码 ， 从 而 同 步 改 变 链 上 数 据 的 状 态 。 他 为 这 种 代 码 使 用 了 “ 智 能 合 约 ” 这 个 名 字 ， 这 是 我 们 目 前 通 常 所 说 的 智 能 合 约 的 内 涵 。 二 、 智 能 合 约 漏 洞 ， 左 右 为 难 二 、 智 能 合 约 漏 洞 ， 左 右 为 难 ! 智 能 合 约 本 质 是 一 段 运 行 在 区 块 链 网 络 中 的 代 码 ， 它 完 成 用 户 所 赋 予 的 业 务 逻 辑 。 以 以 太 坊 体 系 的 代 币 为 例 ， 其 业 务 逻 辑 是 代 币 发 币 和 交 易 。 以 太 坊 在 设 计 之 初 ， 将 智 能 合 约 设 计 成 了 一 旦 部 署 就 不 能 修 改 的 模 式 。 这 种 设 计 有 可 能 是 为 了 提 高 智 能 合 约 的 可 信 性 。 但 是 我 们 知 道 ， 只 要 是 由 人 编 写 的 程 序 ， 就 一 定 会 出 现 错 误 和 缺 陷 。 以 太 坊 这 种 设 计 本 身 就 违 背 了 程 序 设 计 的 但 是 我 们 知 道 ， 只 要 是 由 人 编 写 的 程 序 ， 就 一 定 会 出 现 错 误 和 缺 陷 。 以 太 坊 这 种 设 计 本 身 就 违 背 了 程 序 设 计 的 一 般 规 律 ， 在 智 能 合 约 出 现 漏 洞 的 时 候 可 能 会 造 成 无 法 弥 补 的 损 失 。 一 般 规 律 ， 在 智 能 合 约 出 现 漏 洞 的 时 候 可 能 会 造 成 无 法 弥 补 的 损 失 。 我 们 可 以 看 到 ， 近 期 出 现 的 以 太 坊 体 系 智 能 合 约 的 漏 洞 ， 造 成 了 巨 大 的 影 响 ， 有 的 代 币 也 因 此 毁 灭 。
目 前 以 太 坊 体 系 区 块 链 智 能 合 约 的 机 制 设 计 ， 加 之 漏 洞 可 能 带 来 的 毁 灭 性 影 响 ， 使 得 已 上 线 智 能 合 约 的 漏 洞 的 报 告 和 处 理 变 得 非 常 棘 手 。 3 6 0 代 码 卫 士 团 队 在 近 期 的 研 究 中 发 现 了 以 太 坊 体 系 下 多 个 已 上 市 交 易 的 代 币 的 智 能 合 约 安 全 漏 洞 ， 并 已 第 一 时 间 报 告 厂 商 ， 但 到 目 前 为 止 厂 商 尚 未 作 出 任 何 回 应 。 对 于 厂 商 来 说 ， 由 于 智 能 合 约 不 可 修 改 的 特 性 ， 要 对 上 线 后 发 现 的 漏 洞 进 行 有 效 修 复 ， 只 能 选 择 重 新 部 署 新 的 合 约 ， 这 将 付 出 巨 大 的 代 价 ， 因 此 有 的 厂 商 可 能 会 选 择 不 响 应 ， 不 处 理 。 而 对 于 安 全 研 究 者 来 说 ， 也 面 临 尴 尬 的 境 地 ， 左 右 为 难 。 在 厂 商 修 补 漏 洞 前 公 开 漏 洞 细 节 对 于 厂 商 不 利 ， 有 悖 漏 洞 披 露 的 一 般 原 则 ， 但 如 果 厂 商 迟 迟 不 修 补 漏 洞 ， 公 众 对 于 漏 洞 的 存 在 不 知 情 ， 风 险 会 随 着 时 间 的 增 长 迅 速 膨 胀 ， 漏 洞 一 旦 爆 发 可 能 会 造 成 更 大 的 危 害 ， 波 及 更 大 的 人 群 ， 可 能 会 造 成 很 多 人 的 投 资 瞬 间 化 为 乌 有 。 接 下 来 3 6 0 代 码 卫 士 团 队 还 将 与 厂 商 保 持 积 极 的 联 系 和 沟 通 ， 以 期 帮 助 其 修 复 漏 洞 。 三 、 智 能 合 约 漏 洞 ， 如 何 应 对 ？ 三 、 智 能 合 约 漏 洞 ， 如 何 应 对 ？ 在 一 些 联 盟 链 中 ， 智 能 合 约 的 设 计 是 可 以 在 部 署 之 后 更 新 的 ， 当 然 这 种 更 新 需 要 一 定 的 线 下 协 商 流 程 。 要 应 对 区 块 链 智 能 合 约 的 安 全 漏 洞 问 题 ， 未 来 需 要 普 遍 考 虑 设 计 相 应 的 智 能 合 约 协 商 更 新 机 制 ， 降 低 漏 洞 修 复 的 成 本 。
但 现 在 ， 我 们 需 要 面 对 现 实 ， 做 出 几 乎 唯 一 可 行 的 、 切 实 有 效 的 努 力 做 出 几 乎 唯 一 可 行 的 、 切 实 有 效 的 努 力 — — 在 智 能 合 约 上 线 之 前 ， 对 其 进 行 全 面 深 在 智 能 合 约 上 线 之 前 ， 对 其 进 行 全 面 深 入 的 代 码 安 全 审 计 ， 尽 可 能 的 消 除 漏 洞 ， 降 低 安 全 风 险 入 的 代 码 安 全 审 计 ， 尽 可 能 的 消 除 漏 洞 ， 降 低 安 全 风 险 。 3 6 0 代 码 卫 士 团 队 安 全 专 家 表 示 ， 当 前 区 块 链 智 能 合 约 中 可 能 出 现 的 漏 洞 至 少 有 2 0 余 种 。 以 下 列 举 一 些 常 见 的 区 块 链 智 能 合 约 的 漏 洞 类 型 及 其 可 能 造 成 的 风 险 ， 这 些 漏 洞 在 智 能 合 约 上 线 之 前 ， 都 应 该 进 行 详 细 的 排 查 。 1 .   整 数 溢 出 整 数 溢 出 智 能 合 约 中 危 险 的 数 值 操 作 可 能 导 致 合 约 失 效 、 无 限 发 币 等 风 险 2 .   越 权 访 问 越 权 访 问 智 能 合 约 中 对 访 问 控 制 处 理 不 当 可 能 导 致 越 权 发 币 风 险 3 .   信 息 泄 露 信 息 泄 露 硬 编 码 地 址 等 可 能 导 致 重 要 信 息 的 泄 露 4 .   逻 辑 错 误 逻 辑 错 误 代 理 转 账 函 数 缺 失 必 要 校 验 可 能 导 致 基 于 重 入 漏 洞 的 恶 意 转 账 等 风 险 5 .   拒 绝 服 务 拒 绝 服 务 循 环 语 句 、 递 归 函 数 、 外 部 合 约 调 用 等 处 理 不 当 可 能 导 致 无 限 循 环 、 递 归 栈 耗 尽 等 拒 绝 服 务 风 险 6 .   函 数 误 用 函 数 误 用 伪 随 机 函 数 调 用 和 接 口 函 数 实 现 问 题 可 能 导 致 可 预 测 随 机 数 、 接 口 函 数 返 回 异 常 等 风 险 四 、 总 结 四 、 总 结 漏 洞 永 远 都 会 存 在 。 未 来 区 块 链 行 业 一 定 会 出 现 更 多 的 安 全 问 题 ， 之 前 传 统 互 联 网 领 域 里 面 遇 到 的 安 全 问 题 ， 区 块 链 行 业 里 面 一 定 也 会 遇 到 。 区 块 链 行 业 要 能 够 与 网 络 安 全 行 业 做 到 协 同 开 放 ， 才 能 使 行 业 更 加 健 康 稳 定 安 全 的 发 展 。 * 本 文 作 者 ： 本 文 作 者 ： 3 6 0 企 业 安 全 ， 转 载 请 注 明 来 自 企 业 安 全 ， 转 载 请 注 明 来 自 F r e e B u f . C O M
阅 读 原 文
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理