你可以申请住房...... 使用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-证明是内存密集型的。之前的基准测试（例如，Vlad 的测试）显示在 Noir 中是可行的。证明生成被分解为更小的递归组件，以保持在 WASM 限制内。 这使得在浏览器中进行高效的证明成为可能。

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

与 @hyli_org 的集成允许可组合的 zkProofs。身份和收入证明可以打包成一个单一的 blob。这支持模块化升级（例如，护照代替身份证），而无需重新构建证明逻辑。

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