Pode candidatar-se a alojamento.... 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 moradia 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 o 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 (cartões de identidade, declarações de impostos, etc.). Assina conteúdo de texto simples com ECDSA (p256) e incorpora-o 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 a , uma biblioteca Noir que analisa e verifica códigos de barras 2D-Doc totalmente no navegador. Sem dependência do servidor. Todas as provas são geradas localmente via WASM. Isso se alinha com as restrições à soberania de dados e à transparência da verificação.
@hyli_org @NoirLang ECDSA zk-proofs do lado do cliente são intensivas em RAM. Benchmarks anteriores (por exemplo, por Vlad) mostraram viabilidade em Noir. A geração de provas foi fragmentada em componentes recursivos menores para ficar dentro dos limites do WASM. Isso permitiu a prova de desempenho 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.
@hyli_org @NoirLang Integração com @hyli_org permite composable zkProofs. Os comprovantes de identidade e renda podem ser agrupados 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. Apenas hashes verificados de dados extraídos são confirmados on-chain. Zero exposição de dados brutos, auditabilidade total.
4,18K