搜索

[14703] 2019-10-15_如何审计一个智能合约

文档创建者：s7ckTeam
浏览次数：5
最后更新：2025-01-18
2019-10-15_如何审计一个智能合约 如 何 审 计 一 个 智 能 合 约 T i m Y e u n g   F r e e B u f   2 0 1 9 - 1 0 - 1 5 这 是 一 篇 比 较 完 整 的 评 估 智 能 合 约 安 全 的 文 章 。 这 是 一 篇 比 较 完 整 的 评 估 智 能 合 约 安 全 的 文 章 。 当 下 区 块 链 技 术 的 增 长 对 分 布 式 共 识 展 示 出 了 无 与 伦 比 的 机 会 ， 智 能 合 约 应 用 在 之 前 时 间 里 面 出 现 了 百 万 美 元 当 下 区 块 链 技 术 的 增 长 对 分 布 式 共 识 展 示 出 了 无 与 伦 比 的 机 会 ， 智 能 合 约 应 用 在 之 前 时 间 里 面 出 现 了 百 万 美 元 的 丢 失 ， （ 如 ： 非 常 有 名 的 的 丢 失 ， （ 如 ： 非 常 有 名 的 D A O   A t t a c k 事 件 ） ， 这 令 我 们 对 于 智 能 合 约 应 用 的 安 全 性 产 生 了 非 常 大 的 担 忧 。 在 事 件 ） ， 这 令 我 们 对 于 智 能 合 约 应 用 的 安 全 性 产 生 了 非 常 大 的 担 忧 。 在 这 篇 文 章 中 我 们 将 透 彻 的 展 示 多 种 针 对 能 合 约 应 用 的 攻 击 和 为 确 保 智 能 合 约 安 全 性 所 必 须 要 进 行 的 审 计 过 程 ， 这 篇 文 章 中 我 们 将 透 彻 的 展 示 多 种 针 对 能 合 约 应 用 的 攻 击 和 为 确 保 智 能 合 约 安 全 性 所 必 须 要 进 行 的 审 计 过 程 ， 保 持 最 新 的 开 发 方 式 以 及 讨 论 从 各 种 可 靠 的 源 中 得 到 的 灵 感 。 保 持 最 新 的 开 发 方 式 以 及 讨 论 从 各 种 可 靠 的 源 中 得 到 的 灵 感 。 智 能 合 约 审 计 如 同 传 统 的 代 码 审 计 一 样 是 保 证 代 码 安 全 性 非 常 重 要 的 基 础 步 骤 （ 审 计 的 过 程 主 要 经 过 细 致 的 研 究 对 象 代 码 ， 在 代 码 被 最 终 发 布 在 生 产 环 境 之 前 从 中 找 出 可 能 存 在 的 安 全 性 缺 陷 以 及 漏 洞 ） 。 这 就 像 是 在 一 座 桥 梁 正 式 运 行 之 前 进 行 的 测 试 一 样 。 这 两 种 情 况 下 ， 开 发 者 （ 建 造 者 ） 都 有 责 任 去 保 证 产 品 的 安 全 性 。 区 块 链 技 术 本 质 是 一 本 不 断 自 我 复 制 和 单 项 增 长 的 M e r k l e   T r e e s 的 列 表 （ 因 此 这 是 不 允 许 修 改 的 ） , 由 于 智 能 合 约 是 自 己 执 行 的 且 一 经 发 布 不 可 修 改 ， 所 以 必 须 要 在 发 布 之 前 找 出 它 所 有 的 漏 洞 。 目 前 有 哪 些 种 类 的 智 能 合 约 攻 击 手 段 目 前 有 哪 些 种 类 的 智 能 合 约 攻 击 手 段 这 个 章 节 讨 论 一 些 值 得 注 意 的 已 知 攻 击 ， 通 过 下 面 的 步 骤 你 也 可 以 在 审 计 过 程 中 找 到 相 应 的 攻 击 方 式 。 条 件 竞 争 是 一 种 在 常 规 系 统 里 面 由 于 事 件 发 生 的 顺 序 没 有 按 照 预 期 而 导 致 的 问 题 。 在 智 能 合 约 中 条 件 竞 争 可 能 发 生 在 调 用 外 部 智 能 合 约 而 导 致 调 用 流 程 被 恶 意 的 控 制 。 R e e n t r a n c y ( 重 入 ) 攻 击 是 由 于 一 些 方 法 在 没 有 完 成 之 前 就 被 重 新 单 独 的 调 用 而 导 致 的 一 种 条 件 竞 争 。 例 如 ： D A O 被 攻 击 的 一 种 原 因 就 是 由 于 不 同 的 方 法 内 部 没 有 按 照 预 期 的 方 式 来 进 行 交 互 调 用 导 致 的 。 此 类 问 题 的 主 要 解 决 方 案 是 阻 止 一 些 方 法 中 的 并 行 调 用 ， 尤 其 要 仔 细 检 查 智 能 合 约 中 的 外 部 调 用 。 这 是 一 个 有 R e e n t r a n c y   b u g 的 代 码 片 段 : 上 面 的 代 码 中   ！ 标 示 的 地 方 是 一 个 外 部 调 用 ， 此 处 的 外 部 调 用 可 以 被 绕 过 。 在 w i t h d r a w 方 法 中 函 数 中 我 们 传 了 1 0 个 以 太 到 调 用 我 们 合 约 的 调 用 者 中 ， 到 目 前 来 说 并 没 有 啥 问 题 。 然 鹅 ， 接 受 者 可 以 通 过 多 次 递 归 的 调 用 该 函 数 进 行 恶 意 利 用 ， 具 体 看 下 面 的 流 程 。 此 处 将 上 述 的 智 能 合 约 代 码 存 放 在 R e e n t r a n c y V u l n e r a b i l i t y . s o l 文 件 中 并 且 作 为 攻 击 者 创 建 一 个 H a c k e r . s o l 的 文 件 作 为 一 个 攻 击 的 智 能 合 约 来 利 用 上 述 的 外 部 调 用 的 地 方 。 可 以 用 这 样 的 合 约 来 对 一 些 可 能 存 在 潜 在 漏 洞 的 合 约 进 行 安 全 测 试 。 c o n t r a c t   R e e n t r a n c y V u l n e r a b i l i t y   { f u n c t i o n   w i t h d r a w   ( )   { u i n t   t r a n s f e r A m o u n t   =   1 0   e t h e r ; i f   ( ! m s g . s e n d e r . c a l l . v a l u e ( t r a n s f e r A m o u n t ) ( ) )   t h r o w ; } f u n c t i o n   d e p o s i t ( )   p a y a b l e   { }   / /   m a k e   c o n t r a c t   p a y a b l e   a n d   s e n d   e t h e r } c o n t r a c t   H a c k e r   { R e e n t r a n c y V u l n e r a b i l i t y   r ; u i n t   p u b l i c   c o u n t ; e v e n t   L o g F a l l b a c k ( u i n t   c ,   u i n t   b a l a n c e ) ; f u n c t i o n   A t t a c k e r ( a d d r e s s   v u l n e r a b l e )   { r   =   R e e n t r a n c y V u l n e r a b i l i t y ( v u l n e r a b l e ) ; } f u n c t i o n   a t t a c k ( )   {
在 H a c k e r . s o l 文 件 中 ， 定 义 了 两 个 比 较 重 要 的 函 数 。 第 一 个 是 用 于 提 现 的 函 数 调 用 了 存 在 重 入 漏 洞 的 智 能 合 约 的 w i t h d r a w ( ) 函 数 发 送 1 0 个 以 太 到 h a c k e r 智 能 合 约 中 ， 这 样 就 会 触 发 在 h a c k e r 合 约 中 定 义 的   f u n c t i o n ( )   p a y a b l e   { } 这 个 回 调 函 数 （ 该 函 数 就 是 拿 到 超 额 以 太 的 真 凶 ) 。 这 里 的 E v e n t   L o g F a l l b a c k ( u i n t   v ,   u i n t   b a l a n c e ) 在 回 调 函 数 被 调 用 的 时 候 会 被 触 发 ， 这 个 事 件 的 触 发 同 时 会 被 通 过 当 作 循 环 计 数 变 量 的 c o u n t 在 i f 控 制 语 句 中 进 行 控 制 ， 当 本 函 数 被 调 用 1 0 次 以 后 将 会 停 止 继 续 递 归 的 调 用 受 害 合 约 的 w i t h d r a w 函 数 ， 防 止 合 约 最 终 的 调 用 失 败 导 致 以 太 被 退 回 。 上 述 过 程 的 最 终 表 现 就 是 当 H a c k e r 合 约 中 反 复 的 调 用 w i t h d a r w ( ) 函 数 直 到 i f 条 件 控 制 语 句 中 的 条 件 达 成 即 c o u n t 变 量 最 终 到 达 1 0 。 重 入 只 是 问 题 的 表 象 而 不 是 问 题 的 原 因 ， 所 以 请 确 保 对 于 那 些 正 在 被 使 用 的 外 部 调 用 都 要 进 行 详 细 的 分 析 ， 而 不 是 直 接 试 图 在 函 数 中 阻 止 这 些 这 些 重 入 的 发 生 ， 意 思 就 是 要 在 进 行 外 部 调 用 之 前 完 成 所 有 应 该 完 成 的 内 部 操 作 。 提 示 ： 对 于 外 部 调 用 应 该 采 用 最 小 功 能 的 模 式   或 者   必 须 保 证 在 外 部 调 用 之 前 就 把 所 有 的 内 部 操 作 都 完 成 。 跨 方 法 的 条 件 竞 争 ： 类 似 于 攻 击 两 个 方 法 共 享 一 个 状 态 的 方 法 ， 解 决 方 法 当 然 也 是 一 样 的 。 这 里 有 个 例 子 就 是 攻 击 外 部 调 用 函 数 t r a n s f e r ( ) 在 用 户 设 置 它 的 余 额 为 0 之 前 ， 虽 然 攻 击 者 一 经 取 回 了 它 的 以 太 。 在 上 面 的 代 码 中 ， 黑 客 可 能 在 w i t h d r a w B a l a n c e ( ) 方 法 正 在 执 行 的 过 程 中   或 者   是 外 部 调 用 已 经 在 调 用 的 过 程 中   调 用 t r a n s f e r 函 数 ， 如 你 所 见 这 个 u s e r B a l a n c e 被 设 置 为 0 需 要 在 外 部 调 用 之 后 才 会 被 赋 值 ， 所 以 提 现 功 能 可 能 在 w i t h d r a w a l ( ) 函 数 已 经 被 调 用 的 情 况 下 继 续 操 作 。 T r a n s a c t i o n - O r d e r i n g   D e p e n d e n c e   ( T O D )   /   F r o n t   R u n n i n g   也 是 另 一 种 条 件 竞 争 ， 不 过 这 次 的 操 作 的 对 象 是 区 块 链 中 的 区 块 内 的 交 易 的 顺 序 。 这 些 相 关 的 交 易 只 会 在 内 存 池 里 面 存 在 很 短 的 时 间 。 实 施 F r o n t   R u n n i n g 攻 击 可 以 让 一 个 用 户 可 以 通 过 操 控 交 易 的 顺 序 来 使 得 自 己 得 到 收 益 而 让 别 人 蒙 受 损 失 的 效 果 。 有 一 种 可 能 造 成 F r o n t   R u n n i n g 攻 击 的 情 况 就 是   T i m e s t a m p   D e p e n d e n c e （ 时 间 戳 依 赖 ） ， 所 以 你 需 要 仔 细 的 检 查 对 于 时 间 戳 的 使 用 ， 尤 其 在 一 些 交 易 时 间 具 有 非 常 重 要 的 金 融 属 性 的 地 方 ， 比 如 一 些 菠 菜 合 约 中 。 在 以 太 坊 中 时 间 戳 不 是 和 全 局 时 间 直 接 同 步 的 ， 这 里 的 差 异 性 可 以 让 矿 工 得 到 很 大 的 优 势 。 另 外 一 种 条 件 是 I n t e g e r   O v e r f l o w   a n d   U n d e r f l o w ， 这 种 情 况 的 发 生 是 由 于 无 符 号 的 整 数 当 达 到 最 大 的 循 环 以 后 继 续 增 加 可 能 会 变 成 0   或 者   一 个 负 数 如 果 被 当 成 无 符 号 整 数 可 能 会 被 当 成 一 个 非 常 大 的 值 。 这 些 整 数 溢 出 的 问 题 都 可 以 通 过 M y t h r i l 来 进 行 检 测 。 f u n c t i o n   a t t a c k ( )   { r . w i t h d r a w ( ) ; } f u n c t i o n   ( )   p a y a b l e   {                 c o u n t + + ;                 L o g F a l l b a c k ( c o u n t ,   t h i s . b a l a n c e ) ;                 i f   ( c o u n t   <   1 0 )   {                     r . w i t h d r a w ( ) ;                 } } f u n c t i o n   t r a n s f e r ( a d d r e s s   t o ,   u i n t   a m o u n t )   {                 t r a n s f e r   o c c u r s   h e r e } f u n c t i o n   w i t h d r a w B a l a n c e ( )   p u b l i c   {                 u i n t   a m o u n t T o W i t h d r a w   =   u s e r B a l a n c e s [ m s g . s e n d e r ] ;                 r e q u i r e ( m s g . s e n d e r . c a l l . v a l u e ( a m o u n t T o W i t h d r a w ) ( ) ) ;                 u s e r B a l a n c e s [ m s g . s e n d e r ]   =   0 ; }
下 面 是 一 个 整 数 溢 出 的 非 常 直 白 的 例 子 ： 攻 击 者 可 以 通 过 加 法   或 者   减 法 来 进 行 整 数 上 溢 ， 和 下 溢 的 操 作 ： 另 外 一 种 攻 击 方 法 要 被 启 用 需 要 可 以 强 行 的 对 合 约 进 行 发 送 以 太 的 操 作 ， 要 确 认 在 逻 辑 中 没 有 资 金 进 入 合 约 的 限 制 ， 攻 击 可 以 将 这 样 的 逻 辑 给 干 掉 。 任 何 像 下 面 的 代 码 都 逻 辑 都 存 在 上 述 的 漏 洞 ： 为 了 防 止 这 样 的 代 码 从 你 正 在 分 析 的 代 码 中 成 功 启 动 ， 审 计 过 程 应 该 采 用 工 程 化 方 法 ( 具 有 理 论 和 实 践 背 景 的 严 格 验 证 ， 以 及 工 具 的 应 用 ) 。 完 整 审 计 智 能 合 约 的 步 骤 完 整 审 计 智 能 合 约 的 步 骤 上 述 已 知 攻 击 的 漏 洞 和 一 些 其 他 的 安 全 性 问 题 ， 可 以 通 过 下 面 的 审 计 过 程 找 到 ， 这 些 步 骤 来 自 于 C o n s e n S y s   B e s t P r a c t i c e s 、 H a s h E x   a u d i t   f r a m e w o r k 还 有 一 些 其 他 的 公 开 的 审 计 方 法 的 汇 总 和 整 理 。 确 保 在 智 能 合 约 发 布 前 进 行 一 次 完 整 的 代 码 审 计 过 程 ， 尽 可 能 保 证 完 整 审 计 的 代 码 是 接 近 用 户 最 终 接 触 到 的 最 终 版 本 的 智 能 合 约 版 本 。 提 供 一 份 免 责 声 明 ： 注 意 审 计 的 目 的 是 提 供 一 些 对 于 安 全 的 讨 论 ， 而 不 是 提 供 任 何 安 全 的 保 证 。 例 如 : “ 本 次 审 计 中 出 现 的 信 息 仅 供 一 般 讨 论 ， 不 打 算 向 任 何 个 人 或 实 体 提 供 法 律 安 全 保 障 。 ” 需 要 解 释 一 下 你 的 身 份 : 表 现 出 来 你 在 这 个 领 域 的 权 威 ， 或 者 为 什 么 你 可 以 被 信 任 进 行 严 格 的 代 码 审 计 分 析 ， 并 且 用 强 有 力 的 审 计 来 证 明 它 。 解 释 一 下 你 的 审 计 过 程 解 释 一 下 你 的 审 计 过 程 从 安 全 的 角 度 来 概 述 你 的 审 计 的 方 法 和 过 程 。 进 行 攻 击 漏 洞 的 的 测 试 进 行 攻 击 漏 洞 的 的 测 试 分 析 上 述 的 文 档 中 的 相 关 攻 击 手 段 是 否 会 在 当 前 的 合 约 中 被 触 发 。 漏 洞 细 节 的 发 现 和 一 些 注 意 事 项 漏 洞 细 节 的 发 现 和 一 些 注 意 事 项 在 这 一 步 ， 重 点 讨 论 漏 洞 的 严 重 级 别 ， 并 且 依 照 漏 洞 的 验 证 级 别 提 供 不 同 的 修 复 建 议 。 这 里 的 处 理 对 象 不 仅 仅 是 一 些 直 接 的 漏 洞 ， 还 要 处 理 一 些 可 能 存 在 潜 在 漏 洞 的 情 况 。 分 析 合 约 的 复 杂 度 分 析 合 约 的 复 杂 度 合 约 复 杂 度 的 增 加 会 增 加 错 误 发 生 的 概 率 ， 所 以 要 注 意 复 杂 的 合 约 逻 辑 、 非 模 块 代 码 、 专 用 工 具 和 代 码 以 及 执 行 清 晰 u i n t   p u b l i c   c   =   a   +   b ; f u n c t i o n   u n d e r f l o w ( )   p u b l i c   { c   - =   2 * * 2 5 6 - 1 ; } f u n c t i o n   o v e r f l o w ( )   p u b l i c   { c   + =   2 * * 2 5 6 - 1 ; } r e q u i r e ( t h i s . b a l a n c e   >   0 ) ;   / /   n o t e   t h a t   0   c o u l d   b e   a n y   n u m b e r
的 流 程 。 这 些 地 方 可 能 并 不 一 定 会 引 起 漏 洞 的 发 生 ， 但 是 确 必 须 不 能 忽 略 。 分 析 失 败 处 理 的 部 分 分 析 失 败 处 理 的 部 分 合 约 在 事 件 触 发 失 败 的 的 时 候 如 何 响 应 ， 如 一 些 b u g 或 者 发 生 漏 洞 ？ 检 查 合 约 是 否 会 暂 停 或 者 资 金 是 否 有 管 理 的 风 险 。 分 析 代 码 的 通 用 性 分 析 代 码 的 通 用 性 所 有 的 使 用 到 的 库 或 者 工 具 是 否 已 经 安 装 到 了 最 新 的 版 本 ？ 最 新 版 本 的 工 具 打 上 了 最 新 的 补 丁 ， 所 以 不 要 使 用 老 版 本 的 工 具 或 者 库 避 免 造 成 不 必 要 的 风 险 。 分 析 重 用 或 者 重 复 的 代 码 分 析 重 用 或 者 重 复 的 代 码 来 自 之 前 的 发 布 版 本 的 重 复 代 码 ， 可 能 没 有 进 行 很 完 整 严 格 的 代 码 审 计 。 所 以 无 论 如 何 对 于 之 前 没 有 经 过 审 计 的 代 码 的 使 用 必 须 非 常 的 消 息 谨 慎 ， 如 果 一 些 经 过 了 非 常 严 格 审 计 的 代 码 是 可 以 正 常 使 用 的 。 分 析 外 部 调 用 分 析 外 部 调 用 状 态 是 否 在 外 部 调 用 以 后 发 生 改 变 ？ 外 部 调 用 可 能 可 以 操 控 执 行 流 程 ， 所 以 必 须 要 先 保 证 在 外 部 调 用 之 前 进 行 完 成 了 完 整 的 内 部 调 用 过 程 。 非 信 任 的 合 约 是 否 已 经 被 标 记 出 来 ？ 外 部 合 约 应 该 被 清 晰 的 标 记 出 来 表 达 代 码 交 互 存 在 不 安 全 性 。 这 包 括 命 名 约 定 ， 比 如 U n t r u s t e d S e n d e r ， 而 不 是 S e n d e r 。 外 部 调 用 的 错 误 是 否 被 正 确 的 处 理 ？ 如 果 遇 到 异 常 ， 合 约 调 用 的 异 常 将 会 自 动 传 播 ， 如 果 不 处 理 这 种 可 能 性 ( 通 过 检 查 返 回 值 ) ， 合 约 调 用 将 失 败 。 外 部 调 用 是 否 喜 欢 P u s h   O v e r   P u l l ?   确 保 外 部 调 用 被 隔 离 到 它 们 自 己 的 交 易 中 ， 以 最 小 化 外 部 调 用 失 败 的 后 果 。 合 约 余 额 初 始 化 分 析 合 约 余 额 初 始 化 分 析 代 码 是 否 假 设 合 约 将 以 零 余 额 开 始 ? 一 个 合 同 地 址 可 能 会 在 合 同 创 建 之 前 收 到 w e i ， 所 以 不 应 该 有 一 个 初 始 余 额 假 设 。 分 析 链 上 数 据 的 安 全 性 分 析 链 上 数 据 的 安 全 性 确 保 合 约 的 功 能 里 面 不 要 把 上 链 的 时 间 作 为 重 要 的 时 间 戳 ， 因 为 这 些 数 据 是 公 开 的 并 且 一 些 错 误 的 顺 序 还 可 能 导 致 一 些 游 戏 的 另 一 方 会 受 到 损 失 （ 如   石 头 剪 刀 布 的 游 戏 ） 。 分 析 分 析 N - p a r t y 合 约 合 约 需 要 考 虑 参 与 者 在 出 现 放 弃 或 者 不 返 回 任 何 值 的 情 况 下 的 处 理 情 况 。 具 体 的 判 断 具 体 的 判 断 不 变 量 是 否 被 强 制 判 断 了 ? 失 败 的 断 言 将 触 发 断 言 保 护 机 制 。 在 处 理 不 变 量 ( 如 a s s e r t ( t h i s ) ) 时 应 该 使 用 a s s e r t ( ) 。 平 衡 >   =   t o t a l S u p p l y ) ; 是 否 进 行 整 数 除 法 ? 简 单 地 说 ， 所 有 整 数 的 除 法 都 是 四 舍 五 入 的 整 数 。 如 果 这 样 会 导 致 问 题 ， 那 就 用 乘 法 来 代 替 。 如 果 以 太 被 强 行 发 送 会 发 生 什 么 ? 由 于 E T H 可 以 被 强 制 发 送 到 一 个 地 址 ， 请 注 意 任 何 检 查 合 约 余 额 的 不 变 量 代 码 ， 还 有 就 是 当 强 行 进 行 E T H 发 送 的 时 候 对 这 部 分 代 码 的 影 响 。
是 否 使 用 了 t x . o r i g i n ? 不 应 该 使 用 t x . o r i g i n 进 行 授 权 ， 因 为 它 包 含 您 的 地 址 ， 所 以 另 一 个 合 同 可 以 调 用 您 的 合 同 并 被 授 权 ( 如 果 使 用 t x . o r i g i n ， 建 议 使 用 m s g . s e n d e r ( ) ) 。 时 间 戳 依 赖 性 时 间 戳 依 赖 性 在 上 面 的 讲 诉 攻 击 的 那 一 节 中 ， E t h e r e u m 的 时 间 戳 并 不 是 同 步 真 实 的 全 局 时 钟 的 ， 矿 工 是 可 以 利 用 这 个 差 异 的 自 行 修 改 时 间 戳 的 ， 所 以 最 好 不 要 在 关 键 的 地 方 使 用 E t h e r e u m 的 时 间 戳 。 提 供 解 决 方 案 提 供 解 决 方 案 对 发 现 的 漏 洞 提 出 修 复 建 议 并 采 取 进 一 步 措 施 。 如 果 合 约 已 经 被 修 复 ， 要 思 考 合 约 是 否 已 经 安 全 到 可 以 在 主 网 中 使 用 ？ 更 多 的 审 计 和 更 多 的 审 计 和 B u g 的 例 子 的 例 子 在 这 里 ， 我 们 将 从 一 些 历 史 的 审 计 例 子 和 代 码 片 段 中 找 到 一 些 灵 感 ， 您 可 以 将 它 们 应 用 到 您 自 己 的 智 能 合 约 审 计 中 。 智 能 合 约 审 计 领 域 的 实 体 越 来 越 多 ， 其 框 架 的 范 围 主 要 从 关 注 注 释 到 关 注 测 试 为 主 ， 既 有 优 点 也 有 缺 点 。 对 “ u n c h e c k e d - s e n d ” B u g   的 一 个 例 子 ， 看 一 下 的 代 码 片 段 ： 正 如 审 计 步 骤 一 节 中 所 讨 论 的 ， 应 该 始 终 仔 细 审 查 s e n d ( ) 的 使 用 。 在 这 种 情 况 下 ， s e n d ( ) 方 法 可 能 会 失 败 ， 从 而 导 致 赢 家 无 法 获 得 报 酬 。 类 似 的 漏 洞 可 能 存 在 于 拍 卖 这 样 的 用 例 中 ， 其 中 潜 在 的 大 量 的 资 金 处 于 风 险 之 中 。 根 据 E t h e r e u m 文 档 ， “ 如 果 调 用 堆 栈 深 度 为 1 0 2 4 ( 调 用 方 可 以 强 制 这 样 做 ) ， 如 果 接 收 方 耗 尽 了 G A S ， 也 会 发 生 一 样 的 故 障 ” 。 文 档 提 供 的 解 决 方 案 是 “ 始 终 检 查 s e n d 的 返 回 值 ， 或 者 使 用 更 好 的 方 式 : 使 用 收 件 人 取 款 的 模 式 ” 。 基 于 官 方 文 档 的 建 议 ， 给 出 了 下 面 的 方 案 … 在 这 种 情 况 下 ， 对 代 码 进 行 重 构 ， 使 失 败 的 发 送 一 次 只 影 响 一 方 。 C o n s e n S y s 最 佳 实 践 框 架 提 供 了 许 多 “ g o o d   a n d   b a d   c o d e ” 示 例 ， 它 们 涵 盖 了 已 知 的 攻 击 。 例 如 ， 上 面 已 经 指 出 ， 注 释 应 该 被 锁 定 到 一 个 特 定 的 编 译 器 版 本 ， 以 避 免 使 用 不 同 的 版 本 来 部 署 合 约 ， 这 可 能 会 有 更 i f   ( g a m e H a s E n d e d   & &   ! ( p r i z e P a i d O u t ) )   {               w i n n e r . s e n d ( 1 0 0 0 ) ;   / /   s e n d   a   p r i z e   t o   t h e   w i n n e r                   p r i z e P a i d O u t   =   T r u e ; } i f   ( g a m e H a s E n d e d   & &   ! ( p r i z e P a i d O u t ) )   {               a c c o u n t s [ w i n n e r ]   + =   1 0 0 0               a c c o u n t s [ l o s e r ]   + =   1 0               p r i z e P a i d O u t   =   T r u e ; } . . . f u n c t i o n   w i t h d r a w ( a m o u n t )   {               i f   ( a c c o u n t s [ m s g . s e n d e r ]   > =   a m o u n t )   {                             m s g . s e n d e r . s e n d ( a m o u n t ) ;                             a c c o u n t s [ m s g . s e n d e r ]   - =   a m o u n t ;               } } p r a g m a   s o l i d i t y   ^ 0 . 4 . 4 ;   / /   b a d p r a g m a   s o l i d i t y   0 . 4 . 4 ;   / /   g o o d
大 的 未 发 现 b u g 的 风 险 。 还 有 此 处 ， 代 码 中 对 于 使 用 链 的 时 间 戳 的 使 用 的 地 方 会 被 标 记 出 来 ， 对 于 时 间 戳 的 使 用 必 须 非 常 的 谨 慎 细 致 。 我 们 鼓 励 您 分 析 由 c o n s e n y s u s 和 b o u n t y o n e 推 荐 的 许 多 其 他 示 例 。 作 为 补 充 的 审 计 工 具 作 为 补 充 的 审 计 工 具 完 整 的 审 计 可 能 包 括 文 档 和 用 例 的 测 试 ， 用 例 由 用 户 行 为 来 解 释 。 在 这 种 情 况 下 ， 应 该 使 用 行 为 驱 动 开 发 ( B D D ) 实 践 ， 它 类 似 于 开 发 的 智 能 合 约 的 功 能 测 试 ， 但 是 更 关 注 安 全 性 而 不 是 功 能 性 。 为 了 使 用 t r u f f l e 来 审 计 E t h e r e u m 智 能 合 约 ， 使 用 标 准 的 n p m   i n s t a l l   - g   t r u f f l e 来 安 装 框 架 ， 然 后 使 用 t r u f f l e   i n i t 来 创 建 项 目 结 构 ( 假 设 您 之 前 已 经 安 装 了 n o d e . j s ) 。 这 个 过 程 的 重 点 是 在 导 入 合 约 和 库 用 来 检 查 测 试 条 件 之 后 ， 在 测 试 网 络 中 编 写 测 试 并 执 行 它 们 。 您 可 以 使 用 通 常 的 a s s e r t ( ) 或 测 试 框 架 ， 如 C h a i 。 最 后 ， 只 需 围 绕 我 们 构 建 的 步 骤 进 行 测 试 ， 例 如 检 查 溢 位 和 下 溢 位 、 测 试 函 数 的 极 限 、 确 保 返 回 值 的 格 式 正 确 ， 等 等 。 许 多 以 智 能 合 约 为 中 心 的 分 布 式 应 用 程 序 都 实 现 了 各 种 软 件 工 具 来 辅 助 审 计 实 践 。 这 些 工 具 ， 例 如 针 对 漏 洞 的 自 动 代 码 检 查 ， 可 以 作 为 一 种 补 充 ， 但 不 应 该 取 代 正 式 的 审 计 过 程 。 如 前 所 述 ， M y t h r i l 是 一 个 选 项 ， 它 可 以 用 来 检 测 u i n t 溢 出 和 下 溢 。 另 一 个 工 具 是 E t h e r s c r a p e ， 在 这 里 用 于 在 使 用 s e n d ( ) 时 对 重 入 性 b u g 进 行 实 时 E t h e r e u m 合 约 的 侦 听 。 还 有 像 B o u n t y o n e 这 样 的 分 散 审 计 平 台 ， 当 工 具 不 足 时 ， 它 们 会 将 公 司 和 自 由 审 计 师 聚 合 在 一 起 。 提 供 后 续 步 骤 提 供 后 续 步 骤 根 据 发 现 的 漏 洞 的 严 重 程 度 ， 建 议 将 重 点 放 在 合 同 的 某 些 方 面 进 行 改 进 。 您 还 可 以 建 议 使 用 b u g   b o u n t y 和 持 续 性 渗 透 测 试 ， 这 是 在 合 约 发 布 之 前 发 现 其 他 b u g 或 问 题 的 有 效 方 法 ， 并 提 供 E t h e r e u m 赏 金 的 模 式 。 请 注 意 ， 新 添 加 的 合 约 将 使 它 们 处 于 未 经 审 计 的 状 态 ， 因 为 代 码 重 构 可 能 会 引 入 新 的 漏 洞 。 最 终 会 造 成 合 约 新 的 问 题 — — 无 论 是 在 公 共 审 计 还 是 私 人 审 计 中 。 C o n c l u s i o n 本 指 南 提 供 的 审 计 大 纲 一 般 适 用 于 各 类 智 能 合 约 ， 但 针 对 的 是 E t h e r e u m 合 约 ， 这 是 目 前 最 流 行 的 合 约 ， 因 此 交 易 的 资 金 最 多 ， 将 它 们 置 于 最 高 的 攻 击 风 险 和 最 大 的 审 计 需 求 。 现 在 您 已 经 拥 有 了 执 行 智 能 合 约 审 计 的 工 具 、 资 源 和 专 有 技 术 — 继 续 提 高 区 块 链 空 间 的 安 全 性 和 可 信 度 。 如 果 你 有 兴 趣 获 得 支 付 审 计 智 能 合 同 ， 或 如 果 你 需 要 你 的 智 能 合 同 审 计 可 以 看 看   B o u n t y o n e . i o 进 一 步 的 阅 读 进 一 步 的 阅 读 由 于 区 块 链 技 术 仍 然 是 一 个 新 兴 的 、 快 速 发 展 的 领 域 ， 因 此 没 有 用 于 全 面 解 决 方 案 的 首 选 资 源 ， 因 此 我 们 建 议 使 用 各 种 资 源 来 增 强 您 对 本 指 南 的 理 解 。 “ S m a r t   C o n t r a c t   S e c u r i t y   B e s t   P r a c t i c e s ”   b y   C o n s e n S y s “ A u d i t   t h e   D e p l o y e d   S m a r t   C o n t r a c t ,   N o t   G i t H u b ! ”   b y   C o n s e n S y s “ T h e   u l t i m a t e   g u i d e   t o   a u d i t   a   S m a r t   C o n t r a c t   +   M o s t   d a n g e r o u s   a t t a c k s   i n   S o l i d i t y ”   b y   M e r u n a s   G r i n c a l a i t i s “ D e v e l o p i n g   s m a r t   c o n t r a c t s :   s m a r t   c o n t r a c t   a u d i t   b e s t   p r a c t i c e s ”   b y   S M A R T Y M “ T h e   I m p o r t a n c e   O f   A u d i t s   A n d   S e c u r e   C o d i n g   F o r   S m a r t   C o n t r a c t s ”   o n   E T H N e w s u i n t 2 5 6   c o n s t a n t   p r i v a t e   s a l t   =     b l o c k . t i m e s t a m p ;   / /   w a r n i n g
“ O n w a r d   w i t h   E t h e r e u m   S m a r t   C o n t r a c t   S e c u r i t y ”   b y   Z e p p e l i n   S o l u t i o n s “ E t h e r C a m p ’ s   H a c k e r   G o l d   ( H K G )   p u b l i c   c o d e   a u d i t ”   b y   Z e p p e l i n   S o l u t i o n s S o l i d i f i e d :   A   F u l l - a u d i t   S e r v i c e   f o r   S m a r t   C o n t r a c t s S m a r t D e c :   T o o l - d r i v e n   S m a r t   C o n t r a c t   S e c u r i t y   P l a t f o r m H a r v a r d   I n n o v a t i o n   L a b   A u d i t s   a t   E x p e r f y S e c u r i t y   A u d i t   p e r f o r m e d   o n   E t h e r e u m   C l a s s i c   M u l t i s i g   W a l l e t   b y   D e x a r a n “ S c a n n i n g   L i v e   E t h e r e u m   C o n t r a c t s   f o r   t h e   ‘ U n c h e c k e d - S e n d ’   B u g ”   b y   H a c k i n g ,   D i s t r i b u t e d * 参 考 来 源 ： 参 考 来 源 ： b l o c k g e e k s ， ， T i m Y e u n g 编 译 整 理 ， 转 载 请 注 明 来 自 编 译 整 理 ， 转 载 请 注 明 来 自   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. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理