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

@hyli_org @NoirLang David，一位@hyli_org的受助者，建立了zkTenant，一款用於法國住房申請的零知識應用程式。它使得用戶能夠在不披露原始數據的情況下證明收入範疇和法國國籍。 該系統使用Noir並利用法國政府的2D-Doc格式。

@hyli_org @NoirLang 2D-Doc 是一種基於 QR 碼的數位簽名方案，用於官方法國文件（身份證、稅務申報等）。它使用 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 @NoirLang 與 @hyli_org 的整合允許可組合的 zkProofs。身份證明和收入證明都可以打包成一個單一的 blob。這支持模組化升級（例如，護照取代身份證），而無需重新架構證明邏輯。

@hyli_org @NoirLang 隱私模型：原始文件永遠不會離開客戶端。只有提取數據的經過驗證的哈希值會上鏈。零原始數據暴露，完全可審計性。