29、共享文件共享所有权证明的实现

共享文件共享所有权证明的实现

1. 符号与描述

在共享文件的相关操作和证明过程中，会用到一些特定的符号，以下是这些符号及其描述的表格：
| 符号 | 描述 |
| — | — |
| f[i] | 共享文件 f 的第 i 个块 |
| ki | 块 f[i] 的收敛密钥，ki = H2(f[i]) |
| id[i] | 第 i 个所有者的身份标识 id |
| eid[i] | id[i] 的哈希值，eid[i] = H3(id[i]) |
| token | token[i] ←H2(EH2(f[i])f[i]) |
| hf | hf ←H1(token)，共享文件的摘要 |
| SOj | 第 j 个共享所有者 |
| H1 | 一个密码哈希函数，{0, 1}∗→{0, 1}ε，ε 是正整数 |
| H2 | 一个密码哈希函数，{0, 1}b →{0, 1}l，b 和 l 分别代表块大小和令牌大小 |
| H3 | 一个密码哈希函数，{0, 1}q →{0, 1}m，q 和 m 分别代表所有者和加密身份标识的大小 |

2. 秘密共享

秘密共享方案包含两个算法：Share 和 Recover。具体定义如下：
- {s1, s2, …, sn} ←SF.Share(s, t, n)：使用擦除码将秘密 s 分割成 n 个相同大小的份额。
- s′ ←SF.Recover({s1, s2, …, sr})：输入 n 个份额中的任意 r 个，然后输出 s′。如果 r ≥t，则 s′ = s。

3. 共享所有权证明 </