En la cumbre de académicos de Web3, el profesor de Yale presentó por primera vez el modelo LiDO
En la reciente conferencia de académicos de Web3 2025, el profesor Shao Zhong del departamento de ciencias de la computación de la Universidad de Yale pronunció un discurso titulado "Pruebas de seguridad y vitalidad de protocolos de consenso refinados: LiDO y su marco de expansión". Esta fue la primera vez que presentó al público el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este logro innovador tiene como objetivo proporcionar pruebas de seguridad y vitalidad verificables mecánicamente para protocolos de consenso tolerantes a fallos bizantinos (BFT) complejos, allanando el camino 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 utilizan ampliamente, a menudo existen riesgos de seguridad potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso un innovador marco de verificación de tres capas.
Capa de abstracción de seguridad: mapea el protocolo como una máquina de estados linearizada, garantiza la consistencia de los registros y asegura la seguridad;
Capa de garantía activa: Introducción del mecanismo "Pacemaker" para resolver el problema de latencia de la red mediante la difusión de tiempo de espera y 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 de manera 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, 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: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr seguridad, actividad y descentralización al mismo tiempo. El modelo LiDO es una propuesta de diseño sistemático destinada a romper este dilema."
El equipo liderado por el profesor Shao Zhong ha desarrollado CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo, validado formalmente, que ha sido aclamado por la industria como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo sienta las bases de la tecnología relacionada, sino que también demuestra la profunda acumulación del equipo en el campo de la seguridad de sistemas. En los últimos años, el profesor Shao Zhong ha investigado a fondo la seguridad de blockchain y, en 2017, cofundó una empresa de seguridad con colegas, introduciendo la tecnología de verificación formal en la seguridad de contratos inteligentes y protocolos en la cadena, proporcionando protección de seguridad para activos criptográficos por valor de cientos de miles de millones.
LiDO ha completado actualmente el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques públicas y protocolos descentralizados de renombre. El profesor Shao Zhong indicó que están comprometidos a validar los mecanismos clave en Web3.0 para ofrecer productos y servicios a lo largo de todo su ciclo, 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 confiable, seguro 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.
15 me gusta
Recompensa
15
7
Compartir
Comentar
0/400
LiquidityWitch
· 07-25 10:19
Esta ola se considera una ruptura total de la defensa.
Ver originalesResponder0
CryptoMotivator
· 07-24 15:10
Lejos de la realidad, todavía aquí investigando modelos.
Ver originalesResponder0
New_Ser_Ngmi
· 07-22 16:54
¿En serio, aún estás estudiando Bizancio?
Ver originalesResponder0
FlyingLeek
· 07-22 16:53
Accionistas de la Cadena de bloques, una red, una red, una red pierde.
Ver originalesResponder0
UnluckyLemur
· 07-22 16:42
¿Esto no es una mentira, verdad?
Ver originalesResponder0
LidoStakeAddict
· 07-22 16:42
¡Alcista! Ahora la seguridad del consenso BFT está garantizada.
El profesor de Yale publica el modelo LiDO: proporciona verificación formal para el protocolo de consenso de Web3
En la cumbre de académicos de Web3, el profesor de Yale presentó por primera vez el modelo LiDO
En la reciente conferencia de académicos de Web3 2025, el profesor Shao Zhong del departamento de ciencias de la computación de la Universidad de Yale pronunció un discurso titulado "Pruebas de seguridad y vitalidad de protocolos de consenso refinados: LiDO y su marco de expansión". Esta fue la primera vez que presentó al público el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este logro innovador tiene como objetivo proporcionar pruebas de seguridad y vitalidad verificables mecánicamente para protocolos de consenso tolerantes a fallos bizantinos (BFT) complejos, allanando el camino 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 utilizan ampliamente, a menudo existen riesgos de seguridad potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso un innovador marco de verificación de 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 discurso: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr seguridad, actividad y descentralización al mismo tiempo. El modelo LiDO es una propuesta de diseño sistemático destinada a romper este dilema."
El equipo liderado por el profesor Shao Zhong ha desarrollado CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo, validado formalmente, que ha sido aclamado por la industria como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo sienta las bases de la tecnología relacionada, sino que también demuestra la profunda acumulación del equipo en el campo de la seguridad de sistemas. En los últimos años, el profesor Shao Zhong ha investigado a fondo la seguridad de blockchain y, en 2017, cofundó una empresa de seguridad con colegas, introduciendo la tecnología de verificación formal en la seguridad de contratos inteligentes y protocolos en la cadena, proporcionando protección de seguridad para activos criptográficos por valor de cientos de miles de millones.
LiDO ha completado actualmente el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques públicas y protocolos descentralizados de renombre. El profesor Shao Zhong indicó que están comprometidos a validar los mecanismos clave en Web3.0 para ofrecer productos y servicios a lo largo de todo su ciclo, 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 confiable, seguro y verificable será el camino clave hacia un futuro verdaderamente descentralizado."