26、基于 Datalog 的信任管理中的选择性披露

基于 Datalog 的信任管理中的选择性披露

在当今数字化时代，信任管理和用户隐私保护变得至关重要。本文将介绍一种基于 Datalog 的信任管理系统，它结合了属性基凭证（ABC）、安全两方计算（2PC）和零知识证明（ZKPK），旨在实现强大的密码学隐私保护。

1. 背景知识

• 信任管理场景 ：
  • Discount 场景 ：匿名用户若想获得折扣，需满足是教育委员会认证大学的学生，且拥有匹兹堡剧院的未过期折扣凭证。其规则用 Datalog 表示如下：

can discount() :–
x.StudentID(. . . , [year], . . .),
EducationBoard.UniversityID(x, . . .),
PittsbghTheater.DiscountCred(. . . , expDate),
expDate > today() .

- **Booking 场景**：用户 Alice 想购买机票，SmartAir 的政策要求用户可通过出示电子护照或普通护照来证明身份。政策规则如下：

id() :–
isId([idn], [sur], [dob], [nat], [exp]),
exp −curTime() ≥6 months.
isId(idn, sur, do