Вы можете подать заявление на получение жилья.... Использование ZKP (@hyli_org и @NoirLang).... Вот как это работает👇

@hyli_org @NoirLang Дэвид, грантополучатель @hyli_org, создал zkTenant, приложение с нулевым разглашением для подачи заявок на жилье во Франции. Оно позволяет пользователям подтверждать свою категорию дохода и французское гражданство, не раскрывая сырые данные. Система использует Noir и использует формат 2D-Doc, разработанный правительством Франции.

@hyli_org @NoirLang 2D-Doc — это схема цифровой подписи на основе QR-кода, используемая в официальных французских документах (удостоверения личности, налоговые декларации и т. д.). Она подписывает текстовый контент с помощью ECDSA (p256) и встраивает его в виде штрих-кода. Задача: клиентская проверка ZK этих подписей в браузере.

@hyli_org @NoirLang Чтобы решить эту проблему, Дэвид создал библиотеку Noir, которая разбирает и проверяет 2D-Doc штрих-коды полностью в браузере. Без зависимости от сервера. Все доказательства генерируются локально с помощью WASM. Это соответствует ограничениям по суверенитету данных и прозрачности проверки.

@hyli_org @NoirLang Клиентские ECDSA zk-доказательства требуют много оперативной памяти. Предыдущие тесты (например, от Влада) показали возможность реализации в Noir. Генерация доказательств была разбита на более мелкие рекурсивные компоненты, чтобы оставаться в пределах ограничений WASM. Это позволило эффективно проводить доказательства в браузере.

@hyli_org @NoirLang рабочий процесс zkTenant: - Входные данные: название, налоговый год, налогооблагаемый доход. - Сканирование: французское удостоверение личности и налоговая декларация (2D-Doc). - @NoirLang генерирует доказательства уровня дохода + гражданства. - Выход: многоразовое доказательство ZK, симулируемое в приложении на данный момент.

@hyli_org @NoirLang Интеграция с @hyli_org позволяет создавать составные zkProofs. Доказательства идентичности и дохода могут быть объединены в один блоб. Это поддерживает модульные обновления (например, паспорт вместо удостоверения личности) без переработки логики доказательства.

@hyli_org @NoirLang Модель конфиденциальности: оригинальные документы никогда не покидают клиента. В цепочку блоков вносятся только проверенные хеши извлеченных данных. Никакого раскрытия сырых данных, полная аудируемость.