[发明专利]一种支持错误记录定位可验证数据库的检测方法

权利要求书

1.一种向量承诺树，其特征在于，所述向量承诺树是以递归方式对消息序列做承诺的q叉树，叶子节点共有Q个消息，最深非叶子节点是对其q个孩子消息所做的承诺，其他非叶子节点是对其q个孩子承诺所做的承诺；向量承诺树的高度n、消息序列的大小Q和承诺单元的大小q之间满足关系

2.如权利要求1所述的向量承诺树，其特征在于，所述向量承诺树的承诺单元是采用向量承诺方法做承诺的基本单位，承诺单元是消息子序列或承诺集合。

3.如权利要求1所述的向量承诺树，其特征在于，所述向量承诺树包含：

(1)生成密钥VCT.KeyGen(1^k,q,Q)：输入安全参数k、每个承诺单元的大小q和整个消息的大小Q(Q＝poly(k))，密钥生成算法VCT.KeyGen(1^k,q,Q)输出公共参数集PP和向量承诺树的高度n，从根到最深的非叶子节点；消息空间记为承诺空间记为

(2)计算承诺VCT.Com_PP(m₁,…,m_Q,f)：输入含有Q个消息的序列和映射函数根据公共参数PP，承诺算法VCT.Com_PP(m₁,…,m_Q,f)输出附加信息aux和承诺集合C，其中C中的每个值是对含有消息或承诺的承诺单元所做的向量承诺；

(3)打开承诺VCT.Open_PP(m,i,aux,AC,f)：输入数据库中索引为i的消息m、附加信息aux、访问控制参数和映射函数只有当AC满足访问控制规则时，打开算法VCT.Open_PP(m,i,aux,AC,f)才输出证据集合m是所有Q个被承诺消息中的第i个；打开算法由原始承诺者或其他合法用户运行；

(4)验证承诺VCT.Ver_PP(C,m,i,Λ_i,AC)：输入承诺集合C、索引为i的消息m、证据集合Λ_i和访问控制参数AC，验证函数VCT.Ver_PP(C,m,i,Λ_i,AC)输出或(⊥,Ω)；输出意味着AC不满足访问控制策略；否则，只有当Λ_i是一个有效证据，证明C是对序列(m₁,…,m_Q)生成的，其中m＝m_i，则验证函数才并输出否则，输出(⊥,Ω)，其中Ω是错误记录所在范围；

(5)更新承诺VCT.Ver_PP(C,m,i,Λ_i,AC)：输入承诺集合C、第i个位置上的原消息m_i和新消息m′_i以及映射函数承诺更新算法VCT.Update_PP(C,m_i,m′_i,i,f)输出新的承诺集合C′和更新信息集合U；承诺更新算法由生成C并拟将其中第i个消息m_i更新为m′_i的原始承诺者运行；

(6)更新证据VCT.ProofUpdate_PP(C,Λ_j,m′_i,i,U)：输入承诺集合C、证据集合Λ_i、拟替换外包数据库中第i个记录的新消息m′_i、更新信息U和映射函数证据更新算法VCT.ProofUpdate_PP(C,Λ_j,m′_i,i,U,f)输出新的证据集合Λ′_j；证据更新算法由任何拥有对应C中第j个消息的证据集合Λ_j的用户运行，计算对新的承诺集合C′有效的证据集合Λ′_j。