U kunt huisvesting aanvragen.... Met behulp van ZKP's (@hyli_org en @NoirLang).... Zo werkt👇 het
@hyli_org @NoirLang David, een @hyli_org grantee, bouwde zkTenant, een zero-knowledge app voor huisvestingstoepassingen in Frankrijk. Het stelt gebruikers in staat om de inkomensklasse en het Franse staatsburgerschap te bewijzen zonder onbewerkte gegevens vrij te geven. Het systeem maakt gebruik van Noir en maakt gebruik van het 2D-Doc-formaat van de Franse overheid.
@hyli_org @NoirLang 2D-Doc is een op QR-code gebaseerd digitaal ondertekeningsschema dat wordt gebruikt op officiële Franse documenten (identiteitskaarten, belastingaangiften, enz.). Het ondertekent inhoud in platte tekst met ECDSA (p256) en sluit deze in 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-barcodes volledig in de browser analyseert en verifieert. Geen serverafhankelijkheid. Alle proeven worden lokaal gegenereerd via WASM. Dit sluit aan bij beperkingen op het gebied van gegevenssoevereiniteit en transparantie van verificatie.
@hyli_org @NoirLang Client-side ECDSA zk-proofs zijn RAM-intensief. Eerdere benchmarks (bijvoorbeeld van Vlad) toonden haalbaarheid in Noir. Het genereren van bewijs werd gefragmenteerd in kleinere recursieve componenten om binnen de WASM-limieten te blijven. Dit maakte performante in-browser testen 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 samenstelbare zkProofs mogelijk. Zowel ID- als inkomensbewijzen kunnen worden gebundeld in een enkele blob. Dit ondersteunt modulaire upgrades (bijv. paspoort in plaats van ID) zonder dat de bewijslogica opnieuw hoeft te worden ontworpen.
@hyli_org @NoirLang Privacymodel: originele documenten verlaten de klant nooit. Alleen geverifieerde hashes van geëxtraheerde gegevens worden on-chain vastgelegd. Geen blootstelling aan ruwe gegevens, volledige controleerbaarheid.
4,3K