En la cumbre de académicos de Web3, el profesor de Yale reveló por primera vez el modelo LiDO
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 pronunció un discurso titulado "Prueba de seguridad y actividad de protocolos de consenso refinados: LiDO y su marco de expansión". Por primera vez, presentó el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este innovador logro tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, sentando una base técnica para la fiabilidad y el desarrollo a gran escala 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 potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso de manera innovadora un marco de verificación refinado en tres capas:
Capa de abstracción segura: mapea el protocolo a una máquina de estados linealizada, asegurando la consistencia de los registros (seguridad);
Capa de garantía activa: se introduce el mecanismo "Pacemaker" para resolver el problema de latencia de red a través de la difusión de tiempo de espera y la sincronización de rondas;
Capa de expansión DAG: soporta protocolos DAG emergentes como Narwhal y Bullshark, logrando una verificación eficiente sin consenso de líderes.
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, donde la cantidad de código para la verificación de seguridad y actividad alcanza las 4000 y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó en su presentación: "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 solución sistemática propuesta para superar este obstáculo."
Cabe mencionar que el profesor Shao Zhong lideró un equipo que desarrolló el primer sistema operativo "sin vulnerabilidades" del mundo, CertiKOS, que ha sido aclamado por la industria como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo demuestra la sólida acumulación de su equipo en el campo de la seguridad de sistemas, sino que también establece una base sólida para investigaciones futuras. En los últimos años, el profesor Shao Zhong ha centrado su investigación en la seguridad de blockchain y en 2017, junto con sus socios, fundó una empresa de seguridad blockchain, dedicada a aplicar la tecnología de verificación formal a la protección de la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos de miles de millones de dólares.
El modelo LiDO ha completado actualmente el diseño y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong indicó que se dedican a validar 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 su presentación, el profesor Shao Zhong enfatizó: "Construir una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."
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 revela LiDO: superando el cuello de botella en la verificación de seguridad del consenso del protocolo.
En la cumbre de académicos de Web3, el profesor de Yale reveló por primera vez el modelo LiDO
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 pronunció un discurso titulado "Prueba de seguridad y actividad de protocolos de consenso refinados: LiDO y su marco de expansión". Por primera vez, presentó el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este innovador logro tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, sentando una base técnica para la fiabilidad y el desarrollo a gran escala 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 potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso de manera innovadora un marco de verificación refinado 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, donde la cantidad de código para la verificación de seguridad y actividad alcanza las 4000 y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó en su presentación: "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 solución sistemática propuesta para superar este obstáculo."
Cabe mencionar que el profesor Shao Zhong lideró un equipo que desarrolló el primer sistema operativo "sin vulnerabilidades" del mundo, CertiKOS, que ha sido aclamado por la industria como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo demuestra la sólida acumulación de su equipo en el campo de la seguridad de sistemas, sino que también establece una base sólida para investigaciones futuras. En los últimos años, el profesor Shao Zhong ha centrado su investigación en la seguridad de blockchain y en 2017, junto con sus socios, fundó una empresa de seguridad blockchain, dedicada a aplicar la tecnología de verificación formal a la protección de la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos de miles de millones de dólares.
El modelo LiDO ha completado actualmente el diseño y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong indicó que se dedican a validar 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 su presentación, el profesor Shao Zhong enfatizó: "Construir una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."