Vous pouvez demander un logement.... Utilisation de ZKPs (@hyli_org & @NoirLang).... Voici comment cela fonctionne👇

@hyli_org @NoirLang David, bénéficiaire d’une subvention @hyli_org, a créé zkTenant, une application à connaissance zéro pour les applications de logement en France. Il permet aux utilisateurs de prouver leur tranche de revenu et leur nationalité française sans divulguer de données brutes. Le système utilise Noir et exploite le format 2D-Doc du gouvernement français.

@hyli_org @NoirLang 2D-Doc est un système de signature numérique basé sur un code QR utilisé sur les documents officiels français (cartes d’identité, déclarations fiscales, etc.). Il signe le contenu en texte brut avec ECDSA (p256) et l’intègre sous forme de code-barres. Le défi : la vérification ZK côté client de ces signatures dans le navigateur.

@hyli_org @NoirLang Pour résoudre ce problème, David a créé , une bibliothèque Noir qui analyse et vérifie les codes-barres 2D-Doc entièrement dans le navigateur. Aucune dépendance vis-à-vis du serveur. Toutes les épreuves sont générées localement via WASM. Cela s’aligne sur les contraintes de souveraineté des données et de transparence de la vérification.

@hyli_org @NoirLang Les preuves ECDSA zk côté client consomment beaucoup de RAM. Des benchmarks antérieurs (par exemple, par Vlad) ont montré la faisabilité de Noir. La génération de preuves a été fragmentée en composants récursifs plus petits pour rester dans les limites WASM. Cela a permis d’éprouver des performances dans le navigateur.

@hyli_org @NoirLang flux de travail zkTenant : - Saisie : nom, année d’imposition, revenu imposable. - Scan : Pièce d’identité française & déclaration d’impôts (2D-Doc). - @NoirLang génère des preuves de tranche de revenu + citoyenneté. - Sortie : épreuve ZK réutilisable, simulable dans l’application pour l’instant.

@hyli_org @NoirLang L’intégration avec @hyli_org permet des zkProof composables. Les preuves d’identité et de revenu peuvent être regroupées dans un seul blob. Cela prend en charge les mises à niveau modulaires (par exemple, un passeport au lieu d’une pièce d’identité) sans restructurer la logique de preuve.

@hyli_org @NoirLang Modèle de confidentialité : les documents originaux ne quittent jamais le client. Seuls les hachages vérifiés des données extraites sont validés sur la chaîne. Zéro exposition aux données brutes, auditabilité complète.