Cada serviço pode ser contratado isolado ou em conjunto. O que não muda é o rigor: dupla revisão, prova de conceito e documentação que a sua equipe consegue usar.
Revisão manual, linha a linha, do código que guarda valor. Olhamos controle de acesso, aritmética, reentrância, dependências externas e a lógica econômica que sustenta o protocolo. Você recebe um relatório com severidade justificada, prova de conceito para cada achado e a correção sugerida.
Para as regras que não podem falhar nunca, a leitura não basta. Escrevemos especificações e provamos, com solucionadores matemáticos, que o contrato respeita cada invariante. É o nível indicado para cofres, pontes entre redes e mecanismos de governança.
A auditoria encerra; o protocolo segue no ar. Instalamos sensores na mempool e nos eventos em cadeia que avisam quando um padrão sai da faixa normal — um saque fora de escala, uma chamada inesperada, um preço distorcido. O alerta chega com contexto suficiente para decidir.
Quando um ataque acontece, o relógio corre contra a equipe. Montamos a linha do tempo do que ocorreu, estimamos a perda, apoiamos a contenção e coordenamos a comunicação com a comunidade, as corretoras e, quando necessário, as autoridades. Depois, documentamos para que não se repita.
O momento mais barato para corrigir um erro é antes de escrevê-lo. Revisamos o desenho do protocolo ainda no quadro branco: modelo de confiança, pontos de centralização, caminhos de atualização e dependências de terceiros. Um parecer que orienta as decisões de projeto.
Estruturamos e operamos o canal pelo qual pesquisadores externos reportam falhas ao seu projeto. Definimos as regras, fazemos a triagem técnica dos relatos, separamos ruído de risco real e mediamos a relação entre a sua equipe e quem encontrou o problema.
Antes de qualquer valor, lemos o que você tem e dizemos o que dá para cobrir bem no prazo disponível. Se o escopo pedir uma competência que não dominamos, falamos antes e indicamos quem domina.
Pedir uma estimativa de escopoAplicável a qualquer serviço. As etapas mudam de peso conforme a frente, mas a ordem e o cuidado permanecem.
Uma reunião curta para saber o que você construiu, qual valor está em jogo e o que mais preocupa a equipe. Dessa conversa sai o rascunho de escopo.
Delimitamos o que entra, o que fica de fora e por quê. Você recebe prazo, valor fechado e o nome de quem vai conduzir o trabalho.
Duas pessoas leem de forma independente, apoiadas por análise estática e testes de propriedade. Achados graves são comunicados na hora, sem esperar o relatório.
Entregamos o documento e sentamos para revisar cada ponto com a sua equipe. A severidade é discutida, não imposta.
Quando as correções chegam, revisamos de novo para confirmar que resolveram o problema sem criar outro. Só então consideramos o trabalho encerrado.
Nenhum laudo sai com a leitura de uma só pessoa. Duas revisões independentes reduzem o risco do ponto cego individual.
Todo achado relevante acompanha um teste que o reproduz. O que não se reproduz é marcado como hipótese, com honestidade.
Código, vínculo e achados ficam sob sigilo. Material cifrado em repouso e descarte combinado ao fim, conforme a LGPD.
A primeira rodada de verificação das correções já faz parte do trabalho. Não encerramos sem reler o código ajustado.
Descreva o projeto em poucas linhas. Devolvemos uma estimativa de escopo e prazo em até dois dias úteis.