Auditores ruins perdem bugs óbvios. Criámos uma ferramenta de IA que os encontra. Apresentamos o V12: o único auditor autónomo de Solidity que realmente encontra Highs e Criticals. Vamos lançá-lo gratuitamente. O V12 encontra Crits em auditorias da Zellic, High/Mediums na Cantina, e um bug no Pendle.

Primeiro, por que construir o V12? 1. Os LLMs agora superam empresas de auditoria medianas. Auditores ruins (1) são péssimos e perdem bugs óbvios, (2) introduzem atrasos, (3) custam $10.000 para pequenas revisões. 2. 70% dos altos/críticos são erros de codificação simples. Os LLMs se destacam em encontrar esses bugs superficiais. Assim...

O nosso objetivo era construir uma ferramenta de IA que superasse os piores auditores na deteção de erros simples, mas importantes. Como nos saímos? O V12 encontra erros que as empresas de auditoria perderam:

Em competições, historicamente, os pesquisadores humanos submetem principalmente os mesmos bugs que o V12 encontra:

V12 descobre Altos e Médios em competições públicas e ao vivo:

A V12 encontra falhas que, se tivessem sido descobertas, teriam evitado milhões de dólares em hacks:

A qualidade da redação de relatórios da V12 é comparável à de humanos de topo:

O V12 não é apenas um motor poderoso para encontrar bugs. Tem uma interface frontal totalmente funcional e intuitiva para uma fácil revisão.

O V12 é autoatendimento. Faça login com o Google, conecte seus repositórios do Github, selecione o escopo e clique em Executar. Sem "agendar uma demonstração", sem "entre em contato conosco" para preços.

Ao contrário de muitos aplicativos que tentam prender você usando seus dados, o V12 permite que você exporte livremente para PDF, CSV, JSON e Markdown. Além disso, não cobramos por assento ou assinatura. Permitimos que você convide quantas pessoas quiser para suas auditorias.

Planeamos implementar o V12 em: - Uma aplicação autónoma que qualquer pessoa pode usar - Auditorias da Zellic e da Zenith - Competições da Code4rena, onde todos os problemas do V12 serão automaticamente marcados como OOS - Recompensas de bugs da Code4rena, semelhantes a recompensas de bugs - Uma ação do GitHub para integração CI/CD

Entusiasmado para experimentar o V12? Confira o anúncio completo aqui: