El profesor de Yale presenta por primera vez el modelo LiDO en la cumbre de académicos de Web3
En la Cumbre de Académicos Web3 de 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 vitalidad de protocolos de consenso refinados: LiDO y su expansión", donde presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este logro innovador tiene como objetivo proporcionar pruebas de seguridad y vitalidad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos complejos (BFT), sentando las bases técnicas para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que los protocolos de consenso existentes (como PBFT, Jolteon) son ampliamente utilizados, pero debido a su complejidad de implementación, a menudo ocultan vulnerabilidades potenciales. Para abordar este problema, el modelo LiDO propuso 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: Introducir el mecanismo "Pacemaker" para resolver los problemas 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 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 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 actividad alcanza respectivamente 4000 líneas y 1700 líneas. El profesor Shao Zhong enfatizó en su discurso: "En la actualidad, los protocolos de consenso PoS enfrentan comúnmente la difícil situación de lograr una seguridad, actividad y descentralización equilibradas. El modelo LiDO es precisamente una propuesta de diseño sistémico para superar esta dificultad."
El equipo liderado por el profesor Shao Zhong desarrolló anteriormente CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo validado formalmente, considerado un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo demuestra su profunda acumulación en el campo de la seguridad de sistemas, sino que también sienta las bases para su investigación posterior en el campo de la seguridad blockchain. En 2017, el profesor Shao Zhong comenzó a investigar a fondo la seguridad de blockchain, introduciendo la tecnología de verificación formal en la protección de la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para una gran cantidad de activos criptográficos.
El modelo LiDO ha completado actualmente su diseño y 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 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 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.
10 me gusta
Recompensa
10
7
Republicar
Compartir
Comentar
0/400
MEVictim
· Hace1m
Esto significa que BFT estará estable.
Ver originalesResponder0
AltcoinMarathoner
· 08-16 18:46
finalmente... al igual que en el kilómetro 23 de un maratón cripto, los protocolos de consenso están encontrando su ritmo. el modelo de lido es ese segundo aire que necesitábamos, la verdad.
Ver originalesResponder0
SchrodingerWallet
· 08-16 06:00
Yale también juega a Bizancio, se puede hacer.
Ver originalesResponder0
NftMetaversePainter
· 08-16 05:53
finalmente... alguien está abordando la estética algorítmica de los protocolos de consenso. esto es pura poesía computacional, no voy a mentir.
Ver originalesResponder0
PensionDestroyer
· 08-16 05:52
Ahora web3 puede arreglar sus propios bugs.
Ver originalesResponder0
AirdropATM
· 08-16 05:50
Espera, ¿no es esto solo escribir una capa de seguridad? Es como vino viejo en botellas nuevas.
El profesor de Yale lanza el modelo LiDO para ayudar en la verificación de seguridad del protocolo de consenso Web3.
El profesor de Yale presenta por primera vez el modelo LiDO en la cumbre de académicos de Web3
En la Cumbre de Académicos Web3 de 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 vitalidad de protocolos de consenso refinados: LiDO y su expansión", donde presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este logro innovador tiene como objetivo proporcionar pruebas de seguridad y vitalidad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos complejos (BFT), sentando las bases técnicas para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que los protocolos de consenso existentes (como PBFT, Jolteon) son ampliamente utilizados, pero debido a su complejidad de implementación, a menudo ocultan vulnerabilidades potenciales. Para abordar este problema, el modelo LiDO propuso 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 código Coq con pruebas mecanizadas, donde el volumen de código para la verificación de seguridad y actividad alcanza respectivamente 4000 líneas y 1700 líneas. El profesor Shao Zhong enfatizó en su discurso: "En la actualidad, los protocolos de consenso PoS enfrentan comúnmente la difícil situación de lograr una seguridad, actividad y descentralización equilibradas. El modelo LiDO es precisamente una propuesta de diseño sistémico para superar esta dificultad."
El equipo liderado por el profesor Shao Zhong desarrolló anteriormente CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo validado formalmente, considerado un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo demuestra su profunda acumulación en el campo de la seguridad de sistemas, sino que también sienta las bases para su investigación posterior en el campo de la seguridad blockchain. En 2017, el profesor Shao Zhong comenzó a investigar a fondo la seguridad de blockchain, introduciendo la tecnología de verificación formal en la protección de la seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para una gran cantidad de activos criptográficos.
El modelo LiDO ha completado actualmente su diseño y 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 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 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."