El fundador de CertiK habla sobre la seguridad de la cadena de bloques: de la verificación formal a las nuevas amenazas

Con el rápido desarrollo de Web3.0, la seguridad en la cadena de bloques se ha convertido en un tema focal en la industria. Recientemente, un conocido experto en seguridad de la cadena de bloques dio una entrevista a los medios, compartiendo su visión sobre el estado actual de la industria y las tendencias futuras.

Este experto es el fundador y CEO de una conocida empresa de seguridad en la cadena de bloques, y también es profesor de ciencias de la computación en una universidad famosa. Su empresa fue fundada en 2017 y se dedica a utilizar la verificación formal para mejorar la seguridad de los protocolos de la cadena de bloques y los contratos inteligentes. Actualmente, la empresa ha prestado servicios a casi 5000 clientes empresariales, protegiendo más de 530 mil millones de dólares en activos digitales y descubriendo más de 115,000 vulnerabilidades en el código.

Al hablar sobre la reciente situación de seguridad, los expertos señalaron que las pérdidas causadas por fraudes en la cadena de bloques en el primer trimestre de 2025 alcanzaron los 1,660 millones de dólares, un aumento del 303% en comparación con el trimestre anterior. Entre ellos, Ethereum sigue siendo el principal objetivo de los ataques de hackers, representando la mayor parte de las pérdidas. Lo que es aún más preocupante es que la tasa de recuperación de los activos robados es solo del 0.38%.

Ante los métodos de ataque cada vez más complejos, la industria de la seguridad en la cadena de bloques está respondiendo activamente. Tecnologías innovadoras como la prueba de conocimiento cero y el cálculo multipartito se están aplicando ampliamente para mejorar la privacidad y seguridad de las transacciones. Los expertos enfatizan que considerar la seguridad como la máxima prioridad y integrarla en todo el proceso de desarrollo es fundamental para construir aplicaciones confiables de Web3.0.

La inteligencia artificial desempeña un papel de espada de doble filo en la seguridad de la cadena de bloques. Por un lado, la IA puede ayudar a analizar las vulnerabilidades en los contratos inteligentes, mejorando la eficiencia de la auditoría; por otro lado, los atacantes también pueden utilizar la IA para mejorar sus métodos de ataque. Esto significa que el umbral de la seguridad contra ataques está aumentando constantemente.

La verificación formal es una técnica que utiliza métodos matemáticos para demostrar la corrección de un programa. En el campo de la cadena de bloques, puede combinarse con auditorías humanas para mejorar de manera integral la seguridad de los contratos inteligentes.

Con la entrada de instituciones financieras tradicionales en el campo de la cadena de bloques, los tipos y la complejidad de las amenazas a la seguridad también están cambiando. Los expertos prevén que los ataques futuros serán más específicos y podrían centrarse en vulnerabilidades a nivel empresarial, fallos en contratos inteligentes personalizados y defectos de seguridad en las interfaces de integración con sistemas tradicionales.

En general, a medida que la tecnología de la cadena de bloques continúa desarrollándose y ampliándose su alcance, los problemas de seguridad seguirán siendo un foco de atención en la industria. Solo a través de la innovación continua y medidas de seguridad estrictas se podrá establecer una base sólida para el desarrollo saludable de Web3.0.