Entrevista de CNBC con el cofundador de CertiK, Guo Ronghui: de la Verificación formal al empoderamiento de la IA, ampliando continuamente los límites de confianza en Web3.
Recientemente, Gu Ronghui, cofundador de CertiK y profesor de la Universidad de Columbia, concedió una entrevista exclusiva al canal árabe de CNBC, donde compartió sus profundas percepciones sobre el futuro de la seguridad en Web3, en torno a la aplicación de la verificación formal en la industria, el papel de la IA en la seguridad de la cadena de bloques y los riesgos de las nuevas tecnologías.
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: construir una base de seguridad de Cadena de bloques
La verificación formal, como un método de auditoría de alta exigencia y alta intensidad, requiere una profunda acumulación técnica y comprensión de la lógica subyacente. Gu Ronghui señaló en una entrevista que, aunque este método es complejo, tiene ventajas insustituibles en garantizar la seguridad y control de la cadena de bloques.
Su relación con la Verificación formal se remonta a su etapa de estudios. En 2016, colaboró con el profesor Shao Zhong de la Universidad de Yale para desarrollar con éxito el primer núcleo de sistema operativo multiproceso del mundo completamente verificado de forma formal, CertiKOS, que fue calificado por Google como inquebrantable (Unbreakable). Este logro no solo validó la aplicación de esta tecnología en el mundo real, sino que también sentó las bases para su entrada en 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 derrotar a los sistemas de cadena de bloques existentes", 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". ”
Aplicaciones de IA: Remodelando el panorama de seguridad de Web3
Gu Ronghui enfatizó en una entrevista 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, mostrando un gran potencial. "La aplicación correcta de la IA puede aportar mejoras sustanciales al sistema de seguridad de la Cadena de bloques."
Él agregó que la investigación de CertiK muestra que las tácticas maliciosas en proyectos Web3 son cada vez más complejas, algunos proyectos de phishing pueden rastrear a los usuarios durante largos períodos y llevar a cabo fraudes precisos. Sin embargo, gracias a la capacidad de identificación rápida de los modelos de IA, este tipo de ataques a menudo pueden ser identificados y manejados en cuestión de horas.
Actualmente, CertiK ha aplicado ampliamente la IA en el proceso de detección y auditoría de vulnerabilidades. Al analizar los datos de alertas en la cadena, ayuda a identificar las causas de las vulnerabilidades y las rutas de ataque; al mismo tiempo, utiliza tecnología de IA para escanear patrones de vulnerabilidades conocidas, analizar la lógica del código y generar informes, construyendo un sistema de auditoría inteligente centrado en la "colaboración humano-máquina", proporcionando un respaldo matemático confiable y un aumento de eficiencia para los equipos de auditoría manual.
Pero con la creciente popularidad de las aplicaciones de IA, los atacantes también pueden aprovecharlas para fortalecer sus métodos de ataque. Gu Ronghui cree que esto significa que la barrera para la seguridad se ha elevado, y la industria necesita soluciones de seguridad más robustas.
Visión técnica: Expandir los límites de confianza de Web3
Gu Ronghui siempre ha creído que la próxima etapa del desarrollo de Web3 pasará de "utilizable" a "confiable". La eficiencia y la innovación no son el objetivo final, la responsabilidad y la confianza son el valor central de la evolución tecnológica. Solo al integrar mecanismos de seguridad verificables, la cadena de bloques podrá convertirse realmente en una infraestructura financiera global de confianza.
Esta es precisamente la misión que CertiK ha mantenido desde su fundación: centrarse en la verificación formal para crear un sistema de productos de seguridad que abarca la incubación de inversiones, auditorías de seguridad, consultoría de cumplimiento y más, proporcionando a los proyectos seguridad verificable y estableciendo estándares de seguridad más altos para la industria.
Para Gu Ronghui, esto no solo es una estrategia empresarial, sino también una elección de vida. Desde estudiar en Yale hasta enseñar en Columbia, pasando por la investigación académica y la práctica empresarial, siempre se ha centrado en transformar la verificación formal de una teoría a una base práctica, impulsando la confianza en la industria a través de la tecnología.
Como profesor de Columbia y CEO de CertiK, Gu Ronghui abarca dos grandes campos: la academia y los negocios, pero su objetivo siempre se centra en proteger la seguridad de Web3. Ha mencionado que su filosofía de enseñanza está arraigada en integrar percepciones del mundo real en las discusiones académicas, con el fin de construir una base de conocimiento y habilidades para la nueva generación en el campo de la ciberseguridad.
"Garantizar la seguridad de Web3 no solo es un desafío técnico, sino también una responsabilidad social." Gu Ronghui ha declarado en múltiples ocasiones: "Nuestro objetivo es hacer que esta industria sea más segura y también más digna de confianza."
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
Entrevista de CNBC con el cofundador de CertiK, Guo Ronghui: de la Verificación formal al empoderamiento de la IA, ampliando continuamente los límites de confianza en Web3.
Recientemente, Gu Ronghui, cofundador de CertiK y profesor de la Universidad de Columbia, concedió una entrevista exclusiva al canal árabe de CNBC, donde compartió sus profundas percepciones sobre el futuro de la seguridad en Web3, en torno a la aplicación de la verificación formal en la industria, el papel de la IA en la seguridad de la cadena de bloques y los riesgos de las nuevas tecnologías.
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: construir una base de seguridad de Cadena de bloques
La verificación formal, como un método de auditoría de alta exigencia y alta intensidad, requiere una profunda acumulación técnica y comprensión de la lógica subyacente. Gu Ronghui señaló en una entrevista que, aunque este método es complejo, tiene ventajas insustituibles en garantizar la seguridad y control de la cadena de bloques.
Su relación con la Verificación formal se remonta a su etapa de estudios. En 2016, colaboró con el profesor Shao Zhong de la Universidad de Yale para desarrollar con éxito el primer núcleo de sistema operativo multiproceso del mundo completamente verificado de forma formal, CertiKOS, que fue calificado por Google como inquebrantable (Unbreakable). Este logro no solo validó la aplicación de esta tecnología en el mundo real, sino que también sentó las bases para su entrada en 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 derrotar a los sistemas de cadena de bloques existentes", 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". ”
Aplicaciones de IA: Remodelando el panorama de seguridad de Web3
Gu Ronghui enfatizó en una entrevista 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, mostrando un gran potencial. "La aplicación correcta de la IA puede aportar mejoras sustanciales al sistema de seguridad de la Cadena de bloques."
Él agregó que la investigación de CertiK muestra que las tácticas maliciosas en proyectos Web3 son cada vez más complejas, algunos proyectos de phishing pueden rastrear a los usuarios durante largos períodos y llevar a cabo fraudes precisos. Sin embargo, gracias a la capacidad de identificación rápida de los modelos de IA, este tipo de ataques a menudo pueden ser identificados y manejados en cuestión de horas.
Actualmente, CertiK ha aplicado ampliamente la IA en el proceso de detección y auditoría de vulnerabilidades. Al analizar los datos de alertas en la cadena, ayuda a identificar las causas de las vulnerabilidades y las rutas de ataque; al mismo tiempo, utiliza tecnología de IA para escanear patrones de vulnerabilidades conocidas, analizar la lógica del código y generar informes, construyendo un sistema de auditoría inteligente centrado en la "colaboración humano-máquina", proporcionando un respaldo matemático confiable y un aumento de eficiencia para los equipos de auditoría manual.
Pero con la creciente popularidad de las aplicaciones de IA, los atacantes también pueden aprovecharlas para fortalecer sus métodos de ataque. Gu Ronghui cree que esto significa que la barrera para la seguridad se ha elevado, y la industria necesita soluciones de seguridad más robustas.
Visión técnica: Expandir los límites de confianza de Web3
Gu Ronghui siempre ha creído que la próxima etapa del desarrollo de Web3 pasará de "utilizable" a "confiable". La eficiencia y la innovación no son el objetivo final, la responsabilidad y la confianza son el valor central de la evolución tecnológica. Solo al integrar mecanismos de seguridad verificables, la cadena de bloques podrá convertirse realmente en una infraestructura financiera global de confianza.
Esta es precisamente la misión que CertiK ha mantenido desde su fundación: centrarse en la verificación formal para crear un sistema de productos de seguridad que abarca la incubación de inversiones, auditorías de seguridad, consultoría de cumplimiento y más, proporcionando a los proyectos seguridad verificable y estableciendo estándares de seguridad más altos para la industria.
Para Gu Ronghui, esto no solo es una estrategia empresarial, sino también una elección de vida. Desde estudiar en Yale hasta enseñar en Columbia, pasando por la investigación académica y la práctica empresarial, siempre se ha centrado en transformar la verificación formal de una teoría a una base práctica, impulsando la confianza en la industria a través de la tecnología.
Como profesor de Columbia y CEO de CertiK, Gu Ronghui abarca dos grandes campos: la academia y los negocios, pero su objetivo siempre se centra en proteger la seguridad de Web3. Ha mencionado que su filosofía de enseñanza está arraigada en integrar percepciones del mundo real en las discusiones académicas, con el fin de construir una base de conocimiento y habilidades para la nueva generación en el campo de la ciberseguridad.
"Garantizar la seguridad de Web3 no solo es un desafío técnico, sino también una responsabilidad social." Gu Ronghui ha declarado en múltiples ocasiones: "Nuestro objetivo es hacer que esta industria sea más segura y también más digna de confianza."