你可以申请住房...... 使用ZKPs（@hyli_org和@NoirLang）.... 这是它的工作原理👇

@hyli_org @NoirLang 大卫，@hyli_org 的资助者，开发了 zkTenant，这是一个用于法国住房申请的零知识应用程序。它使用户能够在不披露原始数据的情况下证明收入等级和法国国籍。 该系统使用 Noir，并利用法国政府的 2D-Doc 格式。

@hyli_org @NoirLang 2D-Doc 是一种基于二维码的数字签名方案，用于法国官方文件（身份证、纳税申报表等）。它使用 ECDSA （p256） 对明文内容进行签名，并将其嵌入为条形码。 挑战：客户端在浏览器中对这些签名进行 ZK 验证。

@hyli_org @NoirLang 为了解决这个问题，David 创建了一个 Noir 库，可以在浏览器中完全解析和验证 2D-Doc 条形码。没有服务器依赖。所有证明都是通过 WASM 在本地生成的。 这符合数据主权和验证透明度的限制。

@hyli_org @NoirLang 客户端 ECDSA zk 证明是 RAM 密集型的。之前的基准测试（例如，弗拉德）显示了 Noir 的可行性。证明生成被碎片化为更小的递归组件，以保持在 WASM 限制范围内。 这实现了高性能的浏览器内证明。

@hyli_org @NoirLang zkTenant 工作流： - 输入：姓名、纳税年度、应税收入。 - 扫描件：法国身份证和税务申报表（2D-Doc）。 - @NoirLang生成收入等级 + 公民身份的证明。 - 输出：可重复使用的 ZK 证明，目前可在应用程序内模拟。

@hyli_org @NoirLang 与 @hyli_org 的集成允许可组合的 zkProofs。ID 和收入证明都可以捆绑到单个 blob 中。这支持模块化升级（例如，护照而不是身份证），而无需重新构建证明逻辑。

@hyli_org @NoirLang 隐私模式：原始文件永远不会离开客户。只有提取数据的经过验证的哈希值才会提交到链上。零原始数据暴露，完全可审计。