Aleo生态|进一步介绍zPass（下）

Aleo的粉丝朋友你们好，这里是 

 AleoASIA | Aleo大中华社区

Aleo最靠谱的中文社区 

Aleo生态|进一步介绍zPass(上）

7、基础构成

发行者/颁发者

角色和职责

凭证生成：创建具有所需属性的数字凭证，例如颁发者地址、主题地址、出生日期 (DOB) 和到期日期。

散列：将加密散列函数应用于凭证以确保数据完整性。

签名：使用私钥对哈希凭证进行签名，确保其真实性和发布来源。

·发行人-Aleo 整合

· 签署凭据并将其提供给用户。

     -签署凭据并将其作为 Aleo 程序的输入提供

     -在链上创建凭证的加密防篡改记录。

持有者

角色和职责

身份证明：利用签名的凭证来断言身份或特定声明。

凭证记录

持有者收到已发布的凭证，对于链上流动，凭证在 Aleo 网络上作为加密记录提供。

ZKP一代

· 授权用于验证的凭证。

· 将凭证私下输入 Aleo 程序中。

     -在本地设备上使用 wasm 执行程序。

     -生成程序输出和执行证明。

验证者

角色和职责

索赔验证：请求并验证ZKP以确认持有人的身份或特定索赔。

要求提供证明

向持有者发起查询，请求 ZKP 以获取特定的身份声明。

验证工作流程

· 从持有者处接收 ZKP。

· 使用相应的 Aleo 网络协议验证 ZKP。

链下流程

链下流程是指发生在 Aleo 区块链之外的操作。这些操作可以在链外启动和完成，也可以在 Aleo 生态系统之外开始。

链上流程

Aleo 生态系统中的链上流程侧重于区块链内的直接交互。这些交互提供了无需许可的隐私和信任。这与链下流程形成鲜明对比，在链下流程中，操作可能在 zPass 系统外部启动和完成。

如上一节所述，凭证可能来自链下实体，例如政府机构或教育机构。尽管 Aleo 程序不会生成这些凭证，但它们可以集成到链上工作流程中。

链上 zPass 流程

凭证发行（链上）：凭证作为 Aleo 程序（也称为发行程序）的输入。这些程序充当可信机构，用于生成现实世界凭证的数字等效项（称为 zPass）。颁发过程包括根据其数字签名和颁发者的公钥对凭证进行加密验证。成功的验证会导致发布致力于 Aleo 区块链的 zPass。zPass 的接收者称为“持有者”。

持有人展示和验证（链上）：zPass 发行并存储在链上后，持有人就可以将其用于 Aleo 生态系统内的各种交易。Aleo 程序根据所提供的 zPass 验证特定声明，确保隐私、数据完整性并建立信任。

8、工作流程指引

1）链上工作流程

zPass 链下流程

链下流程提供了一条在不依赖区块链的情况下确保隐私和信任的途径。让我们将其分为两个主要部分：

· 凭证生成（链下）

· 用户请求凭证：实体（或用户）向公认的颁发者寻求凭证。

· 发行人生成凭证：发行人在经过适当验证后，为用户创建数字凭证，我们将其称为 zPass，不过，此步骤可以完全发生在 Aleo 生态系统之外。

· 持有人展示和 Aleo 验证（链下）

· 使用 Aleo 提供凭证：用户向 Aleo 程序出示其凭证（如护照）。该程序不会记录凭据详细信息，但会对其进行处理。例如，它可以使用 psd2、keccak、sha 或 bhp 等方法对属性进行哈希处理，以验证签名

· 使用 WebAssembly (Wasm) 进行本地执行：为了进一步保护隐私，zPass 利用 Wasm，允许用户（凭证持有者）在本地运行 Aleo 程序。这种本地执行可确保用户永远不会泄露私人输入或隐式信任第三方。

· 程序执行和输出生成：处理后，程序运行并产生输出。至关重要的是，此输出与执行证明相结合，不会泄露凭证的数据。然而，它可以作为程序使用上述凭据运行的可验证证明，并且输出可以信任。

2）链下工作流程

zPass 链上流程

让我们将其分为三个主要部分：

· 凭证生成（链下）

· 凭证颁发（链上）

· 持有人展示和验证（链上）

链上流程提供了一条确保 Aleo 区块链上无需许可的隐私和信任的途径。

（有关技术文档的详情，请浏览：https://zpass.docs.aleo.org/）

更多zPass文章，请看：

Aleo生态|一文了解zPass，极具潜力与野心的应用！

重磅！Aleo推出zPass项目！一起加入候补名单！

Aleo生态|进一步介绍zPass(上）

 Aleo 是第 1 层区块链，为网络带来隐私 

Aleo主网上线时间，再一次......

Aleo又要鸽主网了！但春天确实不远了！

重大消息！比特大陆计划推出Aleo蚂蚁矿机！

隐私是刚需吗？Aleo处于区块链演变的哪个位置？