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

@hyli_org @NoirLang David, un beneficiario @hyli_org, ha creato zkTenant, un'app a conoscenza zero per applicazioni abitative in Francia. Consente agli utenti di dimostrare la fascia di reddito e la cittadinanza francese senza divulgare 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 risolvere 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 bozze vengono generate localmente tramite WASM. Ciò è 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à.