Cumbre de académicos de Web3: El profesor de la Universidad de Yale presenta el modelo LiDO y su marco de expansión
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 dio una conferencia titulada "Prueba de seguridad y actividad de los protocolos de consenso refinados: LiDO y su marco de expansión". En esta ocasión, presentó al público el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este innovador resultado tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de Tolerancia a Fallos Bizantinos (BFT) complejos, sentando 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, aunque los protocolos de consenso existentes (como PBFT y Jolteon) se aplican ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la complejidad de su 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 a una máquina de estados linealizada, asegurando la consistencia de los registros (seguridad);
Capa de garantía activa: se introduce el mecanismo "Pacemaker", que resuelve 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: Soporta protocolos DAG emergentes 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 pruebas mecánicas de código Coq, donde la cantidad de código para la verificación de seguridad y de actividad alcanza respectivamente las 4000 líneas y 1700 líneas. 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 este dilema."
Como los desarrolladores del CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo respaldado por verificación formal, el profesor Zhao Zhong y su equipo han acumulado una profunda experiencia en el campo de la seguridad del sistema. Este logro no solo establece una base técnica para las empresas de seguridad, sino que también demuestra su sólida experiencia en el campo de la seguridad del sistema. En los últimos años, el profesor Zhao Zhong ha cambiado su enfoque de investigación hacia la seguridad de blockchain y, en 2017, cofundó una empresa de seguridad con socios, introduciendo tecnología de verificación formal para garantizar la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos por valor de cientos de miles de millones.
LiDO ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong expresó que están comprometidos 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 Web3. Al finalizar su discurso, 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.
20 me gusta
Recompensa
20
5
Republicar
Compartir
Comentar
0/400
NonFungibleDegen
· hace11h
alcista af en la nueva salsa defi de yale... metiéndome en ser
Ver originalesResponder0
ShamedApeSeller
· 08-14 00:08
Otra trampa más
Ver originalesResponder0
CryptoWageSlave
· 08-14 00:06
Otra prueba, el té ya está condenado.
Ver originalesResponder0
OfflineNewbie
· 08-14 00:03
Otra vez están engañando a los tontos para tomar a la gente por tonta.
El profesor de Yale publica el modelo LiDO: proporciona seguridad verificable para el protocolo de consenso de Web3
Cumbre de académicos de Web3: El profesor de la Universidad de Yale presenta el modelo LiDO y su marco de expansión
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 dio una conferencia titulada "Prueba de seguridad y actividad de los protocolos de consenso refinados: LiDO y su marco de expansión". En esta ocasión, presentó al público el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este innovador resultado tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de Tolerancia a Fallos Bizantinos (BFT) complejos, sentando 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, aunque los protocolos de consenso existentes (como PBFT y Jolteon) se aplican ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la complejidad de su 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 varios protocolos DAG, completando más de diez mil líneas de pruebas mecánicas de código Coq, donde la cantidad de código para la verificación de seguridad y de actividad alcanza respectivamente las 4000 líneas y 1700 líneas. 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 este dilema."
Como los desarrolladores del CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo respaldado por verificación formal, el profesor Zhao Zhong y su equipo han acumulado una profunda experiencia en el campo de la seguridad del sistema. Este logro no solo establece una base técnica para las empresas de seguridad, sino que también demuestra su sólida experiencia en el campo de la seguridad del sistema. En los últimos años, el profesor Zhao Zhong ha cambiado su enfoque de investigación hacia la seguridad de blockchain y, en 2017, cofundó una empresa de seguridad con socios, introduciendo tecnología de verificación formal para garantizar la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos por valor de cientos de miles de millones.
LiDO ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong expresó que están comprometidos 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 Web3. Al finalizar su discurso, el profesor Shao Zhong enfatizó: "Un stack de protocolos de red confiable, seguro y verificable será el camino clave hacia un futuro verdaderamente descentralizado."