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

@hyli_org @NoirLang David, stypendysta programu @hyli_org, stworzył zkTenant, aplikację o zerowej wiedzy do zastosowań mieszkaniowych we Francji. Umożliwia użytkownikom udowodnienie przedziału dochodów i obywatelstwa francuskiego bez ujawniania surowych danych. System wykorzystuje Noir i wykorzystuje format 2D-Doc rządu francuskiego.

@hyli_org @NoirLang 2D-Doc to schemat podpisu cyfrowego oparty na kodzie QR, używany na oficjalnych francuskich dokumentach (dowodach osobistych, zeznaniach podatkowych itp.). Podpisuje treść tekstu jawnego za pomocą ECDSA (p256) i osadza ją jako kod kreskowy. Wyzwanie: weryfikacja tych podpisów ZK po stronie klienta w przeglądarce.

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

@hyli_org @NoirLang Zabezpieczenia ECDSA zk po stronie klienta wymagają dużej ilości pamięci RAM. Wcześniejsze testy porównawcze (np. Vlada) wykazały wykonalność w Noir. Generowanie dowodów zostało rozdrobnione na mniejsze komponenty rekurencyjne, aby pozostać w granicach WASM. Umożliwiło to wydajne sprawdzanie 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 komponowanie zkProofs. Zarówno dowód osobisty, jak i zaświadczenia o dochodach można połączyć w jeden obiekt blob. Obsługuje to aktualizacje modułowe (np. paszport zamiast dowodu osobistego) bez konieczności zmiany architektury logiki dowodu.

@hyli_org @NoirLang Model prywatności: oryginalne dokumenty nigdy nie opuszczają klienta. Tylko zweryfikowane skróty wyodrębnionych danych są zatwierdzane w łańcuchu. Zerowa ekspozycja na surowe dane, pełna audytowalność.