Voit hakea asuntoa.... ZKP:iden käyttö (@hyli_org & @NoirLang).... Näin se toimii👇

@hyli_org @NoirLang David, @hyli_org apurahansaaja, rakensi zkTenantin, nollatietosovelluksen asumissovelluksiin Ranskassa. Sen avulla käyttäjät voivat todistaa tuloluokan ja Ranskan kansalaisuuden paljastamatta raakatietoja. Järjestelmä käyttää Noiria ja hyödyntää Ranskan hallituksen 2D-Doc-muotoa.

@hyli_org @NoirLang 2D-Doc on QR-koodipohjainen digitaalinen allekirjoitusjärjestelmä, jota käytetään virallisissa ranskalaisissa asiakirjoissa (henkilökortit, veroilmoitukset jne.). Se allekirjoittaa selkokielisen sisällön ECDSA:lla (s. 256) ja upottaa sen viivakoodina. Haaste: näiden allekirjoitusten asiakaspuolen ZK-vahvistus selaimessa.

@hyli_org @NoirLang Tämän ratkaisemiseksi David loi Noir-kirjaston, joka jäsentää ja tarkistaa 2D-Doc-viivakoodit täysin selaimessa. Ei palvelinriippuvuutta. Kaikki todisteet luodaan paikallisesti WASM:n kautta. Tämä on linjassa tietojen suvereniteetin ja todentamisen läpinäkyvyyden rajoitusten kanssa.

@hyli_org @NoirLang Asiakaspuolen ECDSA zk-vedokset vaativat RAM-muistia. Aiemmat vertailuarvot (esim. Vlad) osoittivat toteutettavuutta Noirissa. Todisteiden generointi pirstottiin pienempiin rekursiivisiin komponentteihin pysyäkseen WASM-rajojen sisällä. Tämä mahdollisti suorituskyvyn selaimen sisäisessä todistuksessa.

@hyli_org @NoirLang zkTenant-työnkulku: - Panos: nimi, verovuosi, verotettavat tulot. - Skannaus: Ranskan henkilöllisyystodistus ja veroilmoitus (2D-Doc). - @NoirLang tuottaa todisteita tuloluokasta + kansalaisuudesta. - Tulos: uudelleenkäytettävä ZK-todiste, simuloitavissa sovelluksen sisällä toistaiseksi.

@hyli_org @NoirLang Integrointi @hyli_org:n kanssa mahdollistaa koottavat zkProofit. Sekä tunnus- että tulotodistukset voidaan niputtaa yhteen blobiin. Tämä tukee modulaarisia päivityksiä (esim. passi henkilöllisyystodistuksen sijaan) ilman todistelogiikan uudelleensuunnittelua.

@hyli_org @NoirLang Yksityisyysmalli: alkuperäiset asiakirjat eivät koskaan poistu asiakkaalta. Vain puretun datan vahvistetut tiivisteet vahvistetaan ketjussa. Nolla raakadatan altistumista, täysi tarkastettavuus.