Du kan ansöka om bostad.... Använda ZKPs (@hyli_org & @NoirLang).... Så här går det till👇

@hyli_org @NoirLang David, en @hyli_org-stipendiat, byggde zkTenant, en nollkunskapsapp för bostadsapplikationer i Frankrike. Det gör det möjligt för användare att bevisa inkomstklass och franskt medborgarskap utan att avslöja rådata. Systemet använder Noir och utnyttjar den franska regeringens 2D-Doc-format.

@hyli_org @NoirLang 2D-Doc är ett QR-kodbaserat system för digitala signaturer som används på officiella franska dokument (ID-kort, skattedeklarationer, etc.). Den signerar klartextinnehåll med ECDSA (p256) och bäddar in det som en streckkod. Utmaningen: ZK-verifiering av dessa signaturer i webbläsaren på klientsidan.

@hyli_org @NoirLang För att lösa detta skapade David ett Noir-bibliotek som tolkar och verifierar 2D-Doc-streckkoder helt i webbläsaren. Inget serverberoende. Alla korrektur genereras lokalt via WASM. Detta överensstämmer med begränsningar för datasuveränitet och verifieringstransparens.

@hyli_org @NoirLang ECDSA zk-proofs på klientsidan är RAM-intensiva. Tidigare benchmarks (t.ex. av Vlad) visade genomförbarhet i Noir. Bevisgenerering fragmenterades i mindre rekursiva komponenter för att hålla sig inom WASM-gränserna. Detta möjliggjorde effektiv testning i webbläsaren.

@hyli_org @NoirLang zkTenant-arbetsflöde: - Inmatning: namn, beskattningsår, skattepliktig inkomst. - Skanna: Fransk legitimation och skattedeklaration (2D-Doc). - @NoirLang genererar bevis på inkomstklass + medborgarskap. - Utdata: återanvändbart ZK-bevis, simulabelt i appen för tillfället.

@hyli_org @NoirLang Integration med @hyli_org möjliggör komponerbara zkProofs. Både ID- och inkomstbevis kan paketeras i en enda blob. Detta stöder modulära uppgraderingar (t.ex. pass istället för ID) utan att bygga om bevislogiken.

@hyli_org @NoirLang Integritetsmodell: originaldokument lämnar aldrig kunden. Endast verifierade hashvärden av extraherade data checkas in i kedjan. Noll exponering av rådata, full granskningsbarhet.