Cumbre de académicos de Web3: el profesor de Yale presenta públicamente el modelo LiDO por primera vez
En la Cumbre de Académicos de Web3 de 2025, el profesor Shao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale pronunció una conferencia titulada "Pruebas de seguridad y actividad 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 actividad verificables mecánicamente para protocolos de consenso tolerantes 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 aplican ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la alta complejidad de implementación. Para abordar este problema, el modelo LiDO propuso de manera innovadora un marco de verificación refinado de 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: se introduce el mecanismo "Pacemaker" para resolver el problema de la 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 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 el volumen de código para la verificación de seguridad y la verificación de actividad alcanzó 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 que es complicado lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico para superar esta dificultad."
El equipo liderado por el profesor Shao Zhong desarrolló CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo a través de la verificación formal, considerado un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo sentó las bases para la tecnología relacionada, sino que también mostró 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 profundamente 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 cadena, brindando protección de seguridad a activos criptográficos valorados en cientos 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 públicas y protocolos descentralizados de vanguardia. El profesor Shao Zhong declaró que están dedicados a validar los mecanismos clave en Web3.0 para ofrecer 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 discurso, 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.
13 me gusta
Recompensa
13
6
Republicar
Compartir
Comentar
0/400
BTCRetirementFund
· hace20h
Esta herramienta es un poco alcista, ¿eh?
Ver originalesResponder0
DegenDreamer
· 08-15 16:46
Finalmente he esperado a que haya perspectivas valiosas.
Ver originalesResponder0
LayerZeroHero
· 08-15 07:41
¡Qué locura! Este tipo realmente entró a Yale.
Ver originalesResponder0
OPsychology
· 08-15 07:40
¡Impresionante lo de Yale esta vez!
Ver originalesResponder0
wagmi_eventually
· 08-15 07:35
Otra promesa vacía de web3
Ver originalesResponder0
AltcoinAnalyst
· 08-15 07:25
Se sugiere tener en cuenta la incompletud del marco de tres capas, los datos de TVL indican que la tasa de riesgo de tecnologías similares alcanza el 56% en 90 días.
El profesor de Yale presenta por primera vez el modelo LiDO, que proporciona verificación mecanizada para el protocolo de consenso de Web3.
Cumbre de académicos de Web3: el profesor de Yale presenta públicamente el modelo LiDO por primera vez
En la Cumbre de Académicos de Web3 de 2025, el profesor Shao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale pronunció una conferencia titulada "Pruebas de seguridad y actividad 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 actividad verificables mecánicamente para protocolos de consenso tolerantes 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 aplican ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la alta complejidad de implementación. Para abordar este problema, el modelo LiDO propuso de manera innovadora un marco de verificación refinado 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 el volumen de código para la verificación de seguridad y la verificación de actividad alcanzó 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 que es complicado lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico para superar esta dificultad."
El equipo liderado por el profesor Shao Zhong desarrolló CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo a través de la verificación formal, considerado un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo sentó las bases para la tecnología relacionada, sino que también mostró 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 profundamente 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 cadena, brindando protección de seguridad a activos criptográficos valorados en cientos 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 públicas y protocolos descentralizados de vanguardia. El profesor Shao Zhong declaró que están dedicados a validar los mecanismos clave en Web3.0 para ofrecer 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 discurso, el profesor Shao Zhong enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."