En la cumbre de académicos de Web3, el profesor de Yale presenta por primera vez el modelo LiDO
En la Cumbre de Académicos de Web3 de 2025, el profesor Zhao 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". En este discurso, presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este resultado innovador tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos complejos (BFT), estableciendo una base técnica para la confiabilidad y el desarrollo a escala del ecosistema Web3.
El profesor Shao Zhong señaló que los protocolos de consenso existentes, como PBFT, aunque se aplican ampliamente, a menudo ocultan vulnerabilidades potenciales debido a su complejidad de implementación. Para abordar este problema, el modelo LiDO propone de manera innovadora un marco de verificación refinado en tres capas:
Capa de abstracción de seguridad: mapea el protocolo como 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 por tiempo de espera y la sincronización de rondas.
Capa de expansión DAG: soporte para nuevos protocolos DAG, 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 múltiples protocolos DAG, completando la prueba mecánica de más de diez mil líneas de código Coq, con una cantidad de código de verificación de seguridad y actividad que alcanza las 4000 y 1700 líneas, respectivamente. El profesor Shao Zhong señaló en su discurso: "Actualmente, los protocolos de consenso PoS enfrentan en general la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es precisamente un diseño sistemático propuesto para romper esta situación."
El CertiKOS, desarrollado 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 calificado como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo establece su profunda acumulación en el campo de la seguridad de sistemas, sino que también proporciona una base sólida para investigaciones futuras. En los últimos años, el profesor Shao Zhong se ha dedicado a la seguridad en blockchain, introduciendo la tecnología de verificación formal en la garantía de seguridad de contratos inteligentes y protocolos en cadena, brindando un fuerte apoyo para la seguridad de los activos criptográficos.
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 las principales cadenas de bloques y protocolos descentralizados. El profesor Shao Zhong afirmó que están comprometidos 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 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.
13 me gusta
Recompensa
13
4
Republicar
Compartir
Comentar
0/400
GweiWatcher
· 08-10 01:51
Todo el día ocupado vendiendo en corto, alcista y bajista, lo entiendo.
Ver originalesResponder0
GasFeeSobber
· 08-10 01:42
La marca Yale es demasiado cara, no puedo permitírmela.
El profesor de Yale publica el modelo LiDO para ayudar en la verificación del protocolo de consenso Web3.
En la cumbre de académicos de Web3, el profesor de Yale presenta por primera vez el modelo LiDO
En la Cumbre de Académicos de Web3 de 2025, el profesor Zhao 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". En este discurso, presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este resultado innovador tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos complejos (BFT), estableciendo una base técnica para la confiabilidad y el desarrollo a escala del ecosistema Web3.
El profesor Shao Zhong señaló que los protocolos de consenso existentes, como PBFT, aunque se aplican ampliamente, a menudo ocultan vulnerabilidades potenciales debido a su complejidad de implementación. Para abordar este problema, el modelo LiDO propone 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 múltiples protocolos DAG, completando la prueba mecánica de más de diez mil líneas de código Coq, con una cantidad de código de verificación de seguridad y actividad que alcanza las 4000 y 1700 líneas, respectivamente. El profesor Shao Zhong señaló en su discurso: "Actualmente, los protocolos de consenso PoS enfrentan en general la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es precisamente un diseño sistemático propuesto para romper esta situación."
El CertiKOS, desarrollado 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 calificado como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo establece su profunda acumulación en el campo de la seguridad de sistemas, sino que también proporciona una base sólida para investigaciones futuras. En los últimos años, el profesor Shao Zhong se ha dedicado a la seguridad en blockchain, introduciendo la tecnología de verificación formal en la garantía de seguridad de contratos inteligentes y protocolos en cadena, brindando un fuerte apoyo para la seguridad de los activos criptográficos.
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 las principales cadenas de bloques y protocolos descentralizados. El profesor Shao Zhong afirmó que están comprometidos 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 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."