Sobre o serviço
TraduzidoEu crio aplicações de conhecimento zero em Leo para a blockchain Aleo — da primeira ideia a um programa implantado na mainnet ou testnet. Leo é uma linguagem inspirada no Rust para escrever aplicações de conhecimento zero e contratos inteligentes privados que se compilam em instruções Aleo. Eu trabalho com isso diariamente e transformo requisitos de privacidade em código funcional e comprovável.
O que está incluído no serviço:
— Programas Leo limpos e bem estruturados com registros tipados, mapeamentos e transições para sua lógica de negócios;
— Contratos inteligentes privados onde dados sensíveis permanecem ocultos enquanto a correção ainda é comprovada on-chain;
— Lógica on-chain e off-chain: padrões de token, pagamentos privados, votação, identificação, jogos e primitivas zk personalizadas;
— Cobertura de testes completa, execução local através da ferramenta Aleo e esquemas eficientes em restrições;
— Implantação na testnet ou mainnet da Aleo, e integração com carteira e frontend se você precisar de um dApp completo.
Como eu trabalho: começamos com uma breve chamada de especificação, eu divido seus requisitos em registros e transições, e então entrego o programa em etapas compreensíveis. Você recebe o código-fonte com comentários, um conjunto de testes, scripts de implantação e um guia breve sobre como cada transição prova a afirmação sem revelar entradas privadas.
Uma startup explorando finanças privadas, uma equipe migrando um contrato para Aleo, ou um fundador testando uma ideia zk — eu ajudarei a liberar uma base de código segura e pronta para auditoria em Leo. Descreva sua tarefa, e eu estimarei o escopo, as restrições e o cronograma.
O que está incluído no serviço:
— Programas Leo limpos e bem estruturados com registros tipados, mapeamentos e transições para sua lógica de negócios;
— Contratos inteligentes privados onde dados sensíveis permanecem ocultos enquanto a correção ainda é comprovada on-chain;
— Lógica on-chain e off-chain: padrões de token, pagamentos privados, votação, identificação, jogos e primitivas zk personalizadas;
— Cobertura de testes completa, execução local através da ferramenta Aleo e esquemas eficientes em restrições;
— Implantação na testnet ou mainnet da Aleo, e integração com carteira e frontend se você precisar de um dApp completo.
Como eu trabalho: começamos com uma breve chamada de especificação, eu divido seus requisitos em registros e transições, e então entrego o programa em etapas compreensíveis. Você recebe o código-fonte com comentários, um conjunto de testes, scripts de implantação e um guia breve sobre como cada transição prova a afirmação sem revelar entradas privadas.
Uma startup explorando finanças privadas, uma equipe migrando um contrato para Aleo, ou um fundador testando uma ideia zk — eu ajudarei a liberar uma base de código segura e pronta para auditoria em Leo. Descreva sua tarefa, e eu estimarei o escopo, as restrições e o cronograma.
