あなたは住宅を申請することができます。 ZKPの使用(@hyli_org & @NoirLang).... これが仕組み👇です

@hyli_orgの助成を受けた@hyli_org @NoirLang Davidは、フランスで住宅アプリケーション向けのゼロ知識アプリであるzkTenantを構築しました。これにより、ユーザーは生データを開示することなく、所得階層とフランス市民権を証明できます。 このシステムはNoirを使用し、フランス政府の2D-Doc形式を活用しています。

@hyli_org @NoirLang 2D-Doc は、フランスの公式文書 (ID カード、納税申告書など) で使用される QR コードベースのデジタル署名スキームです。ECDSA(p256)でプレーンテキストコンテンツに署名し、バーコードとして埋め込みます。 課題は、ブラウザ内でこれらの署名をクライアント側でZK検証することです。

@hyli_org @NoirLang これに対処するために、David は、2D-Doc バーコードを完全にブラウザー内で解析および検証する Noir ライブラリを作成しました。サーバーへの依存関係はありません。すべての証明は、WASMを介してローカルで生成されます。 これは、データ主権と検証の透明性に対する制約と一致しています。

@hyli_org @NoirLang クライアント側の ECDSA zk 証明は RAM を大量に消費します。以前のベンチマーク(Vladなどによる)は、Noirで実現可能性を示しました。証明の生成は、WASM の制限内に収まるように、より小さな再帰的コンポーネントに断片化されました。 これにより、パフォーマンスの高いブラウザ内証明が可能になりました。

zkTenant ワークフロー@hyli_org @NoirLang: - 入力: 名前、課税年度、課税所得。 - スキャン: フランスの身分証明書と納税申告書 (2D-Doc)。 - @NoirLangは、所得階層+市民権の証明を生成します。 - 出力: 再利用可能な ZK 証明、今のところアプリ内でシミュレート可能。

@hyli_org @NoirLang @hyli_org との統合により、コンポーザブルな zkProof が可能になります。ID と収入証明の両方を 1 つの BLOB にバンドルできます。これにより、証明ロジックを再設計することなく、モジュール式アップグレード (ID の代わりにパスポートなど) がサポートされます。

@hyli_org @NoirLang プライバシーモデル:元の文書がクライアントから離れることはありません。抽出されたデータの検証済みハッシュのみがオンチェーンでコミットされます。生データの漏洩ゼロ、完全な監査可能性。