Puoi fare domanda per un alloggio.... Utilizzo di ZKP (@hyli_org e @NoirLang).... Ecco come funziona👇

@hyli_org @NoirLang David, un beneficiario di @hyli_org, ha creato zkTenant, un'app a conoscenza zero per le domande di alloggio in Francia. Consente agli utenti di dimostrare il proprio scaglione di reddito e la cittadinanza francese senza rivelare dati grezzi. Il sistema utilizza Noir e sfrutta il formato 2D-Doc del governo francese.

@hyli_org @NoirLang 2D-Doc è uno schema di firma digitale basato su codice QR utilizzato sui documenti ufficiali francesi (carte d'identità, dichiarazioni dei redditi, ecc.). Firma il contenuto del testo in chiaro con ECDSA (p256) e lo incorpora come codice a barre. La sfida: la verifica ZK lato client di queste firme nel browser.

@hyli_org @NoirLang Per affrontare questo problema, David ha creato una libreria Noir che analizza e verifica i codici a barre 2D-Doc completamente nel browser. Nessuna dipendenza dal server. Tutte le prove vengono generate localmente tramite WASM. Questo è in linea con i vincoli sulla sovranità dei dati e sulla trasparenza della verifica.

@hyli_org @NoirLang Le prove di ZK ECDSA lato client richiedono un uso intensivo della RAM. I benchmark precedenti (ad esempio, di Vlad) hanno mostrato la fattibilità del Noir. La generazione della dimostrazione è stata frammentata in componenti ricorsivi più piccoli per rimanere entro i limiti WASM. Ciò ha consentito la prova nel browser ad alte prestazioni.

@hyli_org @NoirLang flusso di lavoro zkTenant: - Input: nome, anno fiscale, reddito imponibile. - Scansione: carta d'identità francese e dichiarazione dei redditi (2D-Doc). - @NoirLang genera prove di fascia di reddito + cittadinanza. - Output: prova ZK riutilizzabile, simulabile in-app per ora.

@hyli_org @NoirLang L'integrazione con @hyli_org consente zkProof componibili. Sia le prove d'identità che quelle di reddito possono essere raggruppate in un unico blob. Ciò supporta aggiornamenti modulari (ad esempio, passaporto anziché carta d'identità) senza riprogettare la logica di prova.

@hyli_org @NoirLang Modello di privacy: i documenti originali non lasciano mai il cliente. Solo gli hash verificati dei dati estratti vengono sottoposti a commit on-chain. Zero esposizione dei dati grezzi, piena verificabilità.