O fundador da CertiK fala sobre segurança em Blockchain: da Verificação formal às novas ameaças
Com o rápido desenvolvimento do Web3.0, a segurança do Blockchain tornou-se um tópico de destaque na indústria. Recentemente, um conhecido especialista em segurança de Blockchain deu uma entrevista à mídia, compartilhando suas percepções sobre o estado atual da indústria e as tendências futuras.
Este especialista é o fundador e CEO de uma conhecida empresa de segurança em Blockchain, além de ser professor de ciência da computação em uma famosa universidade. A sua empresa foi fundada em 2017 e dedica-se a utilizar a Verificação formal para aumentar a segurança dos protocolos de Blockchain e dos contratos inteligentes. Atualmente, a empresa já prestou serviços a quase 5000 clientes empresariais, protegendo mais de 530 bilhões de dólares em ativos digitais e descobrindo mais de 115 mil vulnerabilidades de código.
Falando sobre a situação de segurança recente, os especialistas apontaram que as perdas causadas por fraudes na blockchain no primeiro trimestre de 2025 atingiram 1,66 mil milhões de dólares, um aumento de 303% em relação ao trimestre anterior. Dentre isso, o Ethereum continua a ser o principal alvo de ataques de hackers, representando a maior parte das perdas. Mais preocupante é que a taxa de recuperação de ativos roubados é de apenas 0,38%.
Diante de métodos de ataque cada vez mais complexos, a indústria de segurança de Blockchain está respondendo ativamente. Tecnologias inovadoras como provas de conhecimento zero e computação multipartidária estão sendo amplamente aplicadas para aumentar a privacidade e a segurança das transações. Especialistas enfatizam que considerar a segurança como prioridade e integrá-la em todo o processo de desenvolvimento é crucial para construir aplicações Web3.0 confiáveis.
A inteligência artificial desempenha um papel de espada de dois gumes na segurança da Blockchain. Por um lado, a IA pode ajudar a analisar vulnerabilidades em contratos inteligentes, aumentando a eficiência das auditorias; por outro lado, os atacantes também podem usar a IA para aprimorar seus métodos de ataque. Isso significa que a barreira de segurança está constantemente aumentando.
Verificação formal é uma técnica que prova a correção de programas através de métodos matemáticos. No campo da Blockchain, pode ser combinada com auditoria humana para melhorar significativamente a segurança dos contratos inteligentes.
Com a entrada de instituições financeiras tradicionais no campo do Blockchain, os tipos e a complexidade das ameaças à segurança também estão a mudar. Especialistas prevêem que os ataques futuros serão mais direcionados, podendo concentrar-se em vulnerabilidades a nível empresarial, falhas em contratos inteligentes personalizados e deficiências de segurança nas interfaces de integração com sistemas tradicionais.
No geral, à medida que a tecnologia Blockchain continua a se desenvolver e a sua aplicação se expande, as questões de segurança continuarão a ser um foco de atenção na indústria. Somente através da inovação contínua e de medidas de segurança rigorosas é que se poderá estabelecer uma base sólida para o desenvolvimento saudável do Web3.0.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
O fundador da CertiK revela o estado atual da segurança do Blockchain e as tendências futuras
O fundador da CertiK fala sobre segurança em Blockchain: da Verificação formal às novas ameaças
Com o rápido desenvolvimento do Web3.0, a segurança do Blockchain tornou-se um tópico de destaque na indústria. Recentemente, um conhecido especialista em segurança de Blockchain deu uma entrevista à mídia, compartilhando suas percepções sobre o estado atual da indústria e as tendências futuras.
Este especialista é o fundador e CEO de uma conhecida empresa de segurança em Blockchain, além de ser professor de ciência da computação em uma famosa universidade. A sua empresa foi fundada em 2017 e dedica-se a utilizar a Verificação formal para aumentar a segurança dos protocolos de Blockchain e dos contratos inteligentes. Atualmente, a empresa já prestou serviços a quase 5000 clientes empresariais, protegendo mais de 530 bilhões de dólares em ativos digitais e descobrindo mais de 115 mil vulnerabilidades de código.
Falando sobre a situação de segurança recente, os especialistas apontaram que as perdas causadas por fraudes na blockchain no primeiro trimestre de 2025 atingiram 1,66 mil milhões de dólares, um aumento de 303% em relação ao trimestre anterior. Dentre isso, o Ethereum continua a ser o principal alvo de ataques de hackers, representando a maior parte das perdas. Mais preocupante é que a taxa de recuperação de ativos roubados é de apenas 0,38%.
Diante de métodos de ataque cada vez mais complexos, a indústria de segurança de Blockchain está respondendo ativamente. Tecnologias inovadoras como provas de conhecimento zero e computação multipartidária estão sendo amplamente aplicadas para aumentar a privacidade e a segurança das transações. Especialistas enfatizam que considerar a segurança como prioridade e integrá-la em todo o processo de desenvolvimento é crucial para construir aplicações Web3.0 confiáveis.
A inteligência artificial desempenha um papel de espada de dois gumes na segurança da Blockchain. Por um lado, a IA pode ajudar a analisar vulnerabilidades em contratos inteligentes, aumentando a eficiência das auditorias; por outro lado, os atacantes também podem usar a IA para aprimorar seus métodos de ataque. Isso significa que a barreira de segurança está constantemente aumentando.
Verificação formal é uma técnica que prova a correção de programas através de métodos matemáticos. No campo da Blockchain, pode ser combinada com auditoria humana para melhorar significativamente a segurança dos contratos inteligentes.
Com a entrada de instituições financeiras tradicionais no campo do Blockchain, os tipos e a complexidade das ameaças à segurança também estão a mudar. Especialistas prevêem que os ataques futuros serão mais direcionados, podendo concentrar-se em vulnerabilidades a nível empresarial, falhas em contratos inteligentes personalizados e deficiências de segurança nas interfaces de integração com sistemas tradicionais.
No geral, à medida que a tecnologia Blockchain continua a se desenvolver e a sua aplicação se expande, as questões de segurança continuarão a ser um foco de atenção na indústria. Somente através da inovação contínua e de medidas de segurança rigorosas é que se poderá estabelecer uma base sólida para o desenvolvimento saudável do Web3.0.