13、高效动态可证明数据持有与基于身份的批量可证明数据持有方案解析

高效动态可证明数据持有与基于身份的批量可证明数据持有方案解析

在当今云计算快速发展的时代，数据存储和安全验证成为了关键问题。本文将介绍两种数据验证方案，分别是高效动态可证明数据持有（Dynamic PDP）方案和基于身份的批量可证明数据持有（ID - BPDP）方案，分析它们的性能、安全性等方面。

高效动态可证明数据持有方案（Dynamic PDP）

性能分析

• 计算成本 ：

  • 假设在云存储（CS）中存储 $\hat{n}$ 个块 - 标签对，挑战的块数为 $c$。主要考虑在群 $G_1$ 上的乘法、指数运算和双线性对运算的计算成本，其他如哈希函数、置换等操作计算成本较小可忽略。
  • 不同阶段的计算成本如下：
    • TagGen 阶段 ：客户端在 $G_1$ 上执行 $2\hat{n}$ 次指数运算（$pksk_c^s$ 可在预计算中一次性完成）和 $\hat{n}$ 次乘法。
    • VryTag 阶段 ：CS 在 $G_1$ 上执行 1 次指数运算、$\hat{n}$ 次乘法和 $2\hat{n}$ 次双线性对运算。
    • PreUpdate 阶段 ：平均每次计算成本为 1.5 次指数运算和 0.5 次乘法。
    • PerUpdate 阶段 ：CS 执行 1 次签名操作和 1 次 VryTag