Cumbre de académicos de Web3: el profesor de Yale presenta por primera vez el modelo LiDO
En la reciente cumbre de académicos 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 actividad de protocolos de consenso refinados: LiDO y su extensión", donde presentó al público el modelo LiDO desarrollado por su equipo y el marco de extensión LiDO-DAG. 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 las bases tecnológicas 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) son ampliamente utilizados, a menudo presentan potenciales riesgos de seguridad debido a su alta 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 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 de consenso sin líderes.
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos etapas) y en varios protocolos DAG, completando más de diez mil líneas de pruebas mecánicas en código Coq, donde la cantidad de código para la verificación de seguridad y la verificación de actividad alcanza las 4000 líneas 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 no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico para romper esta difícil situación."
Cabe mencionar que el profesor Shao Zhong lideró un equipo que desarrolló el primer sistema operativo "sin vulnerabilidades" CertiKOS del mundo, que ha sido aclamado en la industria como un "hito en la seguridad de sistemas ciberfísicos". Este logro no solo demuestra la sólida experiencia de su equipo en el campo de la seguridad de sistemas, sino que también establece una base sólida para la investigación futura en seguridad blockchain. En 2017, el profesor Shao Zhong y su discípulo, el profesor Gu Ronghui, introdujeron conjuntamente la tecnología de verificación formal en el ámbito de la garantía de seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos valorados en cientos de miles de millones de dólares.
El modelo LiDO ha completado actualmente el diseño 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 las estrategias de desarrollo a largo plazo de las empresas y ecosistemas de Web3. Al finalizar 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
4
Compartir
Comentar
0/400
NFTArtisanHQ
· hace21h
ah, finalmente alguien está abordando el paradigma estético del consenso... me recuerda a los readymades de Duchamp, para ser honesto
Ver originalesResponder0
InfraVibes
· 08-04 05:50
Es otro proyecto de ilusiones.
Ver originalesResponder0
StableNomad
· 08-02 01:55
hmm otro modelo de consenso... lowkey teniendo ptsd de luna dao rn
Ver originalesResponder0
ZKProofster
· 08-02 01:50
técnicamente hablando, esta cosa de lido no es realmente innovadora... solo otro envoltorio bft, para ser sincero.
El profesor de Yale se presenta en la cumbre Web3: el modelo LiDO resuelve el dilema del protocolo de consenso.
Cumbre de académicos de Web3: el profesor de Yale presenta por primera vez el modelo LiDO
En la reciente cumbre de académicos 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 actividad de protocolos de consenso refinados: LiDO y su extensión", donde presentó al público el modelo LiDO desarrollado por su equipo y el marco de extensión LiDO-DAG. 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 las bases tecnológicas 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) son ampliamente utilizados, a menudo presentan potenciales riesgos de seguridad debido a su alta 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 etapas) y en varios protocolos DAG, completando más de diez mil líneas de pruebas mecánicas en código Coq, donde la cantidad de código para la verificación de seguridad y la verificación de actividad alcanza las 4000 líneas 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 no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico para romper esta difícil situación."
Cabe mencionar que el profesor Shao Zhong lideró un equipo que desarrolló el primer sistema operativo "sin vulnerabilidades" CertiKOS del mundo, que ha sido aclamado en la industria como un "hito en la seguridad de sistemas ciberfísicos". Este logro no solo demuestra la sólida experiencia de su equipo en el campo de la seguridad de sistemas, sino que también establece una base sólida para la investigación futura en seguridad blockchain. En 2017, el profesor Shao Zhong y su discípulo, el profesor Gu Ronghui, introdujeron conjuntamente la tecnología de verificación formal en el ámbito de la garantía de seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos valorados en cientos de miles de millones de dólares.
El modelo LiDO ha completado actualmente el diseño 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 las estrategias de desarrollo a largo plazo de las empresas y ecosistemas de Web3. Al finalizar 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."