En la cumbre de académicos de Web3, un profesor de Yale revela un nuevo modelo de seguridad del protocolo de consenso
En la reciente Cumbre de Académicos Web3 2025, el profesor Shao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale dio una destacada conferencia, presentando el modelo LiDO y el marco de expansión LiDO-DAG desarrollados por su equipo. Este innovador logro tiene como objetivo proporcionar una verificación mecánica de la seguridad y la prueba de actividad para el complejo protocolo de consenso de Tolerancia a Fallos Bizantinos (BFT), sentando una base técnica sólida para el desarrollo de la confiabilidad y escalabilidad del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que, a pesar de que los protocolos de consenso existentes (como PBFT, Jolteon) se han aplicado ampliamente, a menudo ocultan vulnerabilidades de seguridad potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso un marco innovador de verificación refinada en tres capas:
Capa de abstracción de seguridad: mapea el protocolo como una máquina de estados linealizada, asegurando la consistencia de los registros;
Capa de garantía activa: se introduce el mecanismo "Pacemaker" para resolver el problema de latencia de la red mediante la difusión de tiempo de espera y la sincronización de rondas;
Capa de expansión DAG: soporta nuevos protocolos DAG emergentes como Narwhal y Bullshark, logrando una verificación de consenso sin líderes eficiente.
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en varios protocolos DAG, completando más de diez mil líneas de código Coq con pruebas mecanizadas. De estas, la cantidad de código para la verificación de seguridad y de actividad alcanzó las 4000 líneas y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó en su charla: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es precisamente una propuesta de diseño sistemático para romper esta situación."
El CertiKOS, desarrollado anteriormente por el profesor Shao Zhong y su equipo, ha sido denominado como "un hito en la seguridad de los sistemas ciberfísicos", siendo el primer sistema operativo del mundo que ha sido formalmente verificado como "sin vulnerabilidades". Este logro no solo demuestra la profunda acumulación del equipo en el campo de la seguridad de sistemas, sino que también establece una sólida base técnica para sus investigaciones posteriores. En 2017, el profesor Shao Zhong junto con su estudiante, el profesor Gu Ronghui, introdujeron la tecnología de verificación formal en el ámbito de la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos de cientos de miles de millones de dólares.
El modelo LiDO ha completado actualmente su diseño y verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques de referencia y protocolos descentralizados. El profesor Shao Zhong indicó que están comprometidos a verificar los mecanismos clave en Web3.0, para proporcionar productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de las empresas y ecosistemas de Web3.
Al final de la conferencia, el profesor Shao Zhong enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado." Este punto de vista resalta su profunda percepción sobre la dirección del desarrollo de la tecnología Web3 y proporciona una nueva dirección de reflexión sobre la seguridad de los sistemas blockchain y descentralizados en el futuro.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
El profesor de Yale presenta el modelo LiDO: innovación en la verificación de seguridad del protocolo de consenso Web3
En la cumbre de académicos de Web3, un profesor de Yale revela un nuevo modelo de seguridad del protocolo de consenso
En la reciente Cumbre de Académicos Web3 2025, el profesor Shao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale dio una destacada conferencia, presentando el modelo LiDO y el marco de expansión LiDO-DAG desarrollados por su equipo. Este innovador logro tiene como objetivo proporcionar una verificación mecánica de la seguridad y la prueba de actividad para el complejo protocolo de consenso de Tolerancia a Fallos Bizantinos (BFT), sentando una base técnica sólida para el desarrollo de la confiabilidad y escalabilidad del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que, a pesar de que los protocolos de consenso existentes (como PBFT, Jolteon) se han aplicado ampliamente, a menudo ocultan vulnerabilidades de seguridad potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso un marco innovador de verificación refinada en tres capas:
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en varios protocolos DAG, completando más de diez mil líneas de código Coq con pruebas mecanizadas. De estas, la cantidad de código para la verificación de seguridad y de actividad alcanzó las 4000 líneas y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó en su charla: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es precisamente una propuesta de diseño sistemático para romper esta situación."
El CertiKOS, desarrollado anteriormente por el profesor Shao Zhong y su equipo, ha sido denominado como "un hito en la seguridad de los sistemas ciberfísicos", siendo el primer sistema operativo del mundo que ha sido formalmente verificado como "sin vulnerabilidades". Este logro no solo demuestra la profunda acumulación del equipo en el campo de la seguridad de sistemas, sino que también establece una sólida base técnica para sus investigaciones posteriores. En 2017, el profesor Shao Zhong junto con su estudiante, el profesor Gu Ronghui, introdujeron la tecnología de verificación formal en el ámbito de la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos de cientos de miles de millones de dólares.
El modelo LiDO ha completado actualmente su diseño y verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques de referencia y protocolos descentralizados. El profesor Shao Zhong indicó que están comprometidos a verificar los mecanismos clave en Web3.0, para proporcionar productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de las empresas y ecosistemas de Web3.
Al final de la conferencia, el profesor Shao Zhong enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado." Este punto de vista resalta su profunda percepción sobre la dirección del desarrollo de la tecnología Web3 y proporciona una nueva dirección de reflexión sobre la seguridad de los sistemas blockchain y descentralizados en el futuro.