En la cumbre de académicos de Web3, el profesor de Yale presenta por primera vez el modelo LiDO
La Cumbre de Académicos de Web3 de 2025 se celebra hoy, el profesor Shao 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 expansión". Presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo, este logro revolucionario tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, estableciendo así una base técnica para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló que los protocolos de consenso existentes (como PBFT, Jolteon) se utilizan ampliamente, pero su complejidad de implementación a menudo oculta vulnerabilidades potenciales. 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 a una máquina de estados linealizada, asegurando la coherencia de los registros (seguridad);
Capa de garantía activa: Introducción del mecanismo "Pacemaker" para resolver el problema de la latencia de la red a través de la transmisión de tiempo de espera y la sincronización de rondas;
Capa de expansión DAG: Soporta protocolos DAG emergentes como Narwhal y Bullshark, logrando una verificación eficiente del consenso sin 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 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 señaló en su discurso: "Actualmente, los protocolos de consenso PoS enfrentan la dificultad de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico destinada a romper esta dificultad."
El CertiKOS, desarrollado por el profesor Shao y su equipo, es el primer sistema operativo "sin vulnerabilidades" del mundo verificado formalmente, aclamado como un "hito en la seguridad de sistemas ciberfísicos". Este logro no solo establece su base técnica en el campo de la seguridad, sino que también destaca su profunda acumulación en el ámbito de la seguridad de sistemas. En los últimos años, el profesor Shao ha estado profundamente involucrado en la seguridad de blockchain y, en 2017, cofundó una empresa de seguridad blockchain con su discípulo, el profesor Gu Ronghui, introduciendo tecnología de verificación formal en la seguridad de contratos inteligentes y protocolos en cadena, protegiendo así la seguridad de activos criptográficos de 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 las principales cadenas de bloques y protocolos descentralizados. 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 conferencia, 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.
12 me gusta
Recompensa
12
4
Compartir
Comentar
0/400
consensus_failure
· 08-03 18:27
Otra vez no se puede implementar, solo se queda en teoría.
Ver originalesResponder0
MidsommarWallet
· 08-03 16:39
¿Yale también se une a la fiesta?
Ver originalesResponder0
OnchainHolmes
· 08-03 16:38
Esto es demasiado teórico, está dificultando a los principiantes.
El profesor de Yale revela por primera vez LiDO: avances en la seguridad del protocolo de consenso de Web3
En la cumbre de académicos de Web3, el profesor de Yale presenta por primera vez el modelo LiDO
La Cumbre de Académicos de Web3 de 2025 se celebra hoy, el profesor Shao 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 expansión". Presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo, este logro revolucionario tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, estableciendo así una base técnica para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló que los protocolos de consenso existentes (como PBFT, Jolteon) se utilizan ampliamente, pero su complejidad de implementación a menudo oculta vulnerabilidades potenciales. 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 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 señaló en su discurso: "Actualmente, los protocolos de consenso PoS enfrentan la dificultad de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico destinada a romper esta dificultad."
El CertiKOS, desarrollado por el profesor Shao y su equipo, es el primer sistema operativo "sin vulnerabilidades" del mundo verificado formalmente, aclamado como un "hito en la seguridad de sistemas ciberfísicos". Este logro no solo establece su base técnica en el campo de la seguridad, sino que también destaca su profunda acumulación en el ámbito de la seguridad de sistemas. En los últimos años, el profesor Shao ha estado profundamente involucrado en la seguridad de blockchain y, en 2017, cofundó una empresa de seguridad blockchain con su discípulo, el profesor Gu Ronghui, introduciendo tecnología de verificación formal en la seguridad de contratos inteligentes y protocolos en cadena, protegiendo así la seguridad de activos criptográficos de 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 las principales cadenas de bloques y protocolos descentralizados. 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 conferencia, el profesor Shao Zhong enfatizó: "Un stack de protocolos de red confiable, seguro y verificable será el camino clave hacia un futuro verdaderamente descentralizado."