Pode candidatar-se a alojamento.... Usando ZKPs (@hyli_org & @NoirLang).... É assim que funciona👇

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

@hyli_org @NoirLang O 2D-Doc é um esquema de assinatura digital baseado em QR code utilizado em documentos oficiais franceses (cartões de identidade, declarações de impostos, etc.). Ele assina conteúdo em 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 abordar isso, David criou 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 está alinhado com as restrições sobre soberania de dados e transparência de verificação.

@hyli_org @NoirLang As provas zk ECDSA do lado do cliente são intensivas em RAM. Benchmarks anteriores (por exemplo, de Vlad) mostraram viabilidade no Noir. A geração de provas foi fragmentada em componentes recursivos menores para se manter dentro dos limites do WASM. Isso possibilitou uma prova eficiente no navegador.

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

A integração com @hyli_org permite zkProofs compostáveis. Tanto as provas de identidade quanto as provas de renda podem ser agrupadas em um único blob. Isso suporta atualizações modulares (por exemplo, passaporte em vez de identidade) sem a necessidade de reestruturar a lógica da prova.

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