搜索

[12601] 2018-04-18_去中心化应用安全威胁Top10榜单

文档创建者：s7ckTeam
浏览次数：0
最后更新：2025-01-18
2018-04-18_去中心化应用安全威胁Top10榜单 去 中 心 化 应 用 安 全 威 胁 T o p 1 0 榜 单 E l a i n e _ z   F r e e B u f   2 0 1 8 - 0 4 - 1 8 N C C   G r o u p   发 起 了 一 个 名 为 发 起 了 一 个 名 为   2 0 1 8   年 去 中 心 化 应 用 安 全 年 去 中 心 化 应 用 安 全   T o p 1 0 （ （ D e c e n t r a l i z e d   A p p l i c a t i o n   S e c u r i t y   P r o j e c t ） ） 的 项 目 。 据 悉 ， 该 项 目 会 与 类 似 于 的 项 目 。 据 悉 ， 该 项 目 会 与 类 似 于   O W A S P   的 方 式 发 布 去 中 心 化 应 用 安 全 领 域 中 ， 每 年 的 十 大 安 全 威 胁 报 。 与 的 方 式 发 布 去 中 心 化 应 用 安 全 领 域 中 ， 每 年 的 十 大 安 全 威 胁 报 。 与 O W A S P   开 放 合 作 透 明 的 运 作 理 念 相 似 ， 该 项 目 也 是 以 集 成 合 作 的 方 式 披 露 智 能 合 约 中 存 在 的 安 全 漏 洞 。 开 放 合 作 透 明 的 运 作 理 念 相 似 ， 该 项 目 也 是 以 集 成 合 作 的 方 式 披 露 智 能 合 约 中 存 在 的 安 全 漏 洞 。 本 文 是 第 一 版 的   D A S P   T o p 1 0   2 0 1 8   内 容 ， 详 细 描 述 包 括 递 归 调 用 漏 洞 、 权 限 控 制 漏 洞 、 算 数 问 题 、 返 回 值 问 题 、 拒 绝 服 务 、 伪 随 机 在 内 的 智 能 合 约 威 胁 。 因 翻 译 时 间 所 限 ， 难 免 出 现 疏 漏 ， 在   F r e e B u f   上 分 享 仅 为 抛 砖 引 玉 之 用 ， 望 对 去 中 心 化 应 用 感 兴 趣 的 同 学 在 此 多 指 正 、 多 交 流 。 一 、 递 归 调 用 漏 洞 一 、 递 归 调 用 漏 洞 该 漏 洞 的 利 用 有 一 个 知 名 的 案 例 ， 以 太 坊 （ E t h e r e u m ） 漏 洞 。 在 首 次 发 现 以 太 坊 存 在 这 个 问 题 的 时 候 ， 很 多 人 都 觉 的 不 可 思 议 ， 在 高 漏 洞 造 成 数 千 万 美 元 的 损 失 之 后 ， 该 漏 洞 可 谓 直 接 导 致 了 以 太 坊 的 硬 分 叉 之 路 。 这 个 漏 洞 的 触 发 在 于 外 部 合 约 对 正 在 起 草 的 合 约 进 行 新 的 调 用 ， 而 这 个 调 用 发 生 在 初 次 执 行 完 成 之 前 。 对 于 函 数 而 言 ， 这 个 调 用 意 味 着 合 同 状 态 发 生 了 改 变 ， 调 用 的 合 约 变 得 不 可 信 ， 外 部 地 址 却 上 使 用 了 低 层 功 能 。 该 漏 洞 造 成 的 损 失 该 漏 洞 造 成 的 损 失 ： 3 5 0 万   E T H   损 失 （ 当 时 价 值   5 0 0 0 万 美 元 ） 二 、 权 限 控 制 漏 洞 二 、 权 限 控 制 漏 洞 权 限 控 制 问 题 在 所 有 程 序 中 都 很 常 见 ， 而 不 仅 存 在 于 智 能 合 约 之 中 。 事 实 上 ， 在 O W A S P 中 该 问 题 也 排 行 第 5 。 我 们 通 常 通 过 公 开 或 者 外 部 函 数 获 取 到 合 约 的 内 容 。 但 如 果 合 约 的 可 视 性 没 有 进 行 良 好 的 安 全 设 置 ， 攻 击 者 也 很 容 易 查 看 并 获 取 合 约 的 隐 私 内 容 和 内 部 逻 辑 ， 他 们 能 够 找 到 绕 过 限 制 的 方 式 。 这 些 漏 洞 通 常 在 合 约 使 用 t x . o r i g i n   对 调 用 者 进 行 验 证 时 触 发 。 漏 洞 造 成 的 损 失 ： 漏 洞 造 成 的 损 失 ： 大 约 1 5 0 0 0 E T H （ 当 时 约 为 3 0 0 0 万 美 元 ） 三 、 算 数 问 题 三 、 算 数 问 题
整 数 的 溢 出 并 不 少 见 ， 但 这 类 问 题 在 智 能 合 约 中 尤 其 危 险 。 合 约 中 无 符 号 整 数 的 应 用 非 常 普 遍 ， 大 多 数 开 发 人 员 习 惯 于 简 化   i n t   类 型 （ 有 符 号 整 数 ） 。   如 果 溢 出 问 题 发 生 ， 许 多 良 性 代 码 路 径 会 成 为 攻 击 者 进 行 信 息 窃 取 或 拒 绝 服 务 的 载 体 。 四 、 未 经 核 查 的 返 回 值 问 题 四 、 未 经 核 查 的 返 回 值 问 题 这 个 问 题 有 时 也 称 为 无 声 的 失 败 发 送 或 者 未 经 核 实 的 发 送 。 我 们 应 该 尽 可 能 避 免 在 合 约 中 使 用 低 层 次 的 调 用 ， 因 为 返 回 值 如 果 处 理 不 当 会 出 现 很 多 意 外 的 行 为 。 S o l i d i t y   中 有 一 部 分 功 能 是 低 层 函 数 ， 如   c a l l ( )   ， c a l l c o d e ( ) ， d e l e g a t e c a l l ( )   和 s e n d ( ) 。   这 些 函 数 在 处 理 错 误 方 面 的 行 为 与 其 他   S o l i d i t y   函 数 完 全 不 同 ， 他 们 不 会 回 到 当 前 执 行 的 状 态 ， 而 只 会 返 回 布 尔 值 f a l s e ， 程 序 会 继 续 执 行 。 如 果 这 些 返 回 值 没 有 得 到 核 查 ， 就 会 导 致 一 些 预 想 不 到 的 结 果 。 五 、 拒 绝 服 务 问 题 五 、 拒 绝 服 务 问 题 拒 绝 服 务 的 情 况 ， 包 括 达 到 到 达 了 程 序 的 容 量 上 限 ， 意 外 抛 出 错 误 ， 意 外 的 进 程 杀 死 ， 或 者 访 问 控 制 违 规 问 题 。 在 去 中 心 化 应 用 、 以 太 坊 的 世 界 中 ， 拒 绝 服 务 问 题 往 往 会 是 致 命 的 ： 尽 管 其 他 类 型 的 应 用 程 序 最 终 总 是 可 以 恢 复 服 务 的 ， 但 智 能 合 约 可 能 会 因 一 次 拒 绝 服 务 攻 击 而 永 久 下 线 。 有 多 种 原 因 引 发 导 致 拒 绝 服 务 ， 如 在 合 约 交 易 时 收 到 了 对 方 恶 意 行 为 的 攻 击 ， 人 为 地 提 高 了 执 行 操 作 消 耗 的 容 量 ， 滥 用 访 问 控 制 来 获 取 智 能 合 约 的 隐 私 组 件 ， 遭 到 混 淆 攻 击 。 这 一 系 列 攻 击 都 包 括 了 各 种 变 体 ， 并 在 未 来 的 时 间 中 攻 击 方 式 会 继 续 变 化 。 漏 洞 造 成 的 损 失 漏 洞 造 成 的 损 失 ： 估 计 为   5 1 4 , 8 7 4   E T H （ 当 时 约 3 亿 美 元 ） 六 、 伪 随 机 问 题 六 、 伪 随 机 问 题 该 漏 洞 也 被 称 为   “ 没 有 什 么 是 秘 密 的 ” 。 随 机 问 题 很 难 在 以 太 坊 中 得 到 纠 正 。 尽 管   S o l i d i t y   提 供 了 些 难 以 预 测 值 的 函 数 和 变 量 ， 但 很 多 情 况 中 还 是 难 以 保 持 隐 私 性 。 随 机 性 在 一 定 程 度 上 是 可 预 测 的 ， 所 以 恶 意 用 户 以 此 实 施 攻 击 。 漏 洞 造 成 的 损 失 ： 漏 洞 造 成 的 损 失 ： 超 过 4 0 0   E T H 七 、 竞 争 条 件 问 题 七 、 竞 争 条 件 问 题 由 于 矿 工 总 是 通 过 外 部 地 址 来 获 得 报 酬 ， 因 此 用 户 可 以 指 定 更 高 的 费 用 来 让 自 己 的 交 易 更 快 地 完 成 。 而 以 太 坊 区 块 链 是 公 开 的 ， 每 个 人 都 可 以 看 到 其 他 人 尚 未 完 成 的 交 易 内 容 。 这 意 味 着 ， 如 果 某 个 用 户 正 在 处 理 问 题 ， 恶 意 用 户 也 可 以 窃 取 该 解 决 方 案 ， 以 较 高 的 费 用 发 起 新 交 易 ， 抢 占 原 始 解 决 方 案 。 如 果 智 能 合 约 的 开 发 者 不 太 谨 慎 ， 这 种 情 况 会 导 致 实 际 且 毁 灭 性 的 攻 击 。 八 、 时 间 处 理 问 题 八 、 时 间 处 理 问 题 从 锁 定 令 牌 到 在 特 定 时 间 解 锁 资 金 ， 合 约 都 需 要 依 赖 当 前 时 间 。   这 通 常 通 过   b l o c k . t i m e s t a m p   或 其   n o w   来 在   S o l i d i t y 中 实 现 。
由 于 这 个 时 间 依 赖 的 是 矿 工 ， 一 笔 交 易 的 矿 工 如 果 在 挖 矿 时 间 上 会 有 余 地 ， 所 以 良 好 的 智 能 合 约 应 该 避 免 时 间 依 赖 。 而 正 如 在 6 中 探 讨 的 ， b l o c k . t i m e s t a m p   函 数 中 使 用 的 随 机 只 是 伪 随 机 。 九 、 短 地 址 攻 击 问 题 九 、 短 地 址 攻 击 问 题 短 地 址 攻 击 是 以 太 坊 虚 拟 机 未 能 接 受 正 确 参 数 的 副 产 物 。 攻 击 者 可 以 通 过 特 定 制 作 的 地 址 利 用 这 个 弱 点 ， 针 对 部 分 编 码 错 误 的 客 户 端 进 行 参 数 填 充 。 尽 管 不 同 的 人 对 于 这 个 问 题 看 法 不 同 ： 这 是 以 太 坊 虚 拟 机 的 问 题 还 是 客 户 端 的 问 题 ？ 这 能 够 在 智 能 合 约 中 修 复 吗 ？ 虽 然 这 个 漏 洞 还 没 有 被 大 规 模 利 用 ， 但 它 很 好 地 证 明 了 客 户 和 以 太 坊 区 块 链 之 间 的 交 互 也 可 能 存 在 问 题 。 其 他 链 外 问 题 也 存 在 着 ： 以 太 坊 生 态 系 统 以 来 着 特 定 的   J a v a S c r i p t   前 端 ， 浏 览 器 插 件 以 及 公 共 节 点 。 在 C o i n d a s h   I C O   欺 诈 事 件 中 的 黑 客 也 使 用 了 臭 名 昭 着 的 链 外 漏 洞 ， 他 们 在 网 页 上 修 改 了   I C O   公 司 的 以 太 坊 地 址 ， 诱 骗 参 与 者 将 攻 击 者 地 址 发 到 自 己 的 账 户 。 十 、 未 知 十 、 未 知 以 太 坊 仍 然 处 于 起 步 阶 段 。   用 于 开 发 智 能 合 同 的 主 要 语 言   S o l i d i t y   尚 未 达 到 稳 定 版 本 ， 生 态 系 统 中 的 其 他 工 具 也 仍 然 处 于 试 验 阶 段 。 每 次 发 现 具 有 破 坏 性 的 智 能 合 约 让 许 多 人 都 感 到 惊 讶 ， 但 我 们 没 有 理 由 相 信 其 他 同 等 性 质 破 坏 力 的 漏 洞 不 会 出 现 。 代 码 审 计 和 安 全 检 查 仍 然 会 是 有 效 的 措 施 ， 尽 管 有 很 多 不 成 熟 的 地 方 ， 去 中 心 化 应 用 仍 然 在 以 飞 速 的 方 式 发 展 。 * 参 考 来 源 ： 参 考 来 源 ： d a s p ， 本 文 编 译 整 理 ， 本 文 编 译 整 理 E l a i n e ， 转 载 请 注 明 ， 转 载 请 注 明 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. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理