Můžete žádat o bydlení.... Použití ZKP (@hyli_org a @NoirLang).... Takto to funguje👇

@hyli_org @NoirLang David, příjemce grantu @hyli_org, vytvořil zkTenant, aplikaci s nulovými znalostmi pro bytové aplikace ve Francii. Umožňuje uživatelům prokázat příjmovou skupinu a francouzské občanství, aniž by museli zveřejňovat nezpracovaná data. Systém používá Noir a využívá formát 2D-Doc francouzské vlády.

@hyli_org @NoirLang 2D-Doc je schéma digitálního podpisu založené na QR kódu, které se používá na oficiálních francouzských dokumentech (průkazy totožnosti, daňová přiznání atd.). Podepisuje obsah ve formátu prostého textu pomocí ECDSA (str. 256) a vloží jej jako čárový kód. Výzva: ověření těchto podpisů ZK na straně klienta v prohlížeči.

@hyli_org @NoirLang Aby to David vyřešil, vytvořil knihovnu Noir, která analyzuje a ověřuje čárové kódy 2D-Doc plně v prohlížeči. Žádná závislost na serveru. Všechny korektury jsou generovány lokálně pomocí WASM. To je v souladu s omezeními týkajícími se suverenity dat a transparentnosti ověřování.

@hyli_org @NoirLang ECDSA zk-proofy na straně klienta jsou náročné na RAM. Předchozí benchmarky (např. Vlada) ukázaly proveditelnost v Noir. Generování důkazů bylo roztříštěno na menší rekurzivní komponenty, aby se udrželo v mezích WASM. To umožnilo výkonné prokazování v prohlížeči.

Pracovní postup @hyli_org @NoirLang zkTenant: - Vstup: jméno, daňový rok, zdanitelný příjem. - Sken: Francouzský průkaz totožnosti a daňové přiznání (2D-Doc). - @NoirLang generuje doklady o příjmové skupině + občanství. - Výstup: opakovaně použitelný důkaz ZK, prozatím simulovatelný v aplikaci.

@hyli_org @NoirLang Integrace s @hyli_org umožňuje skládat zkProofy. Doklady totožnosti i příjmů lze sdružit do jednoho blobu. To podporuje modulární upgrady (např. pas místo průkazu totožnosti) bez změny architektury logiky důkazu.

@hyli_org @NoirLang Model ochrany osobních údajů: originální dokumenty nikdy neopouštějí klienta. V řetězci jsou potvrzeny pouze ověřené hodnoty hash extrahovaných dat. Nulová expozice nezpracovaným datům, plná auditovatelnost.