Puedes solicitar una vivienda.... Usando ZKPs (@hyli_org y @NoirLang).... Así es como funciona👇

@hyli_org @NoirLang David, un beneficiario de @hyli_org, construyó zkTenant, una aplicación de conocimiento cero para solicitudes de vivienda en Francia. Permite a los usuarios probar su nivel de ingresos y ciudadanía francesa sin revelar datos en bruto. El sistema utiliza Noir y aprovecha el formato 2D-Doc del gobierno francés.

@hyli_org @NoirLang 2D-Doc es un esquema de firma digital basado en códigos QR utilizado en documentos oficiales franceses (tarjetas de identificación, declaraciones de impuestos, etc.). Firma contenido en texto plano con ECDSA (p256) y lo incrusta como un código de barras. El desafío: verificación ZK del lado del cliente de estas firmas en el navegador.

@hyli_org @NoirLang Para abordar esto, David creó una biblioteca Noir que analiza y verifica códigos de barras 2D-Doc completamente en el navegador. Sin dependencia del servidor. Todas las pruebas se generan localmente a través de WASM. Esto se alinea con las restricciones sobre la soberanía de los datos y la transparencia en la verificación.

@hyli_org @NoirLang Las pruebas zk-ECDSA del lado del cliente son intensivas en RAM. Los benchmarks previos (por ejemplo, de Vlad) mostraron viabilidad en Noir. La generación de pruebas se fragmentó en componentes recursivos más pequeños para mantenerse dentro de los límites de WASM. Esto permitió una generación de pruebas eficiente en el navegador.

@hyli_org @NoirLang flujo de trabajo de zkTenant: - Insumo: nombre, año fiscal, ingreso imponible. - Escaneo: DNI francés y declaración de impuestos (2D-Doc). - @NoirLang genera comprobantes de nivel de ingresos + ciudadanía. - Salida: prueba ZK reutilizable, simulable en la aplicación por ahora.

@hyli_org @NoirLang La integración con @hyli_org permite zkProofs componibles. Tanto las pruebas de identidad como las de ingresos pueden agruparse en un solo blob. Esto admite actualizaciones modulares (por ejemplo, pasaporte en lugar de ID) sin necesidad de reestructurar la lógica de prueba.

@hyli_org @NoirLang Modelo de privacidad: los documentos originales nunca abandonan al cliente. Solo se registran en la cadena hashes verificados de los datos extraídos. Cero exposición de datos en bruto, total auditabilidad.