Cumbre de académicos de Web3: el profesor de Yale presenta por primera vez el modelo LiDO
En la reciente cumbre de académicos Web3 de 2025, el profesor Zhao Zhong del departamento de ciencias de la computación de la Universidad de Yale dio un discurso principal sobre "Pruebas de seguridad y actividad de protocolos de consenso refinados: LiDO y su marco de expansión", presentando por primera vez al público el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. 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, estableciendo 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 un innovador marco de verificación refinada en tres capas:
Capa de abstracción de seguridad: mapea el protocolo a una máquina de estados linealizada, asegurando la consistencia de los registros (seguridad);
Capa de garantía activa: Introducir 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: admite protocolos DAG emergentes como Narwhal y Bullshark, logrando una verificación eficiente sin consenso líder.
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en múltiples 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 discurso: "Actualmente, los protocolos de consenso PoS enfrentan la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una solución de diseño sistemática propuesta para romper este dilema."
Es importante mencionar que CertiKOS, desarrollado por el equipo liderado por el profesor Shao Zhong, es el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido verificado formalmente, y ha sido elogiado por la industria como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo destaca su profunda experiencia en el campo de la seguridad de sistemas, sino que también establece una sólida base para la investigación futura en seguridad de blockchain. Desde 2017, el profesor Shao Zhong ha estado comprometido en introducir la tecnología de verificación formal en el ámbito de la garantía de seguridad de contratos inteligentes y protocolos en cadena, realizando una contribución importante a la protección de activos criptográficos valorados en cientos de miles de millones de dólares.
Actualmente, LiDO ha completado el diseño del modelo 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 declaró que están comprometidos a validar 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 presentación, el profesor Shao Zhong enfatizó: "Un stack de protocolos de red confiables, seguros y verificables 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.
12 me gusta
Recompensa
12
8
Republicar
Compartir
Comentar
0/400
NFTragedy
· hace16h
Hay algo interesante, el mundo académico se ha vuelto loco.
Ver originalesResponder0
ForkMaster
· 08-13 13:09
¿Otro proyecto de sombrero blanco? Primero veamos cómo se revisan las vulnerabilidades... los viejos sombreros blancos lo entienden.
Ver originalesResponder0
MidnightGenesis
· 08-13 03:40
En la noche, sigo revisando el código. Como era de esperar, los viejos problemas siguen ahí.
Ver originalesResponder0
0xDreamChaser
· 08-11 02:29
Mira, mira, otra vez haciendo esa trampa.
Ver originalesResponder0
MetaMisfit
· 08-10 20:55
Otra vez con las ideas de moda, en lugar de hacer esto, sería mejor implementar pbft directamente.
Ver originalesResponder0
ThatsNotARugPull
· 08-10 20:39
alcista啊不过能不能用中文讲讲
Ver originalesResponder0
LiquidatedAgain
· 08-10 20:36
La seguridad es solo un chiste. Piensa en la lección que aprendí la última vez que fui liquidado.
El profesor de Yale presenta por primera vez el modelo LiDO para ayudar a la verificación de seguridad del protocolo de consenso de Web3
Cumbre de académicos de Web3: el profesor de Yale presenta por primera vez el modelo LiDO
En la reciente cumbre de académicos Web3 de 2025, el profesor Zhao Zhong del departamento de ciencias de la computación de la Universidad de Yale dio un discurso principal sobre "Pruebas de seguridad y actividad de protocolos de consenso refinados: LiDO y su marco de expansión", presentando por primera vez al público el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. 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, estableciendo 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 un innovador marco 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 múltiples 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 discurso: "Actualmente, los protocolos de consenso PoS enfrentan la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una solución de diseño sistemática propuesta para romper este dilema."
Es importante mencionar que CertiKOS, desarrollado por el equipo liderado por el profesor Shao Zhong, es el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido verificado formalmente, y ha sido elogiado por la industria como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo destaca su profunda experiencia en el campo de la seguridad de sistemas, sino que también establece una sólida base para la investigación futura en seguridad de blockchain. Desde 2017, el profesor Shao Zhong ha estado comprometido en introducir la tecnología de verificación formal en el ámbito de la garantía de seguridad de contratos inteligentes y protocolos en cadena, realizando una contribución importante a la protección de activos criptográficos valorados en cientos de miles de millones de dólares.
Actualmente, LiDO ha completado el diseño del modelo 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 declaró que están comprometidos a validar 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 presentación, el profesor Shao Zhong enfatizó: "Un stack de protocolos de red confiables, seguros y verificables será el camino clave hacia un futuro verdaderamente descentralizado."