Du kan søke om bolig.... Bruke ZKP-er (@hyli_org og @NoirLang).... Slik fungerer👇 det
@hyli_org @NoirLang David, en @hyli_org stipendmottaker, bygde zkTenant, en nullkunnskapsapp for boligapplikasjoner i Frankrike. Det gjør det mulig for brukere å bevise inntektsklasse og fransk statsborgerskap uten å avsløre rådata. Systemet bruker Noir og utnytter den franske regjeringens 2D-Doc-format.
@hyli_org @NoirLang 2D-Doc er et QR-kodebasert digitalt signaturskjema som brukes på offisielle franske dokumenter (ID-kort, selvangivelser, etc.). Den signerer innhold i ren tekst med ECDSA (p256) og legger det inn som en strekkode. Utfordringen: ZK-verifisering på klientsiden av disse signaturene i nettleseren.
@hyli_org @NoirLang For å løse dette opprettet David , et Noir-bibliotek som analyserer og verifiserer 2D-Doc-strekkoder fullt ut i nettleseren. Ingen serveravhengighet. Alle bevis genereres lokalt via WASM. Dette er i tråd med begrensninger på datasuverenitet og verifiseringsåpenhet.
@hyli_org @NoirLang ECDSA zk-bevis på klientsiden er RAM-intensive. Tidligere benchmarks (f.eks. av Vlad) viste gjennomførbarhet i Noir. Bevisgenerering ble fragmentert i mindre rekursive komponenter for å holde seg innenfor WASM-grensene. Dette muliggjorde ytelsesbevis i nettleseren.
@hyli_org @NoirLang zkTenant-arbeidsflyten: - Inngang: navn, skatteår, skattepliktig inntekt. - Skanning: Fransk ID og skattemelding (2D-Doc). - @NoirLang genererer bevis på inntektsklasse + statsborgerskap. - Utgang: gjenbrukbar ZK-bevis, simulerbar i appen foreløpig.
@hyli_org @NoirLang Integrasjon med @hyli_org tillater komponerbare zkProofs. Både ID- og inntektsbevis kan samles i én enkelt blob. Dette støtter modulære oppgraderinger (f.eks. pass i stedet for ID) uten å rekonstruere bevislogikk.
@hyli_org @NoirLang Personvernmodell: originaldokumenter forlater aldri klienten. Bare verifiserte hash-koder av utpakkede data utføres i kjeden. Null eksponering av rådata, full revisjonsevne.
3,9K