Puteți aplica pentru o locuință.... Folosind ZKP (@hyli_org și @NoirLang).... Așa funcționează👇

@hyli_org @NoirLang David, un beneficiar al @hyli_org, a construit zkTenant, o aplicație zero-knowledge pentru aplicații de locuințe în Franța. Permite utilizatorilor să dovedească nivelul de venit și cetățenia franceză fără a dezvălui date brute. Sistemul folosește Noir și folosește formatul 2D-Doc al guvernului francez.

@hyli_org @NoirLang 2D-Doc este o schemă de semnătură digitală bazată pe cod QR utilizată pe documentele oficiale franceze (cărți de identitate, declarații fiscale etc.). Acesta semnează conținutul în text simplu cu ECDSA (p256) și îl încorporează ca cod de bare. Provocarea: verificarea ZK pe partea clientului a acestor semnături în browser.

@hyli_org @NoirLang Pentru a rezolva acest lucru, David a creat , o bibliotecă Noir care analizează și verifică codurile de bare 2D-Doc complet în browser. Fără dependență de server. Toate demonstrațiile sunt generate local prin WASM. Acest lucru se aliniază cu constrângerile privind suveranitatea datelor și transparența verificării.

@hyli_org @NoirLang Probele ECDSA zk pe partea clientului sunt intensive RAM. Benchmark-urile anterioare (de exemplu, de Vlad) au arătat fezabilitate în Noir. Generarea de dovezi a fost fragmentată în componente recursive mai mici pentru a rămâne în limitele WASM. Acest lucru a permis o verificare performantă în browser.

@hyli_org @NoirLang fluxul de lucru zkTenant: - Intrare: nume, an fiscal, venit impozabil. - Scanare: carte de identitate franceză și declarație fiscală (2D-Doc). - @NoirLang generează dovezi ale categoriei de venit + cetățenie. - Rezultat: ZK proof reutilizabil, simulabil în aplicație deocamdată.

@hyli_org @NoirLang Integrarea cu @hyli_org permite zkProof-uri componibile. Atât dovezile de identitate, cât și dovezile de venit pot fi grupate într-un singur blob. Acest lucru acceptă actualizări modulare (de exemplu, pașaport în loc de act de identitate) fără a re-arhitectura logicii de probă.

@hyli_org @NoirLang Modelul de confidențialitate: documentele originale nu părăsesc niciodată clientul. Numai hash-urile verificate ale datelor extrase sunt angajate în lanț. Expunere zero la date brute, auditabilitate completă.