一、压缩可撤销加密的基本部件
1、布隆过滤器（Bloom Filter, BF）
形式化定义：
BF.Gen(b, h)：BF的构造与初始化，数组元素初始置0；
b：数组长度b-bit，h：Hash函数个数
BF.Upd(H, B, x)：更新函数
BF.Check(H, B, x)：校验函数
BF.Upd(H, B, x)：更新函数
BF.Check(H, B, x)：校验函数
布隆过滤器由一个二进制 b-bit 数组和 h 个哈希函数组成，数组初始化时全部置为0。当更新一个待查询的元素时，这个元素会通过哈希函数映射出 h 个值，并将数组的对应位置为1。
2、穿刺伪随机函数（Puncturable, PRF）
形式化定义：
3、穿刺加密（ Puncturable Encryption, PE）
形式化定义：
二、压缩可撤销加密
（Compressed Symmetric Revocable Encryption）
1、压缩撤销（ Compressed Revocation）特性 ：
仅采用传统 PE 实现前后向安全的 DSSE 面临两个问题：存储空间的高需求和通信带宽的高需求。
本论文采用的 本论文采用的 SRE 基于 multi-Punc PRF，SSE和 BF，但是与 BFE 本质的不同在于用撤销密钥解的方式。本论文中初始密钥独立于BF，BF仅用于记录与压缩，同时在密钥撤销阶段利用multi-Punc PRF一次性撤销标签，因此存储需求相对比较低。
2、对称可撤销加密 SRE 的基本结构：
