CNBC entrevistó a Gu Ronghui, cofundador de CertiK: Desde la verificación formal hasta el empoderamiento de la IA, seguimos ampliando los límites de la confianza en la Web3

Recientemente, Gu Ronghui, cofundador de CertiK y profesor de la Universidad de Columbia, fue entrevistado por CNBC Arabia, un medio financiero de renombre mundial, y compartió sus ideas sobre el futuro de la seguridad Web3 en temas como la aplicación industrial de la verificación formal, el papel de la IA en la seguridad de la cadena de bloques y los riesgos de las tecnologías emergentes.

Gu Ronghui dijo que la verificación formal es la clave para construir la base de seguridad de la cadena de bloques, y su papel es verificar matemáticamente si el comportamiento del código se ajusta a la lógica esperada. Este enfoque es más riguroso y desafiante que las herramientas de auditoría tradicionales. Ha enfatizado repetidamente que la esencia de blockchain no es solo la innovación tecnológica, sino también la reconstrucción de la confianza, y un sistema verdaderamente creíble debe ser verificable.

Verificación formal: La construcción de una base de seguridad de blockchain

como un método de auditoría de alto umbral y alta intensidad requiere una acumulación técnica profunda y una comprensión de la lógica subyacente. Gu Ronghui señaló en una entrevista exclusiva que, aunque este método es complejo, tiene ventajas insustituibles para garantizar la seguridad y la capacidad de control de la cadena de bloques.

Su conexión con la verificación formal se remonta a sus estudios. En 2016, colaboró con el profesor de la Universidad de Yale, Shao Zhong, para desarrollar con éxito el primer kernel de sistema operativo multinúcleo totalmente validado formalmente del mundo, CertiKOS, que fue calificado como irrompible por Google. Este logro no solo verifica la aplicación de la tecnología en el mundo real, sino que también sienta las bases para que ingrese a la práctica de la industria.

Desde entonces, Gu Ronghui fundó CertiK en 2017 para llevar la verificación formal a la escena de la cadena de bloques. Hoy en día, esta tecnología es ampliamente utilizada en muchos proyectos líderes como ZK que se centran en la privacidad y la seguridad, así como en grandes instituciones financieras como Ant Group. En una entrevista exclusiva, Gu Ronghui dijo que para mejorar la eficiencia de la verificación formal, CertiK ha creado herramientas auxiliares como el análisis inteligente de IA, que se pueden utilizar para identificar automáticamente las características del código y generar pruebas lógicas.

Al promover la implementación de logros académicos, Gu Ronghui siempre ha prestado mucha atención a las nuevas amenazas que enfrenta la industria. En respuesta a las preocupaciones de que "las supercomputadoras o la computación cuántica puedan amenazar la seguridad de la cadena de bloques", admitió que tales tecnologías tienen riesgos potenciales, pero aún no son suficientes para representar una amenaza real en esta etapa. "Las capacidades de las supercomputadoras no son suficientes para romper el sistema blockchain existente", dijo Gu, "Más importante aún, la industria ya está construyendo activamente algoritmos anticuánticos y mecanismos de defensa, y es posible tener soluciones relevantes".

En su entrevista exclusiva, Gu Ronghui enfatizó que la IA está remodelando el panorama de seguridad de la cadena de bloques, especialmente en la auditoría de contratos inteligentes y la identificación de amenazas en la cadena, y que "la aplicación correcta de la IA puede aportar mejoras sustanciales al sistema de seguridad de la cadena de bloques". Dijo

además que la investigación de CertiK muestra que las tácticas maliciosas en los proyectos Web3 son cada vez más sofisticadas, y que algunos programas de phishing pueden rastrear a los usuarios a lo largo del tiempo y llevar a cabo estafas dirigidas. Pero con la capacidad de los modelos de IA para identificar y abordar rápidamente estos ataques en la actualidad, ahora se pueden identificar y tratar en cuestión de horas.

En la actualidad, CertiK ha aplicado la IA a una amplia gama de procesos de minería y auditoría de vulnerabilidades. Al analizar los datos de alerta temprana en la cadena, ayuda a identificar la causa de las vulnerabilidades y las rutas de ataque. Al mismo tiempo, la tecnología de IA se utiliza para escanear patrones de vulnerabilidad conocidos, analizar la lógica del código y generar informes, y construir un sistema de auditoría inteligente con la "colaboración humano-máquina" como núcleo, proporcionando un apoyo matemático creíble y eficiencia para el equipo de auditoría manual.

Pero a medida que las aplicaciones de IA se vuelven más frecuentes, los atacantes también pueden usarla como un vector de ataque endurecido. Gu Ronghui cree que esto significa que se ha elevado el umbral para la confrontación de seguridad y que la industria necesita soluciones de seguridad más sólidas.

Visión técnica: Ampliar los límites de la Web3 TrustGu

Ronghui siempre cree que la siguiente etapa del desarrollo de la Web3 pasará de estar "disponible" a ser "de confianza". La eficiencia y la innovación no son el fin, la responsabilidad y la confianza son los valores fundamentales de la evolución tecnológica. Solo mediante la incorporación de mecanismos de seguridad verificables, blockchain puede convertirse realmente en una infraestructura financiera global confiable.

Esta es exactamente la misión a la que CertiK se ha adherido desde sus inicios: construir un sistema de productos de seguridad que cubra todo el ciclo de vida de la incubación de inversiones, la auditoría de seguridad, la consultoría de cumplimiento, etc., con la verificación formal como núcleo, para proporcionar seguridad verificable para los proyectos y establecer estándares de seguridad más altos para la industria.

Para Gu Ronghui, esto no es solo una estrategia corporativa, sino también una elección de vida. De Yale a Columbia, de la investigación académica a la práctica empresarial, siempre se ha centrado en transformar la verificación formal de la teoría a la práctica, y en utilizar la tecnología para impulsar la confianza de la industria.

Como profesor de la Universidad de Columbia y director ejecutivo de CertiK, Ronghui Gu se encuentra a caballo entre el mundo académico y el empresarial, pero su objetivo siempre ha sido asegurar la Web3. Ha mencionado que su filosofía de enseñanza se basa en la integración de conocimientos del mundo real en las discusiones académicas, con el objetivo de construir una base cognitiva y de competencias para la próxima generación en el campo de la ciberseguridad.

"Garantizar la seguridad de la Web3 no es sólo un reto técnico, sino también una responsabilidad social". Gu Ronghui ha declarado públicamente muchas veces: "Nuestro objetivo es hacer que esta industria sea más segura y confiable". "