Możesz ubiegać się o mieszkanie.... Korzystanie z ZKP (@hyli_org i @NoirLang).... Tak to działa👇

@hyli_org @NoirLang David, grantobiorca @hyli_org, stworzył zkTenant, aplikację zero-knowledge do aplikacji mieszkaniowych we Francji. Umożliwia użytkownikom udowodnienie przedziału dochodowego i obywatelstwa francuskiego bez ujawniania surowych danych. System wykorzystuje Noir i korzysta z formatu 2D-Doc rządu francuskiego.

@hyli_org @NoirLang 2D-Doc to oparty na kodzie QR system podpisów cyfrowych używany w oficjalnych dokumentach francuskich (dowody osobiste, zeznania podatkowe itp.). Podpisuje treść w formacie plaintext za pomocą ECDSA (p256) i osadza ją jako kod kreskowy. Wyzwanie: weryfikacja ZK po stronie klienta tych podpisów w przeglądarce.

@hyli_org @NoirLang Aby to rozwiązać, David stworzył bibliotekę Noir, która analizuje i weryfikuje kody kreskowe 2D-Doc całkowicie w przeglądarce. Brak zależności od serwera. Wszystkie dowody są generowane lokalnie za pomocą WASM. To jest zgodne z ograniczeniami dotyczącymi suwerenności danych i przejrzystości weryfikacji.

@hyli_org @NoirLang Dowodzenie ECDSA zk-proofs po stronie klienta jest intensywne pod względem pamięci RAM. Wcześniejsze benchmarki (np. autorstwa Vlada) pokazały wykonalność w Noir. Generowanie dowodów zostało podzielone na mniejsze, rekurencyjne komponenty, aby zmieścić się w ograniczeniach WASM. To umożliwiło wydajne dowodzenie w przeglądarce.

@hyli_org @NoirLang przepływ pracy zkTenant: - Dane wejściowe: imię i nazwisko, rok podatkowy, dochód podlegający opodatkowaniu. - Skan: francuski dowód osobisty i zeznanie podatkowe (2D-Doc). - @NoirLang generuje zaświadczenia o dochodach + obywatelstwie. - Wyjście: dowód ZK wielokrotnego użytku, na razie symulowany w aplikacji.

@hyli_org @NoirLang Integracja z @hyli_org umożliwia kompozytowe zkProofs. Dowody tożsamości i dochodów mogą być łączone w jeden blob. To wspiera modułowe aktualizacje (np. paszport zamiast dowodu tożsamości) bez potrzeby przekształcania logiki dowodów.

@hyli_org @NoirLang Model prywatności: oryginalne dokumenty nigdy nie opuszczają klienta. Tylko zweryfikowane hashe wyodrębnionych danych są zapisywane na łańcuchu. Zero ekspozycji surowych danych, pełna audytowalność.