Você pode solicitar moradia.... Usando ZKPs (@hyli_org & @NoirLang).... É assim que funciona👇

@hyli_org @NoirLang David, um beneficiário @hyli_org, construiu o zkTenant, um aplicativo de conhecimento zero para aplicativos de habitação na França. Ele permite que os usuários comprovem a faixa de renda e a cidadania francesa sem divulgar dados brutos. O sistema usa Noir e aproveita o formato 2D-Doc do governo francês.

@hyli_org @NoirLang 2D-Doc é um esquema de assinatura digital baseado em código QR usado em documentos oficiais franceses (carteiras de identidade, declarações fiscais, etc.). Ele assina o conteúdo de texto simples com ECDSA (p256) e o incorpora como um código de barras. O desafio: verificação ZK do lado do cliente dessas assinaturas no navegador.

@hyli_org @NoirLang Para resolver isso, David criou o , uma biblioteca Noir que analisa e verifica códigos de barras 2D-Doc totalmente no navegador. Sem dependência de servidor. Todas as provas são geradas localmente via WASM. Isso se alinha com as restrições de soberania de dados e transparência de verificação.

@hyli_org @NoirLang As provas de zk ECDSA do lado do cliente consomem muita RAM. Benchmarks anteriores (por exemplo, de Vlad) mostraram viabilidade em Noir. A geração de provas foi fragmentada em componentes recursivos menores para permanecer dentro dos limites do WASM. Isso permitiu a prova de desempenho no navegador.

@hyli_org @NoirLang fluxo de trabalho zkTenant: - Entrada: nome, ano fiscal, lucro tributável. - Digitalização: documento de identidade francês e declaração de imposto de renda (2D-Doc). - @NoirLang gera comprovantes de faixa de renda + cidadania. - Saída: prova ZK reutilizável, simulável no aplicativo por enquanto.

@hyli_org @NoirLang A integração com o @hyli_org permite zkProofs combináveis. As provas de identidade e renda podem ser agrupadas em um único blob. Isso suporta atualizações modulares (por exemplo, passaporte em vez de ID) sem rearquitetar a lógica de prova.

@hyli_org @NoirLang Modelo de privacidade: os documentos originais nunca saem do cliente. Somente hashes verificados de dados extraídos são confirmados na cadeia. Zero exposição de dados brutos, total auditabilidade.