隐私数据验证场景下的隐私保护研究

隐私数据验证场景是信息验证服务下的一类特殊场景，其实用性要求数据在第三方数据库进行存储、发布且有能力处理任意形式声明的验证，其安全性要求数据在存储、更新与证明期间提供有效的隐私保护手段。目前该场景下的隐私保护研究尚且处于空白阶段，因此本文引入可证明数据加密策略的概念，以满足隐私数据验证场景下的实用性与安全性需求。本文主要有三个贡献：（1）对可证明数据加密策略进行讨论并给出形式化定义；（2）基于非交互零知识证明构造出首个可证明数据加密方案，并同时支持高效的数据更新操作；（3）基于承诺方案、非交互零知识证明与全同态加密，提出可证明数据加密策略的两种通用构造框架并给予相关性质证明。