En la cumbre de académicos de Web3, el profesor de Yale presentó por primera vez el modelo LiDO
La cumbre de académicos de Web3 de 2025 se celebró recientemente, donde el profesor Shao Zhong del departamento de informática de la Universidad de Yale pronunció una conferencia titulada "Prueba de seguridad y actividad de protocolos de consenso refinados: LiDO y su marco de expansión". Por primera vez, reveló 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, sentando así las bases técnicas para el desarrollo de la fiabilidad 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 y Jolteon) se utilizan 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 de seguridad: mapea el protocolo a una máquina de estados linealizada, asegurando la consistencia de los registros (seguridad);
Capa de garantía activa: Introducción del mecanismo "Pacemaker" para resolver el problema de latencia de la red a través de la difusión de tiempo de espera y la sincronización de rondas;
Capa de expansión DAG: soporte para nuevos protocolos DAG emergentes como Narwhal y Bullshark, que logran 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 10,000 líneas de código Coq con pruebas mecanizadas, donde el volumen de código para la verificación de seguridad y actividad alcanzó las 4,000 y 1,700 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 precisamente una solución de diseño sistémico propuesta para romper esta situación."
El CertiKOS, desarrollado anteriormente por el profesor Shao Zhong y su equipo, es el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido verificado formalmente, y ha sido aclamado como "un hito en la seguridad de los sistemas ciberfísicos". Este logro no solo cimenta su profunda experiencia en el campo de la seguridad de sistemas, sino que también demuestra su capacidad profesional en este ámbito. En los últimos años, el profesor Shao Zhong ha investigado a fondo la seguridad de blockchain, y en 2017, junto con su estudiante, el profesor Gu Ronghui, introdujo la tecnología de verificación formal en el ámbito de la seguridad de contratos inteligentes y protocolos en la cadena, proporcionando protección de seguridad para activos criptográficos de miles de millones de dólares.
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 y protocolos descentralizados de corriente principal. El profesor Shao Zhong declaró que están dedicados 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 presentación, el profesor Shao Zhong enfatizó: "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.
17 me gusta
Recompensa
17
10
Compartir
Comentar
0/400
BlockchainTherapist
· 08-01 13:34
Otro modelo que no entiendo
Ver originalesResponder0
PanicSeller
· 08-01 07:13
Los gigantes están jugando con web3, si no introduces una posición pronto será tarde.
Ver originalesResponder0
BearHugger
· 08-01 00:51
¿Qué, qué, qué? ¿Otra vez vienen a hablar de conceptos?
Ver originalesResponder0
Layer3Dreamer
· 07-30 11:39
teóricamente hablando, el marco DAG de LiDO podría resolver nuestro cuello de botella de puente L3...
Ver originalesResponder0
MelonField
· 07-29 17:04
No miro, es alcista.
Ver originalesResponder0
NewPumpamentals
· 07-29 17:03
Otra vez es lo mismo, vino viejo en botellas nuevas.
Ver originalesResponder0
BagHolderTillRetire
· 07-29 17:02
Una vez más se vienen con conceptos. La inversión aún debe depender de gmx.
Ver originalesResponder0
gas_fee_therapy
· 07-29 16:48
Otra vez el protocolo de consenso... tiene ese sabor.
El profesor de Yale publica el modelo LiDO: nuevo marco de verificación de seguridad del protocolo de consenso de Web3
En la cumbre de académicos de Web3, el profesor de Yale presentó por primera vez el modelo LiDO
La cumbre de académicos de Web3 de 2025 se celebró recientemente, donde el profesor Shao Zhong del departamento de informática de la Universidad de Yale pronunció una conferencia titulada "Prueba de seguridad y actividad de protocolos de consenso refinados: LiDO y su marco de expansión". Por primera vez, reveló 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, sentando así las bases técnicas para el desarrollo de la fiabilidad 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 y Jolteon) se utilizan 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 10,000 líneas de código Coq con pruebas mecanizadas, donde el volumen de código para la verificación de seguridad y actividad alcanzó las 4,000 y 1,700 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 precisamente una solución de diseño sistémico propuesta para romper esta situación."
El CertiKOS, desarrollado anteriormente por el profesor Shao Zhong y su equipo, es el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido verificado formalmente, y ha sido aclamado como "un hito en la seguridad de los sistemas ciberfísicos". Este logro no solo cimenta su profunda experiencia en el campo de la seguridad de sistemas, sino que también demuestra su capacidad profesional en este ámbito. En los últimos años, el profesor Shao Zhong ha investigado a fondo la seguridad de blockchain, y en 2017, junto con su estudiante, el profesor Gu Ronghui, introdujo la tecnología de verificación formal en el ámbito de la seguridad de contratos inteligentes y protocolos en la cadena, proporcionando protección de seguridad para activos criptográficos de miles de millones de dólares.
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 y protocolos descentralizados de corriente principal. El profesor Shao Zhong declaró que están dedicados 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 presentación, el profesor Shao Zhong enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."