2.9.26
Lançado em 2 de nov. de 2026
Site oficial do Keylatch
Smart Contract Audit para Solidity
O Keylatch 2.9.26 ajuda você a revisar achados de segurança em Solidity com ferramentas integradas. Ele usa o modo Ask first para que você possa aprovar alterações antes que elas ocorram no chat.
Leia o arquivo principal do contrato, encontre chamadas externas e liste todos os riscos potenciais de reentrância na pasta do projeto.
- list_dir
./contracts3 arquivos - read_file
./contracts/Token.solcarregados - grep
external call2 correspondências - write_file
./findings-log.txtsalvos - Shell
your test commandexit 0
aguardando sua aprovação antes da próxima etapaRejeitarAceitar
34 MB
Download do programa de instalação
25 MB
Arquivo .exe único
13
Opções de interface
Windows 10/11
Suporte a x64
SHA-256
Verifique com certutil
Processo de smart contract audit
O Keylatch encontra arquivos, executa suas verificações e escreve anotações enquanto uma pessoa revisa cada achado no processo de smart contract audit com cuidado. O Keylatch ajuda. Ele automatiza as etapas repetitivas para que você possa se concentrar em erros de lógica. A definição de escopo e a leitura do código à mão continuam sendo essenciais para a precisão.
Análise de Solidity com ferramentas locais
O Keylatch usa list_dir para localizar arquivos de contrato e read_file para carregar o código-fonte, depois grep busca por todas as chamadas externas que podem causar reentrância, o que é uma análise de solidity. Pause primeiro. Você usa Ask first para pausar antes da edição. O agente grava os achados em um arquivo de log e mostra um diff para você. O aplicativo não é uma auditoria, mas ajuda você a revisar o código no Windows 10/11. A referência da auditoria sobrevive às atualizações quando o código muda?
Rastreamento da ferramenta
list_dir ./contracts → 3 files
read_file Token.sol → loaded
grep external call → 2 matches
write_file findings → saved
Shell your test command → exit 0Etapas automatizadas de análise
O Keylatch é um agente de IA autônomo para Windows 10/11 (x64), versão 2.9.26, e a análise automatizada usa Shell para executar seu verificador estático. Revisão completa. O agente usa grep para encontrar todas as chamadas externas no código. Em seguida, usa read_file para verificar a saída do comando. Um número mostra quantos arquivos foram processados durante a revisão. O agente usa write_file para criar anotações de achados para sua revisão.
Rastreamento da ferramenta
list_dir . -> lists contract files and test directories
read_file Token.sol -> reads the source code for review
grep -n "external" Token.sol -> finds lines matching 'external'
Shell -> runs your test command and your static-check command
write_file findings-log.txt -> saves the findings logVerificando estouro aritmético no Solidity 0.8
O Keylatch 2.9.26 para Windows 10/11 usa grep para encontrar todas as alterações de estado no contrato para que você possa verificar a lógica de propriedade e depois usa edit_file para sugerir um modificador para o contrato. Revise o diff. Esta etapa faz parte do processo de audit. Os modos de aprovação incluem Ask first para segurança durante as ações de edição. O agente usa Shell para executar seu comando de teste localmente. Você vê o diff e aprova a alteração imediatamente após a revisão.
Verificações de estouro no Solidity 0.8
O agente usa read_file para carregar as funções matemáticas e verifica estouro em código anterior ao Solidity 0.8 para que a lógica aritmética seja verificada por uma pessoa. Verifique o log. Você executa seu comando de teste para confirmar a correção de quaisquer problemas encontrados. grep lista as chamadas externas para leitura por uma pessoa. Lacunas comuns de segurança em aplicativos web3 antigos são encontradas por grep. Você mantém o relatório com a versão exata do código para rastros de auditoria.
Como difere de um assistente de chat típico
O Keylatch versão 2.9.26 executa as ferramentas ele mesmo, então cada ação aparece no chat como um cartão com seu resultado real e você vê o diff do arquivo. Revisão completa.
| Assistente de chat típico | Keylatch | |
|---|---|---|
| Execução de Ferramentas | Sugere comandos | Executa comandos |
| Alterações de Arquivo | Mostra texto | Mostra diff |
| Aprovação | Nenhuma | Ask first |
| Resultados | Descreve resultados em texto | Código de saída real |
Como começar a revisar
- Baixe o programa de instalação de 34 MB para Windows 10 ou 11.
- Execute o instalador e inicie o agente na sua área de trabalho.
- Abra a pasta do seu projeto no diretório de trabalho do chat.
- Selecione seu modelo e pressione o botão Testar para
Quem usa o Keylatch para auditorias
Iniciantes usam o Keylatch para aprender o fluxo de trabalho de revisão e veem cada ação da ferramenta para entender claramente a lógica por trás das alterações de código agora. Corrija-o. O Solidity 0.8 e versões posteriores verificam aritmética por padrão agora.
Profissionais usam o Keylatch para executar suas próprias verificações e manter anotações de achados para análise posterior enquanto o agente salva o arquivo de log. O Keylatch ajuda. O agente salva o log para você revisar os achados.
O Keylatch executa testes de unidade e verifica o código de saída para que você mantenha anotações de achados com a versão exata do código para a revisão da equipe. Revise primeiro. Cada etapa é registrada no histórico do chat.
Perguntas frequentes
O que é smart contract audit?
Um audit é uma revisão estruturada do código do contrato para falhas de segurança, terminando em uma lista escrita de achados com severidade e correção sugerida. Reduz o risco. O código é público, então um bug pode significar uma perda permanente.
O codewillmadeit.com é o site oficial do Keylatch?
Sim, codewillmadeit.com é o site oficial do Keylatch, e você verifica o instalador comparando seu checksum SHA-256 com o manifesto publicado usando o comando do Windows certutil -hashfile. Combine primeiro. Pressione Mais informações e depois Executar mesmo assim apenas após o checksum corresponder.
A auditoria ainda se aplica após a atualização do contrato?
Um relatório cobre apenas a versão do código e o escopo que foram revisados, então qualquer alteração posterior precisa de uma nova revisão para confirmar que o contrato continua seguro. Não, não se aplica. Uma atualização altera o que uma auditoria antiga diz, então você deve obter uma revisão fresca para a nova versão.
Como funciona o processo de revisão automatizada?
Uma revisão automatizada usa verificações estáticas e IA para encontrar problemas enquanto requer verificação manual para confirmar achados e descartar falsos positivos antes da implantação. O julgamento humano é essencial. Nenhuma ferramenta substitui totalmente o revisor para decisões finais de segurança.
Quanto custa um smart contract audit de segurança?
Não há preço fixo para uma auditoria profissional porque o custo depende da quantidade e complexidade do código sendo revisado por especialistas. Peça cotações. Um token simples é mais barato que lógica personalizada e requer menos tempo para concluir o processo de revisão.
O Keylatch pode substituir uma auditoria profissional?
Não, uma verificação automatizada não substitui uma auditoria profissional quando há fundos reais em jogo, então você deve confirmar os achados por conta própria. Confirme-os. O agente ajuda você a encontrar problemas antes de implantar o código.
Como as equipes lidam com a auditoria de contratos internamente?
A auditoria interna é um processo onde as equipes definem o escopo e anotam o que o contrato deve fazer, para que a lógica seja verificada antes da implantação e as alterações sejam rastreadas pelo agente. O Keylatch auxilia. Ele executa comandos Shell e salva a saída detalhada para revisão.
Revise seus contratos agora
Baixe o programa de instalação oficial do Keylatch, que tem cerca de 34 MB e funciona no Windows 10 ou 11, para que você possa revisar seus contratos inteligentes Solidity para falhas de segurança antes da implantação. Verifique se o checksum SHA-256 corresponde ao manifesto usando certutil. Compare o hash.
Baixar Keylatch para Windows ↗Explore o site
Todas as páginas deste site estão disponíveis em 20 idiomas. A interface do aplicativo em si tem 13 idiomas.
Detalhes do produto ↗ Configuração de modelos ↗ Fluxos de trabalho de auditoria ↗ Baixar instalador ↗ FAQ ↗ Política de privacidade ↗
