Puedes solicitar una vivienda.... Usando ZKPs (@hyli_org y @NoirLang).... Así es como funciona👇
@hyli_org @NoirLang David, un beneficiario de @hyli_org, creó zkTenant, una aplicación de conocimiento cero para aplicaciones de vivienda en Francia. Permite a los usuarios demostrar el nivel de ingresos y la ciudadanía francesa sin revelar datos brutos. 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 que se utiliza en documentos oficiales franceses (documentos de identidad, declaraciones de impuestos, etc.). Firma el contenido de texto sin formato con ECDSA (p256) y lo incrusta como un código de barras. El reto: la verificación ZK del lado del cliente de estas firmas en el navegador.
@hyli_org @NoirLang Para solucionar este problema, David creó , una biblioteca Noir que analiza y verifica los 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 limitaciones sobre la soberanía de los datos y la transparencia de la verificación.
@hyli_org @NoirLang Las pruebas de ECDSA zk del lado del cliente hacen un uso intensivo de la RAM. Los puntos de referencia anteriores (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ó la demostración de rendimiento en el navegador.
@hyli_org @NoirLang flujo de trabajo de zkTenant: - Entrada: nombre, año fiscal, ingresos imponibles. - Escaneo: Documento de identidad francés y declaración de impuestos (2D-Doc). - @NoirLang genera pruebas de nivel de ingresos + ciudadanía. - Salida: prueba ZK reutilizable, simulable en la aplicación por ahora.
@hyli_org @NoirLang Integración con @hyli_org permite zkProofs componibles. Tanto el ID como los comprobantes de ingresos se pueden agrupar en un solo blob. Esto admite actualizaciones modulares (por ejemplo, pasaporte en lugar de identificación) sin necesidad de rediseñar la lógica de prueba.
@hyli_org @NoirLang Modelo de privacidad: los documentos originales nunca salen del cliente. Solo los hashes verificados de los datos extraídos se confirman en la cadena. Cero exposición de datos sin procesar, auditabilidad total.
3.93K