U kunt huisvesting aanvragen.... Met behulp van ZKP's (@hyli_org en @NoirLang).... Zo werkt👇 het

@hyli_org @NoirLang David, een @hyli_org subsidieontvanger, heeft zkTenant gebouwd, een zero-knowledge app voor woningaanvragen in Frankrijk. Het stelt gebruikers in staat om hun inkomensgroep en Franse staatsburgerschap te bewijzen zonder ruwe gegevens openbaar te maken. Het systeem maakt gebruik van Noir en benut het 2D-Doc formaat van de Franse overheid.

@hyli_org @NoirLang 2D-Doc is een QR-code-gebaseerd digitaal handtekeningenschema dat wordt gebruikt op officiële Franse documenten (identiteitskaarten, belastingaangiften, enz.). Het ondertekent platte tekstinhoud met ECDSA (p256) en embed het als een streepjescode. De uitdaging: client-side ZK-verificatie van deze handtekeningen in de browser.

@hyli_org @NoirLang Om dit aan te pakken, heeft David een Noir-bibliotheek gemaakt die 2D-Doc-barcode's volledig in de browser parseert en verifieert. Geen serverafhankelijkheid. Alle bewijzen worden lokaal gegenereerd via WASM. Dit sluit aan bij de beperkingen op gegevenssoevereiniteit en verificatietransparantie.

@hyli_org @NoirLang Client-side ECDSA zk-proofs zijn RAM-intensief. Eerdere benchmarks (bijv. door Vlad) toonden de haalbaarheid in Noir aan. De bewijs generatie werd gefragmenteerd in kleinere recursieve componenten om binnen de WASM-limieten te blijven. Dit maakte performante in-browser bewijsvoering mogelijk.

@hyli_org @NoirLang zkTenant-werkstroom: - Invoer: naam, belastingjaar, belastbaar inkomen. - Scan: Franse ID & belastingaangifte (2D-Doc). - @NoirLang genereert bewijzen van inkomensklasse + staatsburgerschap. - Output: herbruikbare ZK-proof, voorlopig simuleerbaar in de app.

@hyli_org @NoirLang Integratie met @hyli_org maakt composable zkProofs mogelijk. Zowel ID- als inkomensbewijzen kunnen worden samengevoegd in een enkele blob. Dit ondersteunt modulaire upgrades (bijv. paspoort in plaats van ID) zonder de bewijslogica opnieuw te hoeven architectureren.

@hyli_org @NoirLang Privacy model: originele documenten verlaten nooit de cliënt. Alleen geverifieerde hashes van geëxtraheerde gegevens worden on-chain vastgelegd. Geen blootstelling van ruwe gegevens, volledige controleerbaarheid.