Revisamos o código, as permissões e a lógica econômica dos seus contratos, com testes próprios, um relatório por severidade e a verificação de cada correção.
Revisa o código, as permissões e a lógica econômica dos seus contratos antes que eles custodiem valor. Combina leitura manual linha a linha, fuzzing e análise estática, e termina em um relatório com cada achado classificado por severidade. Uma auditoria reduz o risco, mas não o elimina, e por isso também verificamos cada correção.
US$ 905 mi
perdidos por falhas em contratos em 2025
122
incidentes em smart contracts em 2025
+US$ 953 mi
perdidos por falhas de permissões em 2024
Cada peça deixa uma evidência que a sua equipe, um investidor ou um supervisor pode revisar depois, com o que foi analisado, o que foi encontrado e como ficou resolvido.
Fixamos contratos, commit e premissas antes de começar, para que o relatório seja reproduzível.
Leitura linha a linha da lógica, das permissões e de cada fluxo que movimenta valor nos seus contratos.
Propriedades que devem ser sempre satisfeitas, testadas com Foundry contra milhares de entradas aleatórias.
Slither sobre padrões de vulnerabilidade conhecidos, com cada alerta revisado manualmente antes de ser reportado.
Cada achado com sua severidade, seu impacto, uma prova de conceito e a correção que propomos.
Revisamos cada mudança e atualizamos o relatório com o estado final de todos os achados.
Os três métodos se combinam. A revisão manual encontra os erros de lógica e de design, as ferramentas cobrem o que é repetível a cada mudança e a verificação formal demonstra propriedades específicas quando o valor em risco justifica.
| Critério | Revisão manual | Ferramentas automáticas | Verificação formal |
|---|---|---|---|
| O que detecta | Erros de lógica, de permissões e de design econômico. | Padrões conhecidos e casos-limite gerados pelo fuzzing. | Qualquer violação das propriedades especificadas. |
| Limite principal | Depende da experiência e do tempo do revisor. | Falsos positivos e nenhuma noção da regra de negócio. | Só prova o que foi especificado. Uma especificação ruim passa. |
| Custo relativo | Médio ou alto. Cresce com o código e sua complexidade. | Baixo. É executado a cada mudança, em integração contínua. | O mais alto. Exige formalizar cada propriedade. |
| Uso típico | Todo contrato que vá custodiar fundos de terceiros. | A base contínua de qualquer projeto, antes e depois. | Núcleos críticos como vaults, bridges ou stablecoins. |
Uma auditoria descreve o que foi revisado em um commit específico. Se o código mudar depois, a mudança precisa de sua própria revisão.
Quatro fases, cada uma com seu entregável. O escopo é fechado antes de lermos uma única linha, e o relatório só é considerado concluído depois que as correções são verificadas.
Fixamos o commit, os contratos e os atores, e documentamos o que poderia dar errado em cada fluxo.
Lemos cada função confrontando-a com a especificação e documentamos os achados com sua prova de conceito.
Fuzzing e invariantes com Foundry e análise estática com Slither para cobrir o que a leitura não alcança.
Entregamos o relatório por severidade, verificamos cada correção e preparamos o código para uma auditoria externa, se necessário.
As mesmas linguagens e frameworks de testes com que os contratos são escritos, para reproduzir cada achado sobre o código real.
Linguagem de contratos inteligentes com regras verificáveis para redes EVM.
Alternativa minimalista ao Solidity com foco em auditabilidade.
Testes em Solidity, fuzzing de invariantes e ferramentas de linha de comando EVM.
Ambiente para compilar, testar e implantar contratos em redes EVM a partir do Node.
Contratos Solidity auditados para tokens, controle de permissões e atualizações.
Contratos EVM, tokens e liquidação final em uma rede Proof of Stake aberta.
Uma auditoria faz sentido antes de um contrato custodiar fundos de terceiros e sempre que sua lógica muda.
Contratos de emissão, cupons e amortização revisados antes de o primeiro investidor entrar.
Blockchain para Bancos e finanças
Restrições de transferência e listas de investidores verificados checadas antes de emitir.
Tokens e NFT revisados para que ninguém cunhe nem retire mais do que a lógica do jogo permite.
Aposentadoria de créditos sem dupla contagem, com cada operação de queima rastreável on-chain.
Blockchain para Energia e sustentabilidade“A Metlabs nos acompanhou em todo o nosso processo de tokenização, da estratégia e da estrutura do ativo à tecnologia e ao design da nossa plataforma. Combinam negócio, regulação e técnica, e são muito próximos. Continuaremos trabalhando com eles.”
“Uma das empresas pioneiras em soluções web3, ativos digitais e tokenização, reconhecida por sua inovação e sólida reputação na Espanha e na América Latina.”
“Estruturamos com eles a tokenização de projetos imobiliários e destaco a capacidade da equipe de entender nossas necessidades corporativas e resolvê-las.”
“Eles nos assessoraram na viabilidade de tokenizar ativos imobiliários no Uruguai, com um atendimento cordial e direto. Uma equipe profissional, ágil e sempre disponível.”
“Grandes profissionais na estruturação de projetos tokenizados, com domínio técnico e atenção aos detalhes que transmitem plena confiança em cada fase do trabalho.”
“Como advogada de blockchain, valorizo sua experiência e profissionalismo na consultoria e execução de projetos de tokenização. Parceiros tecnológicos de plena confiança.”
“Grandes profissionais, muito atenciosos com seus clientes e sempre atentos a cada detalhe. Trabalhar com a equipe deles foi um verdadeiro prazer do início ao fim.”
“Uma empresa muito profissional e, ao mesmo tempo, acessível, que demonstra empatia com suas dúvidas e necessidades. Muito recomendável para empreendedores com um projeto de tokenização.”
“Excepcionais em todos os sentidos. Do ponto de vista do suporte jurídico, valorizo seu rigor e transparência: trabalhar com a Metlabs é sinônimo de profissionalismo, inovação e segurança.”
“Excelente serviço em desenvolvimento blockchain, tokenização de ativos e consultoria. Uma equipe muito profissional, que recomendo plenamente e sem nenhuma ressalva.”
“Já trabalhei com eles em vários projetos e são muito profissionais. Uma garantia de que tudo vai sair perfeito. Sem dúvida nenhuma, são 100% recomendáveis.”
“A Metlabs nos acompanhou em todo o nosso processo de tokenização, da estratégia e da estrutura do ativo à tecnologia e ao design da nossa plataforma. Combinam negócio, regulação e técnica, e são muito próximos. Continuaremos trabalhando com eles.”
“Eles nos assessoraram na viabilidade de tokenizar ativos imobiliários no Uruguai, com um atendimento cordial e direto. Uma equipe profissional, ágil e sempre disponível.”
“Grandes profissionais, muito atenciosos com seus clientes e sempre atentos a cada detalhe. Trabalhar com a equipe deles foi um verdadeiro prazer do início ao fim.”
“Excelente serviço em desenvolvimento blockchain, tokenização de ativos e consultoria. Uma equipe muito profissional, que recomendo plenamente e sem nenhuma ressalva.”
“Uma das empresas pioneiras em soluções web3, ativos digitais e tokenização, reconhecida por sua inovação e sólida reputação na Espanha e na América Latina.”
“Grandes profissionais na estruturação de projetos tokenizados, com domínio técnico e atenção aos detalhes que transmitem plena confiança em cada fase do trabalho.”
“Uma empresa muito profissional e, ao mesmo tempo, acessível, que demonstra empatia com suas dúvidas e necessidades. Muito recomendável para empreendedores com um projeto de tokenização.”
“Já trabalhei com eles em vários projetos e são muito profissionais. Uma garantia de que tudo vai sair perfeito. Sem dúvida nenhuma, são 100% recomendáveis.”
“Estruturamos com eles a tokenização de projetos imobiliários e destaco a capacidade da equipe de entender nossas necessidades corporativas e resolvê-las.”
“Como advogada de blockchain, valorizo sua experiência e profissionalismo na consultoria e execução de projetos de tokenização. Parceiros tecnológicos de plena confiança.”
“Excepcionais em todos os sentidos. Do ponto de vista do suporte jurídico, valorizo seu rigor e transparência: trabalhar com a Metlabs é sinônimo de profissionalismo, inovação e segurança.”
A Metlabs é uma empresa de desenvolvimento blockchain com sede em A Coruña. Uma equipe própria cobre cada parte do projeto, do produto e da engenharia à infraestrutura e ao enquadramento legal. Quem projeta sua arquitetura é quem escreve, testa e implanta o código.
Conheça a equipe
Isaac González
Head of Innovation
Carlos Peña
Full Stack Engineer
Pablo Castro
DevOps Engineer
Helena Ramos
Product Designer
Javier Yáñez
Jurídico
Cada entrega passa pela mesma lista de verificação antes de chegar à mainnet. O que muda entre projetos é a profundidade de cada controle, porque um MVP não assume o mesmo risco que um contrato que custodia fundos de terceiros.
Ainda não tem o escopo definido? Comece pela consultoria blockchain
O que uma auditoria de smart contracts deve incluir, como verificar seu escopo e por que um relatório não garante segurança nem conformidade legal.
Testes em Solidity e TypeScript, fuzzing, plugins e deploys: critérios para comparar Hardhat 3 e Foundry sem benchmarks fora de contexto.
O que trazem as bibliotecas da OpenZeppelin e os controles do ERC-3643 e o que mais exige uma emissão de valores: direitos, permissões, operação e revisão.
Envie o repositório e o commit que você quer revisar. Respondemos com o escopo, o método e o cronograma da auditoria.
Falam de nós
