使用 ZK 证书解决“你是百万富翁吗?”问题

主要观点:作者的半严肃项目 Safecat 最新版本有发布签名证书的命令及示例,探讨了利用零知识(ZK)协议解决“你是否是百万富翁”等问题,可将其推广到各种签名证书及数据库,还应用于证明人性,以 Gitcoin 为例,Gitcoin Passport 虽可证明人性但暴露证书影响隐私,ZK 证明可解决此问题,并用 Safecat + Noir 示例展示了具体做法。
关键信息

  • Safecat 最新版本有相关命令和示例。
  • 用 ZK 协议解决“百万富翁”问题的步骤。
  • 可将此方法推广到各种签名证书及数据库。
  • Gitcoin 面临 Sybil 攻击及推出 Gitcoin Passport。
  • Safecat 与 Noir 结合的示例及程序细节。
    重要细节
  • “百万富翁”问题的不同情况及解决方案,如银行资金分布。
  • ZK 程序的输入及输出,如公共输入为信任银行列表,私人输入为签名银行声明等。
  • Gitcoin Passport 收集签名证书及计算人性得分的方式。
  • Safecat + Noir 示例中实体签名证书及 Merkle 树的相关内容。
阅读 8
0 条评论