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

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

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

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

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

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

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

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