Sobre o serviço
TraduzidoEu desenvolvo esquemas e provas industriais de conhecimento zero em Noir — a linguagem ZK da Aztec com sintaxe inspirada no Rust. Noir permite descrever lógica privada em código limpo e legível, enquanto permanece independente do backend: o esquema é compilado para ACIR (Representação Intermediária de Circuito Abstrato) e pode trabalhar com diferentes sistemas de prova, incluindo Barretenberg para provas UltraHonk e UltraPlonk.
O que você recebe:
— Esquemas personalizados em Noir para identificação, provas de pertencimento a conjuntos, votação privada, verificação de credenciais, misturadores e transferências confidenciais.
— Design de restrições eficiente que reduz a contagem de portas e o tempo de geração de provas.
— Bibliotecas e módulos reutilizáveis de Noir com interfaces claras, testes unitários via nargo e entradas públicas e privadas documentadas.
— Integração de verificador: geração de verificadores Solidity ou de contrato para verificação de provas on-chain, bem como geração de provas off-chain.
— Provas de inclusão de árvore Merkle, compromissos de hash (Pedersen, Poseidon, Keccak), verificações de intervalo e verificação de assinatura dentro do circuito.
— Integração completa com camada JavaScript ou TypeScript (Node ou navegador) para construção de testemunhas e geração de provas.
Processo: Eu começo a partir dos seus requisitos de privacidade, identifico entradas públicas e privadas, modelo as restrições e refino o esquema para robustez e desempenho. Cada esquema vem com um conjunto de testes, descrição das suposições de confiança e instruções para prova e verificação.
Descreva sua tarefa — eu avaliarei os custos com base nas restrições e proponho a solução Noir mais limpa.
O que você recebe:
— Esquemas personalizados em Noir para identificação, provas de pertencimento a conjuntos, votação privada, verificação de credenciais, misturadores e transferências confidenciais.
— Design de restrições eficiente que reduz a contagem de portas e o tempo de geração de provas.
— Bibliotecas e módulos reutilizáveis de Noir com interfaces claras, testes unitários via nargo e entradas públicas e privadas documentadas.
— Integração de verificador: geração de verificadores Solidity ou de contrato para verificação de provas on-chain, bem como geração de provas off-chain.
— Provas de inclusão de árvore Merkle, compromissos de hash (Pedersen, Poseidon, Keccak), verificações de intervalo e verificação de assinatura dentro do circuito.
— Integração completa com camada JavaScript ou TypeScript (Node ou navegador) para construção de testemunhas e geração de provas.
Processo: Eu começo a partir dos seus requisitos de privacidade, identifico entradas públicas e privadas, modelo as restrições e refino o esquema para robustez e desempenho. Cada esquema vem com um conjunto de testes, descrição das suposições de confiança e instruções para prova e verificação.
Descreva sua tarefa — eu avaliarei os custos com base nas restrições e proponho a solução Noir mais limpa.
