Especialista em segurança Web3 explica estratégias de defesa em Blockchain

A segurança do Blockchain tornou-se uma prioridade no campo do Web3.0. O cofundador e CEO da CertiK, professor de ciência da computação na Universidade de Columbia, recentemente deu uma entrevista, compartilhando as últimas percepções no campo da segurança do Blockchain.

A CertiK foi fundada em 2017 e dedica-se a utilizar tecnologias de verificação formal para melhorar a segurança de Blockchains e contratos inteligentes. Até o momento, a CertiK já prestou serviços a mais de 4.900 clientes empresariais, protegendo mais de 530 bilhões de dólares em ativos digitais e identificando mais de 115.000 vulnerabilidades de código.

De acordo com o relatório de segurança do primeiro trimestre de 2025 publicado pela CertiK, as perdas causadas por fraudes on-chain totalizaram cerca de 1.66 bilhõ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 3 incidentes resultando em perdas de ativos de 1.54 bilhões de dólares. O mais preocupante é que a taxa de recuperação de ativos roubados é apenas de 0.38%.

Diante das técnicas de ataque cada vez mais complexas, a indústria de segurança de Blockchain está respondendo ativamente. Provas de conhecimento zero, computação multipartidária e outras tecnologias inovadoras estão oferecendo novas ideias para resolver problemas de segurança. Essas tecnologias têm o potencial de permitir transações auditáveis, rastreamento de ataques e recuperação de ativos, ao mesmo tempo que protegem a privacidade.

Para os desenvolvedores de Blockchain, os especialistas recomendam integrar a segurança em todo o processo de desenvolvimento e buscar auditorias de segurança de terceiros. Esta estratégia de "segurança em primeiro lugar" é crucial para construir aplicações Web3.0 confiáveis.

A tecnologia de IA desempenha um papel de espada de dois gumes na segurança do Blockchain. Por um lado, pode ajudar a analisar vulnerabilidades de contratos inteligentes e aumentar a eficiência da auditoria; por outro lado, os atacantes também podem usar a IA para fortalecer métodos de ataque. Isso significa que a indústria precisa investir em soluções de segurança mais robustas.

A verificação formal é uma técnica que prova a correção de programas através de métodos matemáticos. Na auditoria de contratos inteligentes, pode complementar a auditoria manual, melhorando assim a segurança dos contratos.

Com a entrada de instituições financeiras tradicionais no campo da Blockchain, os tipos e a complexidade das ameaças à segurança também estão a evoluir. Ataques futuros podem estar mais focados em vulnerabilidades de nível empresarial, como configurações incorretas, falhas em contratos inteligentes personalizados, e deficiências de segurança nas interfaces de integração com sistemas tradicionais.

Na era Web3.0, a segurança não é mais uma remediação posterior, mas deve ser incorporada em cada fase do desenvolvimento do projeto. Apenas com inovação contínua e vigilância preventiva é que se pode construir uma barreira de segurança sólida para os ativos digitais.