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 su documenti ufficiali francesi (carte d'identità, dichiarazioni fiscali, ecc.). Firma contenuti in chiaro con ECDSA (p256) e lo incorpora come un codice a barre. La sfida: 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 zk-proof ECDSA lato client sono intensivi in RAM. I benchmark precedenti (ad es., di Vlad) hanno mostrato la fattibilità in Noir. La generazione della prova è stata frammentata in componenti ricorsive più piccole per rimanere entro i limiti di WASM. Questo ha reso possibile la generazione di prove performanti nel browser.

@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 zkProofs composabili. Sia le prove di identità che quelle di reddito possono essere raggruppate in un'unica blob. Questo supporta aggiornamenti modulari (ad es., passaporto invece di ID) senza dover riprogettare la logica delle prove.

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