O CEO da CertiK discute ameaças e defesas de segurança no Blockchain

O rápido desenvolvimento do campo da Web3.0 tornou a segurança do Blockchain uma prioridade. A CertiK, como uma empresa líder em segurança no setor, está comprometida em melhorar a segurança do Blockchain e dos contratos inteligentes através de tecnologia de verificação formal.

Recentemente, a CertiK lançou o relatório de segurança "Hack3d: Relatório de Segurança do Primeiro Trimestre de 2025", que revela novas tendências de roubo de ativos digitais e ameaças à segurança. O relatório indica que as perdas causadas por fraudes on-chain no primeiro trimestre de 2025 foram de aproximadamente 1,66 mil milhões de dólares, um aumento de 303% em relação ao trimestre anterior. O Ethereum continua a ser o principal alvo de ataques, com apenas 0,38% dos ativos roubados sendo recuperados.

Perante as cada vez mais complexas técnicas de ataque, a indústria de segurança de blockchain está a responder ativamente. Tecnologias inovadoras como provas de conhecimento zero e computação multipartidária oferecem novas soluções para os problemas de segurança. Estas tecnologias podem proteger a privacidade enquanto possibilitam a auditoria de transações, rastreamento de ataques e recuperação de ativos.

Para desenvolvedores de Blockchain e equipes de projeto, os especialistas recomendam colocar a segurança em primeiro lugar e integrá-la em cada fase do desenvolvimento. Ao mesmo tempo, é crucial buscar instituições de segurança de terceiros para auditorias abrangentes e justas, que podem fornecer uma perspectiva independente e identificar riscos potenciais que a equipe interna pode ter ignorado.

A inteligência artificial desempenha um duplo papel na segurança do blockchain. Por um lado, a IA é utilizada para analisar vulnerabilidades e potenciais falhas de segurança em contratos inteligentes, aumentando a eficiência da auditoria. Por outro lado, os atacantes também podem usar a IA para reforçar suas técnicas de ataque, o que significa que o nível de dificuldade na defesa da segurança foi elevado.

A verificação formal é um método que prova, por meio de métodos matemáticos, que os programas de computador funcionam como esperado. Ela pode ser amplamente aplicada em vários campos da indústria tecnológica, incluindo a auditoria de contratos inteligentes. No entanto, a verificação formal não é destinada a substituir a auditoria manual; ambas se complementam, melhorando a segurança geral dos contratos inteligentes.

À medida que as instituições financeiras tradicionais entram no campo da Blockchain, os tipos e a complexidade das ameaças à segurança também estão a mudar. Espera-se que os agentes maliciosos aumentem a complexidade dos métodos de ataque, passando de ataques a vulnerabilidades de carteiras genéricas para vulnerabilidades empresariais mais direcionadas, como erros de configuração, falhas em contratos inteligentes personalizados, e deficiências de segurança nas interfaces de integração com sistemas tradicionais.

Na era do Web3.0, a segurança não é apenas um desafio técnico, mas uma responsabilidade comum de toda a indústria. Através da inovação contínua e da colaboração, esperamos construir um ecossistema de Blockchain mais seguro e mais confiável.