搜索

[13822] 2019-03-03_以太坊链审计报告之go-ethereum安全审计

文档创建者：s7ckTeam
浏览次数：29
最后更新：2025-01-18
2019-03-03_以太坊链审计报告之go-ethereum安全审计 以 太 坊 链 审 计 报 告 之 g o - e t h e r e u m 安 全 审 计 B U G X   F r e e B u f   2 0 1 9 - 0 3 - 0 3 近 期 ， 以 太 坊 近 期 ， 以 太 坊 公 开 了 两 份 审 计 报 告 ， 玄 猫 安 全 团 队 第 一 时 间 对 其 进 行 了 翻 译 工 作 。 此 为 第 一 篇 公 开 了 两 份 审 计 报 告 ， 玄 猫 安 全 团 队 第 一 时 间 对 其 进 行 了 翻 译 工 作 。 此 为 第 一 篇 《 《 G o   E t h e r e u m   S e c u r i t y   R e v i e w 》 即 》 即 ， 此 审 计 报 告 完 成 时 间 为 ， 此 审 计 报 告 完 成 时 间 为 2 0 1 7 年 年 4 月 月 2 5 日 。 如 果 您 正 在 使 用 的 是 较 旧 版 本 的 日 。 如 果 您 正 在 使 用 的 是 较 旧 版 本 的   ， 强 烈 建 议 升 级 至 最 新 版 本 ， 以 免 遭 受 不 必 要 的 损 失 。 ， 强 烈 建 议 升 级 至 最 新 版 本 ， 以 免 遭 受 不 必 要 的 损 失 。 1 . 1 .   概 述 概 述 在 2 0 1 7 年 4 月 对 以 太 坊 的 G O 语 言 实 现 进 行 了 代 码 审 计 。 审 计 结 果 表 明 代 码 质 量 是 比 较 高 的 ， 且 开 发 者 具 备 一 定 的 安 全 意 识 。 在 审 计 过 程 中 没 有 发 现 严 重 的 安 全 漏 洞 。 最 严 重 的 一 个 漏 洞 是 当 客 户 端 的 R P C   H T T P 开 启 时 ， w e b 浏 览 器 同 源 策 略 的 绕 过 。 其 他 发 现 的 问 题 并 没 有 直 接 的 攻 击 向 量 可 供 利 用 ， 报 告 的 其 他 部 分 为 通 用 的 评 论 和 建 议 。 1 . 2 .   目 录 目 录 1 . 2 . 1 .   P 2 P 和 网 络 和 网 络 已 知 问 题 内 存 分 配 过 大 1 . 2 . 2 .   交 易 和 区 块 处 理 交 易 和 区 块 处 理 零 除 风 险 代 码 复 杂 性 1 . 2 . 3 .   I P C 和 和 R P C 接 口 接 口 C O R S : 在 H T T P   R P C 中 默 认 允 许 所 有 域 1 . 2 . 4 .   J a v a s c r i p t 引 擎 和 引 擎 和 A P I 伪 随 机 数 生 成 器 的 弱 随 机 种 子 1 . 2 . 5 .   E V M 实 现 实 现 滥 用 导 致 廉 价 的 内 存 消 耗 在 挖 矿 区 块 中 脆 弱 的 负 值 保 护 1 . 2 . 6 .   杂 项 杂 项 在 挖 矿 代 码 中 的 条 件 竞 争 g o - e t h e r e u m 2 0 1 7 - 0 4 - 2 5 _ G e t h - a u d i t _ T r u e s e c g o - e t h e r e u m T r u e S e c i n t P o o l
许 多 第 三 方 依 赖 1 . 3 .   结 果 细 节 结 果 细 节 1 . 3 . 1 .   P 2 P 和 网 络 和 网 络 对 和 网 络 部 分 的 代 码 进 行 了 审 计 ， 主 要 关 注 ： 安 全 的 通 道 实 现   -   握 手 和 共 享 的 实 现 安 全 的 通 道 属 性   -   保 密 性 和 完 整 性 消 息 的 序 列 化 节 点 发 现 对 于 D O S 的 防 范 ： 超 时 和 消 息 大 小 限 制 还 通 过 g o - f u z z 对 R L P 解 码 进 行 f u z z ， 没 有 发 现 节 点 崩 溃 的 现 象 。 1 . 3 . 1 . 1 .   已 知 问 题 已 知 问 题 虽 然 在 中 实 现 得 比 较 好 ， 但 是 由 于 在 对 称 加 密 算 法 中 的 缺 陷 ， 使 得 通 道 缺 乏 保 密 性 。 这 个 是 已 知 的 问 题 。 ( 详 情 参 考 和 ) 。 由 于 现 在 通 道 只 传 输 公 开 的 区 块 链 数 据 ， 这 个 问 题 暂 时 不 必 解 决 。 另 外 一 个 一 直 存 在 的 问 题 是 在 安 全 的 通 道 等 级 ( 在 以 太 坊 开 发 者 讨 论 中 提 到 过 一 个 默 认 的 基 于 时 间 的 重 放 保 护 机 制 ) 中 缺 乏 。 建 议 协 议 的 下 一 个 版 本 通 过 控 制 消 息 数 量 来 实 现 。 1 . 3 . 1 . 2 .   内 存 分 配 过 大 内 存 分 配 过 大 在 ,   发 现 两 个 用 户 可 控 的 ， 过 大 的 内 存 分 配 。 没 有 发 现 可 以 利 用 的 D O S 情 景 ， 但 是 建 议 恰 当 地 对 其 进 行 验 证 。 当 读 取 协 议 消 息 时 ， 大 小 的 内 存 可 以 被 分 配 ： 由 于 以 太 坊 协 议 中 ， 对 消 息 大 小 的 最 大 值 定 义 为 , 推 荐 内 存 分 配 也 定 义 为 相 同 大 小 。 在 过 程 中 ， 可 以 给 握 手 信 息 分 配 大 小 内 存 。 除 非 握 手 消 息 确 实 包 含 大 小 的 数 据 ， 建 议 对 握 手 消 息 的 大 小 作 限 制 。 1 . 3 . 2 .   交 易 和 区 块 处 理 交 易 和 区 块 处 理 对 交 易 和 区 块 下 载 ， 区 块 处 理 的 部 分 进 行 了 代 码 审 计 ， 主 要 关 注 ： 由 内 存 分 配 ， 和 导 致 的 拒 绝 服 务 T r u e S e c p 2 p s e c r e t s T r u e S e c 共 享 s e c r e t s e n c r y p t i o n   h a n d s h a k e t w o - t i m e - p a d [ h t t p s : / / g i t h u b . c o m / e t h e r e u m / d e v p 2 p / i s s u e s / 3 2 ] ( h t t p s : / / g i t h u b . c o m / e t h e r e u m / d e v p 2 p / i s s u e s / 3 2 ) [ h t t p s : / / g i t h u b . c o m / e t h e r e u m / g o - e t h e r e u m / i s s u e s / 1 3 1 5 ] ( h t t p s : / / g i t h u b . c o m / e t h e r e u m / g o - e t h e r e u m / i s s u e s / 1 3 1 5 ) 重 放 保 护 T r u e S e c 重 放 保 护 r l p x . g o T r u e S e c T r u e S e c 1 6 . 8 M B f u n c   ( r w   * r l p x F r a m e R W )   R e a d M s g ( )   ( m s g   M s g ,   e r r   e r r o r )   {         . . .         f s i z e   : =   r e a d I n t 2 4 ( h e a d b u f )         / /   i g n o r e   p r o t o c o l   t y p e   f o r   n o w         / /   r e a d   t h e   f r a m e   c o n t e n t         v a r   r s i z e   =   f s i z e   / /   f r a m e   s i z e   r o u n d e d   u p   t o   1 6   b y t e   b o u n d a r y         i f   p a d d i n g   : =   f s i z e   %   1 6 ;   p a d d i n g   >   0   {         r s i z e   + =   1 6   -   p a d d i n g         }         / /   T R U E S E C :   u s e r - c o n t r o l l e d   a l l o c a t i o n   o f   1 6 . 8 M B :         f r a m e b u f   : =   m a k e ( [ ] b y t e ,   r s i z e )         . . . } 1 0 M B T r u e S e c e n c r y p t i o n   h a n d s h a k e 6 5 K B f u n c   r e a d H a n d s h a k e M s g ( m s g   p l a i n D e c o d e r ,   p l a i n S i z e   i n t ,                                             p r v   * e c d s a . P r i v a t e K e y ,   r   i o . R e a d e r )   ( [ ] b y t e ,   e r r o r )   {         . . .         / /   C o u l d   b e   E I P - 8   f o r m a t ,   t r y   t h a t .         p r e f i x   : =   b u f [ : 2 ]         s i z e   : =   b i n a r y . B i g E n d i a n . U i n t 1 6 ( p r e f i x )         i f   s i z e   <   u i n t 1 6 ( p l a i n S i z e )   {                 r e t u r n   b u f ,   f m t . E r r o r f ( " s i z e   u n d e r f l o w ,   n e e d   a t   l e a s t   . . . " )         }         / /   T R U E S E C :   u s e r - c o n t r o l l e d   a l l o c a t i o n   o f   6 5 K B :         b u f   =   a p p e n d ( b u f ,   m a k e ( [ ] b y t e ,   s i z e - u i n t 1 6 ( p l a i n S i z e ) + 2 ) . . . )         . . . } 6 5 K B T r u e S e c T r u e S e c g o r o u n t i n e 泄 露 I O 操 作
同 步 问 题 1 . 3 . 2 . 1 .   零 除 风 险 零 除 风 险 在 G o 中 ， 除 以 零 会 导 致 一 个 。 在 的 方 法 中 ， 是 否 出 现 零 除 取 决 于 调 用 者 正 确 调 用 : 没 有 发 现 可 以 导 致 节 点 崩 溃 的 利 用 方 式 ， 但 是 仅 仅 依 赖 调 用 者 来 保 证 不 为 零 是 不 安 全 的 。 建 议 所 有 非 常 数 的 被 除 数 应 该 在 进 行 除 法 之 前 进 行 检 查 。 1 . 3 . 2 . 2 .   代 码 复 杂 性 代 码 复 杂 性 发 现 交 易 和 区 块 处 理 的 代 码 部 分 相 对 其 他 部 分 代 码 来 说 更 加 复 杂 ， 更 难 阅 读 和 审 计 。 这 部 分 的 方 法 相 对 更 大 ， 在 ,   和 中 有 超 过 2 0 0 行 的 代 码 。 同 步 的 实 现 有 时 候 会 结 合 互 斥 锁 和 通 道 消 息 。 比 如 说 ， 结 构 体 定 义 需 要 6 0 行 代 码 ， 包 含 3 个 互 斥 锁 和 1 1 个 通 道 。 难 以 阅 读 和 理 解 的 代 码 是 滋 生 安 全 问 题 的 肥 沃 土 壤 。 特 别 是 包 中 存 在 一 些 代 码 量 大 的 方 法 ， 结 构 体 ， 接 口 与 扩 展 的 互 斥 锁 和 通 道 。 建 议 花 一 些 功 夫 重 构 和 简 化 代 码 ， 来 防 止 未 来 安 全 问 题 的 发 生 。 1 . 3 . 3 .   I P C 和 和 R P C 接 口 接 口 对 I P C 和 R P C ( H T T P 和 W e b s o c k e t ) 接 口 进 行 了 审 计 ， 关 注 于 潜 在 的 访 问 控 制 问 题 ， 从 公 共 A P I 提 权 到 私 有 A P I ( a d m i n ,   d e b u g 等 ) 的 问 题 。 1 . 3 . 3 . 1 .   C O R S : 在 默 认 的 在 默 认 的 H T T P   R P C 里 允 许 所 有 域 里 允 许 所 有 域 接 口 可 以 通 过 的 参 数 开 启 。 这 会 启 动 一 个 w e b 服 务 器 ， 用 于 监 听 8 5 4 5 端 口 的 H T T P 请 求 ， 且 任 何 人 都 可 以 对 其 进 行 访 问 。 由 于 潜 在 暴 露 端 口 的 可 能 性 ( 比 如 连 接 到 不 可 信 的 网 络 ) ， 默 认 只 有 公 共 A P I 允 许 H T T P R P C 接 口 。 同 源 策 略 和 默 认 的 跨 域 资 源 共 享 ( C O R S ) 配 置 限 制 了 w e b 浏 览 器 的 访 问 ， 并 且 限 制 通 过 X S S 攻 击 R P C   A P I 的 可 能 性 。 能 够 通 过 来 配 置 ， 也 可 以 通 过 逗 号 分 隔 来 配 置 多 个 域 名 ， 或 者 配 置 , 使 得 所 有 的 域 都 可 以 通 过 标 准 w e b 浏 览 器 访 问 。 如 果 没 有 进 行 配 置 ， C O R S 头 将 不 会 被 设 置 — — 并 且 浏 览 器 不 会 允 许 跨 域 请 求 ： 由 于 缺 少 C O R S 头 ， 禁 止 跨 域 请 求 。 但 是 ， 在 c o m m i t   5 e 2 9 f 4 b 中 ( 从 2 0 1 7 年 4 月 1 2 日 开 始 ) — — 同 源 策 略 可 以 被 绕 过 ， R P C 可 以 从 w e b 浏 览 器 被 访 问 。 H T T P   R P C 的 C O R S 配 置 被 改 变 为 处 理 的 字 符 数 组 — — 而 不 是 在 内 部 作 为 一 个 单 引 号 分 隔 的 字 符 串 传 输 。 在 此 之 前 ， 逗 号 分 隔 的 字 符 串 被 分 成 一 个 数 组 ， 在 实 例 化 中 间 件 之 前 ( 请 见 L i s t i n g   1 ) 。 w i t h 默 认 值 ( 防 用 户 没 有 显 性 配 置 任 何 设 置 时 ， 如 使 用 - - r p c c o r s d o m a i n ) 空 字 符 串 ， 这 会 导 致 一 个 字 符 数 组 包 含 一 个 空 字 符 串 。 在 之 后 ， 默 认 值 是 一 个 空 的 数 组 ， 这 个 数 组 传 递 给 位 于 的 中 间 件 ( 请 见 L i s t i n g   2 ) 。 中 间 件 随 后 检 查 数 组 的 长 度 ( 请 见   L i s t i n g   3 ) 。 如 果 长 度 为 0 ， 在 这 里 即 代 表 空 数 组 ， c o r s 中 间 件 将 会 变 成 默 认 值 并 且 允 许 所 有 域 。 p a n i c d o w n l o a d e r . g o q o s R e d u c e C o n f i d e n c e f u n c   ( d   * D o w n l o a d e r )   q o s R e d u c e C o n f i d e n c e ( )   {         p e e r s   : =   u i n t 6 4 ( d . p e e r s . L e n ( ) )         . . .         / /   T R U E S E C :   n o   z e r o - c h e c k   o f   p e e r s   h e r e         c o n f   : =   a t o m i c . L o a d U i n t 6 4 ( & d . r t t C o n f i d e n c e )   *   ( p e e r s   -   1 )   /   p e e r s         . . . } T r u e S e c d . p e e r s . L e n ( ) T r u e S e c T r u e S e c f e t c h e r . g o d o w n l o a d e r . g o b l o c k c h a i n . g o D o w n l o a d e r e t h T r u e S e c T r u e S e c H T T P   R P C g e t h - - r p c a l l o w e d   o r i g i n s - - r p c c o r s d o m a i n   " d o m a i n " - -   r p c c o r s d o m a i n   " d o m a i n 1 , d o m a i n 2 " 为 - - r p c c o r s d o m a i n   " * " C r o s s - O r i g i n   R e q u e s t   B l o c k e d :   T h e   S a m e   O r i g i n   P o l i c y   d i s a l l o w s   r e a d i n g   t h e   r e m o t e   r e s o u r c e   a t   h t t p : / / l o c a l h o s t : 8 5 4 5 / .   ( R e a s o n :   C O R S   h e a d e r   ' A c c e s s - C o n t r o l - A l l o w - O r i g i n   m i s s i n g ' ) . F i r e f o x a l l o w e d   o r i g i n s c o r s c o m m i t   5 e 2 9 f 4 b n e w C o r s H a n d l e r c o r s c o r s a l l o w e d   o r i g i n s
这 个 问 题 可 以 通 过 运 行 来 复 现 ， 不 需 要 指 定 任 何 , 并 检 查 前 后 带 有 请 求 的 C O R S 头 。 第 二 个 输 出 的 值 得 注 意 。 注 意 即 使 是 改 变 之 前 ， 这 里 也 是 这 样 。 如 果 不 是 因 为 字 符 串 分 割 导 致 在 没 有 解 释 输 入 值 ( 一 个 数 组 包 含 一 个 空 字 符 串 ) 为 空 。 这 个 问 题 可 以 通 过 下 面 的 代 码 来 利 用 ， 从 任 意 域 来 执 行 ( 甚 至 可 以 是 本 地 文 件 系 统 ， 即 无 效 或 者 n u l l o r i g i n ) 建 议 将 C O R S 的 默 认 配 置 进 行 显 性 的 限 制 ， ( 如 将 设 置 为 , 或 根 本 不 设 置 C O R S 头 ) ， 而 不 是 依 赖 外 界 来 选 择 一 个 正 常 ( 安 全 ) 的 默 认 设 置 L i s t i n g   1 :   r p c / h t t p . g o ,   b e f o r e   c o m m i t   5 e 2 9 f 4 b e 9 3 5 f f 2 2 7 b b f 0 7 a 0 c 6 e 8 0 e 8 8 0 9 f 5 e 0 2 0 2 L i s t i n g   2 :   r p c / h t t p . g o ,   a f t e r   c o m m i t   5 e 2 9 f 4 b e 9 3 5 f f 2 2 7 b b f 0 7 a 0 c 6 e 8 0 e 8 8 0 9 f 5 e 0 2 0 2 L i s t i n g   3 :   v e n d o r / g i t h u b . c o m / r s / c o r s / c o r s . g o L i s t i n g   4 :   C O R S   h e a d e r s   b e f o r e   c o m m i t   5 e 2 9 f 4 b L i s t i n g   5 :   C O R S   h e a d e r s   a f t e r   c o m m i t   5 e 2 9 f 4 b 1 . 3 . 4 .   J a v a S c r i p t 引 擎 和 引 擎 和 A P I J a v a S c r i p t 引 擎 o t t o 是 G o   E t h e r e u m 中 的 C L I 脚 本 接 口 ， 一 个 I P C / R P C 接 口 的 终 端 交 互 解 释 器 ， 也 是 私 有 的 一 部 分 。 考 虑 到 其 代 码 有 限 ， 在 审 计 中 优 先 级 比 较 低 。 1 . 3 . 4 . 1 .   伪 随 机 数 生 成 的 弱 随 机 数 种 子 在 中 对 伪 随 机 数 生 成 器 进 行 初 始 化 的 时 候 ， 如 果 ( 返 回 密 码 学 安 全 地 伪 随 机 数 ) 方 法 失 败 ， 随 机 数 种 子 将 会 依 赖 于 当 时 的 U N I X 时 间 。 在 l i s t i n g   6 中 ， 这 个 弱 随 机 数 种 子 将 会 被 用 于 初 始 化 的 实 例 。 这 个 没 有 被 用 于 任 何 敏 感 信 息 ， 而 且 显 然 也 不 应 该 被 用 作 于 密 码 学 安 全 的 , 但 是 由 于 用 户 可 以 通 过 命 令 行 运 行 脚 本 来 使 用 ， 使 其 失 败 而 不 是 制 造 出 弱 随 机 数 种 子 显 然 是 更 安 全 的 。 从 中 得 到 错 误 意 味 着 其 他 地 方 可 能 也 存 在 问 题 。 即 使 是 得 到 了 安 全 的 随 机 数 种 子 ， 在 文 档 中 也 应 该 指 出 并 不 是 密 码 学 安 全 的 。 L i s t i n g   6 :   i n t e r n a l / j s r e / j s r e . g o g e t h   - r p c a l l o w e d   o r i g i n s c o m m i t   5 e 2 9 f 4 b O P T I O N A c c e s s - C o n t r o l - A l l o w - O r i g i n c o r s J a v a S c r i p t v a r   x h r   =   n e w   X M L H t t p R e q u e s t ( ) ; x h r . o p e n ( " P O S T " ,   " h t t p : / / l o c a l h o s t : 8 5 4 5 " ,   t r u e ) ; x h r . s e t R e q u e s t H e a d e r ( " C o n t e n t - T y p e " ,   " a p p l i c a t i o n / j s o n " ) ; x h r . o n r e a d y s t a t e c h a n g e   =   f u n c t i o n ( )   {         i f   ( x h r . r e a d y S t a t e   = =   X M L H t t p R e q u e s t . D O N E   & &   x h r . s t a t u s   = =   2 0 0 )   {         c o n s o l e . l o g ( " M o d u l e s :   "   +   x h r . r e s p o n s e T e x t ) ;         } } x h r . s e n d ( ' { " j s o n r p c " : " 2 . 0 " , " m e t h o d " : " r p c _ m o d u l e s " , " p a r a m s " : [ ] , " i d " : 6 7 } ' ) T r u e S e c a l l o w e d   o r i g i n l o c a l h o s t 1 6 5   f u n c   n e w C o r s H a n d l e r ( s r v   * S e r v e r ,   c o r s S t r i n g   s t r i n g )   h t t p . H a n d l e r   { 1 6 6           v a r   a l l o w e d O r i g i n s   [ ] s t r i n g 1 6 7           f o r   _ ,   d o m a i n   : =   r a n g e   s t r i n g s . S p l i t ( c o r s S t r i n g ,   " , " )   { 1 6 8                   a l l o w e d O r i g i n s   =   a p p e n d ( a l l o w e d O r i g i n s ,   s t r i n g s . T r i m S p a c e ( d o m a i n ) ) 1 6 9           } 1 7 0           c   : =   c o r s . N e w ( c o r s . O p t i o n s { 1 7 1                   A l l o w e d O r i g i n s :   a l l o w e d O r i g i n s , 1 7 2                   A l l o w e d M e t h o d s :   [ ] s t r i n g { " P O S T " ,   " G E T " } , 1 7 3                   M a x A g e :   6 0 0 , 1 7 4                   A l l o w e d H e a d e r s :   [ ] s t r i n g { " * " } , 1 7 5           } ) 1 7 6           r e t u r n   c . H a n d l e r ( s r v ) 1 7 7   } 1 6 4   f u n c   n e w C o r s H a n d l e r ( s r v   * S e r v e r ,   a l l o w e d O r i g i n s   [ ] s t r i n g )   h t t p . H a n d l e r   { 1 6 5           c   : =   c o r s . N e w ( c o r s . O p t i o n s { 1 6 6                   A l l o w e d O r i g i n s :   a l l o w e d O r i g i n s , 1 6 7                   A l l o w e d M e t h o d s :   [ ] s t r i n g { " P O S T " ,   " G E T " } , 1 6 8                   M a x A g e :   6 0 0 , 1 6 9                   A l l o w e d H e a d e r s :   [ ] s t r i n g { " * " } , 1 7 0           } ) 1 7 1           r e t u r n   c . H a n d l e r ( s r v ) 1 7 2   } 1 1 3           / /   A l l o w e d   O r i g i n s 1 1 4           i f   l e n ( o p t i o n s . A l l o w e d O r i g i n s )   = =   0   { 1 1 5           / /   D e f a u l t   i s   a l l   o r i g i n s 1 1 6           c . a l l o w e d O r i g i n s A l l   =   t r u e 1 1 7           } $   c u r l   - i   - X   O P T I O N S         - H   " A c c e s s - C o n t r o l - R e q u e s t - M e t h o d :   P O S T "         - H   " A c c e s s - C o n t r o l - R e q u e s t - H e a d e r s :   c o n t e n t - t y p e "         - H   " O r i g i n :   f o o b a r "   h t t p : / / l o c a l h o s t : 8 5 4 5 H T T P / 1 . 1   2 0 0   O K V a r y :   O r i g i n V a r y :   A c c e s s - C o n t r o l - R e q u e s t - M e t h o d V a r y :   A c c e s s - C o n t r o l - R e q u e s t - H e a d e r s D a t e :   T u e ,   2 5   A p r   2 0 1 7   0 8 : 4 9 : 1 0   G M T C o n t e n t - L e n g t h :   0 C o n t e n t - T y p e :   t e x t / p l a i n ;   c h a r s e t = u t f - 8 $   c u r l   - i   - X   O P T I O N S         - H   " A c c e s s - C o n t r o l - R e q u e s t - M e t h o d :   P O S T "         - H   " A c c e s s - C o n t r o l - R e q u e s t - H e a d e r s :   c o n t e n t - t y p e "         - H   " O r i g i n :   f o o b a r "   h t t p : / / l o c a l h o s t : 8 5 4 5 H T T P / 1 . 1   2 0 0   O K A c c e s s - C o n t r o l - A l l o w - H e a d e r s :   C o n t e n t - T y p e A c c e s s - C o n t r o l - A l l o w - M e t h o d s :   P O S T A c c e s s - C o n t r o l - A l l o w - O r i g i n :   f o o b a r A c c e s s - C o n t r o l - M a x - A g e :   6 0 0 V a r y :   O r i g i n V a r y :   A c c e s s - C o n t r o l - R e q u e s t - M e t h o d V a r y :   A c c e s s - C o n t r o l - R e q u e s t - H e a d e r s D a t e :   T u e ,   2 5   A p r   2 0 1 7   0 8 : 4 7 : 2 4   G M T C o n t e n t - L e n g t h :   0 C o n t e n t - T y p e :   t e x t / p l a i n ;   c h a r s e t = u t f - 8 d e b u g   A P I j s r e c r y p t o / r a n d c r y p t o / r a n d m a t h / r a n d P R N G R N G P R N G c r y p t o / r a n d P R N G 8 4   / /   r a n d o m S o u r c e   r e t u r n s   a   p s e u d o   r a n d o m   v a l u e   g e n e r a t o r . 8 5   f u n c   r a n d o m S o u r c e ( )   * r a n d . R a n d   { 8 6           b y t e s   : =   m a k e ( [ ] b y t e ,   8 ) 8 7           s e e d   : =   t i m e . N o w ( ) . U n i x N a n o ( )   / /   不 是 完 全 随 机 8 8           i f   _ ,   e r r   : =   c r a n d . R e a d ( b y t e s ) ;   e r r   = =   n i l   { 8 9                   s e e d   =   i n t 6 4 ( b i n a r y . L i t t l e E n d i a n . U i n t 6 4 ( b y t e s ) ) 9 0           } 9 1 9 2           s r c   : =   r a n d . N e w S o u r c e ( s e e d ) 9 3           r e t u r n   r a n d . N e w ( s r c ) 9 4   }
1 . 3 . 5 .   以 太 坊 虚 拟 机 以 太 坊 虚 拟 机 ( E V M ) 的 实 现 的 实 现 对 以 太 坊 虚 拟 机 ( E V M ) 部 分 的 代 码 进 行 了 审 计 ， 主 要 关 注 由 滥 用 内 存 分 配 和 I O 操 作 而 引 起 的 拒 绝 服 务 。 E V M 解 释 器 ( r u n t i m e / f u z z . g o ) 存 在 一 个 的 入 口 点 ， 这 个 入 口 点 成 功 地 被 使 用 。 确 认 了 其 功 能 性 ， 但 是 在 f u z z i n g 过 程 中 没 有 发 现 有 影 响 的 漏 洞 。 1 . 3 . 5 . 1 .   滥 用 i n t P o o l 导 致 的 廉 价 的 内 存 消 耗 由 于 性 能 的 原 因 ， 在 E V M 的 执 行 过 程 中 ， 使 用 大 整 数 会 进 入 整 数 池 ( i n t p o o l . g o ) 。 由 于 没 有 对 整 数 池 大 小 进 行 限 制 ， 使 用 特 定 的 组 合 ， 将 导 致 意 外 出 现 廉 价 使 用 内 存 的 情 况 。 比 如 说 ， 合 约 代 码 将 会 消 耗 3 . 3 3 e 9 单 位 的 g a s ( 在 当 时 大 约 价 值 3 3 0 0 U S D ) ， 分 配 1 0 G 内 存 给 。 以 太 坊 虚 拟 机 中 分 配 1 0 G B 内 存 的 预 期 成 本 是 1 . 9 5 e 1 4 ( 大 约 1 9 5 , 0 0 0 , 0 0 0 U S D ) 当 产 生 时 ， 会 导 致 拒 绝 服 务 攻 击 。 但 是 共 识 算 法 对 进 行 了 限 制 ， 能 够 阻 止 该 拒 绝 服 务 攻 击 的 发 生 。 但 是 考 虑 到 攻 击 者 可 能 发 现 一 种 更 有 效 的 填 充 的 方 式 ， 或 者 增 长 过 于 迅 速 等 ， 仍 然 推 荐 对 的 大 小 进 行 限 制 。 1 . 3 . 5 . 2 .   在 挖 矿 区 块 中 脆 弱 的 负 值 保 护 在 挖 矿 区 块 中 脆 弱 的 负 值 保 护 账 户 之 间 以 太 坊 的 转 账 是 通 过 里 的 方 法 进 行 的 。 输 入 是 一 个 指 向 有 符 号 类 型 的 指 针 ， 可 能 存 在 负 的 引 用 值 。 一 个 负 的 将 会 把 以 太 坊 从 收 款 方 转 移 到 转 账 方 ， 使 得 转 账 方 可 以 从 收 款 方 那 里 盗 窃 以 太 坊 。 当 接 收 到 一 个 没 有 被 打 包 的 交 易 时 ， 将 会 验 证 交 易 的 值 是 否 为 正 。 如 : 但 是 在 区 块 处 理 过 程 中 却 不 存 在 这 样 显 性 的 验 证 ； 存 在 负 值 的 交 易 只 是 隐 性 地 被 序 列 化 格 式 ( R L P ) 阻 止 ， 而 R L P 不 能 解 码 负 值 。 假 设 一 个 邪 恶 的 矿 工 为 了 非 法 获 取 以 太 坊 ， 发 布 了 具 有 负 值 交 易 的 区 块 ， 这 时 依 赖 于 特 定 的 序 列 化 格 式 来 提 供 保 护 ， 似 乎 有 些 脆 弱 。 推 荐 在 区 块 处 理 过 程 中 也 显 性 地 检 查 交 易 的 值 。 或 者 使 用 无 符 号 类 型 来 强 制 指 定 交 易 的 值 为 正 。 1 . 3 . 6 .   杂 项 杂 项 1 . 3 . 6 . 1 .   在 挖 矿 代 码 中 的 条 件 竞 争 在 挖 矿 代 码 中 的 条 件 竞 争 使 用 " - r a c e " 来 构 建 标 志 位 ， 并 通 过 语 言 内 置 的 条 件 竞 争 探 测 特 性 来 寻 找 条 件 竞 争 。 在 中 发 现 了 一 个 与 在 挖 矿 时 使 用 的 时 间 戳 相 关 的 条 件 竞 争 。 为 了 去 除 条 件 竞 争 ， 通 过 使 用 互 斥 锁 可 以 保 护 第 一 个 的 设 置 。   没 有 研 究 条 件 竞 争 是 否 会 对 节 点 的 挖 矿 造 成 影 响 。 1 . 3 . 6 . 2 .   过 多 第 三 方 依 赖 过 多 第 三 方 依 赖 依 赖 于 7 1 个 第 三 方 包 ( 通 过 列 举 ) T r u e S e c g o - f u z z T r u e S e c i n t P o o l o p c o d e 0   J U M P D E S T             / /   1   g a s 1   C O I N B A S E             / /   2   g a s 2   O R I G I N                 / /   2   g a s 3   E Q                         / /   3   g a s ,   p u t s   2 0   +   2 0   b y t e s   o n   t h e   i n t p o o l 4   J U M P                     / /   8   g a s ,   p u t s   4 - 8   b y t e s   o n   t h e   i n t p o o l i n t P o o l g a s i n t P o o l o u t   o f   m e m o r y   p a n i c g a s l i m i t i n t P o o l g a s l i m i t   t a r g e t T r u e S e c i n t P o o l c o r e / e v m . g o T r a n s f e r f u n c   T r a n s f e r ( d b   v m . S t a t e D B ,   s e n d e r ,   r e c i p i e n t   c o m m o n . A d d r e s s ,   a m o u n t   * b i g . I n t )   {         d b . S u b B a l a n c e ( s e n d e r ,   a m o u n t )         d b . A d d B a l a n c e ( r e c i p i e n t ,   a m o u n t ) } a m o u n t a m o u n t t x _ p o o l . g o ,   v a l i d a t e T x ( ) i f   t x . V a l u e ( ) . S i g n ( )   <   0   {         r e t u r n   E r r N e g a t i v e V a l u e } p 2 p T r u e S e c T r u e S e c G o e t h a s h / e t h a s h . g o e t h a s h   d a t a s e t s f u n c   ( e t h a s h   * E t h a s h )   d a t a s e t ( b l o c k   u i n t 6 4 )   [ ] u i n t 3 2   {         e p o c h   : =   b l o c k   /   e p o c h L e n g t h         / /   I f   w e   h a v e   a   P o W   f o r   t h a t   e p o c h ,   u s e   t h a t         e t h a s h . l o c k . L o c k ( )         . . .         c u r r e n t . u s e d   =   t i m e . N o w ( )   / /   T R U E S E C :   r a c e         e t h a s h . l o c k . U n l o c k ( )         / /   W a i t   f o r   g e n e r a t i o n   f i n i s h ,   b u m p   t h e   t i m e s t a m p   a n d   f i n a l i z e   t h e   c a c h e         c u r r e n t . g e n e r a t e ( e t h a s h . d a g d i r ,   e t h a s h . d a g s o n d i s k ,   e t h a s h . t e s t e r )         c u r r e n t . l o c k . L o c k ( )         c u r r e n t . u s e d   =   t i m e . N o w ( )         c u r r e n t . l o c k . U n l o c k ( ) . . . } c u r r e n t . l o c k c u r r e n t . u s e d T r u e S e c G o   E t h e r e u m g o v e n d o r   l i s t   + v e n d
由 于 每 个 依 赖 都 可 能 引 入 新 的 攻 击 向 量 ， 并 且 需 要 时 间 和 精 力 来 监 控 安 全 漏 洞 ， 总 是 建 议 将 第 三 方 包 的 数 量 控 制 到 最 小 。 7 1 个 依 赖 对 任 何 一 个 项 目 来 说 都 是 比 较 多 的 。 推 荐 以 太 坊 开 发 者 调 研 是 否 所 有 的 依 赖 都 是 真 正 需 要 的 ， 或 者 说 其 中 一 些 是 否 可 以 用 代 码 来 替 代 。 1 . 4 .   附 录 附 录 1 . 4 . 1 .   声 明 声 明 我 们 努 力 提 供 准 确 的 翻 译 ， 可 能 有 些 部 分 不 太 准 确 ， 部 分 内 容 不 太 重 要 并 没 有 进 行 翻 译 ， 如 有 需 要 请 参 见 原 文 。 1 . 4 . 2 .   原 文 地 址 原 文 地 址 h t t p s : / / g i t h u b . c o m / e t h e r e u m / g o - e t h e r e u m / b l o b / m a s t e r / d o c s / a u d i t s / 2 0 1 7 - 0 4 - 2 5 G e t h - a u d i t T r u e s e c . p d f 1 . 4 . 3 .   参 考 链 接 参 考 链 接 参 考 项 目 参 考 项 目 U R L 地 址 地 址 g o   e t h e r e u m h t t p s : / / e t h e r e u m . g i t h u b . i o / g o - e t h e r e u m / g o   f u z z h t t p s : / / g i t h u b . c o m / d v y u k o v / g o - f u z z / c o m m i t   5 e 2 9 f 4 h t t p s : / / g i t h u b . c o m / e t h e r e u m / g o - e t h e r e u m / c o m m i t / 5 e 2 9 f 4 b e 9 3 5 f f 2 2 7 b b f 0 7 a 0 c 6 e 8 0 e 8 8 0 9 f 5 e 0 2 0 2 c o r s 中 间 件 h t t p s : / / g i t h u b . c o m / r s / c o r s o t t o h t t p s : / / g i t h u b . c o m / r o b e r t k r i m e n / o t t o * 参 考 来 源 ： 参 考 来 源 ： g i t h u b ， ， J a v i e r l e v @ 玄 猫 安 全 团 队 编 译 整 理 ， 转 载 请 注 明 来 自 玄 猫 安 全 团 队 编 译 整 理 ， 转 载 请 注 明 来 自   F r e e B u f . C O M 。 。 阅 读 原 文 T r u e S e c T r u e S e c
回复

举报

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

本版积分规则

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