可验证秘密共享 计算机科学 数据完整性 撤销 计算机安全 协议（科学） 数字签名 一致性（知识库） 利用 审计 计算机网络 密码协议 方案（数学） 块链 云计算 块（置换群论） 密码学 节点（物理） 数据一致性 梅克尔树 安全性分析 不变性 数据库 可信计算 服务（商务） 分布式计算 散列函数 审计跟踪 公钥密码术 构造（python库） 信息隐私 群签名 入侵容忍度 密文 数据验证 锁（火器） 数据安全 形式验证 认证（法律）