あなたは住宅を申請することができます。 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-proofs は RAM を大量に消費します。以前のベンチマーク(Vladによるものなど)は、Noirで実現可能性を示しました。証明生成は、WASM の制限内にとどまるために、より小さな再帰コンポーネントに断片化されました。 これにより、パフォーマンスの高いブラウザー内証明が可能になりました。

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

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

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