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

@hyli_org @NoirLang David, un boursier de @hyli_org, a créé zkTenant, une application à connaissance nulle pour les demandes de logement en France. Elle permet aux utilisateurs de prouver leur tranche de revenu et leur citoyenneté française sans divulguer de données brutes. Le système utilise Noir et s'appuie sur le format 2D-Doc du gouvernement français.

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

@hyli_org @NoirLang Pour y remédier, David a créé une bibliothèque Noir qui analyse et vérifie les codes-barres 2D-Doc entièrement dans le navigateur. Pas de dépendance au serveur. Toutes les preuves sont générées localement via WASM. Cela s'aligne avec les contraintes sur la souveraineté des données et la transparence de la vérification.

@hyli_org @NoirLang Les zk-proofs ECDSA côté client sont intensifs en RAM. Des benchmarks précédents (par exemple, ceux de Vlad) ont montré la faisabilité dans Noir. La génération de preuves a été fragmentée en composants récursifs plus petits pour rester dans les limites de WASM. Cela a permis une preuve performante 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 zkProofs composables. Les preuves d'identité et de revenu peuvent être regroupées en un seul blob. Cela prend en charge les mises à niveau modulaires (par exemple, passeport au lieu d'identité) sans réarchitecturer la logique de preuve.

@hyli_org @NoirLang Modèle de confidentialité : les documents originaux ne quittent jamais le client. Seules les empreintes vérifiées des données extraites sont enregistrées sur la chaîne. Aucune exposition de données brutes, auditabilité complète.