2025-12-30 15:21:59

Nos últimos meses, o campo da verificação de contratos inteligentes tem testemunhado vários avanços interessantes.

O sistema de prova de teoremas automatizado lançado pelo Certora Prover acelerou completamente o processo de auditoria — o que antes levava várias semanas agora é resolvido em poucas horas. A Halmos, por sua vez, usa um motor de execução simbólica para detectar vulnerabilidades, conseguindo captar 99,5% dos problemas que métodos tradicionais de teste deixam passar. Além disso, a versão empresarial do MythX adicionou uma funcionalidade de monitoramento em tempo real, tornando toda a cadeia de ferramentas cada vez mais completa.

As diferenças nos dados são evidentes: aqueles projetos DeFi que utilizam essas novas ferramentas tiveram zero incidentes de segurança durante todo o trimestre; em contrapartida, protocolos que ainda usam métodos tradicionais sofreram perdas superiores a 3 bilhões de dólares devido a ataques de hackers. A comparação é clara.

Muitos profissionais do setor preveem que, em mais dois anos, a verificação formal poderá se tornar um procedimento padrão obrigatório para grandes projetos DeFi. Afinal, no que diz respeito à segurança, ninguém pode fazer concessões.

Ver original

Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.

18 Curtidas

Recompensa
18
6
Repostar
Compartilhar

Comentário

0/400

MEVvictim

· 01-01 21:07

Mais uma história feliz de auditoria, aviso de 300 milhões de dólares em perdas de sangue e lágrimas --- Certora realmente é incrível, de semanas para algumas horas, quem aguenta essa diferença? --- Espera aí, de onde veio esses 99,5% de dados? Está meio suspeito --- Zero incidentes de segurança vs prejuízo de 300 milhões de dólares, por que ainda há quem não escolha essa opção, se a questão é tão simples? --- A validação formal se tornando padrão, parece que ainda vão levar mais cinco anos para parar de discutir --- Falando sério, essa função de monitoramento em tempo real do MythX precisa ser implementada logo, senão fica aquela sensação de incerteza --- A questão é o custo, esse pacote é acessível para pequenos projetos? --- Olhar para isso dá raiva, por que ainda há quem insista em usar métodos antigos? --- Com esse conjunto de estratégias, os hackers realmente vão ficar desempregados

Ver originalResponder0

LiquidatedDreams

· 2025-12-30 23:21

Ok, agora alguém finalmente tornou a auditoria eficiente, devia ter sido assim há muito tempo A verificação formal não é brincadeira, a perda de 300 milhões de dólares é um problema O conjunto da Certora é de facto topo de topo, e os resultados da auditoria serão divulgados dentro de algumas horas, e será definitivamente padrão por mais dois anos Mas, por outro lado, quantos projetos existem que realmente ousam usar? A taxa de deteção de vulnerabilidades de 99,5% parece muito mais fiável do que os métodos tradicionais Popularize cedo, não deixe que ninguém seja hackeado por não fazer um bom trabalho de verificação Só assim é que a DeFi pode realmente sentir-se à vontade

Ver originalResponder0

RegenRestorer

· 2025-12-30 15:50

Nossa, a diferença nesses dados é realmente enorme, 300 milhões, pessoal Já devia ter usado essas ferramentas há muito tempo, por que ainda há pessoas arriscando a vida? Validação formal será padrão em dois anos? Acho que já deveria ser obrigatória agora A jogada da Certora foi realmente forte, a auditoria foi concluída em poucas horas, e eu fiquei impressionado Quem ainda usa métodos tradicionais, realmente está brincando com fogo

Ver originalResponder0

StealthMoon

· 2025-12-30 15:32

Ferramentas de segurança estão realmente a decolar, mas, para ser honesto, ainda estão um pouco devagar. Quando é que esses projetos poderão realmente estar todos em uso? --- O sistema da Certora parece bom, mas depende da qualidade real da auditoria; velocidade rápida não significa menos vulnerabilidades, hein. --- 99,5% soa ótimo, mas tenho medo daquele 0,5% de cisne negro. --- O número de 300 milhões de dólares assusta um pouco; se soubesse, teria entrado mais cedo. --- Validação formal como padrão? Vamos esperar para ver, o custo ainda precisa ser ajustado. --- Parece que os grandes projetos estão começando a dar mais atenção, mas o ecossistema de pequenas e médias empresas ainda precisa de mais cuidado. --- A aceleração das auditorias é uma ótima notícia, mas a conscientização sobre segurança é ainda mais importante. --- Quando é que essas ferramentas vão ficar mais baratas, para que projetos de médio porte também possam usá-las e ficar mais satisfeitos?

Ver originalResponder0

DYORMaster

· 2025-12-30 15:32

Já devia ter sido popularizado, aqueles que ainda usam o método antigo realmente precisam acordar.

Ver originalResponder0

ImpermanentLossFan

· 2025-12-30 15:27

A verificação formal desta coisa realmente vai ganhar força, mas por outro lado, quantos projetos realmente estão dispostos a gastar dinheiro para usar isso?

Ver originalResponder0